Munich, Saturday 23 June 2007
held on the occasion of Helmut Schwichtenberg's 65th birthday
and complementing the
Festkolloquium on Friday 22 June 2007.
DATE AND VENUE
Saturday 23 June 2007, 09:30 - 12:30 and 15:00 - 18:30
Mathematisches Institut, Theresienstr. 39, 80333 München, Room B 005
PROGRAMME
| 09:30-10:10 | Peter Aczel | "Type setups and logic-enriched type theories" |
| Coffee | ||
| 11:00-11:40 | Ralph Matthes | "Continuation-passing style and strong normalisation for sequent calculi" |
| 11:50-12:30 | Monika Seisenberger | "Applied program extraction" |
| Lunch | ||
| 15:00-15:40 | Hajime Ishihara | "Constructive reverse mathematics and unique existence" |
| 15:50-16:30 | Erik Palmgren | "Domains and formal topologies" |
| Coffee | ||
| 16:50-17.30 | Anton Setzer | "Partial-recursive functions in Martin-Löf Type Theory" |
| Coffee | ||
| 17:50-18:30 | Gerhard Jäger | "Operations, sets and classes" |
ORGANISING COMMITTEE