[subject to change]
You can download a printable version here.
Registration and Welcome
Date: January 27 at 10:00.
Philosophy and History of Diagrams
Dates: January 27, starting at 10:30, to January 28, ending at 15:30.
Lecturers: Dr Francesco Bellucci and Dr Amirouche Moktefi
The State-of-the-Art in Diagrammatic Logics
Dates: January 28, starting at 16:00, to January 30, ending at 13:00.
Lecturers: Dr Jim Burton and Dr Gem Stapleton
Non-Classical Diagrammatic Logics
Date: January 30, starting at 14:30, to January 30, ending at 17:30.
Lecturers: Professor Mihir Chakraborty and Dr Lopamudra Choudhury
One-on-One Consultations
Date: January 31, starting at 10:00 and ending at 12:30.
Lecturers: All
Detailed Schedule
Day 1: Tuesday, January 27
10:00 – 10:15 Registration
10:15 – 10:30 Welcome
10:30 – 11:30 Philosophy and History 1: Introduction
11:30 – 11:45 Break
11:45 – 13:00 Philosophy and History 2: Early Diagrams
13:00 – 14:30 Lunch
14:30– 15:30 Philosophy and History 3: Linear Diagrams
15:30 – 15:45 Break
15:45 – 17:30 Philosophy and History 4: Spatial Diagrams
Day 2: Wednesday, January 28
10:00 – 11:30 Philosophy and History 5: Tabular Diagrams
11:30 – 11:45 Break
11:45 – 13:00 Philosophy and History 6: Peirce’s Existential Graphs
13:00 – 14:30 Lunch
14:30 – 15:30 Philosophy and History 7: From Frege to Modern Diagrams
15:30 – 15:45 Break
15:45 – 17:30 Diagrammatic Logics 1: Introduction to Diagrammatic Logics
Day 3: Thursday, January 29
10:00 – 11:30 Diagrammatic Logics 2: Syntax and Semantics
11:30 – 11:45 Break
11:45 – 13:00 Diagrammatic Logics 3a: Inference
13:00 – 14:30 Lunch
14:30 – 15:30 Diagrammatic Logics 3b: Inference
15:30 – 15:45 Break
16:00 – 17:30 Diagrammatic Logics 4: Soundness and Completeness
Day 4: Friday, January 30
10:00 – 11:30 Diagrammatic Logics 5: Decidability
11:30 – 11:45 Break
11:45 – 13:00 Diagrammatic Logics 6: Expressiveness
13:00 – 14:30 Lunch
14:30 – 15:30 Non-Classical Diagrammatic Logics 1
15:30 – 16:00 Break
16:00 – 17:30 Non-Classical Diagrammatic Logics 2
17:30 – 17:45 Closing Remarks
Day 5: Saturday, January 31
10:00 – 12:30 Slots, of 30 minutes duration, for delegates to meet individually with facilitators for advice on research ideas and projects.