| Thursday | Course outline and Introduction categories, functors and natural trans. |
Week of September 10
| Tuesday | Class cancelled |
| Thursday | Yoneda lemma, epimorphisms, monomorphisms Functor categories |
Week of September 17
| Tuesday | Limits and colimits |
| Thursday | Completeness |
Week of September 24
| Tuesday | Adjoint functors |
| Thursday | Monads and their algebras Monoidal (tensor) categories |
Week of October 1
| Tuesday | Introduction to Linear Logic |
| Thursday | Linear Logic cont'd |
Week of October 8
| Tuesday | Phase Semantics |
| Thursday | Coherence Semantics |
Week of October 15
| Tuesday | Categorical Models |
| Thursday | Categorical Models II |
Week of October 22
| Tuesday | Game Semantics, Introduction |
| Thursday | Informal introduction continued |
Week of October 29
| Tuesday | Formal Definitions I |
| Thursday | Formal Definitions II |
Week of November 5
| Tuesday | Categories of Games |
| Thursday | Categories of Games |
Week of November 12
| Tuesday | PCF |
| Thursday | PCF |
Week of November 19
| Tuesday | Presentation I (Coherent Banach Spaces) Cui Yin and Ian Blumenfeld |
| Thursday | Thanksgiving Day, No
Class |
Week of November 26
| Tuesday | Presentation II (Coherent Banach ..) Cont'd |
| Thursday | Presentation III (Abstract Games) Shuichiro Takeda |
Week of December 3
| Tuesday | Presentation IV (A fully abstract game semantics) Alwyn Goodloe |
| Thursday | Presentation V (Call-by-Value Games) Ian Ross |