Advances in Modal Logic organizes bi-annual conferences. So far, the following events have taken place or are being planned:
AiML 2024
The fifteenth Advances in Modal Logic conference (AiML-2024) will be held at the Faculty of Arts of Charles University (Prague) from 19 to 22 August 2024. The conference will be organized by Igor Sedlár (Institute of Computer Science of the Czech Academy of Sciences), with Agata Ciabattoni and David Gabelaia as Programme Committee co-chairs.
Conference local website: www.cs.cas.cz/aiml2024
AiML 2022
The fourteenth Advances in Modal Logic conference (AiML-2022) was organised at the Université de Rennes 1 from 22 to 25 August 2022. The conference was organized by Sophie Pinchinat, with David Fernández Duque and Alessandra Palmigiano as programme co-chairs.
The invited speakers included Francesca Poggiolesi, Rineke Verbrugge, Wesley Holliday and Willem Conradie.
Conference local website: aiml2022.irisa.fr
AiML 2022 was co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).
AiML 2020
The thirteenth Advances in Modal Logic conference (AiML-2020) was organised at the University of Helsinki, Finland, but due to Covid-19 was held online from 24 to 28 August 2020. The conference was organized by Sara Negri and Gabriel Sandu with Nicola Olivetti and Rineke Verbrugge as Programme Committee co-chairs.
The invited speakers included Bahareh Afshari, Nick Bezhanishvili, Melvin Fitting and Nina Gierasimczuk.
Conference local website: www2.helsinki.fi/en/conferences/advances-in-modal-logic-2020
AiML 2018
The twelfth Advances in Modal Logic conference (AiML-2018) took place in Bern, from 27 to 31 August 2018. The conference was organized by George Metcalfe and Thomas Studer with Guram Bezhanishvili and Giovanna D'Agostino as Programme Committee co-chairs.
The invited speakers included Rob Goldblatt, Rosalie Iemhoff and Stanislav Kikot.
Conference local website: www.aiml2018.unibe.ch
AiML 2018 was co-located with the sixth edition of the conference on Logic, Algebra and Truth Degrees (LATD 2018).
AiML 2016
The eleventh Advances in Modal Logic conference (AiML-2016) took place in Budapest, from 30 August to 2 September 2016. The conference was organized by András Máté with Lev Beklemishev and Stéphane Demri as Programme Committee co-chairs.
The invited speakers included Guram Bezhanishvili, Valentin Goranko, Sonja Smets and Yde Venema.
Conference local website: phil.elte.hu/aiml2016
AiML 2014
The tenth Advances in Modal Logic conference (AiML-2014) took place in Groningen, the Netherlands, from 5 to 8 August 2014. The conference was organized by Barteld Kooi with Rajeev Goré and Agi Kurucz as the Programme Committee co-chairs.
The invited speakers included Franz Baader, Stéphane Demri, Joe Halpern, Sara Negri and Frank Wolter.
Conference local website: www.philos.rug.nl/AiML2014
AiML 2012
The ninth Advances in Modal Logic conference (AiML-2012) took place in Copenhagen, Denmark, from 22 to 25 August 2012. The conference was organized by Torben Braüner and Thomas Bolander with Larry Moss and Silvio Ghilardi as the Programme Committee co-chairs.
The invited speakers included Lev Beklemishev, Johan van Benthem, Lars Birkedal, Patrick Blackburn, Balder ten Cate and Larisa Maksimova.
Conference local website: hylocore.ruc.dk/aiml2012
AiML 2010
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: aiml10.mi.ras.ru
AiML 2008
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: aiml08.loria.fr
AiML 2006
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: www.itee.uq.edu.au/~aiml06
AiML 2004
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: www.cs.man.ac.uk/~schmidt/aiml04
AiML 2002
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.
AiML-ICTL 2000
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."
AiML'98
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.
AiML'96
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.