The autumn school is associated with the FIRST research school (http://first.dk).
Submissions should be made via EasyChair at the following address:
Final versions of accepted papers will be published online in an Elsevier ENTCS volume. A preliminary version of the proceedings will be provided at the workshop. Instructions for preparing your paper can be found at the web page of ENTCS (http://www.entcs.org). Please remember to use the file prentcsmacro.sty that is dedicated to the M4M proceedings.
The Call for Papers is available.
Registration opens on September 1st. The deadline for early registration is October 19th.
Note that the workshop venue is not the same as the venue for the autumn school on modal logic. Travelling information pertaining to the autumn school venue can be found at the autumn school home page.
The workshop is supported by the research project Hybrid Logic, Computation, and Reasoning Methods (HYLOCORE).