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