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