Methods for Modalities 8
Lake Placid, New York June 9, 2013
The workshop series Methods for Modalities (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logic. Here the term "modal logic" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
Special Features
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics.

Authors are invited to submit papers in the following three categories. In all cases the LNCS style should be used.
  • Regular papers up to 15 pages including bibliography, describing original research.
  • System descriptions of up to 12 pages including bibliography, describing new systems or significant upgrades of existing ones.
  • Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants.

Submissions should be made via EasyChair at the following address:

The final versions of the selected contributions will be collected in a volume to be distributed at the workshop. These informal proceedings will also be made accessible on the web. We plan to publish selected papers in ENTCS or in a special journal issue on the topic of the M4M workshop after an extra refereeing round.

The Call for Papers is available.

Venue and Travelling

M4M-8 is a satellite workshop of CADE-24 that will take place at The Crowne Plaza Resort in Lake Placid, New York, USA. More information on accommodation options shall be provided on this page in the near future. In the mean time, please see The Crowne Plaza Resort's website for more details.

Important Dates
Keep in mind the following dates:
  • Abstract submission deadline: April 12th, 2013 [firm]
  • Paper submission deadline: April 15th, 2013 [firm]
  • Notification of acceptance: May 19th, 2013
  • Camera ready versions due: May 26th, 2013
  • Workshop dates: June 9, 2013
Invited Speakers
Accepted Papers
Program Committee
The following researchers have agreed to be members of the program committee of M4M-8:
  • Carlos Areces (chair), Conicet & Universidad Nacional de Córdoba
  • Thomas Ågotnes, University of Bergen
  • Natasha Alechina, University of Nottingham
  • Philippe Balbiani, Institut de Recherche en Informatique de Toulouse
  • Thomas Bolander, Technical University of Denmark
  • Patrick Blackburn, University of Roskilde
  • Julian Bradfield, University of Edinburgh
  • Stephane Demri, ENS de Cachan
  • Hans van Ditmarsch, LORIA
  • Santiago Figueira, Conicet & Universidad de Buenos Aires
  • Diego Figueira, University of Edinburgh
  • Silvio Ghilardi, University of Milano
  • Rajeev Goré, The Australian National University
  • Daniel Gorín, Friedrich-Alexander Universität Erlangen-Nürnberg
  • Guido Governatori, NICTA Queensland Research Laboratory
  • Andreas Herzig, Institut de Recherche en Informatique de Toulouse
  • Guillaume Hoffmann, Universidad de Córdoba
  • Barteld Kooi, University of Groningen
  • Martin Lange, University of Kassel
  • Tiago de Lima, University of Artois
  • Alessio Lomuscio, Imperial College London
  • Carsten Lutz, Universität Bremen
  • Angelo Montanari, University of Udine
  • Sergio Mera, Universidad de Buenos Aires
  • Valeria de Paiva, Nuance Communications, Inc.
  • Carsten Schürmann, IT University of Copenhagen
  • Gert Smolka, Saarland University
  • Frank Wolter, University of Liverpool
  • Heinrich Wansing, Ruhr University Bochum