------------------------------------------------------------------------------
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/
----------------------------------------------------------------------------------------
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
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.
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
Liebe D-CON Gemeinde,
Ihr seid herzlich eingeladen, weitere Papiere zu unserem Workshop zum Thema
*Distributed coordination, execution models, and resilient interaction*
in Stockholm einzureichen. Der Workshop ist mit DisCoTec assoziiert und
Papiere werden per interaktivem Review-Prozess akzeptiert. Alles weitere
findet Ihr unten.
Beste Grüße,
Tobias
* 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 **25 April 2012***.................Full paper submission
18 April-12 May 2012 **26 April-11 May 2012**...Reviews, rebuttal
16 May 2012..................................................Notification
to authors
30 May 2012..................................................Camera-ready
16 June 2012.................................................ICE in
Stockholm
15 Sept
2012.................................................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
=== 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*
**********************************************************************
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
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
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*
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
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