File /Humanist.vol22.txt, message 143


Date:         Sat, 26 Jul 2008 08:09:33 +0100
From: Humanist Discussion Group <willard.mccarty-AT-MCCARTY.ORG.UK>
Subject: 22.140 program for ADVANCES in MODAL LOGIC
To: humanist-AT-Princeton.EDU


               Humanist Discussion Group, Vol. 22, No. 140.
       Centre for Computing in the Humanities, King's College London
                        www.princeton.edu/humanist/
                     Submit to: humanist-AT-princeton.edu



         Date: Sat, 26 Jul 2008 07:15:18 +0100
         From: Humanist Discussion Group <willard.mccarty-AT-mccarty.org.uk>
         Subject: AiML08: Preliminary Program now Available

               CALL FOR PARTICIPATION

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

         --- PRELIMINARY PROGRAM NOW ON-LINE ---
           http://aiml08.loria.fr/programme.php

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, NICTA, Australia
    http://www.governatori.net
    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

[...]

From - Sat Jul 26 08:30:05 2008
X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
   

Humanist Main Page

 

Display software: ArchTracker © Malgosia Askanas, 2000-2005