[Pl-seminar] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)

[Mitchell Wand]

---------- Forwarded message ----------
From: Manuel Hermenegildo <herme at fi.upm.es>
Date: Mon, Jul 27, 2009 at 4:27 PM
Subject: [forwarded from pl-seminar-owner at lists.ccs.neu.edu] CFP - VMCAI
2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract
Interpretation)
To: pl-seminar-owner at lists.ccs.neu.edu



I would appreciate if you can forward the message to the list. Thanks
very much in advance. --Manuel Hermenegildo



---------- Forwarded message ----------
From: pl-seminar-owner at lists.ccs.neu.edu
To: vmcai10-announce at clip.dia.fi.upm.es
Date: Wed, 22 Jul 2009 08:41:22 -0400
Subject: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model
Checking, and Abstract Interpretation)
You are not allowed to post to this mailing list, and your message has
been automatically rejected.  If you think that your messages are
being rejected in error, contact the mailing list owner at
pl-seminar-owner at lists.ccs.neu.edu.



---------- Forwarded message ----------
From: vmcai10-announce at clip.dia.fi.upm.es
To: vmcai10-cfp at clip.dia.fi.upm.es
Date: Wed, 22 Jul 2009 14:37:41 +0200
Subject: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model
Checking, and Abstract Interpretation)

-------------------------------------------------------------------------------
                      *** CALL FOR PAPERS ***

                             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/
-------------------------------------------------------------------------------

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. VMCAI'10 is co-located with the POPL'10 conference.

The  program of  VMCAI'10 will  consist of  invited  lectures, invited
tutorials,   refereed  research   papers,  and   tool  demonstrations.
Research contributions can report  new results as well as experimental
evaluations  and comparisons of  existing techniques.  Topics include,
but are not limited to:

 program verification         program certification
 model checking               debugging techniques
 abstract interpretation      abstract domains
 static analysis              type systems
 deductive methods            optimization

Submissions   can   address   any  programming   paradigm,   including
concurrent,    constraint,   functional,   imperative,    logic,   and
object-oriented programming.   Papers must describe  original work, be
written and  presented in English, and must  not substantially overlap
with  papers  that have  been  published  or  that are  simultaneously
submitted to a journal or  a conference with refereed proceedings. The
proceedings  will be  published by  Springer in  the Lecture  Notes in
Computer Science series.

The page limit for submissions  is 15 pages in Springer's LNCS format.
Additional material  may be placed in  an appendix, to be  read at the
discretion of the reviewers. Formatting style files can be found at:

 http://www.springer.de/comp/lncs/authors.html

Please visit the conference website for more information.

Important Dates:

- Submission of abstracts:    August 14, 2009
- Submission of papers:       August 21, 2009
- Notification of acceptance: October 2, 2009
- Final version due:          October 30, 2009
- Conference:                 January 17-19, 2010

Program Chairs:

  Gilles Barthe, IMDEA Software, Spain
  Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain

Program Committee:

  Christel Baier, Technische Universität Dresden, Germany
  Patrick Cousot, École Normale Supérieure, France
  Javier Esparza, Technische Universität München, Germany
  Patrice Godefroid, Microsoft Research, USA
  Orna Grumberg, Technion, Israel
  Sumit Gulwani, Microsoft Research, USA
  Joxan Jaffar, National University of Singapore
  Rustan Leino, Microsoft Research, USA
  Ken McMillan, Cadence, USA
  Markus Müller-Olm, Universität Münster, Germany
  Hanne Riis Nielson, Technical University of Denmark
  Xavier Rival, École Normale Supérieure and INRIA, France
  David Sands, Chalmers University of Technology, Sweden
  David Schmidt, Kansas State University, USA
  Hongseok Yang, Queen Mary, University of London, United Kingdom
  Kwangkeun Yi,Seoul National University, Korea
  Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee:

  Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
  Patrick Cousot, École Normale Supérieure, France
  E. Allen Emerson, University of Texas at Austin, USA
  Giorgio Levi, University of Pisa, Italy
  Andreas Podelski, Universität Freiburg, Germany
  Thomas W. Reps, University of Wisconsin at Madison, USA
  David Schmidt, Kansas State University, USA
  Lenore Zuck, University of Illinois at Chicago, USA

-------------------------------------------------------------------------------



--
-------------------------------------------------------------------------------
 Manuel Hermenegildo                     | Prof., C.S.Dept., T.U. Madrid
(UPM)
 Director, IMDEA-Software and CLIP Group | +34-91-336-7435 (W) -352-4819
(Fax)
-------------------------------------------------------------------------------
-------------- next part --------------
HTML attachment scrubbed and removed