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 +]

  • Namit Chaturvedi, Honeywell India
    Access control using monadic second order logic

  • Jonas De Vuyst, Vrije Universiteit Brussel
    Epistemic logic with context and justification

  • Md. Javed Hasan, Jadavpur University
    Model representations of Advaita analogy

  • Raesch Karen, Universität Bonn
    Prikry forcing

  • Abhishekh Sankaran, IIT Bombay
    Some observations on the Bernays-Schönfinkel-Ramsey class

  • Sanchit Saraf, IIT Kanpur
    Forward propogation pointer semantics

  • Sumit Sourabh, IIT Kanpur
    Algebraic Sahlqvist correspondence

  • A V Sreejith, IMSc Chennai
    Complexity of some extensions of LTL

  • Rajesh Tavva
    Neo-Vaiśeshika formal ontology

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