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@cs.uni-kl.de) oder Roland (meyer@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