Previous editions of summer schools
-
Principles of model checking
29 September - 2 october, 8,9 October 2009, University of Twente, Enschede, Netherlands. -
Summer School on Provable Security
7-11 September 2009, Barcelona, Spain. World - Summer
School on Network & Information Security
14-18 September 2009, Crete, Greece.
Topic: Privacy and Trust in a Networked World - Privacy and
Identity Management for Life
7-11 September 2009, Nice, France.
Topic: privacy and identity management for emerging Internet applications throughout a person’s life. - FOSAD
1 week in September, in Bertinoro, Italy.
Topic: Foundations of Security and Design - Marktoberdorf
2 weeks in August, in Marktoberdorf, Germany
Topic: Logics and Security -
SFM-09:WS
1-6 June 2009, Bertinoro, Italy.
Application deadline: May 16th, 2009 -
Spring school Games
31 May - 6 June 2009, Bertinoro, Italy.
-
Privacy and Identity Management for Life
7th-11th September 2009, Nice, France.
Submission deadline: May 14th, 2009 - Midlands
Graduate School in the Foundations of Computing Science
March 30 - April 3, 2009 in Leicester, UK
Topic: category theory, the lambda calculus, functional programming, normalization by evaluation, semantics, dependent types, coalgebra, separation logic, automated theorem proving. - European Summer
School in Logic, Language, and Information (ESSLLI)
August 4-15, 2008, in Hamburg, Germany
Topic: Logics and Languages - FIDIS/IFIP
Summer School
September 1-7, 2008, in Brno, Czech Republic
Topic: Internet Security & Privacy Summer School - 1st
Canada-France MITACS Workshop on Foundations & Practice of
Security
May 31 - June 2, 2008, in Montreal, Quebec, Canada
Topic: Foundations & practice of security -
ISR 2008: 3rd Internation School on Rewriting
July 21-26, 2008, in Obergurgl, Austria
Topic: Term Rewriting