![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
To: SEWORLD@cs.colorado.edu From: CAV-2009 <info.cav2009@imag.fr> Subject: (SEWORLD) Call for Participation - CAV 2009, Grenoble Date: Sat, 18 Apr 2009 00:04:35 -0600 (MDT) Call for Participation CAV 2009 The 21st International Conference on Computer Aided Verification (CAV 2009) will be held between June 26th and July 2nd, 2009 in Grenoble France. The program includes: * a tutorial day * 4 conference days * 4 invited speakers * 14 satellite workshops and more. Please visit the conference web site http://www-cav2009.imag.fr/ for more information and for registration. The Organizers
Date: Fri, 19 Dec 2008 17:35:53 +0100
From: CAV-2009 <info.cav2009@imag.fr>
To: cav2009-pub@imag.fr
Subject: [ecoop-info] [CAV09] CAV 2009 - second call for papers
*21th International Conference on Computer Aided Verification*
*CAV 2009*
June 26 - July 2, 2009 Grenoble, France
http://www-cav2009.imag.fr
*CALL FOR PAPERS*
........................................................................
Aims and Scope
--------------
CAV 2009 is the 21st in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. CAV considers it vital to continue its
leadership in hardware verification, maintain its recent momentum in
software verification, and consider new domains such as biological
systems. The conference covers the spectrum from theoretical results to
concrete applications, with an emphasis on practical verification tools
and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in
the Springer-Verlag Lecture Notes in Computer Science series. A
selection of papers will be invited to a special issue of the
International Journal on Formal Methods and System Design.
Topics of interest include:
* Algorithms and tools for verifying models and implementations
* Hardware verification techniques
* Hybrid systems and embedded systems verification
* Deductive, compositional, and abstraction techniques for verification
* Program analysis and software verification
* Verification techniques for security
* Testing and runtime analysis based on verification technology
* Applications and case studies
* Verification in industrial practice
* Formal methods for biological systems
The main conference will take place on June 28-July 2, preceded by
affilated workshops (see below).
Invited Speakers
----------------
* Martin Abadi (UC Santa Cruz)
* Luca Benini (U Bologna)
* Sumit Gulwani (MSR, Redmond)
* Ofer Strichman (Technion, Haifa)
Events
------
Tutorials
---------
There will be invited tutorials on the first day of the conference (June
28) given by
* Rachid Guerraoui (EPFL Lausanne)
* Jaeha Kim (Stanford)
* Jean Krivine (Harvard Medical school)
* Joseph Sifakis (VERIMAG)
Affiliated Workshops
--------------------
The following pre-conference workshops and events will be held in the
period June 26-28:
* SPIN - International SPIN Workshop on Model Checking of Software
* RVI - International Workshop on Runtime Verification
* EC^2 - Workshop Exploiting Concurrency Efficiently and Correctly
* GASICS - Workshop on Games for Design, Verification and Synthesis
* VETO - Workshop on Computer Science Security and Electronic Vote
* MITACS - French-Canadian Workshop on Foundation and Practice of Security
* BPR - Workshop on Bit Precise Reasoning
* QA - Workshop on Quantitative Analysis of Software
* PSY - Workshop on Practical Synthesis for Concurrent Systems
* AFM - Workshop on Automated Formal Methods
* FAC - Workshop on Formal Verification of Analog Circuits
* CFV - Workshop on Constraints in Formal Verification
* HWMCC - Hardware Model-checking Competition
CAV Award
---------
See below for nominations for the CAV Award, established
"For a specific fundamental contribution or a series of outstanding
contributions to the field of Computer Aided Verification."
The award of $10,000 will be granted to an individual or a group of
individuals chosen by the Award Committee from a list of nominations.
The Award Committee may choose to make no award.
The CAV Award shall be presented in an award ceremony at CAV and a
citation will be published in a Journal of Record (currently, Formal
Methods in System Design).
Paper Submission
----------------
There are two categories of submissions:
* A. Regular papers. Submissions, not exceeding fourteen (14) pages
using Springer's LNCS format, should contain original research, and
sufficient detail to assess the merits and relevance of the
contribution. For papers reporting experimental results, authors are
strongly encouraged to make their data available with their submission.
Submissions reporting on case studies in an industrial context are
strongly invited, and should describe details, weaknesses and strength
in sufficient depth. Simultaneous submission to other conferences with
proceedings or submission of material that has already been published
elsewhere is not allowed.
* B. Tool presentations. Submissions, not exceeding six (6) pages using
Springer's LNCS format, should describe the implemented tool and its
novel features. A demonstration is expected to accompany a tool
presentation. Papers describing tools that have already been presented
in this conference before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.
Papers exceeding the stated maximum length run the risk of rejection
without review. The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments. Papers can be submitted in PDF or PS format. Submission is
done with EasyChair. Informations about the submission procedure will be
available at: http://www-cav2009.imag.fr
Important Dates (note some changes from previous call)
---------------
* Abstract submission: January 19, 2009
* Paper submission (firm): January 29, 2009
* Author feedback/rebuttal period: March 7-10, 2009
* Notification of acceptance/rejection: March 23, 2009
* Final version due: April 19, 2009
Program Chairs
--------------
- Ahmed Bouajjani, LIAFA, U Paris 7
- Oded Maler, CNRS-VERIMAG, Grenoble
Program Committee
-----------------
- Parosh A. Abdulla, U Uppsala
- Rajeev Alur, U Penn
- Christel Baier, U Dresden
- Clark Barrett, NYU
- Armin Biere, Johannes Kepler U Linz
- Nikolaj Bjorner, Microsoft Research Redmond
- Roderick Bloem, TU Graz
- Ahmed Bouajjani (co-chair), LIAFA, U Paris 7
- Edmund Clarke, CMU
- Byron Cook, Microsoft Research Cambridge
- Martin Fraenzle, U Oldenburg
- Aarti Gupta, NEC Labs America
- John Harrison, Intel
- Klaus Havelund, NASA JPL
- Alan Hu, UBC Vancouver
- Kevin Jones
- Daniel Kroening, U Oxford
- Robert Kurshan, Cadence Design Systems
- Yassine Lakhnech, U Grenoble
- Oded Maler (co-chair), CNRS-VERIMAG
- Kenneth McMillan, Cadence Research Labs
- Markus Mueller-Olm, U Muenster
- Kedar Namjoshi, Bell Labs, Alcatel-Lucent
- Madhusudan Parthasarathy, U Illinois Urbana-Champaign
- Sriram Rajamani, Microsoft Research India
- Andrey Rybalchenko, MPI-SWS Saarbruecken
- Philippe Schnoebelen, CNRS-LSV
- Sanjit Seshia, UC Berkeley
- Natarajan Shankar, SRI International
- Fabio Somenzi, U Colorado Boulder
- Ofer Strichman, Technion
- Serdar Tasiran, Koc U Istanbul
- Tayssir Touili, CNRS-LIAFA
- Stavros Tripakis, Cadence Research Labs
- Helmuth Veith, TU Darmstadt
Organizing committee
--------------------
- Saddek Bensalem (Chair), VERIMAG, U Grenoble
- Ylies Falcone, VERIMAG, U Grenoble
- Peter Habermehl, LIAFA, U Paris 7
Steering Committee
------------------
- Edmund M. Clarke, CMU
- Mike Gordon, U of Cambridge
- Robert P. Kurshan, Cadence
- Amir Pnueli, NYU
Call for Nominations for the CAV Award
--------------------------------------
Anyone can submit a nomination. The Award Committee can originate a
nomination. Anyone, with the exception of members of the Award Committee, is
eligible to receive the Award.
A nomination must state clearly the contribution(s), explain why the
contribution is fundamental or the series of contributions is
outstanding, and be accompanied by supporting letters and other evidence
of worthiness. Nominations should include a proposed citation (up to 25
words), a succinct (100-250 words) description of the contribution(s),
and a detailed statement to justify the nomination.
The cited contribution(s) must have been made not more recently than
five years ago and not over twenty years ago. In addition, the
contribution(s) should not yet have received recognition via a major
award, such as the ACM Turing or Kanellakis Awards. (The nominee may
have received such an award for other contributions.)
The 2009 CAV Award Committee consists of Randy Bryant, Orna Grumberg,
Moshe Vardi and Joseph Sifakis (in order of seniority).
For the CAV Award in 2009, please send nominations to the CAV Award
Committee Chair:
Randy Bryant Randy.Bryant (at) cs.cmu.edu
Nominations must be received by *January 25, 2009*.
Date: Fri, 17 Oct 2008 11:06:14 +0200
From: CAV-2009 <info.cav2009@imag.fr>
To: cav2009-pub@imag.fr
Subject: [ecoop-info] [CAV09] CAV 2009 - Call for Workshop Proposals
........................................................................
21st International Conference on
Computer Aided Verification
CAV 2009
http://www-cav2009.imag.fr/
June 26 - July 2, 2009
Grenoble, France
Call for Workshop Proposals
.......................................................................
Traditionally, CAV hosts a number of affiliated workshops complementing
its technical program. Affiliated workshops will be organized on June
26-29. Workshop rooms will be available at the conference site, and
local arrangements will be facilitated by the CAV organization.
Proposals for workshops affiliated with CAV 2009 are cordially invited.
The proposals should be sent by October 31, 2008, to
workshops.cav2009@imag.fr
and should include the following information:
Name of the workshop
Intended aims and scope
History of the workshop
Expected number of participants (min/avg/max)
Length of the event (1, 2 or 3 days)
Contact person with full contact information
Additional organizational plans may include names of potential invited
speakers, funding sources, proposed sessions, plans for proceedings or
other publications, etc.
Important Dates
Submission deadline for workshop proposals: October 31, 2008
Notification: November 7, 2008
Workshops Chair:
Andreas Podelski, Freiburg
Program Chairs
Ahmed Bouajjani, LIAFA, U Paris 7
Oded Maler, CNRS-VERIMAG
Organization committee
Saddek Bensalem, VERIMAG, U Grenoble (Organization Chair)
Peter Habermehl, LIAFA, U Paris 7
Ylies Falcone, VERIMAG, U Grenoble
....................................................................
Date: Tue, 14 Oct 2008 15:22:17 +0200 From: CAV-2009 <info.cav2009@imag.fr> To: cav2009-pub@imag.fr Subject: [ecoop-info] [CAV09] CAV 2009 2nd Call for Papers (some minor corrections) [ 185 lines deleted; see updated version above -- dc ]
Date: Thu, 02 Oct 2008 09:59:53 +0200 From: CAV-2009 <info.cav2009@imag.fr> To: cav2009-pub@imag.fr Subject: [ecoop-info] [CAV09] Call for Papers [ 134 lines deleted; see updated version above -- dc ]
Date: Tue, 30 Sep 2008 15:43:38 +0200
To: cav2009-pub@imag.fr
From: oded.maler@imag.fr
Subject: [ecoop-info] [CAV09] CAV 2009 - call for workshop proposals
........................................................................
21st International Conference on
Computer Aided Verification
CAV 2009
http://www-cav2009.imag.fr/
June 26 - July 2, 2009
Grenoble, France
Call for Workshop Proposals
.......................................................................
CAV 2009 is the 21st in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. The conference covers the spectrum from
theoretical results to concrete applications, with an emphasis on
practical verification tools and the algorithms and techniques that are
needed for their implementation. Topics of interest include: (1)
Algorithms and tools for verifying models and implementations, (2)
Hardware verification techniques, (3) Program analysis and software
verification, (4) Verification and analysis of embedded and hybrid
systems, (5) Verification techniques for security, (6) Modeling and
specification formalisms, (7) Deductive, compositional, and abstraction
techniques for verification, (8) Testing and runtime analysis based on
verification technology, (9) Applications and case studies, and (10)
Verification in industrial practice.
CAV 2009 will take place from June 26 to July 2, 2009, at Grenoble,
France, where the first CAV started in 1989.
Traditionally, CAV hosts a number of affiliated workshops complementing
its technical program. Affiliated workshops will be organized on June
26-29. Workshop rooms will be available at the conference site, and
local arrangements will be facilitated by the CAV organization.
Proposals for workshops affiliated with CAV 2009 are cordially invited.
The proposals should be sent by October 31, 2008, to
cav09-workshops@imag.fr and should include the following information:
- Name of the workshop
- Intended aims and scope
- History of the workshop
- Expected number of participants (min/avg/max)
- Length of the event (1, 2 or 3 days)
- Contact person with full contact information
Additional organizational plans may include names of potential invited
speakers, funding sources, proposed sessions, plans for proceedings or
other publications, etc.
Important Dates:
----------------------
Submission deadline for workshop proposals: October 31, 2008
Notification: November 7, 2008
Workshops Chair:
------------------------
Andreas Podelski, Freiburg
Program Chairs:
----------------------
Ahmed Bouajjani, LIAFA Paris 7
Oded Maler, CNRS-Verimag Grenoble
Organization Committee:
-----------------------
Saddek Bensalem, VERIMAG Grenoble
Peter Habermehl, LIAFA Paris 7
....................................................................
To the Ada-Belgium home page.
Last update: 2009/05/25.
Dirk Craeynest