21.078 events

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Wed, 6 Jun 2007 12:31:09 +0100

                Humanist Discussion Group, Vol. 21, No. 78.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

   [1] From: Mats Dahlstrom <Mats.Dahlstrom_at_hb.se> (13)
         Subject: reminder CoLIS 6

   [2] From: Carlos Areces <areces_at_loria.fr> (23)
         Subject: CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)

--[1]------------------------------------------------------------------
         Date: Wed, 06 Jun 2007 11:56:19 +0100
         From: Mats Dahlstrom <Mats.Dahlstrom_at_hb.se>
         Subject: reminder CoLIS 6

Reminder CoLIS 6 Registration; reduced conference fee until June 15!

                          *************
* PROGRAMME AVAILABLE - REGISTRATION OPEN *
                  CALL FOR PARTICIPATION

                 6th International Conference on
      Conceptions of Library and Information Science:
                      "Featuring the Future"

   Swedish School of Library and Information Science
    University College of Boras & Goteborg University
                             Boras, Sweden
                         13-16 August 2007

                         www.hb.se/colis

                           *************

--[2]------------------------------------------------------------------
         Date: Wed, 06 Jun 2007 12:24:24 +0100
         From: Carlos Areces <areces_at_loria.fr>
         Subject: CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)

          5th Worskhop on "Methods for Modalities" (M4M-5)
                      http://m4m.loria.fr/M4M5
             Ecole Normale Superieure de Cachan, France
                           November 29-30

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
and posters, 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/

[...]
Received on Wed Jun 06 2007 - 07:44:45 EDT

This archive was generated by hypermail 2.2.0 : Wed Jun 06 2007 - 07:44:45 EDT