CosyProofs 2010

Computational and Symbolic Proofs of Security (CosyProofs) 2010

37th Spring School on theoretical computer science and French-Japanese collaboration workshop
Apr. 12th - Apr. 16th, 2010

Following the 2009 spring school and French-Japanese workshop on computational and symbolic proofs of security, we organize a second meeting from April 12th, 2010 to April 16, 2010. This will be a joint meeting of the Spring school on theoretical computer science and the JST/CNRS French-Japanese collaboration project.

The first three days (Apr. 12th - Apr. 14th) will be mostly dedicated to introductory lectures. The following days (Apr. 15th - Apr. 16th) will be mostly dedicated to research results presentations. If you wish to give a presentation, please follow the submission instructions.

Topics of the school and workshop

The main theme concerns the formal proofs of security, both in computational models and in symbolic models. The central piece of the meeting is the relationships between these two models.

Sponsors (preliminary list)

Invited Lecturers/Speakers

The list of tutorials and invited talks is available here. The list of short presentations is available here.
A program is available here.


The meeting will take place in Auberge les Alouettes, Barbizon, France. Housing will be managed in two hotels located in the village within 200m from the meeting location.

Barbizon is a small village of painters, located at the boarder of the Foret de Fontainebleau. Touristic attractions include painting exhibitions and hiking and climbing in the forest: the village is a starting point of many hikes and close to famous rock climbing areas. See for more touristic informations (in French)

Registration prices

Only full-board registrations are considered:   Prices are subject to slight modifications. Only few single rooms are available. Please consider this when you fill in the registration form. Participants who belong to the French-Japanese cooperation project can be supported by this project.


There are only a limited number of places (around 50). Participants are invited to submit an application using the registration application form .
There will be also around 12 research results presentations. If you wish to give such a presentation, please (in addition) follow the rules for submitting a presentation .

Important Dates

Late applications will only be considered if there is enough room.


Barbizon is about 50km from Paris. A bus shuttle will be organized: Outside these time frames, the participants must take: At the end, to reach Barbizon, you have to take a taxi cab from Melun to Barbizon. There are 12km between the two city. This will cost you around 15 euros.

About LSV