[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 vmcai2...@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.