coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] Marktoberdorf 2025 CFP
- Date: Sat, 5 Apr 2025 05:55:09 -0400 (EDT)
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
- Ironport-data: A9a23:NBmZ86l0pU6zAKbF5OljiE7o5gxNIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIaWmjTa62OZWT9fIx2PovipkhSvpODyNdqGVc4+CsyRFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaz98B56r8ks14ayu4G5A5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0yVmQLN65BpN1FLiJ35 K0pcwAOSyCq0rfeLLKTEoGAh+wqNszqJ58Ss30mxjrCS/MnSJXCBajG+Le03h9p15oIRq+YN 5tfN1KDbzyYC/FLElgaD5wwtOyzwHz+ejhZ7l+ZuMLb5kCJlVItgeG3YYW9ltqiSph3k0Xfg mP/oWWnEkpHM9/B5Hmi2yf57gPItX+iAtxOStVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1haEo8U2wUtT0U1uzuziBvxcZWpxdH/BSBByxJrT8v1y8O2InF2B6WvNljd5ndGca1 Xq5toa8bdBwi4G9RXWY/7aSiDq9PykJMGMPDRPoqyNZvbEPR6lv03ryosZfLUKjsjHi9djNL 92ipTI7hq4PgMcHka6gu1XGijet4JXFU2bZBzk7vEr/sGuVh6b/O+REDGQ3Ct4Zd+6koqGp5 iRspiRnxLlm4FHkvHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pCL4ItEJvWomfxsyWirhRdMPS BSP0e+2zMMJVEZGkYcpC25MI5t2kvW6fTgbfqmMPrKinaSdhCfbpXswORD4M5HFjU4tj6wlI paHYI6rAz4fCK1izVKLqxQ1itcWK+FX7T27eK0XODz9iuvEOS7PGN/o8jKmN4gE0U9Nmy2Nm /43CidA40w3vDTWM3iLo70AZ0sHN2Y6Dp3QoslaPLzLaAl/FW1rT7ebzbo9csY31+5Yh8XZz EGbA0V48VvYgWGYCAOobns4Vqjjc6wipl0GPAstH22S5V4dXaiV4pwyTaAHJYscyLQ7zNpfb eU0RMGbM/EeFhXF42s8aLf+nqxDdTOqpwCFLne5aQcRY5dbGgj72uLlWiDN9yA+KDW9muVjg r+n1yLdGYEiQSY7BunoSfuf9XGDlllDp/BDBG7zPch1em/g1KNIOh7BpKY7DO9UICqS2wbA8 RidBCkpgNXkoqg3wYHvvr+FpYL4KNlONBNWMEeD5InnKBSA2HSoxLJBd+O6fTr9cmfQ04f6b MV3y8DMCtE2rGxogaFdTYkylbkf4uHxrYB01g5nRXXHT2q6A4Naf0Wp45N9ib1v9JR45y2NR UO9yvtLM+6oOeTkMmIrCigLU+Ch7cwQyx7utakbAUOi/yJm3qu1YWMLNTm2tSFtBr9UMoQk/ OQfhPAr+zGP0hoEDvvWjwR/1Xi9EXgbYqB26rAYGNDKjyQo+HFjYLvdKC/95ciXYI52NngVG yKl3ozQo7EF3nv9KmIXEEbO0dF8nrULgghBl3UZFmSKm/3Ep/455wJQ+jIJVTZozg1L/uZwG 2pzPWt3LrWq0xYyoeYbREGqOQVKJCPBy3zL01FTyVHoFRi5ZFLCPEgWGLir/nlA10l+YzIC3 rWT6Fi9YAbQZMurgxcDAx90mcfCE+502BbJwv28PsK/GJI/Xzrpr4muaUcMqDrlGckBv1LGl 8Y74NdPbbDHCgBIr50ZE4W60ZEieCKALkFGQtBj+/otNkPYczeQxzOPCh6QfuVgGv/0ynK7W vdefp93axeD1Si1vm86A4wIKORKh/IH3ocJVY7qAm8kiIGhiARVnqjezBWju19zce5SyZ48D qjzawO9FnehgCoIum3V8+hBFGmKQfgFQwze3uukrfkAKLwfudoxdXMS77qQlFeWOTtB4Bi7k l7iZajX7uo60qVqvdLmPZtiDjWOC+HYdbq34jHolu9RfPXNG8vqnCEEmGnNZgh5E+MYZIVqq O6rrtXy4nLggJ83dGLow7+6CKhD4JSJbtp9a87YAiFTonqfZZXK/RAGxmGfLK5JmvN74u2MZ VOxSOm0RO4vd+Zt/l9nQAkALE9FEIXyVLnqmg2lpffVChQ97x3OHOn6yVDXN1NkZg06ELygL DTrusSexMFS96VNIx4mO8tIIbFFJH3bZK93UOGp6Be5CDCkjGrX7/Gm3VAl5CrQA3aJLNfi7 NiXDlLifRC1o+fTwMsfr4V2uQYNAW1ghfUrOHgQ4MNylyvwGVtuwT7x6nnaIso8fu3OOJDEi PXlZXEnCD7hUD1INx73+5LmXw6aB6oDNsqRyvnFOa+LQ3/eOW9CKOIJGuRcD7NecSClyeCuL NBY93HtVvR06o88Xv4dv5RXns88rs43BRs0FYTVmNe0BhcXBLRM2XB8dOaIueorDOmV/Hj2y aMJqayoja11pYMd0SqtRpKNJCwkgQ==
- Ironport-hdrordr: A9a23:FgWM5KmtJBUQZ0g0t+gVyspBLtDpDfJG3DAbv31ZSRFFG/Fw+P rBoB12737JYUgqN03I8OroUMK9qBjnn6Kdj7N9AV7bZmXbhFc=
- Ironport-phdr: A9a23:4vBB9xDESwWxmutnxqeRUyQUxUgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFtyKt6ofw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdutQSjIZtNqo8xAbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx+nuhdxwZPbYJuNOfRjYK3TetAUS2RBUMtKSyBNHp+wY 5cVAuYdIepVqZT2qVsUrRu5AAmhHOzvxSFPhn/40603yPguERrc0AwlHtIBqnHUrNTvOKgMT O+10a/FxijMYP1Kwzny8pTIcgw/rvGWW7J9acncxEsgGg7EjVidqojoMjeR2+kCsWWW6/dsW P6ghWI7tw19vyWiy8MshIfJhowY1lLJ+Dt2zYsrK9C1VVJ3bNqiHZBNuS+aMI52TdkjQ2Fuo Cs6z7oGtoOlcCUK0pgo2gDQZ+Sac4iO4xLvTeORISpmi3JjZL2/hwi98U66xuLhSMa51ktBo CldktTUq3wA0wLf5tKJR/dg5Eus2jKC2xrS5+xCPEs5i67bK4M6wr4siJUTq1nNHi73mUrol KKaa1so9+614Or9eLrmvIWTN4pshwH+LKsunsu/DPwiPQgUWmib+P+81KH98kLjXbpGlOE5n bXCsJzAIMQbp7S2AwpU0oo59RmwEiqm3MwZnXkBMl1FZAqKg5XtNl3QOvz1A+qzj06vnTpv3 fzLP6XtApDXIXjClLfhc6x960lZyAcrwtBQ+ZVUCr8PIP/oRkDxr8bUDho4MwOuxubnCc9x2 Z0DVmKSGqOZNrjdvkeS5u0zO+mMeJMVuDHlJvQ4//Lul2M2mUcBfam12psacGy3HvN/I0mAf XXshsoBHnwRswolTO3qjUWCXiRJa3azWaI8/DA7B5i8AYfNXID+yICGiXOwGYQTbWRbAHiNF 23pfsOKQaFfRjiVJ5punzsKW5CqUMkk1BirtUn3x6c0faLv5iQEuMe7h5BO7OrJmERqndQVJ 8GU0mXXCnpxgntNXTg9mqZ2vU16zF6Hl6l+mf1RU9JJtLtSSglvE5nawqRhDszqHBrbd4KGR VGoTP2tGnc0T9s0wpkDb1suU866gEX42CS2LbYUk/SQAYAstKfV3nz/PcF4nnnL06cvp1I9B M5OPGinwKNz6lubHJbHxmOekavibqEAxGjN+WOEmHKJp11dWRVsXL/tVGoaZ1DKoN31oEjJV PmrCL0iM01MxdPqxrJiTNrvgB0GQf7iPI6beGetgyKqAh3OwLqQbY3scmFb3SPHCUFCnRpBt XCBfRMzACusuQe8RHRnCE7vbkXw8OJ/tGLzT0k6yBuPZlFg0Lz98wAchPiVQfcelrwevyJpp zJxFVe7l9XYbrjI7wVse6tSSdgmplJG3GfY8QFxI93oLqxvgEIfbxUip1nnhF18DoRNl9Rvr Wt/lVsob/nBlgMQMW3LuPK4cqfaIWTz4h21Pqvf21WElc2T5r9K8vMz7VPqoACuEEMmtXRhy dhclXWGtfCoREIfV4z8VkEv+l10vbbfN2My6oTa21VnKu+xszbH2pQkCPZvmXPCN59PdbiJE gP/CZhQCMWpJuICkEPvaxMNOeEU+aIpdZDuZ76N36ilO/xllTStgDFc4Yxz5UmL8jJ1Vu/C2 5ttL+iw5QyJSxn1jVPp8sX+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1dbhXHtR9 VjGZRtO38HhdheVYVLV1hYW0EUepH3hlCelhz1v2zAvpa6e2iHCi/jlPBwAJiZHSXJjglHlP YXR7ZhSBRnyKVNw0kv0oxiyzrMTvKllKmjPXUpENzP7KW1vSOr4t7aPZdJO9IJ9tCxWVOqmZ lXJL9y16xAe0i7lAy5f3GViJmvs4cy/z0081jH4Tj47tnfSdMBuyA2K4dXdQaQUxT8aXGxij jKRAFGgPt6v9NHSlpHZs+n4WXjyM/8bOSTt046EszO2oGNwBhjq1f++ndPpOQMhlyr63txrE yjEsVyvB+ujn7T/Ku9hckRyURXz5s10FKl1ic01hZgV2D4XiojfrjIX1Gz0N9tcw6f3anEAE CUKz9Di6w/gwER/L3iNytGcND3V0o57atK9eG9TxjMl4pUAFvKP9LId13g9sh+ioAnWe/Q4g joN1a5k9isBm+9Q3WhlhiSFXuJLTBMeZnWqx0XOtor2rb0LNj/1IP7pixM4xoznVejKowdXX Gv1d8UVBjd+qMp4N13I3Tv47YSBGpGYe9sXslf8fw7oqe9TJdpxk/MLgXAiImfhpTg/zOV9i xVy3Ja8tYzBKmN3/av/DAQKfjvyL9ge/D3gl8M81o6fwpyvE5N9Gz4KQIqgTPSmFygXvOjmM ADGGSM1q3OSE77SVQGF70Iuo3XKGpGtf3aZQRtRhc1lXwWYLVdDjRo8VS8/n4UlGwmmgsfqa wF85zkU5xj1pgYNguNkOh/jU3vO8QelbjBnLfrXZBFS7wxE+wLUKZnHv7g1RHgerszn8l/oS CTTfQlDAGAXV1bRAlniOuPr/tzc662CAeH4KfLSYLKIoOgYVvGSxJvp3JE1mlTEfsiJIHRmC OU2n0RZWnUsUcvUnDsBYycM0SfMZsua4hqw52cky6L3uOSuQw/p6YaVXvFKNs5z/hmtnaqZH +eKgSdiNTtR2tUHzmSOzbkW2V9Uhi1zPWrIc/xIpWvGS6TenbVSBhgQZnZoNcdG2Kk72xFEJ c/Rjt6dPlFQheVzDlZMUF2nl820N5diy4CVPUnCBV2XOb2KYzbA2IfyYKq5SPtdgPgG73VYX B6QCAnmPz2Gln/kWw39aYlx
- Ironport-sdr: 67f0fe0b_h7YOYjl6nbpnRgGULTMRNbGA1hAmPvtI9PGojj05EvGv9GO mUaasdv4YjWcY0fDVqOzotATi67/lD2rC/rbo3g==
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
- [Coq-Club] Marktoberdorf 2025 CFP, geoff, 04/05/2025
Archive powered by MHonArc 2.6.19+.