coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Stephan Merz <Stephan.Merz AT loria.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] VTSA 2009
- Date: Fri, 26 Jun 2009 15:45:12 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Summer School on Verification Technology, Systems & Applications
http://www.mpi-inf.mpg.de/VTSA09/
A summer school on verification technology, systems and applications will be organized by the INRIA research center in Nancy, in cooperation with the Max-Planck Institute für Informatik in Saarbrücken and the University of Luxemburg. The school will take place during the week of October 12, 2009 in Nancy, France.
The following speakers have accepted to give courses:
Daniel Le Berre: SAT and related technologies from a practitioner's perspective
Patricia Bouyer: On the verification and control of timed systems
Leonardo de Moura: On Designing and Implementing Satisfiability Modulo Theory Solvers
Stephan Schulz: Implementation of First-Order Theorem Provers
Benjamin Werner: Coq proofs -- the case of prime numbers
Participation is free (except for travel and accomodation costs) and open to anybody holding at least a Bachelor degree (or equivalent) in computer science. Basic knowledge of propositional and first-order logic is assumed. The number of participants is limited. Please apply electronically by *August 30, 2009* by sending
- a one-page CV,
- an application letter explaining your interest in the school and your experience in the area,
- a copy of your bachelor certificate (or equivalent or higher)
to
lamotte AT mpi-inf.mpg.de.
For details please see the Web page of the school.
begin:vcard fn:Stephan Merz n:Merz;Stephan org:INRIA Nancy & LORIA adr;quoted-printable:;;615 rue du Jardin Botanique;Villers-l=C3=A8s-Nancy;;54602;France email;internet:Stephan.Merz AT loria.fr tel;work:(+33) 354 95 84 78 tel;fax:(+33) 383 41 30 79 x-mozilla-html:FALSE url:http://www.loria.fr/~merz/ version:2.1 end:vcard
- [Coq-Club] VTSA 2009, Stephan Merz
Archive powered by MhonArc 2.6.16.