From: vmcai10-announce@clip.dia.fi.upm.es
To: caml-list@inria.fr
Subject: VMCAI 2010 - Call for Participation - Early Reg: Dec 22
Date: Mon, 14 Dec 2009 02:19:31 +0100 [thread overview]
Message-ID: <19237.37539.366300.240322@gazelle.local> (raw)
----------------------------------------------------------------------
*** 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
----------------------------------------------------------------------
reply other threads:[~2009-12-14 12:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=19237.37539.366300.240322@gazelle.local \
--to=vmcai10-announce@clip.dia.fi.upm.es \
--cc=caml-list@inria.fr \
--cc=herme@fi.upm.es \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).