[Agda] ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1
Apr 2012)
Hugo Herbelin
Hugo.Herbelin at inria.fr
Fri Feb 24 23:09:52 CET 2012
** 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.
More information about the Agda
mailing list