[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] AiML 2008: Registration now open



=======================================================

Please circulate. Apologies for multiple copies

[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>

             CALL FOR PARTICIPATION

                     AiML-2008
               ADVANCES in MODAL LOGIC
     9-12 September 2008, LORIA, Nancy, France
                http://aiml08.loria.fr

           --- REGISTRATION IS NOW OPEN ---

Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.

AiML-2008 is the seventh conference in the series.

REGISTRATION
Registration to AiML is now open at:

  http://aiml08.loria.fr/registration.php

INVITED SPEAKERS
Invited speakers at AiML-2008 will include the following:

- Mai Gehrke, Radboud Universiteit Nijmegen
  http://www.math.ru.nl/~mgehrke/
  Using duality theory to export methods from modal logic
  
- Guido Governatori, The University of Queensland
  http://www.itee.uq.edu.au/~guido/
  Labelled modal tableaux
  
- Agi Kurucz, King's College London
  http://www.dcs.kcl.ac.uk/staff/kuag/
  Axiomatising many-dimensional modal logics

- Lawrence Moss, Indiana University
  http://www.indiana.edu/~iulg/moss/
  Relational syllogistic logics, and other connections
  between modal logic and natural logic

- Michael Zakharyaschev, Birkbeck College
  http://www.dcs.bbk.ac.uk/~michael/
  Topology, connectedness, and modal logi

Further information available at:

   http://aiml08.loria.fr/invited.php

ACCEPTED PAPERS
Complete list of accepted papers and abstracts is now
available at:

   http://aiml08.loria.fr/accepted.php

PROGRAMME COMMITTEE
Alessandro Artale     (Free University of Bolzano, Italy)
Philippe Balbiani     (IRIT, Toulouse, France)
Alexandru Baltag      (University of Oxford, UK)
Guram Bezhanishvili   (New Mexico State University, USA)
Patrick Blackburn     (LORIA, France)
Stephane Demri        (CNRS, Cachan, France)
Melvin Fitting        (City University of New York, USA)
Guido Governatori     (University of Queensland, Australia)
Silvio Ghilardi       (University of Milano, Italy)
Valentin Goranko      (University of the Witwatersrand, South Africa)
Rajeev Gore           (The Australian National University, Australia)
Andreas Herzig        (IRIT, Toulouse, France)
Ian Hodkinson         (Imperial College London, UK)
Ramon Jansana         (University of Barcelona, Spain)
Alexander Kurz        (University of Leicester, UK)
Carsten Lutz          (Dresden University of Technology, Germany)
Edwin Mares           (Victoria University of Wellington)
Larry Moss            (Indiana University, USA)
Dirk Pattinson        (Imperial College London, UK)
Mark Reynolds         (University of Western Australia, Australia)
Ildiko Sain           (Hungarian Academy of Sciences)
Ulrike Sattler        (University of Manchester, UK)
Renate Schmidt        (University of Manchester, UK)
Jerry Seligman        (University of Auckland, New Zealand)
Valentin Shehtman     (Moscow State University, Russia)
Nobu-Yuki Suzuki      (Shizuoka University, Japan)
Yde Venema            (ILLC, University of Amsterdam, The Netherlands)
Heinrich Wansing      (Dresden University of Technology, Germany)
Frank Wolter          (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)


PROGRAMME CO-CHAIRS
Carlos Areces
LORIA, Nancy
carlos.areces(at)loria.fr

Rob Goldblatt
Victoria University of Wellington
rob.goldblatt(at)mcs.vuw.ac.nz

LOCAL ORGANIZER
Patrick Blackburn
LORIA, Nancy
patrick.blackburn(at)loria.fr

IMPORTANT DATES
Submission deadline: 31 March 2008
Acceptance notification: 31 May 2008
Final version of full papers due: 30 June 2008
Conference: 9-12 September 2008

CONFERENCE LOCATION
Advances in Modal Logic 2008 will be held at LORIA (Laboratoire
Lorrain de Recherche en Informatique et ses Applications) in Nancy,
in the Lorraine, in the east of France.

FURTHER INFORMATION
Information about AiML-2008 will be available at the conference
website: http://aiml08.loria.fr

E-mail enquiries should be directed to the local
organizer or the program co-chairs.

Information about AiML itself can be obtained at
http://www.aiml.net