News and Events: Conferences

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

10-11 November 2009, PhD Autumn School on Modal Logic, Copenhagen, Denmark

Date: 10-11 November 2009
Location: Copenhagen, Denmark

The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).

The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.

The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.

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