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
