|
Date
|
Speaker
|
Title
(Click for Abstract) |
| 0. |
28 February |
-- |
(Organizational get together) |
| 1. |
7 March |
Alex Rabinovich |
Games and the Church Synthesis Problem
|
| 2. |
14 March |
Arnon Avron |
On Constructive Mathematics
|
| 3. |
21 March |
Asaf Rinot |
Forcing axioms and cardinal arithmetic
|
| 4. |
28 March |
|
|
| 4. |
11 April |
Amit Shomrat |
Selection in Monadic Theory of Ordinals |
| 5. |
18 April |
Grigori Mints (Stanford) |
Effective content of non-effective proofs
|
| 6. |
25 April |
Amit Shomrat |
Selection in Monadic Theory of Ordinals |
| 7. |
2 May |
Beata Konikowska (Polish Academy of Sciences) |
Model Checking for Multivalued Logic of Knowledge and Time
|
| 8. |
9 May |
Stephane Demri (LSV, ENS Cauchan) |
Logic with Presburger constrains |
| 9. |
16 May |
|
|
| 10. |
23 May
| |
| 11. |
30 May |
|
|
| 12. |
6 June |
|
|
| 13. |
24 January |
Ingrid Velleine (Celebros) |
Structural Aspects of Natural or Human Language |