Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Thu, 04/03/2008 - 4:56pm

Ok, that was faster than I expected: The winners of the Kurt Gödel Centenary Research Fellowships have been announced. They are:

- David Fernández Duque (Stanford): Non-deterministic semantics for dynamic topological logic
- Pavel Hrubeš (Czech Academy of Sciences): On lengths of proofs in non-classical logics

- Andrey Bovykin (Steklov/Liverpool): Independence results in concrete mathematics
- Peter Koellner (Harvard): On reflection principles

- Thierry Coquand (Göteborg): Space of valuations

All great logicians, with great projects. Congratulations!

All applicants submitted papers on their research projects. Papers by the winners (and the finalists) will shortly appear in a special issue of the Annals. There will be a colloquium honoring the winners on April 27 (the eve of Kurtele's 101st birthday)

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"