26 June 2009
Gent, Belgium
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@cage.ugent.be Andreas Weiermann -- weierman@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