[SMT-LIB] DigiCosme Spring School 2013: call for participation

[Claude Marche]

------------------------------------------------------------------------------

                            CALL FOR PARTICIPATION

                    Labex DigiCosme - Spring School 2013

                     *Program Analysis and Verification*

                       Supélec, Gif-sur-Yvette, France
                             April 22-26, 2013

                http://labex-digicosme.fr/Spring+School+2013

------------------------------------------------------------------------------

The first spring school organized by Labex DigiCosme will take place
from April 22 to April 26, 2013, at the Supélec campus of
Gif-sur-Yvette, France.


The following lectures will be given:

* Jean-Christophe Filliâtre
   LRI, CNRS & University Paris-Sud, Orsay, France
   "Deductive Program Verification with Why3"

* Burkhart Wolff
   LRI, CNRS & University Paris-Sud, Orsay, France
   "Model-based Testing with Isabelle-HOL-TestGen"

* Cédric Fournet
   Microsoft Research, Cambridge, UK
   "Verification of protocols and of their implementations"

* Sylvie Putot
   CEA-List & Ecole Polytechnique, Palaiseau, France
   "Static analysis of numerical programs and systems"

* David Pichardie
   Inria Rennes & Harvard University, Cambridge, MA, USA
   "Building verified program analyzers in Coq: a tutorial"


The registration to the school is free. It includes the lectures,
daily coffee breaks and lunches, and social events. Costs for travel
must be supported by participants. A limited number of student rooms
are available at the campus. Costs for accomodation must be supported
by participants, except for members of DigiCosme.

The lectures are intended primarily for doctoral students, and
academic or industrial researchers.  We expect participants to hold a
master's degree in Computer Science, or equivalent, and to have basic
knowledge in logic and semantics of computer programs.

The number of participants is limited to around 50. To apply, please
fill the application form on the web page by *February 28th, 2013*.

For more details please see the Web page of the school at
http://labex-digicosme.fr/Spring+School+2013