[TYPES/announce] Call for Participation: VMCAI 2016

[Barbara Jobstmann]

17th International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI 2016)

http://conf.researchr.org/home/VMCAI-2016

17-19 January 2016, St. Petersburg, Florida, United States
Co-located with POPL 2016 (http://conf.researchr.org/home/POPL-2016)

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:*

- Thomas Reps:  Automating Abstract Interpretation
- Bryan Parno:  Ironclad - Full Verification of Complex Systems
- Peter Müller:  Viper - A Verification Infrastructure for Permission-based
Reasoning

Important dates:
- Early registration: 18 December 2015
- Conference:         17-19 January 2016

*Registration (via the POPL 2016 registration site):*

https://regmaster4.com/2016conf/POPL16/register.php

*Accommodation (via POPL 2016 web site):*

http://conf.researchr.org/venue/POPL-2016/key


*Student Travel Grants:*

The US National Science Foundation has provided funding to support student
attendance at VMCAI 2016. Applicants must be registered students at an
accredited US academic institution. Successful applicants will receive a
grant to cover travel and other costs of attending VMCAI in St. Petersburg,
Florida.  Only students who are registered (or will register) for VMCAI,
are eligible to apply.

If you are interested, please send the following information before Dec
6th, 2015 to vmcai2016 at easychair.org:

* Are you presenting a paper at VMCAI? If not, then a short paragraph on
why you want to attend VMCAI.
* An estimate of the cost (travel, registration, and accommodation).
* A copy of your CV.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151123/3fbe0695/attachment.html>