The Coq mailing list

[Kenneth McMillan <kenmcmil AT microsoft.com>]

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
(kenmcmil AT microsoft.com)
 if you would like to apply.

VMCAI is sponsored by Microsoft Research