ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

WING 2010: July 21

Workshop on Invariant Generation 2010

associated with IJCAR

Overview

This third International Workshop on Invariant Generation brings together researchers from abstract interpretation, computational logics, computer algebra and model checking to exchange their newest research on invariant generation techniques and applications.

More information can be found here.

Programme

Program Chairs

Nikolaj Bjorner, Microsoft Research, United States
Laura Kovacs, TU Vienna, Austria

Program Committee:

Martin Giese, University of Oslo, Norway
Jens Knoop, TU Vienna, Dept. of Computer Science, Austria
Francesco Logozzo, Microsoft Research, United States
Enric Rodríguez Carbonell, Technical University of Catalonia, Spain
Andrey Rybalchenko, MPI-SWS, Germany
Wolfgang Schreiner, Research Institute for Symbolic Computation (RISC), Austria
Helmut Veith, Technical University of Darmstadt, Germany
Thomas Wies, IST Austria, Austria