E. W. Beth Dissertation Prize: 2012
new call for nominations
Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2011. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize.
Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2011 and December 31st, 2011. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2011 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for dissertations defended in 2012). The present call for nominations for the E.W. Beth Disertation Award 2012 will also accept nominations of full English translations of theses originally written in another language than English and defended in 2010 or 2011.
The prize consists of:
- a certificate
- a donation of 2500 euros provided by the E.W. Beth Foundation
- an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). For further information on this series see the FoLLI site.
How to submit.
Only electronic submissions are accepted. The following documents are required:
- The thesis in pdf or ps format (doc/rtf not accepted)
- A ten page abstract of the dissertation in ascii or pdf format
- A letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded
- Two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree.
All documents must be submitted electronically to firstname.lastname@example.org. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days, nominators should write to email@example.com.
Deadline for Submissions: May 1, 2012. Extended: June 30, 2012.
Notification of Decision: July 31, 2012.
Due to some technical obstacles, the first call for nominations was announced on the site of FoLLI in the beginning of March 2012 but not widely distributed through mailing lists. Therefore we essentially prolong the deadline now. We ask all potential nominators to inform the chair earlier by a mail to firstname.lastname@example.org, even before having completed the required documents.
Chris Barker (New York)
Wojciech Buszkowski (chair) (Poznan)
Dale Miller (Palaiseau)
Larry Moss (Bloomington)
Ian Pratt-Hartmann (Manchester)
Ruy de Queiroz (Recife)
Giovanni Sambin (Padua)
Rob van der Sandt (Nijmegen)
Rineke Verbrugge (Groningen)
Heinrich Wansing (Bochum)
The Association for Logic, Language and Information (FoLLI) each year awards the E. W. Beth Dissertation Prize, named in honor of the Dutch mathematician Evert Willem Beth, to outstanding PhD theses in the fields of Logic, Language, and Information. Dissertations are evaluated on the basis of their technical depth, strength and originality. Each year the award can be assigned ex aequo to more than one thesis, or to no thesis at all. The prize for the year 2013 consists of a certificate, a donation of 2500 euros and an invitation to submit (a possibly revised version of) the thesis to the FoLLI Publications on Logic, Language and Information, published by Springer Science+Business Media.
List of previous winners 
|Year||Author||Title of the Thesis||Institution|
|2016||Thomas Zeume||Small Dynamic Complexity Classes||University of Dortmund|
|2015||Michał Skrzypczak||Descriptive set theoretic methods in automata theory||University of Warsaw|
|2014||Thomas Graf||Local and Transderivational Constraints in Syntax and Semantics||University of California, Los Angeles|
|2013||Wesley H. Holliday||Knowing What Follows: Epistemic Closure and Epistemic Logic||Stanford University|
|2013||Ekaterina Lebedeva||Expressing Discourse Dynamics via Continuations||University of Lorraine|
|2012||Andreas Kapsner||Logics and Falsifications||University of Barcelona|
|2012||Daniel R. Licata||Dependently Typed Programming with Domain-Specific Logics||Carnegie Mellon University|
|2011||Nils Bulling||Modelling and Verifying Abilities of Rational Agents||TU Clausthal|
|2011||Mohan Ganesalingam||The Language of Mathematics||University of Cambridge|
|2010||Yury Savateev||Algorithmic Complexity of Fragments of the Lambek Calculus||Moscow State University|
|2009||Emmanuel Chemla||Presuppositions and Scalar Implicatures: Formal and Experimental Studies||Ecole Normale Superieure de Paris|
|2009||Lukasz Kaiser||Logic and Games on Automatic Structures||Aachen University|
|2008||Tomas Brazdil||Verification of Probabilistic Recursive Sequential Programs||Masaryk University|
|2008||Marco Kuhlmann||Dependency Structures and Lexicalized Grammars||Saarland University|
|2007||Gabriele Puppis||Automata for Branching and Layered Structures||University of Udine|
|2006||Leszek Kolodziejczyk||Truth Definitions and higher-Order Logics in Finite Models||Warsaw University|
|2006||Chung-chieh (Ken) Shan||Linguistic Side Effects||Harvard University|
|2005||Ash Asudeh||Resumption as Resource Management||University of Canterbury|
|2004||John T. Hale||Grammar, Uncertainty and Sentence Processing||Michigan State University|
|2003||Jason Baldridge||Lexically Specified Derivational Control in Combinatory Categorial Grammar||University of Edinburgh|
|2002||Maria Aloni||Quantification under conceptual covers||University of Amsterdam|
|2001||Gerald Penn||The Algebraic Structure of Attributed Type Signatures||University of Toronto|
|2000||Jelle Gerbrandy||Bisimulations on Planet Kripke||University of Amsterdam|
|2000||Khalil Sima'an||Learning Efficient Disambiguation||Universities of Amsterdam and of Utrecht|
|1999||Peter Grünwald||The Minimum Description Length Principle and Reasoning under Uncertainty||University of Amsterdam|
|1999||Matthew Stone||Modality in Dialogue: Planning, Pragmatics and Computation||University of Pennsylvania|
|1998||Nir Friedman||Modeling Beliefs in Dynamic Systems||Stanford University|
|1998||Lisa Matthewson||Determiner Systems and Quantificational Strategies: Evidence from Salish||University of British Columbia|