D-CON

d-con@lists.rwth-aachen.de

323 Diskussionen

Postdoc position in Formal Methods at the University of Bamberg, Germany

von Gerald Lüttgen

The Software Technologies Research Group ("Lehrstuhl Softwaretechnik und Programmiersprachen") at the University of Bamberg is offering a Postdoc position in Formal Methods. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. A strong background in Theoretical Computer Science is expected, and preferrably knowledge in Concurrency Theory and/or Automated Verification. Familiarity with the German language is not required. The position is full-time, initially for one year but likely extensible for up to six years. It is available from the end of April and is paid according to the TV-L scale in Germany, on spine point E13 (starting at approx. 38,000 Euro per year), with teaching duties of 5 hours per week during the semester. Bamberg is a medium-sized city in northern Bavaria, located not far from Nuremberg on the fast train line between Munich and Berlin. Its old part of town is one of the UN World Heritage Sites, and its university has just over 10,000 students. Living costs are very moderate. The research group consists of four researchers who are currently focussing on theories of specification formalisms mixing state machines and temporal logic, and on (parallel) algorithms for state-based software verification. For more details, please feel free to contact: Prof. Dr. Gerald Luettgen Software Technologies Research Group Faculty of Information Systems and Applied Computer Sciences The University of Bamberg, 96045 Bamberg, Germany Email: gerald.luettgen {at} uni-bamberg {dot} de Web: http://www.swt-bamberg.de/ Tel.: +49 951 863-3850 / Fax: +49 951 863-3855

13 Jahre, 4 Monate

DCON 2011: Protokoll Business Meeting

von Markus Mueller-Olm

Liebe Freunde und Kollegen, ich möchte mich noch einmal bei allen für die engagierte Teilnahme am DCON-Treffen in Münster bedanken. Ich hoffe, alle sind wieder wohlbehalten zu Hause angekommen! Unten findet Ihr ein kurzes Protokoll des Business-Meetings am 4.3.2011. Viele Grüße, Markus ----------------------------------------------------------------------- DCON 2012 ========= DCON 2012 wird von Roland Meyer und seiner Gruppe in Kaiserslautern organisiert. Format ====== Das Format von DCON hat sich im Wesentlichen bewährt. Es gibt aber folgende Anregungen: - 45 Minuten als Slots für die Vorträge war z.T. eher knapp. Die Slots sollen also nicht weiter verkürzt werden. (Ergänzung MMO: Ich denke, wenn man 45-Minutenslots vorsieht, sollte man auch wieder Pausenzeit nach den Slots als Puffer und für Diskussionen direkt nach dem Vortrag einplanen.) - Bei drei parallelen Vorträgen besteht prinzipiell die Gefahr, dass einzelne Vorträge wenig Hörer haben. Dies war aber beim Treffen in Münster kein Problem. - Ein eingeladener Vortrag statt zwei wäre genug. - Das DCON-Treffen könnte am zweiten Tag auch noch in den Nachmittag hinein verlängert werden. Scope/Teilnehmerkreis ===================== Es wird diskutiert, ob das DCON-Treffen thematisch in Richtung CAV erweitert werden soll. Dazu gibt es derzeit aber keine Veranlassung. Sprache ======= In Zukunft soll potentiellen Teilnehmern ohne ausreichende Deutschkenntnisse vor dem Treffen ermöglicht werden, einzuschätzen, ob eine Teilnahme sich lohnen wird. Dazu soll beim nächsten Mal wie folgt vorgegangen werden: - Abstracts und Folien sollten auf Englisch sein. - Jeder gibt bei den Abstracts mit an, ob der Vortrag ggf. auch auf Englisch angeboten wird. - Es sollte schon vor dem Treffen bekannt gemacht werden (z.B. im Rahmen der DOODLE-Umfrage), welche Teilnehmer keine ausreichenden Deutschkenntnisse haben, um den Vortragenden zu ermöglichen einzuschätzen, ob der Vortrag auf Englisch oder Deutsch gehalten werden sollte. - Auch nach Englischsprachigen Vorträgen kann die Diskussion auf Deutsch sein. Mailingliste ============ Jeder Interessierte kann sich selbst in die DCON-Mailingliste eintragen: https://mailman.rwth-aachen.de/mailman/listinfo/d-con Concurrency-Lehre ================= Ulla Goltz bericht über den Stand der Arbeit (zusammen mit Barbara, Uwe und Thomas (Noll)) an einem Manifest über Concurrencytheorie in der Lehre. Der Entwurf soll zu gegebener Zeit herumgeschickt werden. Ein SAP-Mitarbeiter konnte als Mitautor gewonnen werden. Eventuell kann Alexander Herz aus der Gruppe von Helmut Seidl einen Kontakt zu einem weiteren potentiellen Mitautor aus der Industrie vermitteln. GI-Arbeitskreis =============== Michael Mendler berichtet über die Struktur der GI. Es wird diskutiert wie "Concurrency-Theorie" dort eingegliedert werden könnte. Es besteht derzeit (im Kreis des DCON-Business-Meetings) keine ausreichende Unterstützung dafür, einen GI-Arbeitskreis zu gründen. -- 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, 4 Monate

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, 4 Monate

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, 5 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, 5 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, 5 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, 5 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, 5 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, 6 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, 9 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON