A SAS 2010 satellite workshop.
Date: 17 September 2010.
Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France.
In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties be proved or checked in a fully or semi automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly. This workshop is intended to promote discussions between specialists in all areas of program analysis and program analyzers implementation and static analysis tools users.
The technical programme for TAPAS 2010 will consist of invited lectures and presentations of refereed papers.
We welcome contributions on all aspects of static analysis tools including, but not limited to:
Please visit the submission website. The website is powered by EasyChair, thanks to Andrei Voronkov.
All submitted papers will be peer-reviewed by the program committee.
Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines (http://www.entcs.org/prelim.html). Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion.
Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
| Abstracts submission Deadline | 1st June 2010 |
| Full papers submission Deadline | 4th June 2010 |
| Author Notification | 2nd July 2010 |
| Final Version Due | 1st August 2010 |
| Workshop Date | 17 September 2010 |
| David Delmas | Airbus France |
| Xavier Rival | INRIA & École Normale Supérieure, France |
| Jean-Louis Dufour | SAGEM, France |
| Eric Goubault | CEA, France |
| Gordon Haak | Daimler AG, Germany |
| Daniel Kästner | Absint, Germany |
| David Lesens | Astrium, France |
| Francesco Logozzo | Microsoft Research Redmond, USA |
| Eran Yahav | IBM Watson, USA |
| Hongseok Yang | Queen Mary University of London, UK |
| Kwangkeun Yi | Seoul National University, Korea |
| Radhia Cousot | École Normale Supérieure & CNRS, France |
| Matthieu Martel | Université de Perpignan Via Domitia, France |
| Matthieu Martel | Université de Perpignan Via Domitia, France |