[DL] AiML-2012: Call for Participation

Thomas Bolander tb at imm.dtu.dk
Tue Jun 19 15:44:18 CEST 2012


AiML-2012:   CALL FOR PARTICIPATION

9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC

COPENHAGEN, 22-25 AUGUST, 2012

          http://hylocore.ruc.dk/aiml2012.html

Advances in Modal Logic is an initiative aimed at presenting 
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based on
the conferences. Information about the AiML series can be obtained at
http://www.aiml.net. AiML-2012 is the ninth conference in the series.

REGISTRATION:  Please see http://hylocore.ruc.dk/aiml2012/registration.php
NOTE THAT THE DEADLINE FOR EARLY REGISTRATION IS JUNE 29.

ACCEPTED PAPERS:  Please see http://hylocore.ruc.dk/aiml2012/accepted.php

CONFERENCE LOCATION
Advances in Modal Logic 2012 will be held at
the IDA conference centre in downtown Copenhagen:

http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx

This is in easy walking distance from Copenhagen Central Station and a
number of reasonably priced hotels.

INVITED SPEAKERS
Lev Beklemishev (Moscow State University)
Johan van Benthem (University of Amsterdam and Stanford University)
Lars Birkedal (IT University of Copenhagen, Denmark)
Patrick Blackburn  (Roskilde University)
Balder ten Cate (UC Santa Cruz)
Larisa Maksimova (Novosibirsk State University)

SPECIAL SESSION ON HYBRID LOGIC. Hybrid logic is an extension of modal logic
allowing to refer explicitly to states of the model in the syntax of formulas.
There will be a special session of AiML devoted to papers on hybrid logic.
The scope of the special session is standard hybrid-logical machinery like
nominals, satisfaction operators, and the downarrow binder, but also other
extensions of modal logic can be considered.

SPECIAL SESSION IN HONOUR OF LARISA MAKSIMOVA. There will be a
special session of AiML devoted to papers and talks in honour of Larisa
Maksimova, in recognition of her many outstanding contributions to modal
logic.

PROGRAMME COMMITTEE  
Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina)
Philippe Balbiani (IRIT, Toulouse, France)
Lev Beklemishev (Moscow State University, Russia)
Guram Bezhanishvili (New Mexico State University, USA)
Nick Bezhanishvili (Imperial College London, UK)
Patrick Blackburn (Roskilde University, Denmark)
Thomas Bolander (Technical University of Denmark)
Torben Brauner (Roskilde University, Denmark)
Giovanna Corsi (Università di Bologna, Italy)
Giovanna D'Agostino (Università di Udine, Italy)
Stephane Demri (LSV, ENS Cachan, France)
Melvin Fitting (Lehman College, CUNY, USA)
Robert Goldblatt (Victoria University of Wellington, New Zealand)
Valentin Goranko (Technical University of Denmark)
Rajeev Gore (Australian National University, Australia)
Andreas Herzig (IRIT, Toulouse, France)
Ian Hodkinson (Imperial College London, UK)
Wiebe van der Hoek (University of Liverpool, UK)
Rosalie Iemhoff (University of Utrecht, The Netherlands)
Alexander Kurz (University of Leicester, UK)
Tadeusz Litak (University of Leicester, UK)
Hiroakira Ono (Japan Advanced Institute of Science and Technology)
Martin Otto (Technical University of Darmstadt, Germany)
Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands)
Renate Schmidt (University of Manchester, UK)
Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg)
Valentin Shehtman (Moscow State University, Russia)
Dimiter Vakarelov (Sofia University, Bulgaria)
Yde Venema (ILLC, University of Amsterdam, The Netherlands)
Heinrich Wansing (Ruhr University Bochum, Germany)
Frank Wolter (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME COMMITTEE CO-CHAIRS
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Lawrence Moss (Indiana University, USA)

ORGANIZING COMMITTEE CO-CHAIRS
Thomas Bolander (Technical University of Denmark)
Torben Braüner (Roskilde University, Denmark)

FURTHER INFORMATION. Please see http://hylocore.ruc.dk/aiml2012/

ENQUIRIES. E-mail enquiries should be directed to aiml2012 at easychair.org


More information about the dl mailing list