Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications
  • Date: Fri, 17 Jun 2022 08:40:36 -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:QNo0pKK94R+vJuL2FE+R05MlxSXFcZb7ZxGr2PjKsXjdYENShDYCy zMeXm+GaP+NZGDyLd1waIu3pkkPupfXzd9nTgod+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M58wIFqtQw24LhXVrT4 Y+aT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhofVIm NYcm5eMaF1uY47hp9g7fQR0KnQrVUFG0OevzXmXuNaWzlbafnLghf5lFwczPIQd+6B6DXwmG f4wcWFXKEvawbLnhuzTpupE3qzPKOHkMYQRtFlr1nfcDP8jQNbOT7iiCdpwgG5t2JEQRay2i 8wxRgNBYgjhIDd1CFZLFJM1v+eppVTebGgNwL6SjfZuuTaPkmSdyoPFO93MP9eOWM99hVedv muA/mLjAxhcOsb39Nae2nu2g+7UgS7yVMQZD/u99/dvgRueynF75AAquUWTn9yA2k3vddljC hZTpwkDkpQU2lGHd4yoN/Gnm0KsshkZUttWNuQ17gCR16bZizqk6ng4oi1pMoF575NmLdA+/ hrZx4mzX2wHXKi9ECr1y1uCkd+l1cH5x0cnZCYBTGPpCPG4+9ho1Xojojt5eZNZY/X8AzTx2 CyHpSR4jK5ViM8C0qT98Fza695NmnQrZlNtjuk0djj5hu+cWGJCT9fxgWU3Fd4acO6koqCp5 RDoYfS24uEUFo2qnyeQWugLF7zBz6/bbWCA2QI0RsN4qW3FF5ufkWZ4u20WyKBBaZlsRNMVS Ba7Vf55u8ILZCvCgVFfPNLZ5zsWIVjISY2/CKyKBja/SoV3dRGK5jpveV/Y2G6llUkllKBXB HtoWZrEMJruMow5l2Deb7lGjtcWKtUWnz67qWbTk0/6i9JzpRe9Fd84Dbd5RrlhtP3c+16Jo ok32gnj40w3bdASqxL/qeY7RW3m51BibXwvg8AIJOOFPCR8H2QtV63Yzb87ItY3lL8Tk+bB+ 3D7V0NFkQKtiXrCIASMS3ZidLKyAM0u/CxrZXQhbQSyxnwuQYez96NOJZI4cI4u+PFn0fMpH eIOfN+NA6gXRzmeo2YdYJDxoZZMbhOugQ7SbSOpbCJmJcxrXErM+9bhf03i+DRXVni7ss43o ruB0ALHQMdeHFUzUpaOMP/2lgG/p3kQnu52TnDkGNgLdRW+6pVuJgzwkuQzcpMFJhj0zzeH0 xqbXEUDru7Xro5pqNTEiPzWr4qtFOciTENWE3OBtuS/Lyzb5XauyIMGW+2TOzXcXWb1vqiue LwNnf37NfQGmndMspZ9TuswnPNgt4O3qu8I1BlgEVXKc0+vW+FpLXSx1MVSsrFAm+1CsgysV 0PTotRXZeeTNMX+HAJDLQYpdL7Zh/gOnzjJ8fk8LAPx/2ly/bOCUANfMwTV0H5RK758MYUEx +Y9uZNLsF3u1EpyatvW3DpJ82msL2AbV/R1v54XN4bnlw43xwwQepfbECL3vMmCZtgk3pPG+ dNIaHcuRoiwx3Yut1I6D33MxvZQjJhIsxtRiloDLlGI3NfJm5fbGfGXHSsfFmxoItdvioqf+ VSH82V+PuOL/j5thY5OU33E98RpGkiC4kKoo7cWvDaxcqRrP1Ah6EU2IqCI/Ukc8iRRciUzE HR0Dor6eW6CQfwdFRfelaKoRzIPgDCxGsD/dBibIvm4
  • Ironport-hdrordr: A9a23:iOPaL6BGU7zVbkPlHenG55DYdb4zR+YMi2TDuHoedfU4SK2lfr 6V88jzvCWc4F0ssRob8+xoVpPsfZqlz/JI3bU=
  • Ironport-phdr: A9a23:tZiCSxHk1CFbj6x9JpfTS51Gf+pHhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmQB9mQt60MotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5ZPebx9ViDajbr5+I xq7oAfMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6 LplSALziCcfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQds4YS2VcRMZcTzFPDJ27Y YUMAeQPPf1Vo5Xhq1cSsRezHxWgCP/pxzRVhnH2x6o60+E5HAHJwgMgGNwOsHrPodrpL6ceS +W1zKjSwjXGbvNawyny55XVch0nvPqDUq5+f9DLxkkzCwPKkE+QqYr9Mj6Xy+kAvWiW4ulhW O6xhGMqrwB8riavy8swiYTHhpwZx1Pa+Clnz4g4Id22RVN6bNCqDZZduCGXOoRqT80tR2xlv jsxxLMBuZ6+ZicKyZInygbaa/yffIiE+A/sW/iJLTd3hXJlZLK/hwup/kS6y+38Uc+520tJo CpditTAq3QA2wLJ5sWJV/dx5ESs1DKV2w3S7OxPPFo6mrDBK5E7x749jpoTvlrHHi/xgEj5l rWWdkAl+uiz9+TofK/pqYKGO4Bolg7+Kb4imsm+AesiNwgOXnKX9vqh273+5UH5QbNKgeMqk qTBrZzXIdoXqrS3DgNIyIou6BKyAy2n3dgAmHkINlNFeBaJj4jzPFHOJej1DfihjFSrnjdry evLMaH6ApnXK3jDka3ufbN860JG1gU80M1f64pSCr4aOP3zQFP+tMTEDh8lNAy52/vrBM1n1 owCQWKPHrOZMKTKvFCU4eIvOvCAa5MRuDbgMPco/OXujH88mV8FZ6alx5oXaHaiHvRnOUqVe 3Tsgs1SWVsN6141S/Wvg1mfWxZSYWyzVuQy/GdoJpihCNLMS4ejjpSKx2G+H5RTZyZLBk3fQ j/Ta4yYVqJUO2qpKch7n2lYBNBJKqck3BCq7krhzqZ/a/DT8WsevI7i095846vSkwsz/Hp6F ZfVyHmDGkdzmG5AXDoqxOZnu0UoxVqE36ZQiOceEN1a4vIPXwsnZtbH1+IvMNf8RizIf9PBU 1O6WpOjCDA1QMg2xooBbkFzFf2plVbG3iOvAvkYm6HYTIcs/Pf62H78b914126A1KQliAw+R dBTMGS9mqNl3wHJAo/Sj0iQm+Chfr9a2S/E8WbFwGaT1K1BeCh3V6iNHXUWZ0+M6M/8+luHV bilT7IuLgpGz8eGbKpMcNzgy1tcFr/lP5zFbmS9ln3VZ17Az66QbIfsZ2QW3TnMQEkCnQcJ+ H+aNA84Ti6/qmPaBTZqGBrheUTpueV5rXq6SAczwWToJwVu2r279DYenrqZSvoW3/QJtDpg4 zR4EVCh3s7HXsKarlkpd6FdbNUhpVZfgDuI7UomZ9rwfuY81Tt8O0xtskjj1gt6ENBFmMku9 jYxyRZqbLif2xVHfi+Z2pb5PvvWLHPz9Vahcf2zuBmW3dCI96MI8Pl9pU/kuVTjGUcl/XtP2 MIT1nqV45SMAQYPG8GUMA5/511hqrfWbzNorYzZ0nNiGaKv9DrD0tcoQuYp11zzN8caO6SCG gjoFsQcDMX7M+0mlW+iaRccNfxT/qo5Vy+/X8CB1rKFNedk1HKjhGVDusVm116UsjB7QajO1 ooExPeR2k2GUS39hRGvqJK/lYdBbDAUewj3gS/qTIFcYaN8VY0QT2KvKsi2gNhymtbsQDZZ8 lWnBlUL1Ie1flKUaEC10QBL1EsRqGCq/Enwh2UlyXdy9+zPjWqQi+35PAIKIGtKWHVvgR/3L I64gspbFEmkYg41lQe0sEPzxqxVvqN6fAyxCQ9Deyn7KX0nU7Pl7+vYJZUWrsN593sENYb0K UqXQbP8vRYAhibqHm8EgSs+aynvoJLy2RpzlGOaKn936nvfY8B5gxnFt7m+DbZc2CQLQC5gh HzZHF+5apOm8NKamb/Iqaa7VmukV9tefTShnubi/GOroHZnBxGyhaX5ldDgHwYS2jS90thjU CSOoRrhKNqjx+GxNuRpeVNtDVn35p9hG41wpYA3gYkZxXkQgpjGmBhP2Xe2K9hQ3rjyKWYcX TNeicCA+xDrgQcwZmLM3Y/yUW+Rh9dsd8XvKH1DwToztqUoQO+V9OAWxHov5AHh61KAJ6En1 jYFlal3si9c2r5Q/lFxiHzESrEUFk1FMSG+oA+Q4Zaxq6JYYGvper+1sSg21caoCLXIyu1Fc FD+fJpqXSp578EldUnJzGW28IbvPt/ZcdMUsBSQ1RbGlelcbpwrxLIMgmJ8NGTxsGdAqaZzh AFy3Zy8oImMKnl8tKO/DBlCMzTpZsQVsjjzhKdal8yS0sihBJJkUjkMWZLpS7qvHldw/bz/M B2SFTQntnqBMbPFGA6E9EpvozTEGIvtMnCeIXhfwNl/BVGcKEFZnAEITWA6k5o+RWXIjITqd EZ04CxU50at80oWjLkxcUmuFDmMwWXgIi05Q5WeMhdMuwRL5kOPdNeb8vo2BSZTuJuosA2KL GWfIQVOF2AAHEKeVDWBdvGj48fN9++AC6+wNfzLNP+BpOtQWd+D3tSq04Jj/nCBOtjFbRwAR 7Urn1FOW3x0AZGTgzIUVykejD7AdeaSvhK94TF6p8z5+//wHgfu7I6OTbZeLJ88nnL+ybfGP OmWiiFjLD9e3Z5Z3n7Exo8U21sKgj1vfT2geVzvnSXWCqfRk6pWSRMXdnEoXCOtx6knmAxMM MvazN75y+wg5hbUI15fUF36hsygaYoBKHr7MVLOAUfNObibd2Wj/g==
  • Ironport-sdr: Jd44QcvExFFbQpsdk0vQBispC+TCpK5HyVbhgUV1aWZ3hiomyUJxHFTWrj/5S0pHYn+SovXYTf pPh1TSEeNztbg7Mc/HxXsznB89qf/FCifpaHMCf0fSOIZIucF8QjAOt3Its4QQ4/XC2Q6ZbIVo tyZ/pduzZUIiBK5IG+qoEoPPJu9BSMPVoG++Xu7uvPZD/ZmV7cQAF/p+U2VN6f8Hxq8OdXtF9Q paxszI+mRVn9AUsMIN4LaVbk4xrRRFGIN9X8gln8ubxAtxBqtUZEMFSJOQDpaNeb7gseB0DdFP ohmu6nEOSV2xbOpatlwQ3JtC

==================================================================
First Call for Participation


14th International Summer School on
Verification Technology, Systems & Applications
http://www.mpi-inf.mpg.de/vtsa22/

The 14th edition of the Summer School on Verification Technology,
Systems and Applications (VTSA) will be organized by the
Max-Planck-Institute for Informatics Saarbruecken in cooperation
with the University of Liege, Inria Nancy - Grand Est, and the
University of Luxembourg. The school will take place from
September 5th to September 9th, 2022 on Saarland Informatics Campus,
Saarbruecken, Germany. The summer school is a joint event with
EuroProfNet, COST action CA20111, see https://europroofnet.github.io/.
The following speakers have accepted to give courses at VTSA 2022:

- Frederic Blanqui: Interoperability of Proof Systems

- Carsten Fuhs: Automated Termination and Complexity Analysis of Programs

- Andre Platzer: Logic of Autonomous Dynamical Systems

- Philipp Ruemmer: Solving Constraints with Complex String Operations

- Martina seidl: Reasoning with Quantified Boolean Formulas

Participation is free (except for travel and accommodation costs)
and open to anybody holding at least a bachelor degree or equivalent
in computer science. It includes the lectures, daily coffee breaks
and lunches as well as a school dinner. EuroProofNet will refund
the travel and accommodation of a number of participants. Please
express your interest with your application. Attendance is limited
to 40 participants. Please apply electronically by sending
to jmueller AT mpi-inf.mpg.de:

- a one-page CV,

- an application letter explaining your interest in the school and your
experience in the area,

- a copy of your bachelor certificate (or equivalent or a more significant
certificate),

- a short statement if you want to contribute to the student sessions

- an indication whether you ask EuroProofNet to refund your travel
and accommodation (please include your country, university, age and
gender as well as your arrival and departure dates and provide an
estimate in euros of your transportation costs to Saarbruecken).

The deadline for application is July 20th, 2022. Notification of
acceptance will be given by July 22nd, 2022.

Full details are available at http://www.mpi-inf.mpg.de/vtsa22/


  • [Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications, geoff, 06/17/2022

Archive powered by MHonArc 2.6.19+.

Top of Page