- D-CON - lists.rwth-aachen.de

Call for Papers: Ensuring Safety in Industrial Critical Systems (ESICS) at IEEE INDIN 2013
by Stefan Rieger 18 Feb '13

18 Feb '13

Dear all, we are organising a special session "Ensuring Safety in Industrial Critical Systems" at the IEEE INDIN Conference (www.indin2013.org) taking place on July 29-31, 2013 in Bochum (Germany). The call for papers is supplied in the attached PDF file (it is also available at the conference site). In short: Paper submission deadine: 28/2/2013 Notification of acceptance: 19/4/2013 Papers should have a size of at most 6 pages and be using the IEEE template. The workshop will be focusing on (but is not limited to) the following topics: * Approaches to the design of safe E/E systems * Validation & verification of safety-critical systems * Industrial case studies * Development of certifiable E/E systems * Tools for ensuring safe E/E systems * Formal Methods and formalization of requirements * Model-checking, model-based testing and test case generation We are aware of the fact that there is only two weeks left to prepare a paper and are grateful for contributions. We are working towards a deadline extension, but it cannot be guaranteed. Kind regards i.A. Stefan Rieger Innovation Management ----------------------------------------------------------------- Dr. Stefan Rieger R&D Manager R&D Projects TWT GmbH Science & Innovation Bernhäuser Straße 40-42 D-73765 Neuhausen Tel.: +49 7158 1715-653 ----------------------------------------------------------------- stefan.rieger(a)twt-gmbh.de http://www.twt-gmbh.de ----------------------------------------------------------------- Geschäftsführung: Dimitrios Vartziotis, Joachim Laicher (Stv.), Frank Beutenmüller (Stv.) Registergericht: Amtsgericht Stuttgart, HRB Nr. 212778 Umsatzsteuer: ID-Nr.: DE147841145

1 0

D-CON 2013 in Lübeck: Zweiter Aufruf
by Normann Decker 28 Jan '13

28 Jan '13

Liebe Kollegen, wir möchten Euch herzlich zur D-CON 2013 nach Lübeck einladen. Alle Informationen finden sich auch auf der Internetseite des Workshops: http://www.isp.uni-luebeck.de/dcon13 Termin und Rahmen ================= Der Workshop findet am 07. und 08. März 2013 an der Universität zu Lübeck Ratzeburger Allee 160 Gebäude 64, Räume 3.014 (Banach) und 3.015 (Hilbert) 23562 Lübeck statt. Wir beginnen Donnerstagmorgen, sodass sich eine Anreise am 6. März anbietet. Wie beim letzten mal haben wir für die Abende des Anreise- und des ersten Konferenztages (6. und 7. März) informelle Abendessen geplant. Außerdem hören wir einen eingeladenen Vortrag von Kim Larsen, Aalborg University, Denmark Themensitzungen =============== Im Mittelpunkt der D-CON stehen Themensitzungen, deren Inhalt und Form von den Doktoranden gestaltet werden. Für die Sitzungen sind 60 Minuten geplant, Vorträge sollten eine Dauer von 45 Minuten nicht überschreiten, damit für anschließende Diskussionen ausreichend Zeit bleibt. Abhängig von der Zahl der Vorschläge werden parallele Sitzungen stattfinden. Wie im letzten Jahr können, je nach Wunsch der Teilnehmer, auch Vorträge auf Englisch angeboten werden. Bitte schickt Vorschläge zu Themensitzungen an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de> bis 06. Februar 2013. Bitte gebt an, ob Ihr bereit seid, Eure Vorträge auf Englisch bzw. Deutsch zu halten. Anmeldung ========= Um Euch zur D-CON anzumelden, schickt bitte ebenfalls bis zum 6. Februar 2013 eine E-Mail an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de>. Sie sollte folgende Informationen enthalten: * Name, * Institution * Ankunftstag und * ob ein Vortrag gehalten werden soll. Wenn ja, dann: ** Thema der Sitzung bzw. ** Titel und Zusammenfassung des Vortrags, und ** Sprache des Vortrags (deutsch, englisch, egal) Ein Kostenbeitrag von 45,- Euro wird erhoben. Darin sind zwei Mittagessen sowie Kaffeepausen enthalten. Der Teilnahmebeitrag sollte vorab überwiesen werden. Details bekommt Ihr in Eurer Antwortmail zur Anmeldung. Unterkunft ========== Informationen zu zu Übernachtungsmöglichkeiten findet Ihr auf der Internetseite (s. oben). Das genaue Programm werden wir aus den vorgeschlagenen Themensitzungen zusammenstellen und im Vorfeld der Konferenz bekannt geben. Wir würden uns freuen, Euch im März in Lübeck begrüßen zu können. Beste Grüße Martin Leucker -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | Tel.: +49/451/500 5551 | Email: leucker(a)isp.uni-luebeck.de | | Fax: +49/451/500 5552 | Web: http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0

Benennung … Endspurt
by Uwe Nestmann 25 Jan '13

25 Jan '13

Liebe CONCURrenten, hier ein Screenshot zum Stand der aktuellen Umfrage: Mit Bitte um mehr/finale Beteiligung. Anfang nächster Woche hätte ich das eigentlich gerne vom Tisch. ;-) == Uwe ==

1 0

Re: [D-CON] D-CON Digest, Vol 33, Issue 7
by Kirstin Peters 25 Jan '13

25 Jan '13

Hallo, ich möchte die Diskussion nicht weiter anheizen, indem ich eine zusätzliche Option ins Spiel bringe. Aber was wäre eigentlich mit dem Namen "Concurrency"? Soweit ich das verstanden habe soll die Fachgruppe in den Bereich "Theoretische Informatik" eingruppiert werden, so dass das "Theory" im Namen nicht unbedingt notwendig wäre. Oder? Und wenn sich einige Gruppen damit besser identifizieren können als mit "Concurrency Theory", was spricht dann dagegen? Ich kann mir natürlich vorstellen, dass "Concurrency" vielleicht einfach zu wenig sprechend für einen Namen für die Gruppe wäre. Das kann ich nicht beurteilen. Viele Grüße, Kirstin -- _________________________________________________________ Dr. Kirstin Peters Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Modelle und Theorie Verteilter Systeme (MTV) Raum TEL 709, Ernst-Reuther-Platz 7, D-10587 Berlin Tel.: +49 30 314-24739 _________________________________________________________

4 3

Stelle als wissenschaftlicher Mitarbeiter (Doktorandenstelle)
by Alexander Heußner 16 Jan '13

16 Jan '13

Hallo, anbei die aktuelle Ausschreibung einer offenen Mitarbeiterstelle am Lehrstuhl Softwaretechnik und Programmiersprachen an der Otto-Friedrich-Universität Bamberg – mit bitte um Aushang/Weiterleitung an mögliche Interessenten. Genauere Details zu möglichen Einstiegspunkten in unsere aktuellen Forschungsprojekte finden sich auf folgender Webseite: http://www.uni-bamberg.de/swt/news/phd-position-in-computer-science/. Ansonsten stehen wir jederzeit für Rückfragen unter info(a)swt-bamberg.de zur Verfügung. Danke im Voraus ! Viele Grüße, Alexander Heußner

1 0

D-CON 2013 in Lübeck: CfP
by Martin Leucker 08 Jan '13

08 Jan '13

Liebe Kollegen, wir möchten euch hiermit herzlich zur D-CON 2013 nach Lübeck einladen. Alle Informationen finden sich auch auf der Internetseite des Workshops: http://www.isp.uni-luebeck.de/dcon13 Termin und Rahmen ================= Der Workshop findet am 07. und 08. März 2013 an der Universität zu Lübeck Ratzeburger Allee 160 Gebäude 64, Räume 3.014 (Banach) und 3.015 (Hilbert) 23562 Lübeck statt. Wir beginnen Donnerstagmorgen, sodass sich eine Anreise am 6. März anbietet. Wie beim letzten mal haben wir für die Abende des Anreise- und des ersten Konferenztages (6. und 7. März) informelle Abendessen geplant. Außerdem hören wir einen eingeladenen Vortrag von Kim Larsen, Aalborg University, Denmark Themensitzungen =============== Im Mittelpunkt der D-CON stehen Themensitzungen, deren Inhalt und Form von den Doktoranden gestaltet werden. Für die Sitzungen sind 60 Minuten geplant, Vorträge sollten eine Dauer von 45 Minuten nicht überschreiten, damit für anschließende Diskussionen ausreichend Zeit bleibt. Abhängig von der Zahl der Vorschläge werden parallele Sitzungen stattfinden. Wie im letzten Jahr können, je nach Wunsch der Teilnehmer, auch Vorträge auf Englisch angeboten werden. Bitte schickt Vorschläge zu Themensitzungen an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de> bis 06. Februar 2013. Bitte gebt an, ob Ihr bereit seid, Eure Vorträge auf Englisch bzw. Deutsch zu halten. Anmeldung ========= Um Euch zur D-CON anzumelden, schickt bitte ebenfalls bis zum 6. Februar 2013 eine E-Mail an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de>. Sie sollte folgende Informationen enthalten: * Name, * Institution * Ankunftstag und * ob ein Vortrag gehalten werden soll. Wenn ja, dann: ** Thema der Sitzung bzw. ** Titel und Zusammenfassung des Vortrags, und ** Sprache des Vortrags (deutsch, englisch, egal) Ein Kostenbeitrag von 45,- Euro wird erhoben. Darin sind zwei Mittagessen sowie Kaffeepausen enthalten. Der Teilnahmebeitrag kann entweder vorab überwiesen oder bar vor Ort bezahlt werden. Details bekommt ihr in Eurer Antwortmail zur Anmeldung. Unterkunft ========== Voraussichtlich werden wir einige Sonderkonditionen anbieten können. Informationen dazu und zu weiteren Übernachtungsmöglichkeiten findet ihr auf der Internetseite (s. oben). Das genaue Programm werden wir aus den vorgeschlagenen Themensitzungen zusammenstellen und im Vorfeld der Konferenz bekannt geben. Wir würden uns freuen, Euch im März in Lübeck begrüßen zu können. Beste Grüße Martin Leucker -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | Tel.: +49/451/500 5551 | Email: leucker(a)isp.uni-luebeck.de | | Fax: +49/451/500 5552 | Web: http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0

FORTE / FMOODS 2013 -- CfP -- IFIP International Conference on Formal Techniques for Distributed Systems
by Dirk Beyer 05 Dec '12

05 Dec '12

------------------------------------------------------------------------------ FORTE / FMOODS 2013 IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 33rd Formal Techniques for Networked and Distributed Systems 15th Formal Methods for Open Object-Based Distributed Systems June 3-6, 2013, Florence, Italy http://forte13.sosy-lab.org/ Abstract submission deadline: February 4, 2013 ------------------------------------------------------------------------------ OBJECTIVES AND SCOPES The 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The joint conference is the result of merging the conference FMOODS (Formal Methods for Open Object-Based Distributed Systems) and FORTE (Formal Techniques for Networked and Distributed Systems). FORTE/FMOODS 2013 is part of the DiScoTec 2013 event (see http://www.discotec.org/). The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - component- and model-based design - object technology, modularity, software adaptation - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems - product-line-based systems - software quality, reliability, availability, and safety - security, privacy, and trust in distributed systems - adaptive distributed systems, self-stabilization, self-healing/organizing - verification, validation, formal analysis, and testing of the above. The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. FORTE / FMOODS covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and Semantic Foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain specific languages; real-time and probability aspects; type systems and behavioral typing; - Formal Methods and Techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, and adaptive distributed systems; - Foundations of Security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of Formal Methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical Experience with Formal Methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. PUBLICATION AND SUBMISSIONS The FORTE/FMOODS 2013 conference calls for high-quality papers presenting research results and/or application reports related to the research areas in conference scope. Like in the past, the conference proceedings will be published by Springer in the LNCS Series. Proceedings will be made available at the conference. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF via the EasyChair system at the following address: http://forte13.sosy-lab.org/submit.php Each paper will undergo a peer review of at least 3 anonymous reviewers. The papers must be prepared using Springer's LNCS style (see http://www.springer.de/comp/lncs/authors.html). Papers must not exceed 15 pages in length, including figures and references. Submissions not adhering to the above specified constraints may be rejected immediately, without review. IMPORTANT DATES Title and abstract must be submitted before the paper. Time of all deadlines is 24:00 Samoa Standard Time (UTC-11). Abstracts February 4, 2013 Papers February 11, 2013 Notification March 18, 2013 Camera-Ready March 25, 2013 Conference June 3-6, 2013 PROGRAM COMMITTEE CO-CHAIRS - Dirk Beyer, Faculty of Computer Science and Mathematics University of Passau, Germany - Michele Boreale, Dipartimento di Statistica, Informatica, Applicazioni University of Florence, Italy PROGRAM COMMITTEE Sven Apel, Passau Saddek Bensalem, VERIMAG Griès Dirk Beyer (co-chair), Passau Michele Boreale (co-chair), Florence Tevfik Bultan, Santa Barbara Luis Caires, Universidade Nova Lisbon Mariangiola Dezani-Ciancaglini, Torino Juergen Dingel, Queen's University Ontario Simon Gay, Glasgow Holger Giese, Potsdam Kim Guldstrand Larsen , Aalborg Arie Gurfinkel, Carnegie Mellon Matthew Hennessy, Trinity College Dublin Paola Inverardi, L'Aquila Alan Jeffrey, Bell Labs Joost-Pieter Katoen, Aachen Vladimir Klebanov, Karlsruhe Axel Legay, IRISA/INRIA Rennes Matteo Maffei, Saarland Uwe Nestmann, TU Berlin Mauro Pezzè, Milano Bicocca and Lugano Corneliu Popeea, TU München Sophie Quinton, TU Braunschweig Jan Rutten, CWI Amsterdam Geoffrey Smith, Florida International Jaco Van De Pol, Twente Helmut Veith, Vienna University of Technology Martin Wirsing, Ludwig-Maximilians-Universität München Nobuko Yoshida, Imperial College London Gianluigi Zavattaro, Bologna INFO - FMOODS/FORTE 2013: http://forte13.sosy-lab.org/ - DisCoTec 2013: http://www.discotec.org/ ----------------------------------------------------------------------------------------

1 0

2nd TACAS Competition on Software Verification -- Call for Participation
by Dirk Beyer 12 Oct '12

12 Oct '12

2nd TACAS Competition on Software Verification 2013 -- Call for Participation March 21, 2012 -- Rome, Italy http://sv-comp.sosy-lab.org/ http://www.etaps.org/2013/tacas13 Associated with TACAS'13, there will be a competition on software verification. After an interesting and successful first competition at the last TACAS in Tallinn, TACAS'13 hosts the second such competition event with the goal of a thorough evaluation and comparison of state-of-the-art software verifiers with respect to effectiveness and efficiency, and to foster technology transfer. After the benchmark set was considerably extended and consolidated, we now call for participation, i.e., to submit a verifier and a description paper. Submission info: http://sv-comp.sosy-lab.org/2013/submission.php Important dates: http://sv-comp.sosy-lab.org/2013/dates.php Next deadline: Oct. 21, 2012: Submission of Competition Contributions (3-page papers, via EasyChair) by participants (evaluation phase starts). The competition takes place offline, and the results will be presented in a special competition session at TACAS'13 in Rome. Last year's results: http://sv-comp.sosy-lab.org/2012/results/index.php Organizer: Dirk Beyer, University of Passau, Germany Competition Jury and Program Committee: Dirk Beyer (Chair), University of Passau, Germany Bernd Fischer, University of Southampton, UK Vadim Mutilin, Russian Academy of Sciences, Russia Andrey Rybalchenko, TU Munich, Germany Alexander Schremmer, University of Paderborn, Germany (from 2012-04-20) Carsten Sinz, Karlsruhe Institute of Technology, Germany Michael Tautschnig, Oxford University, UK Helmut Veith, TU Vienna, Austria Tomas Vojnar, Brno University of Technology, Czech Republic Georg Weissenbacher, Princeton University, USA Philipp Wendler, University of Passau, Germany

1 0

AVoCS 2012 - Call for Participation
by Gerald Lüttgen 17 Aug '12

17 Aug '12

12th International Workshop on Automated Verification of Critical Systems - AVOCS 2012 18-20th September 2012 Bamberg, Germany http://www.swt-bamberg.de/AVoCS2012/ FINAL CALL FOR PARTICIPATION The aim of AVoCS 2012 is to contribute to the interaction and exchange of ideas among members of the international research community working on developing tools and techniques for the verification of critical systems. The workshop will take place in Bamberg which is located in the Upper Franconia region of Northern Bavaria in Germany. It is easily reachable by train from the major airports in Frankfurt and Munich and from the regional airport in Nuremberg. Bamberg has a rich history dating back to its founding in the 10th century. The historic city center was designated a UNESCO World Heritage Site in 1993 making the city a popular tourist destination. The city also has a reputation for producing excellent beers from its eight local breweries, some of which we will taste in a lovely beer garden overlooking Bamberg. The technical programme will consist of 4 invited and 16 contributed talks. The workshop will be relatively informal, with an emphasis on discussion. INVITED SPEAKERS - Michael Goldsmith (U. Oxford, UK) - Jon Holt (Atego, UK) - Jaco van de Pol (U. Twente, NL) - Christoph Weidenbach (MPI Informatik, Saarbruecken, D) CONTRIBUTED TALKS - Brijesh Dongol, John Derrick and Ian J. Hayes. Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. - Radu I. Siminiceanu, Ijaz Ahmed and Nestor Catano. Automated Verification of Specifications with Typestates and Access Permissions. - Yang Zhao and Kristin Yvonne Rozier. Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. - Rajiv Murali and Andrew Ireland. E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. - Hassan Hatefi and Holger Hermanns. Model Checking Algorithms for Markov Automata. - Stephan Merz and Hernán Vanzetto. Harnessing SMT Solvers for TLA+ Proofs. - Marcel Pockrandt, Paula Herber, Holger Gross and Sabine Glesner. Optimized Transformation and Verification of SystemC Methods. - Holger Gast. Semi-automatic Proofs about Object Graphs in Separation Logic. - Jeroen J.A. Keiren and Martijn D. Klabbers. Modelling and Verifying IEEE Std 11073-20601 Session Setup Using mCRL2. - Oleg Travkin, Heike Wehrheim and Gerhard Schellhorn. Proving Linearizability of Multiset with Local Proof Obligations. - Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. CSP||B Modelling for Railway Verification: The Double Junction Case Study. - Alexander Heußner. Verifying Web Services over Unbounded, Reliable Channels. - Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix and Mamoun Filali. Callable Timed Automata: Adding Dynamic Creation of Processes to UPPAAL. - Maria Spichkova. Towards Focus on Time. - Bernhard Beckert and Thorsten Bormer. Lessons Learned From Microkernel Verification. - Adrian Beer, Uwe Kuehne, Florian Leitner-Fischer, Stefan Leue and Rüdiger Prem. Model-based Formal Safety Analysis of an Airport Surveillance Radar System. SPONSORED PLACEMENTS FME Sponsored Placements: Thanks to generous sponsorship from Formal Methods Europe (FME), we are able to offer support in the form of several free PhD student places for those who are still registered for their PhD degrees - see http://www.swt-bamberg.de/AVoCS2012/registration.php. REGISTRATION Visit our web site http://www.swt-bamberg.de/AVoCS2012/ to register. Registration will be open until 31st August 2012.

1 0

AVoCS'12 Final Call for Papers
by Gerald Lüttgen 03 May '12

03 May '12

Please find below the final call for papers for AVoCS'12, accept our apologies if you receive multiple copies of this announcement. Note the submission deadline for full papers is 1st June 2012 and for short papers 23rd July 2012. We are also pleased to announce that this year there will be an "Inside Tools" track consisting of two invited talks by Michael Goldsmith (U. Oxford, UK) on the model checker FDR and Christoph Weidenbach (MPI Informatik, Saarbrücken, D) on the theory behind the SPASS prover tools. This is in addition to the invited talks by Jon Holt (Atego, UK) and Jaco van de Pol (U. Twente, NL). ********************************************************************** 12th International Workshop on Automated Verification of Critical Systems 18-20th September 2012 Bamberg, Germany http://www.swt-bamberg.de/AVoCS2012/ ********************************************************************** The aim of AVoCS 2012 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, security-critical, business-critical, performance-critical, etc). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion. Invited Speakers Jon Holt (Atego, UK) Jaco van de Pol (U. Twente, NL) This year there will be an "Inside Tools" track consisting of invited talks by Michael Goldsmith (U. Oxford, UK) and Christoph Weidenbach (MPI Informatik, Saarbrücken, D). Topics include (but are not limited to) Model Checking Automatic and Interactive Theorem Proving SAT, SMT or Constraint Solving for Verification Abstract Interpretation Specification and Refinement Requirements Capture and Analysis Verification of Software and Hardware Verification of Security-Critical Systems Specification and Verification of Fault Tolerance and Resilience Probabilistic and Real-Time Systems Dependable Systems Verified System Development Industrial Applications Important Dates Submission (full papers): 1st June 2012 Notification (full papers): 16th July 2012 Submission (short papers): 23rd July 2012 Notification (short papers): 25th July 2012 Registration deadline (including accommodation): 30th July 2012 Submission of final versions: 3rd August 2012 Workshop: 18-20th September 2012 Submission Details Full Papers: Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Final versions of the papers must be written in English and not exceed 15 pages (excluding the title page) in the EASST LaTeX or MS Word format (http://eceasst.cs.tu-berlin.de/template/). Short Contributions: AVoCS'12 encourages the submissions of short contributions in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select short contributions on the basis of submitted abstracts according to significance and general interest. Short contributions must be written in English and not exceed 2 pages (excluding the title page) in the EASST LaTeX or MS Word format (http://eceasst.cs.tu-berlin.de/template/). Submission Site: https://www.easychair.org/conferences/?conf=avocs2012 Conference Proceedings & Special Journal Issue At the workshop, pre-proceedings will be available in the form of a Bamberg University Report; this report will also include the short contributions. After the workshop, the authors of accepted papers will have about one month in order to revise their papers for publication in the workshop post-proceedings which will appear in the Electronic Communications of the EASST. We will invite authors of a selection of the best papers presented at the workshop to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. Program Committee Jiri Barnat (Masaryk U. Brno, CZ) Radu Calinescu (Aston U., UK) Javier Esparza (TU Munich, D) Michael Goldsmith (U. Oxford, UK) Constance Heitmeyer (Naval Research Laboratory, US) Keijo Heljanko (Aalto U., FI) Holger Hermanns (U. Saarbrücken, D) Cliff Jones (Newcastle U., UK) Gerald Lüttgen (U. Bamberg, D, Co-Chair) Stephan Merz (INRIA Nancy & LORIA, F, Co-Chair) Alice Miller (U. Glasgow, UK) Markus Roggenbach (Swansea U., UK) Thomas Santen (Microsoft Research Aachen, D) Tayssir Touili (LIAFA Paris, F) Helen Treharne (U. Surrey, UK) Laurent Voisin (Systerel, F) Steering Committee Michael Goldsmith (U. Oxford, UK) Stephan Merz (INRIA Nancy & LORIA, F) Markus Roggenbach (Swansea U., UK) Organization Committee Gerald Lüttgen David White Alexandra Homer

1 0