Logic List Mailing Archive

17th School for Computer Science "Formal Methods" (Lipari Island, Italy, July 2005)

17th International School for Computer Science
   "FORMAL METHODS: THEORY AND PRACTICE"

     http://lipari.cs.unict.it/lipari/
  LIPARI ISLAND, ITALY, JULY 10-23, 2005

DIRECTORS:
ALFREDO FERRO (Catania)         <ferro@dmi.unict.it>
ZOHAR MANNA (Stanford)          <manna@cs.stanford.edu>

SPEAKERS:
RAJEEV ALUR (UPenn)             <alur@cis.upenn.edu>
  "Modeling and analysis of Hybrid and Embedded Systems"
ED CLARKE (CMU)                 <emc@cs.cmu.edu>
  "Abstraction in Model Checking"
TOM HENZINGER (EPFL)            <tah@epfl.ch>
  "Games in System Design and Verification"
DANIEL JACKSON (MIT)            <dnj@lcs.mit.edu>,
  "Relational Logic for Software Design"
ZOHAR MANNA (Stanford)          <manna@cs.stanford.edu>
  "Practical Static Analysis of Software Systems"
SRIRAM RAJAMANI (Microsoft Research) <sriram@microsoft.com>
  "Software Model Checking"
MOSHE VARDI (Rice)              <vardi@cs.rice.edu>
  "The Automata-Theoretic Approach to Verification"