Advances in Modal Logic organizes bi-annual conferences. So far, the following events have taken place or are being planned:
The ninth Advances in Modal Logic conference (AiML-2012) will be held in Copenhagen, Denmark, in August 2012 (exact dates to be confirmed). The conference will be organized by Torben Braüner and Thomas Bolander with Larry Moss and Silvio Ghilardi as the Programme Committee co-chairs.
The eighth Advances in Modal Logic conference (AiML-2010) took place at the Steklov Mathematical Institute in Moscow, Russia, from 24-27 August 2010. The conference was organized by Lev Beklemishev with Valentin Shehtman and Valentin Goranko as the programme co-chairs.
The invited speakers include Alexandru Baltag, Dick de Jongh, Martin Otto and Heinrich Wansing.
Conference local website: http://aiml10.mi.ras.ru/
The seventh Advances in Modal Logic conference (AiML-2008) took place at LORIA in Nancy, France, from 9-12 September 2008. The conference was organized by Patrick Blackburn with Carlos Areces and Rob Goldblatt as the programme co-chairs.
The invited speakers include Mai Gehrke, Guido Governatori, Agi Kurucz, Lawrence Moss and Michael Zakharyaschev.
Conference local website: http://aiml08.loria.fr/
The sixth Advances in Modal Logic conference (AiML-2006) took place in Noosa, Queensland, Australia, 25-28 September 2006. The conference was organized by Guido Governatori with Ian Hodkinson and Yde Venema as the programme co-chairs.
The invited speakers included Renate Schmidt, Valentin Shehtman, Igor Walukiewicz, and Alberto Zanardo.
Conference local website: http://www.itee.uq.edu.au/~aiml06/
The fifth Advances in Modal Logic conference (AiML-2004) took place at the University of Manchester from September 9-11, 2004. The conference was organized by Renate Schmidt (with the help of Ian Pratt-Hartmann); the programme co-chairs were Mark Reynolds and Heinrich Wansing.
As in previous years, AiML-2004 could boast a glittering array of invited speakers: Philippe Balbiani, Keith Devlin, Valentin Goranko, Wiebe van der Hoek, Maarten Marx and Robert Stalnaker.
Conference local website: http://www.cs.man.ac.uk/~schmidt/aiml04/
The fourth Advances in Modal Logic conference (AiML 2002) took place in Toulouse, France, from 30 September-2 October 2002, with Philippe Balbiani as the local organizer; the programme co-chairs were Nobu-Yuki Suzuki and Frank Wolter.
The invited speakers included Melvin Fitting, Robert Goldblatt, Ian Hodkinson, Carsten Lutz, Hiroakira Ono, and Philippe Schnoebelen.
The third Advances in Modal Logic workshop was held in conjunction with ICTL-2000 at the University of Leipzig, October 4-7, 2000. The local organizing committee was headed by Frank Wolter and Holger Sturm. The program committee for AiML-ICTL 2000 consisted of Franz Baader, Howard Barringer, Marcelo Finger, Nissim Francez, Dov Gabbay, Greg Restall, Maarten de Rijke, Heinrich Wansing (chair), Frank Wolter, Michael Zakharyaschev.
The invited speakers included Nuel Belnap, Stephane Demri, Silvio Ghilardi, Giuseppe de Giacomo, Mark Reynolds, Krister Segerberg, Colin Stirling, and Moshe Vardi.
The AiML 2000 Best Contributed Paper Award was given to Rostislav E. Yavorsky for his paper "First-Order Logic of the Standard Proof Predicate."
The second Advances in Modal Logic workshop, AiML'98, was held from October 16-18, 1998 at the University of Uppsala in Uppsala, Sweden. Krister Segerberg and Rysiek Sliwinski were the local organizers. The program committee consisted of Maarten de Rijke, Krister Segerberg, Heinrich Wansing, and Michael Zakharyaschev (chair).
The invited speakers included Johan van Benthem, Max Cresswell, Kit Fine, Dov M. Gabbay, John F. Horty, Marcus Kracht, and Rohit Parikh. In addition, there was a special session on Modal Logic and Belief Revision, and a tutorial by Sergei Artemov on Explicit Modal Logic.
The first Advances in Modal Logic workshop, AiML'96, was held from October 8-10, 1996 at the Freie Universität Berlin, Berlin, Germany. Marcus Kracht was the local organizer. The programme committee consisted of Marcus Kracht, Maarten de Rijke (chair), Heinrich Wansing, and Michael Zakharyaschev.
The invited speakers included Patrick Blackburn, Wim Blok, Marco Hollenberg, Dimiter Vakarelov, Yde Venema, Albert Visser, and Frank Wolter. In addition, there was a special session in honour of Wolfgang Rautenberg on the occasion of his 60th birthday.