File /Humanist.vol22.txt, message 396


From: Humanist Discussion Group <willard.mccarty-AT-mccarty.org.uk>
To: humanist-AT-lists.digitalhumanities.org
Date: Wed, 24 Dec 2008 07:30:37 +0000 (GMT)
Subject: [Humanist] 22.402 events: Methods for Modalities


                 Humanist Discussion Group, Vol. 22, No. 402.
         Centre for Computing in the Humanities, King's College London
                       www.digitalhumanities.org/humanist
                Submit to: humanist-AT-lists.digitalhumanities.org



        Date: Tue, 23 Dec 2008 16:05:10 +0000
        From: Thomas Bolander <tb-AT-imm.dtu.dk>
        Subject: CFP: 6th workshop on "Methods for Modalities" (M4M-6)


                      FIRST CALL FOR PAPERS
        6th Workshop on "Methods for Modalities" (M4M-6)
                    http://m4m.loria.fr/M4M6
                      Copenhagen, Denmark
                      November 12-14, 2009
====
Scope
-----
The workshop "Methods for Modalities" (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term "modal logics" is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature
a number of invited talks by leading scientists, research
presentations aimed at highlighting new developments, and submissions
of system demonstrations.

We strongly encourage young researchers and students to submit papers,
especially for experimental and prototypical software tools which are
related to modal logics.

More information about the previous editions can be found at

                       http://m4m.loria.fr/

M4M-6 will be preceded by a two-day mini-course aimed at preparing
PhD students and other researchers for participation in the workshop.
The mini-course is associated with the FIRST research school
(http://first.dk).

[...]

_______________________________________________
List posts to: humanist-AT-lists.digitalhumanities.org
List info and archives at at: http://digitalhumanities.org/humanist
Listmember interface at: http://digitalhumanities.org/humanist/Restricted/listmember_interface.php
Subscribe at: http://www.digitalhumanities.org/humanist/membership_form.php




   

Humanist Main Page

 

Display software: ArchTracker © Malgosia Askanas, 2000-2005