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