Apologies if you recieve this call for participation more than once.
Methods for Modalities - CALL FOR PARTICIPATION
The workshop "Methods for Modalities" (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logic.
amera 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;
r 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
