Email Gateway (Aug 19 2022 at 08:05): Email Gateway (Aug 19 2022 at 08:05):From: Stephan Merz <Stephan.Merz@loria.fr>
Some of the courses may be of interest to readers of the Isabelle list. Apologies for multiple copies. Please note the short deadline for application.
Stephan Merz
VTSA 2012 - Summer School on Verification Technology, Systems & Applications
Max Planck Institute for Informatics, Saarbruecken, Germany
September 03-07, 2012
http://www.mpi-inf.mpg.de/VTSA12/
Call for Participation
The summer school on verification technology, systems and applications
happens this year at the Max Planck Institute for Informatics.
The school will take place from September 3rd to 7th, 2012.
The following speakers have accepted to give courses:
Armin Biere: Understanding Modern SAT Solvers
Jürgen Giesl: Automated Termination Analysis
David Monniaux: Abstract Interpretation
Ahmed Bouajjani: Verification of Concurrent Programs under Weak Memory Models
Carsten Schürmann: Logical Frameworks - The Art of Representation
Participation is free (except for travel and accommodation costs) and
open to anybody holding at least a Bachelor degree (or equivalent) in
computer science. The number of participants is limited. Please apply
electronically by July 20th, 2012 by sending
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)
For details please see the Web page of the school.
General Organization:
Local Organization
Last updated: Nov 21 2024 at 12:39 UTC