ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 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.