[Prev][Next][Index][Thread]
last CFP Types Summer School'99  deadline extension

To: bratypes@cs.chalmers.se, appsem@cs.chalmers.se, coqclub@pauillac.inria.fr, infohol@leopard.cs.byu.edu, isabelleusers@cl.cam.ac.uk, pvs@csl.sri.com, logic@theory.lcs.mit.edu, lprolog@central.cis.upenn.edu, rewriting@enslyon.fr, theoremprovers@ai.mit.edu, types@cis.upenn.edu, qed@mcs.anl.gov, concurrency@cwi.nl, linear@cs.stanford.edu

Subject: last CFP Types Summer School'99  deadline extension

From: Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>

Date: Tue, 11 May 1999 16:16:35 +0200
** To be consistent with our first call, we extend the deadline
** of application to May 17th.
__________________________________________________________________________
Please distribute the following announcement to your colleagues
Apologies for multiple copies
__________________________________________________________________________
L A S T C A L L F O R P A R T I C I P A T I O N

The 2nd International Types Summer School:
THEORY AND PRACTICE OF FORMAL PROOFS
Giens, France, 30 August  10 September 1999

http://wwwsop.inria.fr/typessumschool.html
is organized by the Esprit Working Group: Types for proofs and programs.
During the last few years major achievements have been made in using
computers for interactive proof developments to produce secure software.
This two weeks' course is for postgraduate students, researchers and
industrials who want to learn about interactive proof development.
There will be introductory and advanced lectures on lambda calculus,
type theory, logical frameworks, program extraction, and other topics
which give relevant theoretical background. Several talks will be
devoted to the presentation of applications.
The proof assistants presented in the school represent the current
stateoftheart in interactive theorem proving. Participants will
get extensive opportunities to use the systems in a workstation
environment for developing their own proofs.
The DEADLINE FOR APPLICATION is Monday May 17, 1999.