



Tuesday
18 July 2006 







Tutorials 
Morning




11:00
 11:15 
Coffee/tea
break 


11:15
 13:15

Operational
theories of sets by Solomon
Feferman (Depts of Mathematics
and Philosophy, Stanford University,
USA) 


13:15
 14:30 
Lunch
break 








Tutorials 
Afternoon




16:30
 16:45 
Coffee/tea
break 


16:45
 18:45 
Symbolic
Analysis of Computer Network Security
Protocols by Andre
Scedrov (Department of Mathematics,
University of Pennsylvania, USA) 







Wednesday
19 July 2006 







Proof
Theory 
Morning



08:30
 10:30 
Proof
Mining: Applications of Proof Theory to Analysis
by Ulrich
Kohlenbach (Department of Mathematics,
Darmstadt University of Technology, Germany) 


10:30
 10:45 
Coffee/tea
break 




11:55
 12:30

Towards
Hilbert's 24th Problem: Combinatorial
Proof Invariants by Dominic
Hughes 


12:30
 14:00 
Lunch
break 








Formal
Methods 
Afternoon



14:00
 15:15 
Symbolic
Analysis of Computer Network Security
Protocols by Andre
Scedrov (Department of Mathematics,
University of Pennsylvania, USA) 


15:15
 15:30 
Coffee/tea
break 












Thursday
20 July 2006 







Logic
and Model Theory 
Morning




11:00
 11:15 
Coffee/tea
break 



11:55
 14:00 
Lunch
break 








Logic
and Computation 
Afternoon




15:15
 15:30 
Coffee/tea
break 



16:05
 16:20 
Coffee/tea
break 



20:00
 
Conference
Dinner 







Friday
21 July 2006 







Logic
and Foundations 
Morning



09:00
 10:15 
A
logical uniform boundedness principle
for abstract metric and hyperbolic spaces
by Ulrich
Kohlenbach (Department of
Mathematics, Darmstadt University of
Technology, Germany) 


10:15
 10:30 
Coffee/tea
break 


10:30
 11:45

Operational
theories of sets by Solomon
Feferman (Depts of Mathematics
and Philosophy, Stanford University,
USA) 


11:45
 12:00 
Coffee/tea
break 



12:35
 13:10 
On
interpolation problem in paraconsistent extensions
of minimal logic by Larisa
Maksimova 


13:10
 14:00 
Lunch
break 








Logic,
Model Theory and Definability 
Afternoon




15:15
 15:30 
Coffee/tea
break 


15:30
 16:05 
Additive
Consolidation with Maximal Change by
Yoshitaka Suzuki. 






