* [Caml-list] [VMCAI2012] VMCAI 2012: call for participation
@ 2011-12-23 19:17 Andrey Rybalchenko
0 siblings, 0 replies; only message in thread
From: Andrey Rybalchenko @ 2011-12-23 19:17 UTC (permalink / raw)
To: vmcai2012
VMCAI 2012
13th International Conference on
Verification, Model Checking, and Abstract Interpretation
Philadelphia, USA, January 22-24, 2012
http://lara.epfl.ch/vmcai2012/program.html
Early registration deadline is December 24.
https://regmaster3.com/2012conf/POPL12/register.php
VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation,
facilitating interaction, cross-fertilization, and advancement of
hybrid methods that combine these and related areas.
Invited talks:
* Alex Aiken: New applications of underapproximations in static analysis
* Rajeev Alur: Computer augmented program engineering
* Ahmed Bouajjani: Abstract domains for automated reasoning about list-manipulating programs with infinite data
* Tobias Nipkow: Teaching semantics with a proof assistant: teach proofs, not logic!
Invited Tutorial:
* Ranjit Jhala: Software verification with liquid types
Contributed papers:
The VMCAI 2012 program encompasses 26 regular papers.
http://lara.epfl.ch/vmcai2012/program.html
Best regards,
Viktor Kuncak and Andrey Rybalchenko, co-chairs.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-12-23 19:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-12-23 19:17 [Caml-list] [VMCAI2012] VMCAI 2012: call for participation Andrey Rybalchenko
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).