Difference between revisions of "TACAS 2009"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
(11 intermediate revisions by one other user not shown)
Line 2: Line 2:
 
|Acronym=TACAS 2009
 
|Acronym=TACAS 2009
 
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 +
|Ordinal=15
 
|Series=TACAS
 
|Series=TACAS
 
|Type=Conference
 
|Type=Conference
−
|Field=Software engineering
+
|Superevent=ETAPS 2009
 
|Start date=2009/03/22
 
|Start date=2009/03/22
 
|End date=2009/03/29
 
|End date=2009/03/29
−
|Homepage=www.cs.york.ac.uk/etaps09/
+
|Homepage=http://web.embedded.rwth-aachen.de/tacas09/
 +
|TibKatId=592550435
 +
|gndId=16003600-8
 +
|DblpConferenceId=tacas/tacas2009
 +
|wikidataid=Q106337702
 
|City=York
 
|City=York
 
|Country=UK
 
|Country=UK
 +
|presence=presence
 
|Paper deadline=2008/10/02
 
|Paper deadline=2008/10/02
 
|Notification=2008/12/12
 
|Notification=2008/12/12
 +
|Camera ready=2009/01/05
 +
|Submitting link=https://senldogo0039.springer-sbm.com/tacas09/servlet/Conference
 +
|has program chair=Stefan Kowalewski, Anna Philippou
 +
|has Keynote speaker=Steven Miller
 +
|Submitted papers=131
 +
|Accepted papers=35
 +
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-00768-2.pdf
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-00768-2
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-00768-2
 +
|pageCreator=Soeren
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
−
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.
+
The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009
  
−
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:
 
  
 +
==Topics==
 
* 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;
Line 31: Line 49:
 
* Applications and case studies.
 
* Applications and case studies.
  
−
==Programme Committee==
 
  
−
* [[has PC member::Marco Bernardo]], University of Urbino (Italy)
+
==Submissions==
−
* [[has PC member::Ahmed Bouajjani]], University of Paris 7 (France)
+
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:
−
* [[has PC member::Ed Brinksma]], ESI and University of Twente (The Netherlands)
+
 
−
* [[has PC member::Alessandro Cimatti]], IRST (Italy)
+
*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),
−
* [[has PC member::Rance Cleaveland]], University of Maryland & Fraunhofer USA Inc (USA)
+
 
−
* [[has PC member::Swarat Chaudhuri]], Pennsylvania State University (USA)
+
*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,
−
* [[has PC member::Veronique Cortier]], CNRS-LORIA, Nancy (France)
+
 
−
* [[has PC member::Patrice Godefroid]], Microsoft Research, Redmond, Washington (USA)
+
*use the Springer-Verlag LNCS style
−
* [[has PC member::Orna Grumberg]], Technion, Israel Institute of Technology (Israel)
+
 
−
* [[has PC member::Aarti Gupta]], NEC Laboratories America Inc, Princeton (USA)
+
*be submitted electronically in Postscript or PDF form via the TACAS 2009 Conference Service before the deadlines stated above.
−
* [[has PC member::Nicolas Halbwachs]], Verimag/CNRS, Grenoble (France)
+
 
−
* [[has PC member::Michael Huth]], Imperial College (UK)
+
Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Co-Chairs Stefan Kowalewski or Anna Philippou prior to submitting.
−
* [[has PC member::Kim Larsen]], Aalborg University (Denmark)
+
 
−
* [[has PC member::Stefan Kowalewski]] (CO-CHAIR), RWTH Aachen (Germany)
+
 
−
* [[has PC member::Thomas Kropf]], Robert Bosch AG (Germany)
+
==Important Dates==
−
* [[has PC member::Marta Kwiatkowska]], University of Oxford (UK)
+
2 October, 2008 - Deadline for submission of abstracts (strict)<br>
−
* [[has PC member::Panagiotis Manolios]], Northeastern University (USA)
+
9 October, 2008 - Deadline for submission of full versions (strict)<br>
−
* [[has PC member::Radu Mateescu]], INRIA/VASY (France)
+
12 December, 2008 - Notification of acceptance / rejection<br>
−
* [[has PC member::Ken McMillan]], Cadence Berkeley Labs (USA)
+
5 January, 2009 - Camera-ready paper versions due (strict)<br>
−
* [[has PC member::Anna Philippou]] (CO-CHAIR), University of Cyprus (Cyprus)
+
22 - 29 March 2009 - TACAS 2009 Conference
−
* [[has PC member::Andreas Podelski]], University of Freiburg (Germany)
 
−
* [[has PC member::C.R. Ramakrishnan]], Stony Brook University (USA)
 
−
* [[has PC member::Natasha Sharygina]], University of Lugano (Switzerland)
 
−
* [[has PC member::Oleg Sokolsky]], University of Pennsylvania (USA)
 
−
* [[has PC member::Bernhard Steffen]], University of Dortmund (Germany)
 
−
* [[has PC member::Frits Vaandrager]], Nijmegen University (The Netherlands)
 
−
* [[has PC member::Carsten Weise]], RWTH Aachen (Germany)
 
−
* [[has PC member::Lenore Zuck]], University of Illinois (USA)
 

Latest revision as of 20:25, 1 April 2022

TACAS 2009
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal 15
Event in series TACAS
Subevent of ETAPS 2009
Dates 2009/03/22 (iCal) - 2009/03/29
Presence presence
Homepage: http://web.embedded.rwth-aachen.de/tacas09/
Submitting link: https://senldogo0039.springer-sbm.com/tacas09/servlet/Conference
Location
Location: York, UK
Loading map...

Important dates
Papers: 2008/10/02
Notification: 2008/12/12
Camera ready due: 2009/01/05
Papers: Submitted 131 / Accepted 35 (26.7 %)
Committees
PC chairs: Stefan Kowalewski, Anna Philippou
Keynote speaker: Steven Miller
Table of Contents



The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009


Topics

  • 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.


Submissions

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 2009 Conference Service before the deadlines stated above.

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Co-Chairs Stefan Kowalewski or Anna Philippou prior to submitting.


Important Dates

2 October, 2008 - Deadline for submission of abstracts (strict)
9 October, 2008 - Deadline for submission of full versions (strict)
12 December, 2008 - Notification of acceptance / rejection
5 January, 2009 - Camera-ready paper versions due (strict)
22 - 29 March 2009 - TACAS 2009 Conference

Retrieved from "https://confident.dbis.rwth-aachen.de/or/index.php?title=TACAS_2009&oldid=247453"