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

Call for Papers: AVoCS 2012
by Stefan Rieger 04 Apr '12

04 Apr '12

********************************************************************** 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) 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

Informationen
by Roland Meyer 05 Mar '12

05 Mar '12

Liebe Kollegen, schon übermorgen treffen wir uns hier in Kaiserslautern zur D-CON 2012. Mit dieser E-Mail senden wir Euch Informationen, die die Orientierung in Kaiserslautern erleichtern sollen. 1. Die D-CON findet in den Gebäuden 57 (Rotunde) und 58 (IVW) statt und wird auf dem Campus ausgeschildert sein. Einen Campusplan findet Ihr unter http://concurrency.cs.uni-kl.de/documents/campus_map.pdf In den Räumen werden wir Laptops aufbauen, so dass Ihr keine Rechner benötigt. Wenn jemand seinen eigenen Rechner benutzen möchte, ist das natürlich möglich. Es wird auch einen Overheadprojektor geben. Das Programm hat sich leicht geändert. Die ersten beiden Vorträge in der Rotunde sind durch andere Themen ersetzt worden. Den aktualisierten Plan findet Ihr unter http://concurrency.cs.uni-kl.de/documents/dcon_updated_program.pdf Die Zusammenfassungen zu Robustheit und LCEGAR stehen auf der Workshopseite http://concurrency.cs.uni-kl.de/dcon_2012.html Für das leibliche Wohl während der D-CON ist gesorgt. 2. Von den Hotels (Innenstadt) aus ist die TU mit Bussen sehr gut zu erreichen. Ihr solltet Linie 105 oder 115 wählen und dann an der Station "Uni Ost" aussteigen. Einen Linienplan findet Ihr hier: http://www.swk-kl.de/irj/go/km/docs/wpccontent/Cross-Site Content/Nahverkehr/Liniennetzplan KL Sep 2011.pdf Einen Stadtplan (mit Restaurants) findet Ihr unter http://tinyurl.com/7q6vdd2 3. Unser informelles Essen am Mittwochabend findet um 19.30 Uhr im Restaurant Flammkuche Ludwigstraße 40 67657 Kaiserslautern statt. Am Donnerstagabend treffen wir uns ebenfalls um 19.30 Uhr im Restaurant Spinnrädl Schillerstraße 1 67655 Kaiserslautern http://www.spinnraedl.de Solltet Ihr Rückfragen haben, meldet Euch bitte bei Georgel (calin(a)cs.uni-kl.de) oder Roland (meyer(a)cs.uni-kl.de). Wir freuen uns schon sehr auf den Workshop Georgel und Roland -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0

ICE 2012 - First Call for Papers (Deadline 4 April 2012)
by Jens-Wolfhard Schicke-Uffmann 17 Feb '12

17 Feb '12

Heute mal Spam von mir, ein Call-for-Papers eines großartigen Workshops. Wie üblich via Floodfillalgorithmus verteilt, doppelte Zusendung ist also Teil des Plans. Grüße, Jens +++++++++++++++++++++++ * ICE 2012 5th Interaction and Concurrency Experience June 16, 2012, Stockholm, Sweden http://www.artist-embedded.org/artist/-ICE-2012-.html Satellite workshop of DisCoTec 2012 http://discotec.ict.kth.se/ === Highlights === - Invited talks: Marcello Bonsangue & Ichiro Hasuo - Innovative selection procedure - Special issue of Scientific Annals of Computer Science (http://www.info.uaic.ro/bin/Annals/) === Important Dates === 30 March 2012................Abstract submission 04 April 2012...................Full paper submission 18 April - 12 May 2012....Reviews, rebuttal and PC discussion 16 May 2012....................Notification to authors 30 May 2012....................Camera-ready for pre-proceedings 16 June 2012...................ICE in Stockholm 15 Sept 2012...................Camera-ready for post-proceedings === Scope === Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, but every experience focuses on a different specific topic (see "Previous Editions" at the end of this call) related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models. The theme of ICE 2012 is ***Distributed coordination, execution models, and resilient interaction***. Topics of interest include, but are not limited to: - Process algebra and coordination: transformation, analysis and implementation - Models for distributed coordination and semantics - Techniques and tools for specification, analysis, verification of resilient interaction - Languages, protocols and mechanisms for sound distributed coordination - Logics and types for interactions - Comparison among different coordination and/or execution models - Expressive power of coordination languages and execution models - Formal semantics of coordination languages - Formal verification of distributed coordinated architectures - Relating different semantic models for coordination languages === Selection Procedure === Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access will be restricted to the authors and all the PC members who do not have a conflict of interests with the paper. The PC members post comments/questions that the authors shall reply to. As witnessed by the past four editions of ICE, this procedure considerably improves the accuracy of the feedback from reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop. === The Public Wiki === After the notification, the accepted papers will be published on a public forum, in order to initiate public discussions that will trigger and stimulate the scientific debate at the workshop. We believe that this will drive the workshop discussions and let prospective participants interact with each other much earlier than in more traditional events. === Submission Guidelines === Papers must report previously unpublished work and not be simultaneously submitted to other conferences/workshops with refereed proceedings. The ICE 2012 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Submissions must be made electronically in PDF format via EasyChair (http://www.easychair.org/conferences/?conf=ice2012) and should not exceed 15 pages with the EPTCS style (http://style.eptcs.org/). Accepted papers must be presented at the workshop by one of the authors. === Special Issue === Full versions of the best papers selected by the PC will be invited to appear in a special issue of the journal of Scientific Annals of Computer Science (http://www.info.uaic.ro/bin/Annals/). Such contributions will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. === Program Committee === Lucia Acciai (University of Firenze, Italy) Luca Aceto (Reykjavik University, Iceland) Massimo Bartoletti (University of Cagliari, Italy) Simon Bliudze (EPFL, Switzerland) Laura Bocchi (University of Leicester, United Kingdom) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Marco Carbone (co-chair) Vincenzo Ciancia (University of Amsterdam, The Netherlands) Pierre-Malo Denielou (Imperial College, United Kingdom) Cinzia Di Giusto (CEA, France) Tobias Heindel (CEA, France) Tom Hirschowitz (CNRS, France) Bartek Klin (Warsaw University, Poland) Ivan Lanese (University of Bologna/INRIA, Italy) Alberto Lluch Lafuente (IMT Lucca, Italy) Bas Luttik (Technische Universiteit Eindhoven, The Netherlands) Manuel Mazzara (Newcastle University, United Kingdom) Mohammadreza Mousavi (Technische Universiteit Eindhoven, The Netherlands) Damien Pous (CNRS, France) Jens-Wolfhard Schicke-Uffmann (TU Braunschweig, Germany ) Alexandra Silva (co-chair) Ana Sokolova (University of Salzburg, Austria) Francesco Tiezzi (IMT Lucca, Italy) Emilio Tuosto (University of Leicester, United Kingdom) Erik de Vink (Technische Universiteit Eindhoven, The Netherlands) === ICEcreamers === - Marco Carbone (IT University of Copenhagen, Denmark; co-chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alexandra Silva (Radboud University Nijmegen & CWI, The Netherlands; HasLab / INESC TEC, Portugal; co-chair) - Ana Sokolova (University of Salzburg, Austria) === Contact === ice2012(a)easychair.org <mailto:ice2012@easychair.org> === Previous editions === The previous four editions of ICE have been held on * July 6th, 2008 in Reykjavik, Iceland with focus on Synchronous and Asynchronous Interactions in Concurrent/ Distributed Systems, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3). * August 31st, 2009 in Bologna, Italy with focus on Structured Interactions, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and a special issue of MSCS is in preparation. * June 10th, 2010 in Amsterdam, The Netherlands with focus on Guaranteed Interactions, co-located with DisCoTec'10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI). * June 9th, 2011 in Reykjavik, Iceland with focus on Reliable and Contract-based Interactions, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and a special issue of SACS is now in preparation. === Workshop Sponsors === CEA-List Computer Science Department - University of Bologna*

1 0

Programmentwurf und Restaurants
by Roland Meyer 16 Feb '12

16 Feb '12

Liebe Kollegen, vielen Dank für Eure Teilnahme an der Doodle-Umfrage. Basierend auf dem Ergebnis haben wir nun einen ersten Programmentwurf zusammengestellt, der die meisten Präferenzen berücksichtigen sollte. Er findet sich als PDF-Datei unter http://concurrency.cs.uni-kl.de/documents/dcon_programm.pdf Solltet Ihr Anmerkungen oder Rückfragen haben, wendet Euch bitte einfach an Georgel (calin(a)cs.uni-kl.de) oder Roland (meyer(a)cs.uni-kl.de). Außerdem gibt es Neuigkeiten bezüglich der Restaurants. Am Mittwochabend um 19.30 Uhr werden wir im Restaurant "Flammkuche" Ludwigstraße 40 67657 Kaiserslautern Telefon: 0631-65 875 erwartet. Das Workshop-Dinner findet am Donnerstagabend um 19.30 Uhr im Restaurant "Spinnrädl" http://www.spinnraedl.de/ Schillerstraße 1 67655 Kaiserslautern Telefon: 0631-605 11 statt. Beide Restaurants sind binnen weniger Minuten von den empfohlenen Hotels aus zu Fuß zu erreichen. Die Information dieser Mail findet Ihr auch auf der Internetseite http://concurrency.cs.uni-kl.de/dcon_2012.html des Workshops. Habt einen feinen Tag Georgel und Roland -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0

Doodle zur Programmplanung
by Roland Meyer 07 Feb '12

07 Feb '12

Liebe Kollegen, bisher sind bei uns 15 Themenvorschläge eingegangen, deren nähere Beschreibung Ihr auf der Internetseite http://concurrency.cs.uni-kl.de/dcon_2012.html findet. Mit dieser E-Mail möchten wir Euch bitten, in dem Doodle http://www.doodle.com/gkmu6mtgp8rfk8xx anzugeben, für welche Vorträge Ihr Euch interessiert. Bitte lasst uns auch wissen, ob Ihr eine Präsentation auf Deutsch oder Englisch bevorzugt. Bitte gebt Eure Stimme bis zum nächsten Montag (13.02.2012) ab. Denkt auch daran, den Link an Eure Mitarbeiter und Doktoranden weiterzugeben, damit wirklich alle D-CON-Teilnehmer abstimmen. Bis Montag lassen sich auch noch weitere Themenvorschläge hinzufügen, schickt einfach eine E-Mail mit Titel und Abstract an Frau Stengel (stengel(a)cs.uni-kl.de). Solltet Ihr noch Fragen haben, schreibt uns einfach. Beste Grüße und einen feinen Abend Roland -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0

Weitere Informationen
by Roland Meyer 02 Feb '12

02 Feb '12

Liebe Kollegen, mit dieser E-Mail möchten wir Euch weitere Informationen zur Organisation der D-CON zukommen lassen, die hoffentlich die Planung erleichtern. 1.) Das Abendessen am 07.03.2012 soll gegen 19.30 Uhr starten. Solltet Ihr um 19 Uhr ankommen, habt Ihr noch Zeit, das Gepäck im Hotel abzulegen. Das Restaurant wird noch bekannt gegeben. 2.) Der Schluss der D-CON ist abhängig von der Zahl der Vorträge und noch nicht bekannt. Es lässt sich aber sicher sagen, dass wir die D-CON nicht später als 16 Uhr beenden. 3.) Auf der Internetseite hatte sich ein Fehler eingeschlichen. Die E-Mail- Adresse von Frau Stengel lautet stengel(a)cs.uni-kl.de 4.) Bisher sind bei uns 13 Themenvorschläge eingegangen. Allerdings gab es auch noch Rückfragen bezüglich der Themensitzungen. Daher möchten wir Euch bitten, weitere Vorschläge noch bis zum 06. Februar 2012 nachzureichen. Die Idee der Themensitzungen ist in folgender E-Mail von Gerald, Michael und Markus erläutert: "Nach unserer momentanen Planung werden wir 8-10 Themensitzungen (maximal zwei parallel) ausrichten können. Jede Themensitzung dauert 60 Minuten. Wie im letzten Jahr soll eine Themensitzung von einem Doktoranden oder einer Doktorandengruppe vorgeschlagen werden und einen Theme Leader haben, der die Sitzung leitet. An einer solchen Sitzung kann dann jeder teilnehmen, den das Thema interessiert. Wie eine Themensitzung dann konkret ausgestaltet ist können die Theme Leader selbst festlegen: Beispielsweise eine Diskussionsrunde mit Moderator, ein einführender Überblicksvortrag mit anschließenden informellen Einzelbeiträgen der Teilnehmer an der Tafel/Whiteboard, oder ein klassischer Fachvortrag mit ausführlicher Diskussion. Die Aufteilung in parallele Sitzungen hat den Vorteil, dass wir kleinere Gruppen bekommen und mehr Themen zur Auswahl anbieten können. Wir stellen uns vor, dass von jeder Forschungsgruppe mindestens ein Vorschlag kommen sollte. Je mehr desto besser. Diese Vorschläge sammeln wir und doodeln im Vorfeld Eure Präferenzen. Wir planen dann entsprechend dem Abstimmungsergebnis. Wenn ein Vorschlag zu wenig Teilnehmer anzieht, wird er also noch rechtzeitig vor dem Workshop gestrichen, so dass sich niemand unnötig vorbereitet. Auch die potentiellen Teilnehmer können sich gegebenenfalls vorbereiten wollen. Vielleicht möchte ja jemand in einer Sitzung ein ungelöstes Problem behandeln und mit den Teilnehmern über eine Lösung diskutieren?" Wir hoffen, diese Information hilft weiter. Für die nächste Woche ist dann das Doodlen geplant. Bei weiteren Fragen, meldet Euch bitte einfach bei uns. Beste Grüße und bis bald Roland -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0

D-CON 2012: Planung und Themenvorschläge
by Roland Meyer 16 Jan '12

16 Jan '12

Liebe Kollegen, die D-CON 2012 rückt mit großen Schritten näher. Mit dieser E-Mail möchten wir mit Euch die Planung absprechen. Die Informationen finden sich auch auf der Internetseite des Workshops: http://concurrency.cs.uni-kl.de/dcon_2012.html Eine Zusammenfassung der nächsten Schritte: 1.) Bitte schickt Vorschläge zu Themensitzungen an Frau Judith Stengel E-Mail: stengel(a)cs.uni-kl.de Deadline: 01. Februar 2012 Bitte vergesst nicht, anzugeben, ob Ihr bereit seid, Eure Vorträge auf Englisch zu halten. 2.) Bitte meldet Euch zur D-CON an: Deadline: 08. Februar 2012 3.) Bitte reserviert ein Zimmer. Kontingente finden sich am Ende dieser E-Mail. Deadline: 05. Februar 2012. Wir planen, einen kleinen Kostenbeitrag zu erheben, der 30€ nicht überschreiten sollte. Termin und Rahmen: ================== Die D-CON 2012 findet statt am 08.-09. März 2012 TU Kaiserslautern Gottlieb-Daimler Straße Gebäude 57/58 67653 Kaiserslautern. Wir werden am Donnerstag früh starten, so dass sich eine Anreise am 07. März anbietet. Wie beim letzten Business-Meeting abgemacht, wird die D-CON am Freitagnachmittag enden. Für den Abend des Anreisetages (07. März) ist ein informelles Essen geplant, am 08. März wird ein Workshop-Dinner stattfinden. Außerdem werden wir einen eingeladenen Vortrag hören: Ahmed Bouajjani What's Decidable about Weak Memory Models. Themensitzungen: ================ Im Mittelpunkt der D-CON stehen informelle 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. Als Neuerung sollen in diesem Jahr, je nach Wunsch der Teilnehmer, vermehrt Vorträge auf Englisch angeboten werden. Zur weiteren Organisation möchten wir Euch bitten, bis zum 01. Februar 2012 Vorschläge für Themensitzungen zu schicken an Frau Judith Stengel E-Mail: stengel(a)cs.uni-kl.de Bitte gebt an, ob Ihr auch auf Englisch vortragen würdet. (Die anschließende Diskussion kann trotzdem auf Deutsch stattfinden.) Anmeldung und Unterkunft: ========================= Um Euch zur D-CON anzumelden, schickt bitte bis zum 08. Februar eine E-Mail mit Eurem Namen, Affiliation und Ankunftstag an Frau Judith Stengel, stengel(a)cs.uni-kl.de. Bitte lasst uns wissen, ob Ihr am informellen Abendessen des 07. März teilnehmen möchtet. Zur preiswerten Unterkunft haben wir in einigen Hotels Zimmerkontingente reserviert. Nennt bitte einfach bei der Buchung den Workshop-Namen "D-CON 2012". Ihr solltet dann einen Raum zu den unten angeführten Konditionen erhalten. Die Zimmer werden bis zum 05. Februar vorgehalten, so dass wir Euch um eine baldige Reservierung bitten möchten. Die Hotels sind zentral gelegen, die Fußgängerzone ist nur wenige Schritte entfernt und die TU leicht per Bus zu erreichen. 1.) Art Hotel Lauterbach Fruchthallstraße 15 67655 Kaiserslautern http://www.pfaelzer-hof-kl.de/ 4 Zimmer à 72€ inkl. Frühstück 2 Zimmer à 80€ inkl. Frühstück Parken: QPark Theaterparkhaus: 7,50€. 2.) Hotel Lautertaler Hof Mühlstraße 31 67659 Kaiserslautern http://www.lautertalerhof.de/ 15 Zimmer à 69€ inkl. Frühstück Parken: 5€ 3.) ALCATRAZ Hotel am Japanischen Garten Morlauterer Str. 1 67657 Kaiserslautern http://www.hotel-alcatraz.de/ 15 Zimmer à 76€ inkl. Frühstück + Parkplatz 4.) SAKS Urban Design Hotel Stiftsplatz 11 67655 Kaiserslautern http://sakshotels.com/ 14 Zimmer à 85€ exkl. Frühstück "Im Zimmerpreis inbegriffen ist die Nutzung unserer Gym, unserer Guest Lounge, in der Ihnen Croissants, Obst und Snacks sowie verschiedene Getränke und Kaffeespezialitäten kostenfrei zur Verfügung stehen." Parken: Tiefgarage Stiftsplatz, 12€ Wir freuen uns darauf, von Euch zu hören. Nach Eingang der Themenvorschläge melden wir uns Anfang Februar, um mit Euch das Programm abzustimmen. Beste Grüße Roland Meyer -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0

CFP Europe4an Symposium on Programming, 2012
by Helmut Seidl 30 Sep '11

30 Sep '11

CFP: European Symposium on Programming - ESOP 2012 2012, 24 March - 1 April. Tallinn, Estonia. http://www2.in.tum.de/esop2012/ ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP 2012 is the twenty second edition in this series and seeks contributions on all aspects of programming language research including, but not limited to, the following areas: Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, biologically-inspired languages, synchronous and real-time programming languages. Methods and tools to write, reason about, and specify languages and programs: module systems, programming techniques, meta programming, type systems, logical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security. Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing; Methods and tools for implementation: rewriting systems, program transformations, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments. Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile languages. ESOP is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2012 is the 15th joint conference in this series. Submission Guidelines Papers must be written in English, unpublished and not submitted for publication elsewhere. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be in the format specified by Springer-Verlag in this page. Submissions must be in PDF format, formatted in the LNCS style and be at most 20 pages long. Additional material, that is not to be included in the final version, but may help assessing the merits of the submission - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices, and papers must be understandable without them. Papers can be sumitted via the following submission page: https://www.easychair.org/account/signin.cgi?conf=esop2012 Important Dates Important Dates 7 October 2011 (23:59 Apria, Samoa time): Submission deadline for abstracts (strict) 14 October 2011 (23:59 Apia, Samoa time): Submission deadline for full papers (strict) 6/7 December 2011: Rebuttal phase 16 December 2011: Notification of acceptance 6 January 2012: Camera-ready versions due 24 March - 1 April, 2012: Conference The submission deadline for papers is strict (site will close at 23:59 Samoan time). Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. Invited Speaker Bjarne Stroustroup, Texas A&M Univ (USA) Programme Committee Chair: Helmut Seidl, TU München (Germany) Andreas Abel (Ludwig Maximilian Univ. of München, Germany) Chandra Boyapati (Univ. of Michigan, USA) Witold Charatonik (Wroclaw Univ., Poland) Kostas Chatzikokolakis (Ecole Polytechnique, CNRS, France) Dave Clarke (Catholic Univ. of Leuven, Belgium) Philippa Gardner (Imperial College, UK) Sebastian Hack (Univ. of Saarland, Germany) Suresh Jagannathan (Purdue Univ., USA) Somesh Jha (Univ. of Wisconsin, USA) Patrick Lam (Univ. of Waterloo, Canada) Isabella Mastroeni (Univ. of Verona, Italy) Matthew Might (Univ. of Utah, USA) David Monniaux (Verimag, France) Anders Møller (Univ. of Aarhus, Denmark) Flemming Nielson (Technical Univ. of Denmark) German Puebla (Polytechn. Univ. of Madrid, Spain) Sylvie Putot (CEA, France) Sriram Rajamani (Microsoft Research, India) Noam Rinetzky (Queen Mary, Univ. of London, USA) Xavier Rival (ENS, France) Christian Schallhart (Univ. of Oxford, UK) David A. Schmidt (Kansas State Univ., USA) Harald Sondergaard (Univ. of Melbourne, Australia) Ian Stark (Univ. of Edinburgh, UK) Elena Zucca (Univ. of Genova, Italy) Best wishes, Helmut Seidl

1 0

TACAS 2012 Call for Papers
by Cormac Flanagan 07 Sep '11

07 Sep '11

TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems http://www.etaps.org/2012/tacas 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 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. Competition on Software Verification ------------------------------------ Associated with TACAS '12 there will be a competition on software verification. TACAS '12 hosts the first such competition event with the goal to evaluate the technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency. The competition is performed and presented by the TACAS Competition Chair Dirk Beyer. Successful competition candidates are granted a demonstration slot for their tool in the TACAS program, and their contribution paper will be included in the TACAS conference proceedings. Important dates and submission See the common call for papers of ETAPS 2012 at http://www.etaps.org/2012/call-for-papers. Submit your paper via the TACAS 2012 author interface of Easychair. Submission guidelines --------------------- TACAS will accept the following kinds of submissions: * Research papers cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. They have a maximum of 15 pages. * Case study papers report on case studies (preferably in a "real life" setting) are also welcome. They should focus on providing sufficiently detailed information about the following aspects: the system being studied and why it is of interest, the goals of the study, the challenges the system poses to automated analysis, research methodologies and the approach used, the degree to which goals were attained, and how the results can be generalized to other problems and domains. Case study papers have a maximum of 15 pages. * Regular tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They focus primarily on engineering aspects, with special emphasis on important design and implementation concerns. A thorough discussion of theoretical foundations is not required, although the paper should provide with a summary of such, with relevant citations. A tool paper should describe the tool's software architecture and core data structures and algorithms, and also give a clear account of its functionality. The paper should discuss the tool's practical capabilities with reference to the type and size of problems it can handle, and experience with realistic case studies. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Tool papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Tool papers have a maximum of 15 pages. * Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or falling into relevant application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.) and focus on the usage aspects of the tool. Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Tools presented in tool demonstration papers must be publicly available. Tool demo papers have a maximum of 6 pages. Submitted papers in all categories must: * be in English, * 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 LNCS style, * fit within the page limit, including figures and bibliography (papers may include an optional appendix containing ancillary material such as proofs, but TACAS referees are at liberty to ignore appendices, and * be submitted electronically in pdf via the TACAS 2012 Easychair author interface. Invited speaker --------------- Holger Hermanns (Univ. of Saarland, Germany) Programme chairs ---------------- Cormac Flanagan (Univ. of California at Santa Cruz, USA) Barbara König (Univ. of Duisburg-Essen,Germany) Programme committee ------------------- Rajeev Alur (Univ. of Pennsylvania, USA) Armin Biere ( Johannes Kepler Univ., Austria) Alessandro Cimatti (FBK-irst, Italy) (Tool chair) Rance Cleaveland (Univ. of Maryland and Fraunhofer USA, USA) Giorgio Delzanno (Univ. of Genova, Italy) Javier Esparza (Techn. Univ. of Munich, Germany) Patrice Godefroid (Microsoft Research, Redmond, USA) Susanne Graf (Verimag, France) Orna Grumberg (Technion, Israel) Aarti Gupta (NEC Labs, USA) Michael Huth (Imperial College London, UK) Ranjit Jhala (Univ. of California at San Diego, USA) Vineet Kahlon (Univ. of Texas at Austin, USA) Daniel Kroening (Univ. of Oxford, UK) Marta Kwiatkowska (Univ. of Oxford, UK) Kim G. Larsen (Aalborg Univ., Denmark) Rustan Leino (Microsoft Research, Redmond, USA) Matteo Maffei (Univ. of Saarland, Germany) Ken McMillan (Cadence Berkeley Labs, USA) Doron Peled (Bar Ilan University, Israel) Anna Philippou (Univ. of Cyprus) Arend Rensink (Univ. of Twente, Netherlands) Andrey Rybalchenko (Techn. Univ. of Munich, Germany) Stefan Schwoon (ENS Cachan, France) Bernhard Steffen (Techn. Univ. of Dortmund, Germany) Serdar Tasiran (Koc University, Turkey) Lenore Zuck (Univ. of Illinois at Chicago, USA)

1 0

D-CON 2012 am 08. und 09. März 2012 in Kaiserslautern
by Roland Meyer 15 Aug '11

15 Aug '11

Liebe Kollegen, vielen Dank für die rege Teilnahme am D-CON-Doodle, die Abstimmung ergibt einen fast eindeutigen Termin. Die D-CON wird am 08. und 09. März 2012 an der TU Kaiserslautern (Gottlieb-Daimler Straße) stattfinden. Wie auch im letzten Jahr möchten wir schon am Donnerstagmorgen starten, bitte plant ggf. eine Anreise am Vortag ein. Der Workshop wird am frühen Freitagnachmittag enden. Für die nähere Planung melden wir uns zu einem späteren Zeitpunkt noch einmal bei Euch. Beste Grüße und einen schönen Abend Roland -- Roland Meyer University of Kaiserslautern Concurrency Theory Group Office: 34/428 Phone: +49 (0)631 205 26 34 Fax: +49 (0)631 205 34 20 Web: http://concurrency.cs.uni-kl.de

1 0