PhD School on modal logics, previous to m4m

 
 

The PhD school on Modal Logics will be held on 9 November, the day before the start of Methods for Modalities “M4M”. Note that the venue of this PhD school is in Málaga, not in the same venue of M4M will be held. The distance between both places is roughly one hour by train.


The PhD 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 main M4M workshop aims at bringing together researchers interested in developing proof tools and decision methods based on modal logics (conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc).


See Methods for Modalities for more information on the workshop series, in particular, see why modal logic is important for computer science.

 

Introduction

Some typical pictures

November 9, 2011. Málaga, Spain

The school will take place at the Faculty of Computer Science of the University of Málaga, which is located in Blv Louis Pasteur 35.


The venue is 9.5 km from Málaga International Airport, and 4.5 km from the Railway Station. Bus lines 8, 20, and 22 have a stop within two minutes of walking distance.


Further information concerning travelling and accommodation can be found at the M4M home page.


Registration is done via the M4M home page.


venue, accommodation, travelling, registration

Manuel Ojeda-Aciego, Universidad de Málaga

Hans van Ditmarsch, Universidad de Sevilla

David Fernández Duque, Universidad de Sevilla


Manuel Ojeda-Aciego is the main organizer of the school and can be contacted for more information.


The PhD School on Modal Logic is supported by the III Plan Propio de Investigación de la Universidad de Málaga.

Organizers