LfSA 2010: July 15

Logics for Systems Analysis

associated with IJCAR and LICS

Overview

This workshop is devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study.

More information can be found here.

Programme

Invited Speakers

Program Chairs

Andre Platzer, Carnegie Mellon University - Computer Science Department, United States
Philipp Ruemmer, Oxford University, Computing Laboratory, United Kingdom

Program Committee:

Raul Barbosa, Chalmers, Gothenburg, Sweden
Alessandro Cimatti, FBK-irst, Italy
Stephane Demri, CNRS, France
Javier Esparza, Technische Universität München, Germany
Georgios Fainekos, Arizona State University, United States
Martin Giese, University of Oslo, Norway
Franjo Ivancic, NEC Labs America, United States
Einar Broch Johnsen, University of Oslo, Norway
Dexter Kozen, Cornell University, United States
Daniel Kroening, Computing Laboratory, Oxford University, United Kingdom
Bruce Krogh, Carnegie Mellon University, United States
Marta Kwiatkowska, University of Oxford, United Kingdom
Larissa Meinicke, Macquarie University, Australia
George Pappas, University of Pennsylvania, United States
Jean-Francois Raskin, Université Libre de Bruxelles, Belgium
Peter Schmitt, University Karlsruhe, Germany
Cesare Tinelli, The University of Iowa, United States
Uwe Waldmann, MPI für Informatik, Germany