Corpora: M4M-2: Call for Participation

From: Methods for Modalities (m4m@science.uva.nl)
Date: Tue Nov 20 2001 - 16:10:19 MET

  • Next message: LDC Office: "Corpora: New Release from the LDC"

    FINAL CALL FOR PARTICIPATION

    METHODS FOR MODALITIES 2 (M4M-2)

    Institute for Logic, Language and Computation
    University of Amsterdam
    November 29-30, 2001
    www.science.uva.nl/~m4m

    THEME
    The workshop Methods for Modalities (M4M) aims to bring together
    researchers interested in developing proof tools and reasoning methods for
    modal logic broadly conceived, including description logic, hybrid logics,
    feature logic, temporal logic, etc.

    SPECIAL FEATURES
    To stimulate interaction and transfer of expertise, M4M will be centered
    around a number of long presentations by leading researchers; these
    presentations aim to provide both the general background and inside
    information in a number of key areas. To complement these, we are inviting
    submissions of short, focussed presentations aimed at highlighting new
    developments and applications, and submissions of system demonstrations.
    M4M-2 is the second installment of this bi-anual workshop series.

    PROGRAM
    The following people have agreed to give long presentations:
     * Ed Brinksma (on applications of formal methods)
     * Marta Cialdea Mayer (on quantified modal logic and tableaux methods)
     * Enrico Franconi (on tools for knowledge engineering)
     * Joe Halpern (to be announced)
     * Fabio Massacci (on testing of automated deduction systems)
     * Wolfgang Thomas (on automata theory and model checking)

    In addition, there will be demonstration sessions, and short presentations
    of contributed papers. The complete program is available at
    http://turing.wins.uva.nl/~m4m/M4M2/program.html

    REGISTRATION
    The early registration fee for M4M is 125 Dutch guilders;
    the fee includes 2 lunches, coffee and tea services as well as a copy of the
    informal workshop proceedings. To register, please visit the registration page.
    To register for the workshop, please visit the registration page at

       http://www.science.uva.nl/~m4m/M4M2/registration.html

    The deadline for early registrations is November 21st, 2001. After this date
    the registration fee will be doubled. Information about
    accommodation is available on the registration page; you're advised to
    arrange accommodation asap---affordable rooms are very hard to get.

    PROGRAM COMMITTEE
    The program committee for M4M consists of
      Carlos Areces, ILLC, The Netherlands (co-chair),
      Stephane Demri, LSV, ENS de Cachan and Lab. LEIBNIZ, France,
      Joseph Halpern, Cornell University, USA,
      Ian Horrocks, University of Manchester, United Kingdom,
      Joost-Pieter Katoen, University of Twente, The Netherlands,
      Maarten de Rijke, ILLC, The Netherlands (co-chair),
      Holger Schlingloff, University of Bremen, Germany,
      Renate Schmidt, University of Manchester, United Kingdom.

    IMPORTANT DATES
     * Deadline for early registration: November 21, 2001
     * Workshop dates: November 29-30, 2001

    FURTHER INFORMATION
    Please visit www.science.uva.nl/~m4m for further information about M4M.

    -- 
    

    M4M: Methods for Modalities www.science.uva.nl/~m4m



    This archive was generated by hypermail 2b29 : Tue Nov 20 2001 - 22:58:03 MET