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