Subject: Animation and exchanges in the Petri Nets community
List archive
- From: address@concealed
- To: <address@concealed>
- Subject: [PN-world] Marktoberdorf 2025 CFP
- Date: Sat, 5 Apr 2025 05:57:25 -0400 (EDT)
- Authentication-results: spool.mail.gandi.net; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=miami.edu (policy=none); spf=softfail (spool.mail.gandi.net: 192.31.89.6 is neither permitted nor denied by domain of address@concealed) address@concealed
CALL FOR PARTICIPATION
MARKTOBERDORF SUMMER SCHOOL 2025
ON SPECIFICATION AND VERIFICATION FOR SECURE CYBERSPACE
August 6 to 15, 2025
http://www.mod25.de/
The Marktoberdorf Summer School is a 10-day event for young computer
scientists
and mathematicians, typically doctoral and postdoctoral researchers. It
provides
mini-courses on state-of-the-art topics in specification and verification and
leaves ample room for interaction between participants and speakers.
Registration is open. Register online at
https://www.congresscenter.philosophie.uni-muenchen.de/kongresse/mod25/participation/index.html
Deadline: May 5, 2025
Speakers and courses:
Erika Ãbrahám: The Art of SMT Solving
Christel Baier: Probabilistic Model Checking
David Basin: Analyzing Cryptographic Protocols with Tamarin
Jasmin Blanchette: Saturation-Based Theorem Proving
Byron Cook: Cloud Reasoning
Alastair Donaldson: Automated Randomized Testing of Compilers
Ichiro Hasuo: Abstract and Concrete Model Checking: Through the Lens of
Lattice Theory and Category Theory
Marijn Heule: Mathematics and Symbolic AI
Laura Kovács: First-Order Theorem Proving and Vampire
Assia Mahboubi: Formal Proofs for Free!
Ruzica Piskac: Privacy-Preserving Automated Reasoning
Alexandra Silva: Kleene Algebra with Tests: An Algebraic Approach to Program
Verification
Sponsors: Amazon Web Services, LMU München, TU Wien
- [PN-world] Marktoberdorf 2025 CFP, geoff, 04/05/2025
Archive powered by MHonArc 2.6.19+.