[TYPES/announce] VMCAI 2010 Call for Participation -- early registration Dec 22

[Gilles Barthe]

----------------------------------------------------------------------
		    *** CALL FOR PARTICIPATION ***
      [ Please redistribute. Apologies for multiple postings. ]

			      VMCAI 2010

	       The Eleventh International Conference on
      Verification, Model Checking, and Abstract Interpretation

		  Madrid, Spain, January 17-19, 2010
		     (Co-located with POPL 2010)

	      http://software.imdea.org/events/vmcai10/

	    Early registration deadline: December 22, 2009
	    Hotel registration deadline: December 28, 2009
----------------------------------------------------------------------

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.  The program  of  VMCAI'10  will  consist of  invited
lectures,  invited  tutorials,  and  21 contributed  talks.  The  full
programme is available at the conference web site.

Invited Talks:
==============

Javier Esparza (Technical University of Munich):
Analysis of Systems with Stochastic Process Creation

Rustan Leino (Microsoft Research):
Verifying Concurrent Programs with Chalice

Reinhard Wilhelm (Saarland University):
Static Timing Analysis for Hard Real-Time Systems

Invited Tutorials:
==================

Roberto Giacobazzi (University of Verona):
Abstract Interpretation-based Protection

Joost Pieter Katoen (Aachen University):
Advances in Probabilistic Model Checking

Viktor Kuncak (EPFL Lausanne):
Building a Calculus of Data Structures



Further information on registration for VMCAI is available at the
conference web site: http://software.imdea.org/events/vmcai10/

Further information on accommodation is available at the POPL web
site: http://www.cse.psu.edu/popl/10/