[TYPES] CFP: M4M-4 (Methods for Modalities 2005)

[Holger Schlingloff]

Apologies if you receive this call more than once.
Please distribute to whomever you think appropriate.
__________________________________________________________________

First 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.
Submission is by email. Either Postscript or PDF files can be sent to 
m4m-4 at first.fraunhofer.de.

   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://m4m.loria.fr/

  Deadline for submissions: September 1st, 2005
  Notification: October 17, 2005
  Camera ready versions: November 8, 2005
  Workshop dates: December 1-2, 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.

__________________________________________________________________

Prof. Dr. Holger Schlingloff

Head of the Synthesis, Validation and Testing Department
Fraunhofer - Institute of Computer Architecture and Software Technology
FHG-FIRST, Kekulestr 7,  D-12489 Berlin, Germany

Professor for Specification, Verification and Testing Theory
Department of Computer Science, Humboldt-University
Rudower Chaussee 25, D-12489 Berlin, Germany

phone:  ++49 30 6392 1907
mobile: ++49 179 5973372
fax:    ++49 30 6392 1805
__________________________________________________________________