CALL FOR PARTICIPATION -- VMCAI 2014 The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) will be held January 19--21, 2014, in San Diego, California, co-located with POPL 2014.
VMCAI provides a forum for researchers from the communities in deductive verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. This year's program includes 25 regular papers and the following invited speakers: Bor-Yuh Evan Chang, University of Colorado at Boulder, USA Cynthia Dwork, Microsoft Research, USA Prakash Panangaden, McGill University, Canada Thomas Wies, New York University, USA For more information on VMCAI 2014, please refer to the conference web site at http://vmcai2014.di.ens.fr. For registration and travel information, please see the POPL 2014 site at http://popl.mpi-sws.org/2014. Important dates: Early registration deadline: December 31, 2013 For student attendees: If you are a student at a US institution, you may be eligible for travel support to attend VMCAI. Please write to Ken McMillan ([email protected]) if you would like to apply. VMCAI is sponsored by Microsoft Research ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
