- D-CON - lists.rwth-aachen.de

CALL FOR PARTICIPATION: MARKTOBERDORF SUMMER SCHOOL 2023
by Javier Esparza 03 Apr '23

03 Apr '23

*********************************** DEADLINE FOR APPLICATIONS: APRIL 15 *********************************** 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. * Apply 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: Provers and Solvers 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 0

Programme D-Con 2023
by Kirstin Peters 20 Feb '23

20 Feb '23

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 0

D-Con Dinners
by Kirstin Peters 10 Feb '23

10 Feb '23

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 0

Marktoberdorf Summer School 2023
by Javier Esparza 31 Jan '23

31 Jan '23

***************************************************** 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 0

D-Con 2023 Call for Contributions
by Kirstin Peters 23 Jan '23

23 Jan '23

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

1 0

Early Registration Until Feb 1 2023
by Kirstin Peters 23 Jan '23

23 Jan '23

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

1 0

PhD Position in Theory
by Kirstin Peters 09 Jan '23

09 Jan '23

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

1 0

W2-Professur "Theorie korrekter Systeme" an der Universität Oldenburg
by Müller-Olm, Markus 21 Dec '22

21 Dec '22

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. ******************************************************

1 0

Register for D-CON 2023
by Roland Meyer 19 Dec '22

19 Dec '22

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

1 0

Ph.D. Position in Theory
by Kirstin Peters 20 Oct '22

20 Oct '22

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

1 0