D-CON

d-con@lists.rwth-aachen.de

321 Diskussionen

DCON 2011: Praktische Informationen

von Markus Mueller-Olm

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

13 Jahre, 1 Monat

DCON 2011: Programmentwurf

von Markus Mueller-Olm

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

13 Jahre, 2 Monate

DCON 11: Ein weiteres Themenvorschlag

von Markus Mueller-Olm

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

13 Jahre, 2 Monate

DCON 2011: Ergaenzung zur Themenabstimmung

von Markus Mueller-Olm

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

13 Jahre, 2 Monate

DCON 2011: Themenabstimmung

von Markus Mueller-Olm

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

13 Jahre, 2 Monate

DCON 2011: Anmeldung und Themenvorschläge

von Markus Mueller-Olm

Liebe Freunde und Kollegen, In die Mailadresse von Frau Giesbert in der Einladungsmail zu DCON 2011 hat sich ein Tippfehler eingeschlichen. Sie heißt richtig: giesbec(a)math.uni-muenster.de Ich möchte deshalb alle, deren Anmeldung bzw. Themenvorschlag bisher noch nicht von Frau Giesbert bestätigt wurde, bitten, Anmeldung und/oder Themenvorschlag erneut an die korrekte Adresse zu schicken und zwar möglichst bis: Mittwoch abend dieser Woche (2.2.2011) Natürlich nehmen wir auch gerne noch weitere Anmeldungen und Themenvorschläge entgegen. Bisher haben nur wenige Gruppen überhaupt Themenvorschläge geschickt. 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

13 Jahre, 2 Monate

DCON 2011: Planung und Themenvorschläge

von Markus Mueller-Olm

Liebe Freunde und Kollegen, zunächst möchten wir allen ein frohes neues Jahr wünschen! Es ist an der Zeit, einige Vorbereitungen für DCON 2011 zu treffen. In dieser Mail möchten wir über unsere bisherigen Überlegungen berichten, Euch die notwendigen Informationen an die Hand geben und Euch bitten: 1) Vorschläge zu möglichen Themensitzungen zu schicken, Deadline: Freitag, 28.1.2011. 2) Euch frühzeitig zu D-CON 2011 anzumelden, Deadline: Freitag, 4.2.2011. 3) Euch rechtzeitig um die Unterkunft zu kümmern, Deadline: ab 25.1.2011, je nach Hotel (siehe unten). 4) Bei all diesen Dingen die angegebenen Deadlines zu beachten! Details dazu findet Ihr im Rest dieser Mail. Wir werden die Teilnehmer wieder um einen Kostenbeitrag bitten, voraussichtlich in der Höhe von etwa 30 Euro. =========================== TERMIN, ANREISE, TAGUNGSORT =========================== Wie Mitte letzten Jahres schon angekündigt, wird D-CON 2011 bei uns in Münster stattfinden: DCON 2011 3.-4. März 2011 Alexander-von-Humboldt-Haus, Hüfferstrasse 61 48149 Münster Die Anreise sollte am Tag zuvor erfolgen. Wir werden wieder Lokale für ein gemeinsames informelles Abendessen am 2.3. und ein Workshop-Dinner am 3.3. reservieren. Das Treffen wird voraussichtlich am Freitag, 4.3., nach dem Mittagessen enden. ====== ABLAUF ====== Wir wollen den informellen Charakter des Treffens beibehalten und uns im Ablauf an den vorherigen Treffen in Berlin und Bamberg orientieren. Neben Plenumssitzungen wird es also wohl wieder (möglicherweise parallele) Themensitzungen (von ca. 60-minütiger Dauer) geben, die von Doktoranden vorgeschlagen und geleitet werden, und mindestens einen eingeladenen Vortrag. Wie in Bamberg würden wir die Auswahl der Themensitzungen gerne im voraus treffen. Deshalb bitten wir schon jetzt um Themenvorschläge. =============== THEMENSITZUNGEN =============== Zur Idee und dem Inhalt der Themensitzungen zitieren wir aus der Mail vom letzten Jahr von Gerald und Michael: 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? Bitte schickt Eure Vorschläge bis Freitag, 28.1.2011, an das Sekretariat der Arbeitsgruppe Softwareentwicklung und Verifikation: Frau Claudia Giesbert email: giesbec(a)math.uni-munester.de Tel: 0251 83-33792 ======================== ANMELDUNG UND UNTERKUNFT ======================== Deadline für die Anmeldung ist Freitag, der 4.2.2011. Bitte meldet Euch möglichst bald an, das erleichtert uns die weitere Planung. Bitte schickt Eure Anmeldung mit den üblichen Daten (Name, Affiliation, Email, Ankunftstag+Zeit falls bekannt, Abreisetag+Zeit falls bekannt) per Email an Frau Giesbert. Bitte vermerkt in der Anmeldung auch, ob Ihr am informellen Abendessen am 2.3.2011 teilnehmen wollt. Wir haben in einigen Hotels Zimmerkontingente zu günstigen Konditionen reserviert. Bitte gebt bei der Buchung das Kennwort "DCON 2011" an, um in den Genuss der speziellen Konditionen zu kommen, und bucht die Hotels möglichst bald, da wir die Zimmer nur bis zu den jeweils angegebenen Terminen reserviert haben. Alle Hotels sind innenstadtnah. Das Humboldt-Haus ist 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). Für weitere Fragen zur Unterkunft steht Frau Giesbert gerne zur Verfügung (Mo-Do, vormittags). Hier die Liste der reservierten Hotels: - Hotel Überwasserhof 10 DZ zur Einzelbelegung reserviert für 85 Euro inkl. Frühstück bis zum 25.01.2011, Kennwort DCON 2011. Tel: 0251-4177-0 http://www.ueberwasserhof.de/ - Stadthotel, Aegidiistr. 21, 20 EZ inkl. Frühstück für 77 Euro reserviert bis zum 2.2.2011, Kennwort DCON 2011. Tel: 0251 / 4812-0 http://www.stadthotel-muenster.de/ - Centralhotel, Aegidiistr. 1, 8-10 EZ inkl. Frühstück für 79,50 reserviert bis zum 2.2.2011, Kennwort DCON 2011. Tel: 0251-51015-0 http://www.central-hotel-muenster.de/ Soviel für den Moment zu DCON 2011. Wir wünsche Euch einen guten Start in das Jahr 2011 und freuen uns darauf, bald von Euch zu hören. Mit besten Grüßen, Markus Müller-Olm (im Namen der Münsteraner Arbeitsgruppe)

13 Jahre, 3 Monate

Erinnerung: CONCUR 2011 - Call for affiliated workshops

von Mathias Hülsbusch

Hallo nochmal, In ein paar Tagen läuft die Frist für Workshop-Bewerbungen für CONCUR2011 aus. Darum hier nochmal der CFW als Erinnerung. Viele Grüße aus Duisburg, Mathias Hülsbusch * CONCUR 2011 * Call for affiliated workshops The 22nd Conference on Concurrency Theory (CONCUR 2011) will be held September 6th - September 9th, 2011, in Aachen, Germany. It will co-locate with the 8th Conference on Quantitative Evaluation of SysTems (QEST) 2011, and the 6th Workshop on Trustworthy Global Computing (TGC). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2011, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday, September 5th and Saturday, September 10th, 2011. CONCUR 2011 takes place from September 6-9; QEST from September 6-8, and TGC on September 9+10. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the chairperson(s) or a link to some web page including such information. * A short scientific summary of the topic, its scope and significance, including a discussion on the relation with CONCUR topics. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers and/or talks, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due: Monday, October 18th, 2010 Notification of acceptance: Wednesday, November 10th, 2010 Workshops: September 5th, 2011 and September 10th, 2011 Submissions to: concur-ws(a)inf.uni-due.de The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR workshop chairs. For more information, please refer to the CONCUR 2011 website http://concur2011.rwth-aachen.de or contact us via concur-ws(a)inf.uni-due.de. The CONCUR 2011 workshop chairs, H.J. Sander Bruggink (sander.bruggink(a)uni-due.de) Mathias Hülsbusch (mathias.huelsbusch(a)uni-due.de)

13 Jahre, 6 Monate

CONCUR 2011 - Call for affiliated workshops

von Mathias Hülsbusch

* CONCUR 2011 * Call for affiliated workshops The 22nd Conference on Concurrency Theory (CONCUR 2011) will be held September 6th - September 9th, 2011, in Aachen, Germany. It will co-locate with the 8th Conference on Quantitative Evaluation of SysTems (QEST) 2011, and the 6th Workshop on Trustworthy Global Computing (TGC). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2011, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday, September 5th and Saturday, September 10th, 2011. CONCUR 2011 takes place from September 6-9; QEST from September 6-8, and TGC on September 9+10. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the chairperson(s) or a link to some web page including such information. * A short scientific summary of the topic, its scope and significance, including a discussion on the relation with CONCUR topics. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers and/or talks, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due: Monday, October 18th, 2010 Notification of acceptance: Wednesday, November 10th, 2010 Workshops: September 5th, 2011 and September 10th, 2011 Submissions to: concur-ws(a)inf.uni-due.de The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR workshop chairs. For more information, please refer to the CONCUR 2011 website http://concur2011.rwth-aachen.de or contact us via concur-ws(a)inf.uni-due.de. The CONCUR 2011 workshop chairs, H.J. Sander Bruggink (sander.bruggink(a)uni-due.de) Mathias Hülsbusch (mathias.huelsbusch(a)uni-due.de)

13 Jahre, 8 Monate

Termin für DCON 2011

von Markus Mueller-Olm

Liebe Kollegen und Freunde, vielen Dank an alle, die sich an unserer DOODLE-Umfrage beteiligt haben. Aus den Antworten ergibt sich eindeutig ein bester Termin für DCON 2011. Also bitte gleich den Terminkalender zur Hand nehmen und notieren: DCON 2011 3.-4. März 2011 Alexander-von-Humboldt-Haus, Hüfferstrasse 61 48149 Münster Bitte reserviert ggf. auch schon Zeit für die Anreise am Tag davor, da wir am 3. März gleich morgens beginnen möchten. Voraussichtlich wird DCON am Freitag, dem 4. März, nach dem Mittagessen enden. Für die weitere Planung ist es noch zu früh. Wir werden uns zu gegebener Zeit dann wieder melden. Beste Grüße aus Münster, 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

13 Jahre, 10 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON