segunda-feira, 25 de março de 2013

Methods for Modalities


Lake Placid, New York June 9, 2013 
Theme
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.

Submissions
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:
http://www.easychair.org/conferences/?conf=m4m8
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.
Accommodation
TBS
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