TACAS 2010 - TACAS 2010 Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

Website http://tacas10.in.tum.de/ | Edit Freely

Category TACAS 2010

Deadline: October 08, 2009 | Date: March 20, 2010

Venue/Country: Paphos, Cyprus

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

Sixteenth International Conference on

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION

AND ANALYSIS OF SYSTEMS

A member conference of the European Joint Conferences

on Theory and Practice of Software

(ETAPS 2010)

20-28, 2010, Paphos, Cyprus

CALL FOR PAPERS

Tool descriptions and case studies with a conceptual message, as well as theoretical papers with clear relevance for tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:

Specification and verification techniques for finite and infinite-state systems

Software and hardware verification

Theorem-proving and model-checking

System construction and transformation techniques

Static and run-time analysis

Abstraction techniques for modeling and validation

Compositional and refinement-based methodologies

Testing and test-case generation

Analytical techniques for safety, security, or dependability

Analytical techniques for real-time, hybrid, or stochastic systems

Integration of formal methods and static analysis in high-level hardware design or software environments

Tool environments and tool architectures

SAT and SMT solvers

Applications and case studies

As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas and findings in general and jargon-independent, rather than in application- and domain-specific, terms. Authors reporting on tools or case studies are strongly encouraged to indicate how their experimental results can be reproduced and confirmed independently.

IMPORTANT DATES

ETAPS 2010 conferences and other satellite events will be held 20-28 March, 2010.

As a part of ETAPS, TACAS adheres to ETAPS submission and notification deadlines:

Thursday, October 1, 2009

Submission of abstracts

Thursday, October 8, 2009 (Samoa time, GMT-11)

Strict deadline for submission of full versions.

Friday, December 11, 2009

Notification of acceptance

Monday, January 4, 2010

Camera-ready paper versions due

March 22-28, 2010

TACAS 2010 Conference

The paper submission deadline is STRICT. Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn, but authors are strongly encouraged, in this case, to explicitly withdraw their submission by sending e-mail to the chairman.

SUBMISSION GUIDELINES

Papers should be submitted using the TACAS 2010 Conference Service on Easychair, which is now operative.

As with other ETAPS conferences, TACAS accepts two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.

Research papers

Research papers cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. Research papers are evaluated by the TACAS Program Committee. Research papers may contain an appendix with ancillary material (e.g. proofs) or a reference to a webpage but referees will decide whether or not to look at such material or webpages. Submitted research papers must:

be in English and have a maximum of 15 pages (including figures and bibliography; but excluding an optional appendix or URL containing ancillary material such as proofs, both at the discretion of referees),

present original research which is unpublished and not submitted elsewhere (conferences or journals) -- in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,

use the Springer-Verlag LNCS style

be submitted electronically in Postscript or PDF form via the TACAS 2010 Conference Service.

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Co-Chairs Javier Esparza or Rupak Majumdar prior to submitting.

Tool demonstration papers

Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Submitted tool demonstration papers must:

be in English and have a maximum of 4 pages,

have an appendix (not included in the 4 page count) that provides a detailed description of:

how the oral presentation will be conducted, e.g. illustrated by a number of snapshots,

the availability of the tool, the number and types of users, other information which may illustrate the maturity and robustness of the tool,

if applicable, a link to a web-page for the tool

(The appendix will not be included in the proceedings, but during the evaluation of the tool demonstration papers it will be equally important as the pages submitted for publication in the proceedings.)

use the Springer-Verlag LNCS style

clearly describe the enhancements and novel features of the tool in case that one of its previous versions has already been presented at meetings or published in some form

be submitted electronically in Postscript or PDF form via the TACAS 2010 Conference Service

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool Chair Armin Biere.

PROGRAMME COMMITTEE CO-CHAIRS

Javier Esparza, Technische Universität München, Munich (Germany)

Rupak Majumdar, University of California, Los Angeles (USA)

TOOL CHAIR

Armin Biere, Johannes Kepler University, Linz (Austria)

INVITED SPEAKER

Jean-Francois Raskin, Université Libre de Bruxelles (Belgium)

PROGRAMME COMMITTEE

Parosh Abdulla

Uppsala University (Sweden)

Josh Berdine

Microsoft Research Cambridge (UK)

Armin Biere (tool chair)

Johannes Kepler University, Linz (Austria)

Bruno Blanchet

ENS, Paris (France)

Bernard Boigelot

University of Liege (Belgium)

Rance Cleaveland

University of Maryland &

Fraunhofer USA Inc., College Park, Maryland (USA)

Giorgio Delzanno

University of Genova (Italy)

Leonardo de Moura

Microsoft Research Redmond (USA)

Javier Esparza (co-chair)

Technische Universität München, Munich (Germany)

Susanne Graf

VERIMAG, Grenoble - Gières (France)

Vineet Kahlon

NEC Labs, Princeton (USA)

Joost-Pieter Katoen

RWTH Aachen (Germany)

Stefan Kowalewski

RWTH Aachen (Germany)

Daniel Kroening

Oxford University (UK)

Orna Kupferman

Hebrew University, Jerusalem (Israel)

Kim G. Larsen

Aalborg University (Denmark)

Rupak Majumdar (co-chair)

UC Los Angeles (USA)

Ken McMillan

Cadence Berkeley Labs (USA)

Madhavan Mukund

Chennai Mathematical Institute (India)

Anca Muscholl

LABRI, Bordeaux (France)

Doron Peled

Bar-Ilan University (Israel)

C. R. Ramakrishnan

SUNY Stony Brook (USA)

S. Ramesh

GM India Science Laboratory, Bangalore (India)

Sanjit Seshia

UC Berkeley (USA)

Oleg Sokolsky

University of Pennsylvania (USA)

Bernhard Steffen

Technical University Dortmund (Germany)

Tayssir Touili

LIAFA Paris 7 (France)

Lenore Zuck

University of Illinois, Chicago (USA)

TACAS STEERING COMMITTEE

Ed Brinksma, ESI and University of Twente (The Netherlands)

Rance Cleaveland, University of Maryland & Fraunhofer USA Inc. (USA)

Kim Larsen, Aalborg University (Denmark)

Bernhard Steffen, Technical University Dortmund (Germany)

Lenore Zuck , University of Illinois (USA)