Monday, June 26 |
8:00-9:15 |
registration (Room 111) |
9:15-9:30 |
opening of the conference (Room 131) |
9:30-10:30 |
Invited talk: Mai Gehrke. Stone duality in the theory of formal languages (Room 131, Ch. Venema) |
10:30-11:00 |
Coffee break |
Contributed talks |
|
Jonsson Special Session I Room 131 (Ch. Gehrke) |
Room 300 (Ch. Sedlar) |
Room 301 (Ch. Stronkowski) |
11:00-11:30 |
|
|
|
11:30-12:00 |
|
|
|
12:00-12:30 |
|
|
|
12:30-13:00 |
|
|
|
13:00-15:00 |
Lunch Break |
15:00-16:00 |
Invited talk: Bart Jacobs, Introduction to Effectus Theory (Room 131, Ch. Jipsen) |
16:00-16:30 |
Coffee break |
Contributed talks |
|
Jonsson Special Session II Room 131 (Ch. Jipsen) |
Room 300 (Ch. Majer) |
Room 301 (Ch. Kubis) |
16:30-17:00 |
|
|
|
17:00-17:30 |
|
|
|
17:30-18:00 |
|
|
|
18:00-18:30 |
|
|
|
Social Programme |
19:30-... |
Welcome party at Pavilon Grebovka |
Tuesday, June 27 |
9:15-9:30 |
Hájek Kurt Gödel Society Award Ceremony (Room 131) |
9:30-10:30 |
Invited talk: Luca Spada. Geometric aspects of MV-algebras (Room 131, Ch. Cintula) |
10:30-11:00 |
Coffee break |
Contributed talks |
|
Hájek Special Session Room 131 (Ch. Cintula) |
Room 300 (Ch. Terui) |
Room 301 (Ch. Dzik) |
11:00-11:30 |
|
|
|
11:30-12:00 |
|
|
|
12:00-12:30 |
|
|
|
12:30-13:00 |
|
|
|
13:00-15:00 |
Lunch Break |
15:00-16:00 |
Invited talk: Martín Escardó. The frame of Scott continuous nuclei on a preframe (Room 131, Ch. Vickers ) |
16:00-16:30 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Vickers) |
Room 300 (Ch. Haniková) |
Room 301 (Ch. Restall) |
16:30-17:00 |
|
|
|
17:00-17:30 |
|
|
|
17:30-18:00 |
|
|
|
18:00-18:30 |
|
|
|
18:30-19:30 |
SYSMICS meeting |
Wednesday, June 28 |
9:30-10:30 |
Invited talk: Steve Vickers. Sketches for arithmetic universes as generalized spaces (Room 131, Ch. Escardo) |
10:30-11:00 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Escardo) |
Room 300 (Ch. Raftery) |
Room 301 (Ch. Navara) |
11:00-11:30 |
|
|
|
11:30-12:00 |
|
|
|
12:00-12:30 |
|
|
|
12:30-13:00 |
|
|
|
13:00-15:00 |
Lunch Break |
15:00-16:00 |
Invited talk: Greg Restall. A Concrete Category of Classical Proofs (Room 131, Ch. Gabelaia) |
16:00-16:30 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Gabelaia) |
Room 300 (Ch. Revanta) |
Room 301 (Ch. Jansana) |
16:30-17:00 |
|
|
|
17:00-17:30 |
|
|
|
17:30-18:00 |
|
|
|
18:00-18:30 |
|
|
|
Thursday, June 29 |
9:30-10:30 |
Invited talk: Alexandra Silva, (Co)algebraic foundations of automata learning (Room 131, Ch. Kurz) |
10:30-11:00 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Kurz) |
Room 300 (Ch. Kowalski) |
Room 301 (Ch. Bezhanishvili) |
11:00-11:30 |
|
|
|
11:30-12:00 |
|
|
|
12:00-12:30 |
|
|
|
12:30-13:00 |
|
|
|
13:00-15:00 |
Lunch Break |
Social Programme |
15:00-16:30 |
Boat trip in the Vltava river |
16:30-18:30 |
Free time |
18:30-... |
Banquet at Marina Brewery |
Friday, June 30 |
Contributed talks |
|
Room 131 (Ch. Stubbe) |
Room 300 (Ch. Spada) |
Room 301 (Ch. Noguera) |
9:30-10:00 |
|
|
|
10:00-10:30 |
|
|
|
10:30-11:00 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Moshier) |
Room 300 (Ch. Litak) |
Room 301 (Ch. Noguera) |
11:00-11:30 |
|
|
|
11:30-12:00 |
|
|
|
12:00-12:30 |
|
|
|
12:30-13:00 |
|
|
|
13:00-15:00 |
Lunch Break |
15:00-16:00 |
Invited talk: Alexandru Baltag, Towards a Topological Theory of Knowledge, Inquiry and Correlations (Room 131) |
16:00-16:30 |
Coffee break |
Contributed talks |
|
Room 131 (Ch. Galatos) |
Room 300 (Ch. Behounek) |
Room 301 (Ch. Bonzio) |
16:30-17:00 |
|
|
|
17:00-17:30 |
|
|
|
17:30-18:00 |
|
|
|
18:00-18:30 |
|
|
|