[FOM] Workshop on Proof Theory - Ghent - June 26, 2009

[Michiel De Smet]

WORKSHOP on PROOF THEORY
Ghent University
June 26, 2009
--------------------------
There will be a small workshop on proof theory on Friday 26th of June  
(next week).
Everyone is cordially invited to attend the talks.
If you are interested in giving a talk yourself, please do not  
hesitate to contact the organisers.

 > PROGRAM
09:15  --- Coffee ---
09:30  Sato Kentaro - An impact of infinity
10:30  Sam Sanders - More infinity for a better mathematics!
11:00  --- Coffee ---
11:15  Michiel De Smet - Phase transitions related to the pigeonhole  
principle
11:45  Wim Van Hoof - Phase transitions for transfinite iteration  
hierarchies
12:15  Frederik Meskens - Phase transitions for (Buchholz) hydras

 > VENUE
Department of Pure Mathematics and Computer Algebra
Building S22
Krijgslaan 281
B 9000 Gent
Belgium

 > CONTACT
Michiel De Smet -- mmdesmet at cage.ugent.be
Andreas Weiermann -- weierman at cage.ugent.be

Abstracts and more information can be found on http://cage.ugent.be/ptworkshop/

We hope to see you next Friday!

Best regards,
Michiel De Smet
Andreas Weiermann