News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

9-12 November 2011, 7th workshop Methods for Modalities (M4M-7), Osuna, Spain

Date: 9-12 November 2011
Location: Osuna, Spain
Deadline: 15 July 2011

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

Authors are invited to submit regular papers, system descriptions and/or presentation-only papers. Deadline for submissions: July 15, 2011.

Please note that this newsitem has been archived, and may contain outdated information or links.