D-CON

d-con@lists.rwth-aachen.de

296 discussions

Programme D-Con 2023

by Kirstin Peters

Dear D-Con Participants, the programme is now online (https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon). We are happy to announce two invited Speakers. Heike Wehrheim will tell us something about view-based semantics and logics for weak memory models and Klaus von Gleissenthall something about the verification of security across hardware and software. @Speakers: In order to avoid parallel sessions the schedule is relatively tight. Besides the slots for invited talks, there are 30min Slots that capture a talk of 20min and 10min for questions and 50min Slots that capture a talk of 40min and 10min for questions. @Business Meeting: At the end of Thursday there is a 30min Slot for our Business Meeting. Since this is rather little time, we would like to collect topics for the Business Meeting beforehand. Please send all suggestions to kirstin.peters(a)uni-a.de. Thank you. Best wishes, Kirstin Peters

1 month

D-Con Dinners

by Kirstin Peters

Dear Participants of D-Con, as usual we would like to organiser two informal dinners: on Wednesday March 08 and on Thursday March 09. To organise these dinners, i.e., to make a reservation, we need the rough number of people attending. Could you please send me (kirstin.peters(a)uni-a.de) a short mail with how many of you are planning to join us for dinner on Wednesday and how many of your are planning to join us for dinner on Thursday. Thank you very much. Best wishes, Kirstin

1 month, 2 weeks

Marktoberdorf Summer School 2023

by Javier Esparza

***************************************************** CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2023 ON SAFETY AND SECURITY THROUGH FORMAL VERIFICATION August 2-11 2023 https://events.model.in.tum.de/mod23 * The Marktoberdorf Summer School is an 11-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Safety and Security through Formal Verification" and leaves ample room for interaction between participants and speakers. * Registration opens on February 9, 2023. Register online at https://events.model.in.tum.de/mod23/participation.shtml Deadline: April 15 * Speakers and Courses: PAROSH AZIZ ABDULLA: Algorithmic Verification of Infinite-State Systems JASMIN BLANCHETTE: Solvers and Provers BYRON COOK: Cloud Reasoning JAVIER ESPARZA: Interactve Proof Systems: From Theory to Practice JAN KRETINSKY: Learning-Aided Probabilistic Verification and Synthesis ANCA MUSCHOLL Distributed Synthesis and Control ALEKSANDAR NANEVSKI: Type and Proof Structures for Concurrent Programs CORINA PASAREANU: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security GRIGORE ROSU: Automated Synthesis of Temporal-Logic Specifications JAMES WORRELL: Orbit Problems for Dynamical Systems HONGSEOK YANG: Probabilistic Programming ******************************************************* -- Prof. Javier Esparza Faculty of Computer Science Technical University of Munich Boltzmannstr. 3, 85748 Garching

1 month, 3 weeks

D-Con 2023 Call for Contributions

by Kirstin Peters

Dear all, it is time to register your presentations at D-Con 2023. Following the example of Duisburg we will offer different formats to choose from. If you would like to give a talk, please send your *name*, a *title*, a short *abstract*, the intended length of the talk that is either *10min, 20 min, or 45min*, and please indicate a category, *regular or tutorial or lightning talk*, that best describes your presentation. Please send this information *by February 12* to Sören van der Wall (s.van-der-wall(a)tu-bs.de). We are looking forward to an interesting programme at D-Con 2023 in Lübeck. Best wishes, Kirstin and Roland

2 months

Early Registration Until Feb 1 2023

by Kirstin Peters

Dear all, this is a friendly reminder. The early registration deadline for D-Con is February 1, 2023. Please register via https://fm2023.isp.uni-luebeck.de/index.php/registration/ A call for contributions will follow. We are looking forward to see you at Lübeck. Best wishes, Kirstin and Roland

2 months

PhD Position in Theory

by Kirstin Peters

Hallo, ich habe eine offene Stelle in Augsburg zu besetzten und würde mich freuen, wenn die Stellenausschreibung https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtti/forschun… an alle Interessenten verbreitet werden könnte. Vielen lieben Dank. Beste Grüße, Kirstin Peters --------------------------------------------------------------------------------------------------------------------------- Hi, I have an open position in Augsburg. Please send the advertisement https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschun… to all interested persons. Thank you very much. Best wishes, Kirstin Peters

2 months, 2 weeks

W2-Professur "Theorie korrekter Systeme" an der Universität Oldenburg

by Müller-Olm, Markus

Liebe D-CONler, unten findet ihr eine vielleicht für diesen Kreis interessante Ausschreibung für eine an der Universität Oldenburg zu besetzende W2-Professur. Viele Grüße Markus Müller-Olm ****************************************************** Carl von Ossietzky Universität Oldenburg Oldenburg, Germany ****************************************************** In der Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften ist im Department für Informatik zum nächstmöglichen Zeitpunkt eine W2-Professur (m/w/d) für Theorie korrekter Systeme zu besetzen. Gesucht wird eine in der theoretischen Informatik international hervorragend ausgewiesene Persönlichkeit, wobei fundierte Erfahrungen in einem oder beiden der folgenden Bereiche vorausgesetzt werden: - Logik (z. B. quantitative Logik) - Spiele (z. B. reaktive Spiele) Zudem wird vorausgesetzt, dass die Person, die zukünftig die Stelle innehat, Anwendungen ihrer Forschung im Bereich der Verifikation (z. B. Verifikation von Systemen mit unendlichen Zustandsräumen, quantitative Verifikation) oder Synthese (z. B. Programmsynthese, Synthese reaktiver Systeme) vorweisen kann. Für weitere Details siehe https://uol.de/stellen?stelle=69258 Der Bewerbungsschluss ist am 31. Januar 2023. ****************************************************** The Department of Computing Science at the School of Computing Science, Business Administration, Economics, and Law (School II) seeks applications for a Professorship (m/f/x) in Theory of Correct Systems (salary scale W2) starting as soon as possible. We are looking for a person with an outstanding international track record in theoretical computer science. Extensive research experience in one or both of the following areas is required: - logic (e.g., quantitative logic) - games (e.g., reactive games) In addition, the candidate's research is required to have applications in verification (e.g., verification of systems with infinite state spaces, quantitative verification) or synthesis (e.g., program synthesis, synthesis of reactive systems). For more details see https://uol.de/stellen?stelle=69259 The application deadline is 31 January 2023. ******************************************************

3 months, 1 week

by Roland Meyer

Liebe D-CON-Gemeinschaft, wie in der letzten Mail angekündigt, findet die D-CON 2023 als Workshop der FM in Lübeck statt. Unsere Seite https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon befindet sich leider noch im Aufbau, aber die Registrierung steht schon bereit: https://fm2023.isp.uni-luebeck.de/index.php/registration/ Mit 160€ fällt die Teilnahmegebühr zu Zeiten der Energieknappheit nicht so niedrig aus, wie wir es uns gewünscht haben. Dennoch bitten wir Euch um zahlreiche Registrierungen, damit es nach der langen Zeit ein lebhaftes Wiedersehen gibt. Wir wünschen Euch allen ein frohes Weihnachtsfest und einen guten Start in ein gesundes und erfolgreiches Jahr 2023! Kirstin und Roland -- Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529 Web: http://www.tcs.cs.tu-bs.de

3 months, 1 week

Ph.D. Position in Theory

by Kirstin Peters

5 months, 1 week

D-CON 2023

by Roland Meyer

Liebe D-CON-Gemeinschaft, die Zeit des Wartens hat ein Ende: im nächsten Jahr wird es wieder eine D-CON geben - und was für eine :) Martin Leucker hat dankenswerterweise angeboten, die D-CON als Workshop der FM am 09. und 10. März 2023 in Lübeck zu organisieren. Wir starten wie gehabt mit einem informellen Abendessen am Abend zuvor. Das Restaurant wird noch bekanntgegeben. Als FM-Workshop können D-CON-TeilnehmerInnen am Donnerstag auch bei FM-Vorträgen dabei sein und umgekehrt können sich FM-TeilnehmerInnen zur D-CON gesellen. Sofern es Eure Möglichkeiten hergeben, solltet Ihr überlegen, Euch regulär zur FM zu registrieren und früher anzureisen. Die Organisation wird von Seiten der Uni-Lübeck übernommen. Wir haben um moderate Preise gebeten, die Details befinden sich in der Klärung, ebenso das Prozedere zur Registrierung. Die D-CON ist ein Workshop für DoktorandInnen, der von interessanten Vorträgen und reger Diskussion lebt. Bitte überlegt Euch schon jetzt, ob Ihr Vorträge halten möchtet und welches Format Ihr bevorzugen würdet. Per Default würden wir an 30min Slots denken, aber andere Formate haben wir auch immer gehabt und sind wünschenswert. Auch eingeladene Vorträge sind geplant - hier nehmen wir gerne Eure Vorschläge entgegen. Beste Grüße und bis bald Kirstin Peters und Roland Meyer -- Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529 Web: http://www.tcs.cs.tu-bs.de

5 months, 1 week

Jump to page:

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON