The schedule has been updated on 15th April




Monday April 16, 2012.

09:00 - 10:00  

Registration
10:00 - 10:10  
10:10 - 11:00  
11:00 - 11:50  
11:50 - 12:20  

Coffee Break
12:20 - 13:10  
13:10 - 14:00  
14:00 - 16:00  


Lunch Break


16:00 - 16:50  
16:50 - 17:40  




Tuesday April 17, 2012.

10:10 - 11:00  
11:00 - 11:50  
11:50 - 12:20  

Coffee Break
12:20 - 13:10  

Michael Rathjen

Slow Consistency

13:10 - 13:30  

Lorenzo Carlucci

On the worm principle

13:30 - 16:00  


Lunch Break


16:00 - 16:50  
16:50 - 17:40  




Wednesday April 18, 2012.

10:10 - 11:00  

David Fernández Duque

Transfinite provability logic

11:00 - 11:50  
11:50 - 12:20  

Coffee Break
12:20 - 13:10  
13:10 - 14:00  

Timothy Carlson

β-logic and Patterns of Resemblance: Recent Progress

14:00 - 16:00  


Lunch Break


16:00 - 16:50  
16:50 - 17:40  




Thursday April 19, 2012.

11:00 - 11:50  

Grigori Mints, Grigori Olkhovikov, and Alasdair Urquhart

Failure of interpolation for intuitionistic logic of constant domains

11:50 - 12:20  

Coffee Break
12:20 - 13:10  
13:10 - 14:00  
14:00 - 14:10  

Closing

This document was translated from LATEX by HEVEA.