coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Interactions of Proof Assistants and Mathematics,International Summer School - Registration deadline 9 June 2023

From: Julie CAILLER <julie.cailler AT lirmm.fr>
To: ProofTheory AT lists.bath.ac.uk, gdr-im AT gdr-im.fr, coq-club AT inria.fr
Subject: [Coq-Club] Interactions of Proof Assistants and Mathematics,International Summer School - Registration deadline 9 June 2023
Date: Tue, 6 Jun 2023 10:12:35 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julie.cailler AT lirmm.fr; spf=Pass smtp.mailfrom=julie.cailler AT lirmm.fr; spf=None smtp.helo=postmaster AT kirkenes.lirmm.fr
Ironport-data: A9a23:LBLH8alSmiZFbb9TMoMWauLo5gyUIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIWCD+AafnbYTHyeY8jbN639E0HsJCGyN8yHgtsqSA9EFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajp8B56r8ks156ys4G1A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0/Ak4TYZcK1dooX2Vh2 601FRModAq60rfeLLKTEoGAh+wgLdPoMYUSoTdkzCvcCLAoW/gvQY2TtIQegGZ235gSW62GD yYaQWIHgBDoYQBLO1pRA5s/mOOlnFH7ciddrRSbv8Lb5kCOk10sjuC8b7I5fPStd4Zfo2/Fv lvK0GuhMzs5CvKz7gWspyfEaujnxH+qCd1CS9VU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1hasz7k+mSNTmGRm5unuB+BAGMzZNLwEkwFCDxY+I+RS2OjdaShFvOfEbl+osXwV/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqP3BsoewtuYeLnW0jsv7cZoo4Tvft0LUZDRmrk 2DS/EDSkp1O1ZZj6kmtwbzQqxyWznQjZisy4BnPU2ah7w5jDGJOT9f0sQCDhRqsBKGSRVidt X4FlqCjAA0mDpCXlyGLTf5LGLCz4vPDPie0bb9T83sJqWjFF52LJN84DNRCyKFBaJhsldjBO hK7hO+pzMUPVEZGlIcuC25LN+wkzLL7CfPuXe3OY9xFb/BZLVHXoXA+NB7Kjj+wzCDAdJ3T3 7/FLK5A6l5EVMxaIMaeHbZAuVPW7nxulT2MFcyTI+qPiOLBPiT9pUg53KumN7xovfzU/205A v5FOs2D1xhFONASkQGJmbP/2WsidCBhbbiv8pQ/XrfacmJb9JQJVqa5LUUJINc+wcy4V47go xmAZ6Ov4Aam2S2Zc17RNi4LhXGGdc8XkE/X9BcEZT6As0XPq672hEvGX8tpI+sU56Z4wORqT vIIXcyFD74dAn7E4jkRJ9215oBraB3h10rEMjuHcQoPWcdqZzXI3dv4ISrp1i0FVRSsueUE/ raP6wL8QLg4fTpEMvr4UvyU4m2UgWk8g8N3BkvBHclSch7j8a9sMC3AscU0KMAtdzTG2iOR0 hqSCxImt83Is5c+9YDVoaW2vqaoDOpMMU5IFEbL7buNFHf7/0jy5aRiQeq3bTTme2esw5qbZ MJR1OPZHMQcuVR7rLpHDLdgyJwh6+vVp7N1yhpuGFPJZQ+JDoxMD2an384VkIFw3Z5c5BWLX 3yQ9ulgObmmPN3vFHgTLlEHasWBzfQlpSnA388qIUnV5D5Fw5TfaB98ZyKzsS16KKd5FKgHw u174c4f1FGZuyoQa92DinhZynSIInk+SJ4Yj5A9ArG6riowy1pHX47QNT+u3rGLdOd3ExcLJ h26ufP8oopyl2T+d0g9L3zv5dZmpI8vvUlKxWASJl7SldvigOQ27SJr8j82b1p0ywVf2OcqJ kxuBVxUJLqPzRhslsNsT2ChICAfJRy7q2ja6UoFq33ddGasDlfyFWwaPf2c2kIz/0Z3XClpz JvBxEnLCT/VLdzMhA0sUktbmtnfZN1W9Dyavvu4Hs6ATqIIURC8joCAPWM3+gbaW+Uvj0j6p M5vzuZ6SYv/EQUy+6QbKY2r5Y48eSC+Bl5pYK9epfsSPGTmZjuN9yCEKBmxduNzNvX6yxKEJ PI0FP1fdSaV9XionmgACL8uMo1EuqcjxOA/d4PBIU8EtLqirQRVjq/AyximhEIWR4RBrMVsD KLQaDOILUKIj1R2hWLmjZdJK0i4U/Y+dSz+2+G/3+EYHa1brdNqUEAW+Zm3tkWzLwFI0U+1v gTCRqmO1M1k691msLXNG5V5JTefCI3MRsXS1S7rqPVIT9fEEfmWhjMvslO9YjhnZ+oAaep4h ZGmkYDR3nqcmJ0UTmqAuZ2KN5cR1PWIROANb/7GdihLrxCjBv3pzQAIoV2jCJpzl9hY2Mmra i24ZOa0dv8XQ91t/2JUWQcPDyciD7nLUYm4qROft/isDj0v4T7DJv6j9l7rajhVSHZZcdm2Q Ar5oO2n6d1kvZxBTk1MTe1vB5hjZkTvQ+06ftn2riOVFXSsnkjEgLb5iB488nvePxFoyiohD U7tHXAStSheuZ0kCPlaspZxsxsaFzB5gPM1ewQT4baaTtx84HEudYwg3VcuU/m4URAeELn8Z SvIaS0sE00RmBxaJA7k7o2Lshi3X4Qz1xSQGtDt10eVcSKzQo2aaFekGuGM/F8uEgbeICqbx R3yN5E+0tVdAn2keArL2sGGvA==
Ironport-hdrordr: A9a23:PodwUqM1v3bMOsBcTsyjsMiBIKoaSvp037BL7TEXdfUxSKalfq +V7ZcmPHPP6Ar5O0tApTnjAtjjfZq0z/ccirX5Vo3SOTUO1lHYSL2KLrGP/9QjIUDDHyJmup uIupIRNOHN
Ironport-phdr: A9a23:fSarzxQR//f230ow/O6iuKozxtpsotCVAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOHs6oP0rCL+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oI xi6sRndusYLjYd8Kqs61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrYjdF+jL9AoBK5uRNw35LUbo+SNPp7ZKzdfNUaTndFUsteUyFNB4WxZ JYNAeUcJ+ZVt5XyqVgAoxSxCwaiBP7hxCFTi3DswaE3yf4sHR3I0QEiGd8FrXTarM/yNKcXS e27yLTIzTHCb/xIxDzw9pTFfBMnr/+KUrx+bdfaxE4tFwPYilWQqJLqMymJ2esXsmib6+5gW vy1i2M8rwFxoyKvxsIpioXTiIIV0EnJ+CNky4k6OdO2UlR0YcK4EJROrSGaMZN7T8AiTW10p is21KELtYOmcCQUy5kr2x7RZ+CHfYWJ/h7vSumfLCl8iX55Zr+yiBa8/EauxOPyV8S60FZEo ytFn9TKq3sD2RvT6s2dRft8+EeswTmP1wHP6uFEPEA7jrDXK58mwrM2i5EdslzDEzfrlEjyg qKabEop9+yy5+j6frnrqYWQOoFohgz4L68ggNawAf4iPQgLR2Wb+fqz1Lnk/UDhQ7VKj+c2k qrHv5DcO8sbvbS1AwtU0oY57ha/Ci2q0NoCnXUfLVJFfgyIj5TxNl3TJP31A+2zjluonTtx2 vzKIrLsDo/DI3TfiLvheKxy609YyAo919Bf4JdUB6kDIPLuXk/xtcLXAgUlPAOuwubnDNF92 Z0EWW+UBq+ZMbnSsVqN5u41LemMfpcZuDDmJPc9/f7hkWc5mUMBfamuxZYbdWi0Hu56LEWBf XrsntABHH8WsQo5VezmkUGNUTpOZ3mpRK88/TE6CIe+DYjZXIytgbqB3D26HpJMfGxGBEqMQ j/UcNC8QfALZh6SL8h7gxQAVKO9UMkr3A2u8gbxjadkaqLb9jddtJfL29RvouzW0x8osXR/C N3Y2GWQRUl1mHkJTnk4xvNRu0t4n3We1al1y9dxNPh3yskBBgUnMZ/RiedzCtT2VxjpetaTT VPgTM/wUmJ5dc4439JbOxU1IN6llB2Wg3vC6949krWKAMdx6afAxz3qIN47zX/a1a4nhl1gQ 81VNGTgiLQsvxPLCdvvlEOU372vabxaxDTEoWWeyWuD+kpRUQp0XL/tWXEFY06Qo86qrljaQ eqWAK88ehBE1dbEL6JLbtPzilATRurnOdmYaGuwn2O9Hz6Mx6mJaczkYTZVxz3TXW4DlQ1b5 nOaLU4+CyOm9nrZFyBrHEnzblnE8uhkq369Q1RyywCQakgn2aDdFgc9o/uaRrtT27sFvHxks DBoBBOm2MqQDdOcpg1ndaEaYNUn4V4B23iL/wp6doetKaxvnDt8O0x+ol/u2hNrC45Bjdlir XUkyxB3IL6Z11UJfi2R3JT5MLnaYmfo+xXnZ6nT01DYmNGYn8VHoPYlr1Tu+gqgF04m/m9P1 9hP1n7a6I+LRAseXJTtU1omogBgruK/AGF17IfV2HtwdKis52aTgJR1Va18kkrmJI8MVcHMX BX/GMAbGcW0fekjmlzyKwkBIPgX76ksecWva/qB3qeveudmhjOvy2pds+UfmgqB8TRxTunQ0 tML2fadi0GFSjP9gRGqu8HznY1eTTUTBG+6jyb+Tt00BOU6bcMQBGGiLtfijNdjg5/gHXVR9 VqnCkku3M6zfB/UYUa3jmgynQwH5HegnyW/1Tl9lTok+7Ge0CL5yOPnbBMbO2RPSQGOlH/UK JOvx5AfVUmsNE0ykQe9oF393+5drbh+KG/aRQFJeTL3JidsSPn4ur2Has9JoJQm1EcfGOahZ VGXDLX0oh8e3jnLG2pEwTV9eSvitpjinhN8gX6QNz4q/SGfJZA2nE+DooeEDfdKliILXix5l SXaCj3ed5Gy8NOYmo2C+uGyWmS9V4FCJCzizIeOriy+tiVhBRyymez2m8WySFlhl3OqkYAyC WOT9EWZAMGjzamxPON5c1M9AVb975E/AYRiis4rg4lW33EGh5KT9H5BkGHpMNwd17itCRhFD TMN3dPR5xDonUN5KXfcjYDkUnSQhMBoZt2+b3k+3iMn6sUMBr3ev9km1WNl50G1qw7ce603n CoZyPZo43cbh+UEoiIpzz+YB/YcBwMLWE6k3wTN5Ne4oqJNYW+perXlz0tyk+eqC7Saqx1dU nL0Kd8yWDV95cJlPBfQwWX+v8v6LcLIY4tZ5Xj221/QyvJYI5Urmr8WiDp7bCjj6GY9xbdzi Awm3Inm7tHWcCMxreTgWkIebWW9ZttPqGi81uACz4DPh9zpRMgEeH1DXYO0H6v5S3RO5LK+b 1rISWd0736fHfC38Ra3zkBgojqPFpmqMyrSP3wF1ZB5QwHbIkVDgQcSVTF8n5gjFwnsytazO EF+risc4FL1sH4ugqphKgX/X2HDpQypdiZ8SZ6RKwBT5x1D4EGdONKX7+Z6FSVVtpO7qwnFJ muebgVORWYHPy7MT0jkJaWr7MLc/vKwBeukLPbIbK7Ire1EUvLOy4jumopq8jCQN9mea3lvC /povygLFXt9Gsnfh3AOU3lOxnmLM5/d/U/gvHYv/aXduLzxVQni5JWCEe5XONRroFWthLubc vWXnGB/ICpZ0ZUFwTnJzqIe1RgckXILFXHlHLIeuCrKVK+VlLVQCktRaT53NcYO5Ks92g1AI +bfi8nw0/h2lLRmbjUNHUykgcyvacEQdiulM0jbAU+QKLmcDT7K2cL6Z66nD7lRluBR8ROq8 2X+cQerLnGIkD/nUAqqOOdHgXSAPRBQj4q6dw5kFWnpSN+OgviTNN5tiDhwz6dm3hsi1EYfM CJ/fkVAtfuU7Dldh7NxAT4ZhpKKBe2FgSOcqefCeM9+jA==
Ironport-sdr: 647eea74_e7XbxRhaPKR6t0kDLvbXUjF19puCLFLaCidN7C232/vIhQr zC6RtLqLhFAo1k2G8EJeUzmjyDOCu65LnRMuNKQ==

You are invited to attend The Interactions of Proof Assistants and Mathematics International Summer School, which will be held in Regensburg, Germany on 18-29 September 2023 (https://itp-school-2023.github.io/).
The application deadline is the 9th of June 2023.

** Overview **

Proof assistants are tools that enable the formal description and rigorous analysis of complex systems. Proof assistants increasingly find use in all areas in which mistakes are not an option; for instance, in the design of hardware components, software programs, or to produce machine-checked proofs of deep results in mathematics.

The first International Summer School on Interactions of Proof Assistants and Mathematics presents state-of-the-art proof assistants from different angles: theoretical foundations, engineering aspects, applications in areas including mathematics and computer science. The goal of the summer school is to introduce proof assistants to students in both mathematics and computer science, while fostering collaboration and exchange between those two communities.

** Venue **

The summer school will take place in September 2023 in the town center of Regensburg in Bavaria, Germany. The Old Town of Regensburg is listed as a UNESCO World Heritage Site, and considered the largest authentically preserved medieval city in Germany. The summer school is organized by the University of Regensburg.

** Organizers **

Denis-Charles Cisinski
Clara Löh
Philipp Rümmer

Please send questions about the summer school to itp-school-2023 AT googlegroups.com

[Coq-Club] Interactions of Proof Assistants and Mathematics,International Summer School - Registration deadline 9 June 2023, Julie CAILLER, 06/06/2023