Monday, June 26 

8:009:15  registration(Room 111) 

9:159:30  opening of the conference(Room 131) 

9:3010:30  Invited talk: Mai Gehrke. Stone duality in the theory of formal languages (Room 131)  
10:3011:00  Coffee break 

Contributed talks  
Jonsson Special Session IRoom 131 
Room 300  Room 301  
11:0011:30 




11:3012:00 




12:0012:30 




12:3013:00 




13:0015:00  Lunch Break 

15:0016:00  Invited talk: Bart Jacobs, Introduction to Effectus Theory (Room 131)  
16:0016:30  Coffee break 

Contributed talks  
Jonsson Special Session IIRoom 131 
Room 300  Room 301  
16:3017:00 




17:0017:30 




17:3018:00 




18:0018:30 




Social Programme 

19:30...  Welcome party at Pavilon Grebovka 
Wednesday, June 28 

9:3010:30  Invited talk: Steve Vickers. Sketches for arithmetic universes as generalized spaces (Room 131, Ch. Escardo)  
10:3011:00  Coffee break 

Contributed talks  
Room 131 (Ch. Escardo)  Room 300 (Ch. Raftery)  Room 301 (Ch. Navara)  
11:0011:30 




11:3012:00 




12:0012:30 




12:3013:00 




13:0015:00  Lunch Break 

15:0016:00  Invited talk: Greg Restall. A Concrete Category of Classical Proofs (Room 131, Ch. Gabelaia)  
16:0016:30  Coffee break 

Contributed talks  
Room 131 (Ch. Gabelaia)  Room 300 (Ch. Revanta)  Room 301 (Ch. Jansana)  
16:3017:00 




17:0017:30 




17:3018:00 




18:0018:30 



Thursday, June 29 

9:3010:30  Invited talk: Alexandra Silva, (Co)algebraic foundations of automata learning (Room 131, Ch. Kurz)  
10:3011:00  Coffee break 

Contributed talks  
Room 131 (Ch. Kurz)  Room 300 (Ch. Kowalski)  Room 301 (Ch. Bezhanishvili)  
11:0011:30 




11:3012:00 




12:0012:30 




12:3013:00 




13:0015:00  Lunch Break 

Social Programme 

15:0016:30  Boat trip in the Vltava river  
16:3018:30  Free time  
18:30...  Banquet at Marina Brewery 
Friday, June 30 

Contributed talks  
Room 131  Room 300  Room 301  
9:3010:00 




10:0010:30 




10:3011:00  Coffee break 

Contributed talks  
Room 131  Room 300  Room 301  
11:0011:30 




11:3012:00 




12:0012:30 




12:3013:00 




13:0015:00  Lunch Break 

15:0016:00  Invited talk: Alexandru Baltag, Towards a Topological Theory of Knowledge, Inquiry and Correlations (Room 131)  
16:0016:30  Coffee break 

Contributed talks  
Room 131  Room 300  Room 301  
16:3017:00 




17:0017:30 




17:3018:00 




18:0018:30 


