Email Gateway (Aug 18 2022 at 19:04): Email Gateway (Aug 18 2022 at 19:04):From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Workshop on Automation in Proof Assistants 2012
a satellite workshop of ETAPS 2012
jointly organized with the Rich-Model Toolkit COST action
Sat 31 March - Sun 1 April, Tallinn, Estonia
http://pauillac.inria.fr/~herbelin/aipa2012
Regular registration fees end * 26 February 2012 *
Invited speakers
Jean-Christophe Filliâtre (U. Paris-Sud): Why3
Jasmin Blanchette (T.U. Munich): Sledgehammer, Quickcheck, and Nitpick
Chad E. Brown (U. Saarland): Satallax
Contributing a talk
The workshop will be informal. In addition to invited talks, the
workshop will be based on contributed talks and discussions. To
contribute a talk, send a title and abstract to aipa2012(at)inria.fr.
Program committee
Keijo Heljanko (Aalto University, IC0901 chair)
Hugo Herbelin (INRIA Paris-Rocquencourt, AIPA chair)
Viktor Kuncak (EPFL, Lausanne)
Adam Naumowicz (University of Białystok)
Claudio Sacerdoti (University of Bologna)
Makarius Wenzel (University Paris-Sud)
Registration
For non IC0901 participants, registration is done through the ETAPS
2012 registration system (http://www.etaps.org/2012/registration).
Regular registration fees end 26 February 2012.
Last updated: Nov 21 2024 at 12:39 UTC