Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Summer School VTSA 2012


view this post on Zulip 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:

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

to lamotte@mpi-inf.mpg.de

For details please see the Web page of the school.

General Organization:

Local Organization


Last updated: Mar 29 2024 at 04:18 UTC