** 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.
------------------------------------------------------------------------------
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud computing
also focuses on allowing computing to be delivered as a service.
http://www.accelacomm.com/jaw/sfnl/114/51521223/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
