Difference between revisions of "TACAS 2009"

From Openresearch
Jump to: navigation, search
Line 17: Line 17:
 
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:
 
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;
+
* Specification and verification techniques for finite and infinite-state systems;
* Software and hardware verification;
+
* Software and hardware verification;
* Theorem-proving and model-checking;
+
* Theorem-proving and model-checking;
* System construction and transformation techniques;
+
* System construction and transformation techniques;
* Static and run-time analysis;
+
* Static and run-time analysis;
* Abstraction techniques for modeling and validation;
+
* Abstraction techniques for modeling and validation;
* Compositional and refinement-based methodologies;
+
* Compositional and refinement-based methodologies;
* Testing and test-case generation;
+
* Testing and test-case generation;
* Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems;
+
* Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems;
* Integration of formal methods and static analysis in high-level hardware design or software environments;
+
* Integration of formal methods and static analysis in high-level hardware design or software environments;
* Tool environments and tool architectures;
+
* Tool environments and tool architectures;
* SAT solvers;
+
* SAT solvers;
* Applications and case studies.
+
* Applications and case studies.
  
 
==Programme Committee==
 
==Programme Committee==
  
    * [[has PC member::Marco Bernardo]], University of Urbino (Italy)
+
* [[has PC member::Marco Bernardo]], University of Urbino (Italy)
    * [[has PC member::Ahmed Bouajjani]], University of Paris 7 (France)
+
* [[has PC member::Ahmed Bouajjani]], University of Paris 7 (France)
    * [[has PC member::Ed Brinksma]], ESI and University of Twente (The Netherlands)
+
* [[has PC member::Ed Brinksma]], ESI and University of Twente (The Netherlands)
    * [[has PC member::Alessandro Cimatti]], IRST (Italy)
+
* [[has PC member::Alessandro Cimatti]], IRST (Italy)
    * [[has PC member::Rance Cleaveland]], University of Maryland & Fraunhofer USA Inc (USA)
+
* [[has PC member::Rance Cleaveland]], University of Maryland & Fraunhofer USA Inc (USA)
    * [[has PC member::Swarat Chaudhuri]], Pennsylvania State University (USA)
+
* [[has PC member::Swarat Chaudhuri]], Pennsylvania State University (USA)
    * [[has PC member::Veronique Cortier]], CNRS-LORIA, Nancy (France)
+
* [[has PC member::Veronique Cortier]], CNRS-LORIA, Nancy (France)
    * [[has PC member::Patrice Godefroid]], Microsoft Research, Redmond, Washington (USA)
+
* [[has PC member::Patrice Godefroid]], Microsoft Research, Redmond, Washington (USA)
    * [[has PC member::Orna Grumberg]], Technion, Israel Institute of Technology (Israel)
+
* [[has PC member::Orna Grumberg]], Technion, Israel Institute of Technology (Israel)
    * [[has PC member::Aarti Gupta]], NEC Laboratories America Inc, Princeton (USA)
+
* [[has PC member::Aarti Gupta]], NEC Laboratories America Inc, Princeton (USA)
    * [[has PC member::Nicolas Halbwachs]], Verimag/CNRS, Grenoble (France)
+
* [[has PC member::Nicolas Halbwachs]], Verimag/CNRS, Grenoble (France)
    * [[has PC member::Michael Huth]], Imperial College (UK)
+
* [[has PC member::Michael Huth]], Imperial College (UK)
    * [[has PC member::Kim Larsen]], Aalborg University (Denmark)
+
* [[has PC member::Kim Larsen]], Aalborg University (Denmark)
    * [[has PC member::Stefan Kowalewski]] (CO-CHAIR), RWTH Aachen (Germany)
+
* [[has PC member::Stefan Kowalewski]] (CO-CHAIR), RWTH Aachen (Germany)
    * [[has PC member::Thomas Kropf]], Robert Bosch AG (Germany)
+
* [[has PC member::Thomas Kropf]], Robert Bosch AG (Germany)
    * [[has PC member::Marta Kwiatkowska]], University of Oxford (UK)
+
* [[has PC member::Marta Kwiatkowska]], University of Oxford (UK)
    * [[has PC member::Panagiotis Manolios]], Northeastern University (USA)
+
* [[has PC member::Panagiotis Manolios]], Northeastern University (USA)
    * [[has PC member::Radu Mateescu]], INRIA/VASY (France)
+
* [[has PC member::Radu Mateescu]], INRIA/VASY (France)
    * [[has PC member::Ken McMillan]], Cadence Berkeley Labs (USA)
+
* [[has PC member::Ken McMillan]], Cadence Berkeley Labs (USA)
    * [[has PC member::Anna Philippou]] (CO-CHAIR), University of Cyprus (Cyprus)
+
* [[has PC member::Anna Philippou]] (CO-CHAIR), University of Cyprus (Cyprus)
    * [[has PC member::Andreas Podelski]], University of Freiburg (Germany)
+
* [[has PC member::Andreas Podelski]], University of Freiburg (Germany)
    * [[has PC member::C.R. Ramakrishnan]], Stony Brook University (USA)
+
* [[has PC member::C.R. Ramakrishnan]], Stony Brook University (USA)
    * [[has PC member::Natasha Sharygina]], University of Lugano (Switzerland)
+
* [[has PC member::Natasha Sharygina]], University of Lugano (Switzerland)
    * [[has PC member::Oleg Sokolsky]], University of Pennsylvania (USA)
+
* [[has PC member::Oleg Sokolsky]], University of Pennsylvania (USA)
    * [[has PC member::Bernhard Steffen]], University of Dortmund (Germany)
+
* [[has PC member::Bernhard Steffen]], University of Dortmund (Germany)
    * [[has PC member::Frits Vaandrager]], Nijmegen University (The Netherlands)
+
* [[has PC member::Frits Vaandrager]], Nijmegen University (The Netherlands)
    * [[has PC member::Carsten Weise]], RWTH Aachen (Germany)
+
* [[has PC member::Carsten Weise]], RWTH Aachen (Germany)
    * [[has PC member::Lenore Zuck]], University of Illinois (USA)
+
* [[has PC member::Lenore Zuck]], University of Illinois (USA)

Revision as of 09:02, 17 September 2008

TACAS 2009
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2009
Event in series TACAS
Dates 2009/03/22 (iCal) - 2009/03/29
Homepage: www.cs.york.ac.uk/etaps09/
Location
Location: York, UK
Loading map...

Important dates
Papers: 2008/10/02
Notification: 2008/12/12
Table of Contents


TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations. The research areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological systems. The TACAS forum provides a venue for such communities at which common problems, heuristics, algorithms, data structures and methodologies can be discussed and explored. In doing so, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

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 secure, real-time, hybrid, critical, biological or dependable systems;
  • Integration of formal methods and static analysis in high-level hardware design or software environments;
  • Tool environments and tool architectures;
  • SAT solvers;
  • Applications and case studies.

Programme Committee