Tentative Schedule
Monday, 18 January 2010  
9:00–9:30  Opening  
9:30–11:00  Priyedarshi Jetli The emergence of modern logic 

11:30–13:00  Tobias Nipkow A Practical Introduction to Theorem Proving with the Isabelle System 

14:15–15:15  Tobias Nipkow Tutorial 

15:45–17:15  Hans van Ditmarsch Dynamic Epistemic Logic and Belief Revision 

Tuesday, 19 January 2010  
9:00–10:30  Tobias Nipkow A Practical Introduction to Theorem Proving with the Isabelle System 

10:45–11:45  Hans van Ditmarsch Dynamic Epistemic Logic and Belief Revision 

12:00–13:00  Tobias Nipkow Tutorial 

14:15–15:15  Workshop Relational structures in reasoning with incomplete information 

15:45–17:15  Workshop Logic for information security 

Wednesday, 20 January 2010  
9:00–10:30  Steven Lindell Logic and Models of Computation 

10:45–11:45  Hans van Ditmarsch Dynamic Epistemic Logic and Belief Revision 

12:00–13:00  Tobias Nipkow A Practical Introduction to Theorem Proving with the Isabelle System 

14:15–15:15  Workshop Relational structures in reasoning with incomplete information 

15:45–17:15  Workshop Logic for information security 

17:15–18:15  ALI general body meeting  
Thursday, 21 January 2010  
9:00–10:30  Steven Lindell Logic and Models of Computation 

10:45–11:45  Hans van Ditmarsch Dynamic Epistemic Logic and Belief Revision 

12:00–13:00  Tobias Nipkow A Practical Introduction to Theorem Proving with the Isabelle System 

14:15–15:15  Workshop Relational structures in reasoning with incomplete information 

15:45–17:15  Workshop Logic for information security 

Friday, 22 January 2010  
9:00–10:30  Steven Lindell Logic and Models of Computation 

10:45–11:45  Hans van Ditmarsch Dynamic Epistemic Logic and Belief Revision 

12:00–13:00  Tobias Nipkow A Practical Introduction to Theorem Proving with the Isabelle System 

14:15–15:15  Workshop Relational structures in reasoning with incomplete information 

15:45–17:15  Workshop Logic for information security 

Saturday, 23 January 2010  
9:00–10:30  Steven Lindell Logic and Models of Computation 

10:45–11:45  Steven Lindell Logic and Models of Computation 

12:00–13:15  Student presentations
[More details +]


Monday, 25 January 2010  
9:00–10:30  Valentin Goranko Model theory of modal logic 

10:45–11:45  Workshop Practical computer formalization of mathematics with the Mizar proof assistant 

12:00–13:00  Workshop Alternative approaches to belief change: a consolidated perspective 

14:15–15:15  Workshop Alternative approaches to belief change: a consolidated perspective 

15:45–17:15  Workshop Set theory 

Tuesday, 26 January 2010  
9:00–10:30  Antony Galton Spatial and Temporal Knowledge Representation 

10:45–11:45  Valentin Goranko Model theory of modal logic 

12:00–13:00  Workshop Practical computer formalization of mathematics with the Mizar proof assistant 

14:15–15:15  Workshop Alternative approaches to belief change: a consolidated perspective 

15:45–17:15  Workshop Set theory 

Wednesday, 27 January 2010  
9:00–10:30  Antony Galton Spatial and Temporal Knowledge Representation 

10:45–11:45  Valentin Goranko Model theory of modal logic 

12:00–13:00  Workshop Practical computer formalization of mathematics with the Mizar proof assistant 

14:15–15:15  Workshop Alternative approaches to belief change: a consolidated perspective 

15:45–17:15  Workshop Set theory 

Thursday, 28 January 2010  
9:00–10:30  Antony Galton Spatial and Temporal Knowledge Representation 

10:45–11:45  Valentin Goranko Model theory of modal logic 

12:00–13:00  Workshop Practical computer formalization of mathematics with the Mizar proof assistant 

14:15–15:15  Workshop Alternative approaches to belief change: a consolidated perspective 

15:45–17:15  Workshop Set theory 

Friday, 29 January 2010  
9:00–10:30  Antony Galton Spatial and Temporal Knowledge Representation 

10:45–11:45  Valentin Goranko Model theory of modal logic 

12:00–13:00  Workshop Set theory 

13:00–13:15  Closing 