![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Mon, 14 Dec 2009 02:21:10 +0100
From: vmcai10-announce@clip.dia.fi.upm.es
To: ecoop-info@ecoop.org
Subject: [ecoop-info] VMCAI 2010 - Call for Participation - Early Reg: Dec 22
----------------------------------------------------------------------
*** 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
* Registration:
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/
* Program:
Sunday, January 17, 2010
9:00-10:00 Invited Talk
* Reinhardt Wilhelm (Saarland University)
Static Timing Analysis for Hard Real-Time Systems
Coffee break
10:30-11:30 Automata and Monitors
* RoLei Bu, Jianhua Zhao and Xuandong Li.
Path-Oriented Reachability Verification of a Class of Nonlinear
Hybrid Automata Using Convex Programming
* Meera Sridhar and Kevin Hamlen.
Model-Checking In-lined Reference Monitors
Coffee break
12.00-13.30 Abstract interpretation
* Liqian Chen, Antoine Mine, Ji Wang and Patrick Cousot.
An abstract domain for discovering interval linear equalities
* Valentin Perrelle and Nicolas Halbwachs.
An analysis of permutations in arrays
* Andy King and Harald Sondergaard.
Automatic Abstraction for Congruences
Lunch break
15.30-16.30 Model Checking
* Jori Dubrovin.
Checking Bounded Reachability in Asynchronous Systems by
Symbolic Event Tracing
* Benjamin Aminof, Orna Kupferman and Aniello Murano.
Improved Model Checking of Hierarchical Systems
Coffee break
17:00-18.30 Invited Tutorial
* Roberto Giaccobazzi (University of Verona)
Abstract Interpretation-based Protection
Monday, January 18, 2010
9.00-10.00 Invited Talk
* Rustan Leino (Microsoft Research)
Verifying Concurrent Programs with Chalice
Coffee break
10.30-11:30 Logical Methods
* Vijay D'silva, Daniel Kroening, Mitra Purandare and Georg Weissenbacher.
Interpolant Strength
* Kuat Yessenov, Ruzica Piskac and Viktor Kuncak.
Collections, Cardinalities, and Relations
Coffee break
12.00-13.30 Program Verification
* Alexander Summers and Sophia Drossopoulou.
A Considerate Specification of the Composite Pattern
* Thomas Henzinger, Thibaud B. Hottelier, Laura Kovacs and Andrei Voronkov.
Invariant and Type Inference for Matrices
* Yungbum Jung, Soonho Kong, Bow-Yaw Wang and Kwangkeun Yi.
Deriving Invariants in Propositional Logic by Algorithmic
Learning, Decision Procedure, and Predicate Abstraction
Lunch break
15.30-16.30 Quantitative Analysis
* Bjorn Wachter and Lijun Zhang.
Best Probabilistic Transformers
* Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh Viswanathan.
Complexity bounds for the verification of real-time software
Coffee break
17:00-18.30 Invited Tutorial
* Joost Pieter Katoen (University of Twente)
Advances in Probabilistic Model Checking
Tuesday, January 19, 2010
9.00-10.00 Invited Talk
* Javier Esparza (Technical University of Munich)
Analysis of Systems with Stochastic Process Creation
Coffee break
10.30-11:30 Temporal Logic
* Rajeev Alur and Swarat Chaudhuri.
Temporal Reasoning for Procedural Programs
* Cesar Sanchez and Martin Leucker.
Regular Linear Temporal Logic with Past
Coffee break
12.00-13.30 Shape Analysis
* Matthew Might.
Shape Analysis of Higher-Order Programs via Abstract Interpretation
* Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur.
Shape Analysis with Reference Set Relations
* Jorg Kreiker, Helmut Seidl and Vesal Vojdani.
Shape Analysis of Low-level C with Overlapping Structures
Lunch break
15.30-16.30 Concurrency
* Viktor Vafeiadis.
RGSep Action Inference
* Alexander Malkis, Shaz Qadeer and Shuvendu Lahiri.
Abstract Threads
Coffee break
17:00-18.30 Invited Tutorial
* Viktor Kuncak (EPF Lausanne)
Building a Calculus of Data Structures
----------------------------------------------------------------------
Date: Mon, 23 Nov 2009 14:56:41 +0100
From: Gilles Barthe <gjbarthe@gmail.com>
To: ecoop-info@ecoop.org, [...]
Subject: [ecoop-info] VMCAI 2010 Call for Participation -- early
registration Dec 22
----------------------------------------------------------------------
*** 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/
Date: Wed, 22 Jul 2009 14:37:41 +0200
From: vmcai10-announce@clip.dia.fi.upm.es
To: vmcai10-cfp@clip.dia.fi.upm.es
Subject: [ecoop-info] 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
-------------------------------------------------------------------------------
Date: Tue, 9 Jun 2009 14:39:38 +0200 From: Gilles Barthe <gjbarthe@gmail.com> To: ecoop-info@ecoop.org, [...] Subject: [ecoop-info] Call For Papers: VMCAI 2010, Madrid, January 17-19, 2010 [ 93 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 2009/12/16.
Dirk Craeynest