Logic List Mailing Archive

M4M-4 (Methods for Modalities 2005): Berlin-Adlershof, Germany (September 2005)

Call for papers: M4M-4 (Methods for Modalities 2005)

  The workshop "Methods for Modalities" (M4M) aims to bring together
researchers interested in developing algorithms, verification methods and
tools based on modal logics. Here the term "modal logics" is conceived
broadly, including description logic, guarded fragments, conditional
logic, temporal and hybrid logic, etc.

   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 and posters, especially for experimental and prototypical
software tools which are related to modal logics.

  Regular papers should not exceed the length of 12 pages; short papers
are up to six pages of length, and posters and tools can be presented on
two pages of text. Proceedings will appear online and as a Humboldt
university report. Depending on the submissions, papers may be selected to
appear in a special issue of an appropriate journal.

  The workshop will take place in Berlin - Adlershof, Germany, which is
one of the worlds largest science and technology areas, comprising twelve
research institutes, six faculties of the Humboldt University of Berlin,
and more than 370 high tech companies. It is hosted by FIRST, the
Fraunhofer Institute of Computer Architecture and Software Technology, in
collaboration with the computer science institute of Humboldt University.

For more information and registration information, see the M4M homepage at
http://staff.science.uva.nl/~m4m/

Deadline for submissions: July 1st, 2005
Notification of acceptance: August 15, 2005
Camera ready versions due: September 8, 2005
Workshop days: September 29-30, 2005

The program committee for M4M consists of
  Holger Schlingloff, Humboldt University / FIRST (local organizations);
  Carlos Areces, INRIA Lorraine;
  Patrick Blackburn, INRIA Lorraine;
  Torben Brauner, Roskilde University;
  Stephane Demri, ENS de Cachan;
  Enrico Franconi, Free University of Bolzano;
  Rajeev Gore, University of Canberra;
  Ian Horrocks, University of Manchester;
  Joost-Pieter Katoen, University of Twente;
  Maarten de Rijke, University of Amsterdam;
  Renate Schmidt, University of Manchester; and
  Frank Wolter, University of Liverpool.