This page contains general information on the Advances in Modal Logic initiative.
Advances in Modal Logic is a bi-annual conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences.
Steering Committee
The continuity of the initiative is guaranteed by the installation of a Steering Committee. Its current members are:
- 2020-2022: Sophie Pinchinat (University Rennes) (local organizer AiML 2022)
- 2014-2022: Lev Beklemishev (Steklov Mathematical Institute)
- 2014-2022: Stéphane Demri (CNRS, France)
- 2016-2024: Guram Bezhanishvili (New Mexico State University)
- 2016-2024: Giovanna D'Agostino (University of Udine)
- 2018-2026: Nicola Olivetti (Marseille University)
- 2018-2026: Rineke Verbrugge (University of Groningen)
- 2020-2028: David Fernández Duque (University of Ghent)
- 2020-2028: Alessandra Palmigiano (Vrije Universiteit Amsterdam)
History
Advances in Modal Logic is an initiative founded in 1995 by
- Maarten de Rijke (University of Warwick)
- Heinrich Wansing (University of Leipzig), and
- Michael Zakharyaschev (Freie Universität, Berlin).
Our start-up document is still available.
Former members of the Steering Committee are:
- 2018-2020: Sara Negri (University of Helsinki) (local organizer AiML 2020)
- 2012-2020: Rajeev Goré (Australian National University)
- 2012-2020: Agi Kurucz (King's College London)
- 2016-2018: George Metcalfe (Universität Bern) (local organizer AiML 2018)
- 2016-2018: Thomas Studer (Universität Bern) (local organizer AiML 2018)
- 2010-2018: Silvio Ghilardi (Università degli Studi di Milano)
- 2010-2018: Larry Moss (Indiana University)
- 2014-2016: András Máté (Eötvös University, Budapest) (local organizer AiML 2016)
- 2008-2016: Valentin Shehtman (Moscow State University)
- 2008-2016: Valentin Goranko (Stockholm University)
- 2012-2014: Barteld Kooi (University of Groningen) (local organizer AiML 2014)
- 2006-2014: Carlos Areces (Univeridad Nacional de Córdoba)
- 2006-2014: Rob Goldblatt (Victoria University, Wellington)
- 2010-2012: Thomas Bolander (Technical University of Denmark) (local organizer AiML 2012)
- 2010-2012: Torben Braüner (Roskilde University) (local organizer AiML 2012)
- 2004-2012: Ian Hodkinson (Imperial College, London)
- 2004-2012: Yde Venema (University of Amsterdam)
- 2009-2010: Lev Beklemishev (Steklov Mathematical Institute, Moscow) (local organizer AiML 2010)
- 2002-2010: Mark Reynolds (University of Western Australia)
- 2002-2010: Renate Schmidt (University of Manchester)
- 2006-2008: Patrick Blackburn (University of Roskilde) (local organizer AiML 2008)
- 2002-2008: Nobu-Yuki Suzuki (Shizuoka University)
- 2002-2008: Frank Wolter (University of Liverpool)
- 2004-2006: Guido Governatori (NICTA Queensland Research Lab) (local organizer AiML 2006)
- 1995-2006: Michael Zakharyaschev (Birkbeck, University of London)
- 1995-2006: Heinrich Wansing (Ruhr University Bochum)
- 1995-2004: Maarten de Rijke (University of Amsterdam)
From 2009, Program Committee co-chairs serve on the Steering Committee from X-2 until X+6; local organising chairs serve from X-2 until X, where X is the year of their conference.
Until 2002 the Steering Committee was backed by an Advisory Board consisting of a number of people, serving 4 year office terms:
- 1996-2000
- Johan van Benthem (Amsterdam)
- Max Cresswell (Wellington)
- Luis Fariñas del Cerro (Toulouse)
- Larry Moss (Bloomington)
- Krister Segerberg (Uppsala)
- Colin Stirling (Edinburgh)
- 1998-2002
- Sergei Artemov (Cornell)
- Kit Fine (New York)
- Dov M. Gabbay (London)
- Hiroakira Ono (JAIST)
- Rohit Parikh (New York)