Liebe Freunde und Kollegen,
wir freuen uns, Euch in Kürze hier in Münster beim DCON-Treffen
begrüßen zu können. Hier noch einige praktische Informationen.
Für Mittwoch abend (2.3.2011) haben wir ab 19:30 Uhr einen Tisch
bestellt im "Weinkeller" des
Mocca d'or, Rothenburg 14-16, 48143 Münster
Der Eingang des Mocca d'or liegt etwas versteckt, es gibt aber an der
Strasse ein Hinweisschild. Das Treffen selbst findet statt im
Alexander-von-Humboldt-Haus, Hüfferstrasse 61, 48149 Münster
und beginnt am Donnerstag, 3.3.2011, um 9:00 Uhr. Die Registrierung
ist ab 8:30 Uhr. Wie in der Einladungsmail von Anfang Januar schon
geschrieben, ist das Alexander-von-Humboldt-Haus von den
vorgeschlagenen Hotels zu Fuß in etwa 15-20 Minuten zu erreichen. Vom
Stadthotel und vom Centralhotel gibt es auch eine Busverbindung
(Linien 11, 12, 13, 22 von der Haltestelle Aegidiimarkt zur
Haltestelle Jungeblodtplatz; Fahrzeit ca. 5 Min; Fahrplanauskunft:
http://www.stadtwerke-muenster.de/fahrgaeste.html).
Viele Grüße,
Markus Müller-Olm
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
Liebe Freunde und Kollegen,
auf Grundlage der Ergebnisse der DOODLE-Umfrage haben wir jetzt einen
Entwurf für das Programm von DCON 2011 in MÜnster erarbeitet. Da es
diesmal recht viele Themenvorschläge gibt, habe wir die Dauer für die
Themensitzungen auf 45 Minuten verkürzt und die Themen geeignet
parallelisiert. Den Programmentwurf findet ihr unter:
http://cs.uni-muenster.de/sev/dcon11/programmentwurf.pdf
Viele Grüße,
Markus Müller-Olm und Alexander Wenner
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
Liebe Freunde und Kollegen,
jetzt gibt es noch einen weiteren Themenvorschlag von Jan Bormann von
der Uni Kaiserslautern (Geometrische Ansaetze zur Beschleunigung von
Ueberdeckungsalgorithmen in linearen Whileprogrammen):
http://cs.uni-muenster.de/sev/dcon11/
VielGruesse,
Markus Mueller-Olm
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
Liebe Freunde und Kollegen,
es gibt jetzt noch einen weiteren Themenvorschlag für DCON von
Jonathan Heinen aus Aachen ("Graphbasierte Verifikation") sowie
Abstracts zu den beiden Themenvorschlägen aus der Gruppe von Helmut
Seidl von der TU München. Wir haben die Webseite für die Umfrage:
http://cs.uni-muenster.de/sev/dcon11/
und die Doodle-Umfrage selbst entsprechend ergänzt. Die, die bisher
schon abgestimmt haben, bitten wir, ihr Voting noch entsprechend zu
ergänzen, und alle anderen, die Deadline für die Votes nicht aus den
Augen zu verlieren:
Freitag dieser Woche (11. Februar 2011)
Viele Grüße,
Markus Müller-Olm
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
Liebe Freunde und Kollegen,
vielen Dank an alle, die Themenvorschläge für DCON geschickt
haben. Bisher sind bei uns 12 Themenvorschläge eingegangen.
Wie im Vorjahr wollen wir für die genauere Programmplanung Eure
Präferenzen für die Themen er-DOODLE-n. Auf Basis der Antworten
werden wir dann die Themen geeignet parallelisieren und ggf. auch eine
Auswahl treffen. Titel und Abstracts der Themenvorschläge sowie den
Link zur Doodle-Umfrage findet Ihr auf der folgenden Webseite:
http://cs.uni-muenster.de/sev/dcon11/
Bitte gebt Eure Votes spätestens
bis Freitag dieser Woche (11. Februar 2011)
ab. Natürlich sollten nur die abstimmen, die auch tatsächlich zur DCON
nach Münster kommen werden, und von denen ALLE! Bisher ist es uns
nicht in allen Fällen gelungen, die Email-Adressen der Teilnehmer zu
recherchieren. Gebt die Links deshalb bitte auch an die teilnehmenden
Doktoranden und Mitarbeiter weiter.
Wenn Ihr noch einen weiteren Themenvorschlag habt oder wenn wir einen
Themenvorschlag vergessen haben, meldet Euch bitte bei uns:
markus.mueller-olm(a)math.uni-muenster.de
alexander.wenner(a)uni-muenster.de
Viele Grüße,
Markus Müller-Olm und Alexander Wenner
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
