coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

From: Josef Urban <josef.urban AT gmail.com>
To: Josef Urban <Josef.Urban AT gmail.com>
Subject: Re: [Coq-Club] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)
Date: Wed, 31 Jan 2024 16:05:10 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=josef.urban AT gmail.com; spf=Pass smtp.mailfrom=josef.urban AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f182.google.com
Ironport-data: A9a23:o+RPyKza4tirPAgtJPh6t+eXwirEfRIJ4+MujC+fZmUNrF6WrkUCm GoZC2vUM/aIY2ujKttyPo638U4A7JPcxtIxHFM4rVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Mc3l48sfrZ9Es2562q41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPC6KpLD3trAbQc/7ZVL3AJ2 8EWeBQSO0Xra+KemNpXS8Fpj8UnadjhZcYR4yE6iz7eCvkiTNbIRKCiCd1whm9hwJATW6yHN oxAOWAHgBfoO3WjPn8VD4kzkqG1nHP2dRVXrVuUoew85G27IAlZj+i2b4ePJIbiqcN9jByIg l/L4XXADhwxd/rF2Sapqlm2ibqa9c/8cNlPTeXnp6ACbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SuR9j5Ggyy+TuK505GHdVXFOI+5UeGza+8Dxul6nYsYBUeTd8c6fMPQTl69 HGY2P3UC2xLr+jAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlj3nojqf4zT8aIYs3JJN3m/ 9ydQMEDa1g7iMcK0+Cq9wmCjWv8/N7GSQk64giRVWWghu+YWGJHT9z4gbQ4xa8fRGp8crVnl CZe8yR5xL5UZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGghfBk2apZYJ2O3M B67VeZtCHl7bCvCgUhfM9LZNijW5fG+fTgYfqmIMIMQOsYtHON51HoyNRTLt4wSrKTcufpiY M/EIJjE4YcyBqNgwz67D+Yb2vlD+8zN7TK7eHwP9Dz+ieD2TCfNF98taQLSBshntv/siFuOq L53aZDaoyizpcWkPUE7B6ZIfQ5URZX6bLiqw/Fqmhmre1c2QjxxVqCMnNvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiMyg4MOHcTtxkoGglPCchG1+t1jJxKcys9aoTPd9/N7Uu6OUpn7Y+Q ugnavewJK1Fag3G3DABMrj7johpLyqwiSy0YiGKXTkYfrxbfTLvxOPKRAXVyXQxPnKFjvdm+ 7yE/SHHcKUHXDVnXZr3aurw7lafvko9ueNVXmnOKOZ9YE/HrYpgcXTwqtQVIMg8DwrJ6RXH9 gSRADYe/fLspa1s+vb3pKm0laWbOMogIVh7Rk7w8qSTGRTB2Faa0atscbqtbC/McmHZ44Cgb rhl9O79O/g5g1p6iYpwPLJ1x6YY5dG0hbtl4il7PXfMfXK5I6hBJySY4MxxqaF9/L9Vlg+oU Eap+NMBG7GoOtvgIWEBNjgeceWP+vEFqAb8tc1vDh3B2xZ2276bXWF5HRqG0nVdJYQoFrIV+ 74qvcpO5jGvjhYvDM29sRlV0GaxNV0FbbQss8ALIY3sizdz8Gp4X77nNnbU7q2MOvJ2CWt7B h+PhaHHuaZQ+VqaTVo3Ckr2/LR8gbYghUl06WEsdnWztPjLvPsV5CFq0C8WS11VxypX0ugoN WlMMVZ0FJq0/DxppZZiWmywKj5FHzmc3FL78HoStWjjV0LzfHf8HG48Hues/U4i7GNXeAZAz oyY0GrIVTXLftn7+ykPBWpJjuPFdsMo0CHvg+WlENahM7hgRAH6k4m8YWYsgDn2M/Mb3UHoi 7Fjw7dtVPfdKyUVnZweN6Cb8rY1EzWvO21IRKBazpMjRG3zVmm75mmTFhqXZMhIGv3t9H24A exIIuZkdUy39ASKnwAhKZ88GZ1Gt99324NaYZLuH3AMjJWHpDkwsJ7wyDn3tFV2f/pQy/QCO qHjXBPcNFePhElkuX7H9+hFHWuaXeMqRiPB2MKNzeFYMK5b7c9Ndxkp36qWrkelFlJt3yips TPpY47UyO1fyrpQobb8L5UbByuIBIPycM+q7DGMt89/aIKTEMXW6CIQhFrVHyVXGrozR+VIk a+pgNr2+XicuZMKXHH9npWfHfNF/veJAehdaJr2CFJ4niKyftDmzDVe2mK/KL1PyMh84Ov+T SSGScKAT/wncPYD+29wdA5fDAc7N6T7SozCtBGNha2AJTZF2DOWMe7902HiaF9qUxMhOrr8O 1fSgOmv7NUJl7Z8LkYIKN8+CqApPWK5f7UtcuDwkjyqDmOIpFemkZm6nDoC7QD7MFW1IPzY0 7nkGCenLA+TvZvWxu53q4Zx5x0bLEhsiNkKI34yxYREtCCYPkUnc8ImLpQ0OrNFmHfT1bb5R g33QkkMNCHfZQlAIDLAuInNfwHGCuI3b4KzYnRj+k6PcC65Cb+RGLYrpG8q/35yfSCl1+29b 80X/nrrJBWq35V1XqAp6+emhft8jObvrp7SFZsRT+Spa/rfPVkL6JClNA9EVCiCAsuU0UuSd TJzSmdDT0W2D0X2FK6MvpKT9A4x5FvSI/cANE9jA+ozf62UyeRBzLv0POSbPngrcpERPLBXL Z/obzLl3o1Vs0D/fYMmvtsohel/Dvfj8g1W6kP8bVV6opxcIVjL8y/PceTjgS3iFMNi/4vhq wSR
Ironport-hdrordr: A9a23:xGIdZ6n3Te8qikeuGJZjq7VdObXpDfIe3DAbv31ZSRFFG/GwvM ql9c5rrSMc6QxhIU3I/OrrBEDuewK4yXcY2/hyAV7mZniEhILKFuBfBOnZslnd8kTFn4Y36U 4jSchD4bbLfD9HZKjBkW+F+hUbrOVvMprEuQ4T9RhQpMhRBZ1d0w==
Ironport-phdr: A9a23:9verUxMVB8Ar1070g0cl6na2BxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Ur1weYFtmLo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtLiTanb75+M BG7oQreu8QVnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzchctsga9VvB6tugVzz5LJbIqIMPZyY6PQcdYcSGFcXMheSjZBD5uzY IsBDeUPPehWoYrgqVUQsRSzGBKhC/nzxjJSnHL6wbE23uYnHArb3AIgBdUOsHHModvxM6cSS v66zKfVxjrNdfNZwi3y6I7VeR0mo/GMWqlwftTfyUU1CgPFlE6fppbjPz6O2eQNtnKU7+tkV e61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P9u4RVZ0bNOlH5VdtS+UOYV0T848TG9lt iQ3x7IbtZC1fCYHyJQpyh3RZfKJcIWF/xLuWeSMLDpkmH5pZb2xiwu9/EavzOD3S8e60FFPr iVfk9nMsGgA1wHV6siGU/dy5UCh2TCJ1wzJ9+5LP0Y5nrfYJZ452rM8iIYfvEDZEiL1mEj6l rGaelgg9+Sy9ujqYavqq5mBPIJqjgH+L78umtChDuQiLwYOXmma9vqk2bH/+0DyXa9Egecsk qbDtZDXPcQbqbC9Aw9Syosj7gywDzai0NgBnXgIN09JdAuJj4T0OFzCPur0Dfi4g1Srnzdrw +7JMqf9DZXKK3jPiLbhfbBj5E5A0Ac/08xT6pZOBrwCIP//QFH9uMHcAxMjLgC5wPjrBM141 owEWGKPBqGZMLnVsV+N/u8vIe6MZJQLtzbzMfQl+uTugmQjll8bZqSp0p4XZ2q5HvRiOUmWf X3sgtIZHWcMpQUxVPbqh0GaUT5Pe3ayWLox6iwjBIK8EYjDXpytgKCG3CqjApJWYXlGBkmQH nfsaoWLQOwBaDmSI89kijwLT6KtS44n1RG0tQ/10aBrLuTO+n5QiZW29t9u6uObqAs4/Do8W +aayGyDCVxulGoObzAz1aF750d6zwHQ/7J/hql6Esde6bt0SA0zM9aIzethBt60RxjLd9GhR 1OvQ9HgCjY0GIFii+QSalpwTo3xxivI2DCnVuZI/1TqLJk986aHmmP0O9440HHekq8ok1ghR MJLc2ygnK92sQbJVMbSi0vMsaGseOwH2TLVsn+ZxD+Mu1pVXkhtS6/MW1gQY0LXqZLy4UaRB 6S2B+EfOxBagdWHNrMMb9ToiVtcQ/K2OtPFbmz3hn26DBCgybaFbY6scGIYj23GEEZRtQcV8 D6dMBQmQCesp2WLFDt1CVfmeF/h68F7oXK/C14+lkSENh07kbWy/RERiLqXTPZ7MqssniAnp n00GV+824mTEN+cv096e70aZ9oh4VBB3GaftgpnP5XmIbowzlgZOx96uU/jzXAVQs1JjNQqo XU2zQFzNbPQ0VVPcCmd1IzxPbufI3f7/RSmYarbkl/E19Pe9qAK4fU+41Lt2WPhXkgl6Hhpl cRP2XKazprPBQsWF5n2Vwd/9hR3oa3bfjho/5ndhhgOeeG/tj7P3c5sBfNwkE7xOYcCdvndR UmrQ5dJYqrmYPYnkFWocB8eaeVb9apvetija+PDw6mzeuBpgDOhi21DpoF7yEOFsSRmGYuql 94Ixe+V2gyfWnLyllCk54r1nptJa3cPBGC2zwDrAYdQYut5eoNBWgLMa4Wng85zgZLgQSsS9 lm4Cl1AxdWjcBy6YFn03AkW3kMS6y/C+2Pw33l/lDcnqbCa1SrFzrH5dRYJDWVMQXFrkVbmJ YXcY8kyZEGzdEBpkRKk4R2/3K1HvOFkKHGVR05Ufi/wJmUkU62qt7PEbdQdoJ8vtCxWVqy7b zX4Avb/pAAX3WX+BWFXwhg0cjirvtPymBkyhG+GLXl1pWbUYokqnUaZtIGaH6cAmGNWHmFxk nHPC0K5PsW18Nnx9d+Lqe24W2+7F9VSfSTt0YKcpX6+7GxuDwe4mqP7kdnmHA4mlC7jgoMyB GOY8VCmO9itjvTgYocFNgFyCVTx6tR3ANR7m4o039QL3GQCw46S5TwBmHvyNtNS3eT/amAMT HgF2Y2wgkCt1Ut9I3aO34+8WG+ax54rZd6hb21Qxzg35sZiB6Kd7bgClixw6Andz0qZcb1mk zERxOF7onwdmOwH/hc3xCybKr8XFEhceyfrkl7birL25LUSb2Gpf7+q0UN4lt30F7COrDZXX 3Phc4sjFyt9vY1vdUjB23rp5sT4acHdOJgN4waMnU6K3I03YNoh0+AHji19NSfhsG05nqQl2 Ad208jyvZDbeT4wuvvoWlgCamKzP4RJpnnslfoMwJrQhdv0WMw/QnNTG8K5KJDgWDMK6aa5a UDXSGd68jHDXuCHVQ6HtBU48TSVT8HtZynRfD5DlZ1jXEXPexYZ2VxSBWRg2MZ+T1DPpoSpc V8ltG9NoAei910UjLovbke3U3+D9l7wOnFtF8fZfFwOqVsbr0bNbZ7Hsbk1RnAEuMXn9EvUd An5L0xJFT1bABTVQQC+eOD0tZ+YtLHHTuumc6mUOOvI9LwYDqbSg8roi9ou/i7QZJ/WYD84V Kx9gRAFBTcgSqG7030ZQigT3Uohdua9oxGxsm1yp8G7q7HwXR73oJCIE/1UOMlu/Ba/heGCM fSRjWB3M2QQ0JRE3nLOxLUFuTxawyhzazmgF6gBvi/RXerRnKFQFRsSdyJ0MoNB8as92gBHP cOThMny0/Z0ifs8ClENUlKE+InhfcsRP2S0L0/KHm6OPbWCYCzBmoT5OPPmD7JXi+pQulu7v jPaW07vMzKfliX4AhCiNeYf6UPTdBdauYy7blNsET25FIOgOkD9aoYmy2Rmm+5R5DuCL2MXP DliflkYq7SR6XgdmfBjAyla6WIjK+CYmiGf5u2eK5AMsPItDD4n8oASqHk81bZR6zlJAfJvn y6H5NxpuFyo1PSVwDNheBVLozdPwomMuA8xXMeRvokFQnvC8B8XuC+IDA8WotJ+FtD1k6VZy 9yKhaiqbTkbo4iS8swbCMzZbsmANTByVHihUC6RBwwDQzmxMGjZjEEIi/Ce+EqeqZ0io4Ttk p4DIle6fFk8F/dfG048WdJbcM0xUTQjnrqWysUP4CjmxPE0bMpft5HDEPmVBKe3QN52pbZBb hoMh7j/KNZKXrA=
Ironport-sdr: 65ba61b3_Gp35bxdbtBaoNLuzgQpGOv4BpQUbHiNTg+Qu65JLyGJurcs cLPinrjGsJ2nrDEZtglgFfA+bQnmJ0hMSryWLAg==

The deadline for applications has been extended until Sunday (February 4) midnight CET.

More information about the trimester is at https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05 and the school at https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05#wks4 .

On Wed, Jan 31, 2024 at 12:24 PM Josef Urban <josef.urban AT gmail.com> wrote:

[This is a very late call and we are hoping for at least an informal deadline extension; please advertise/send it to people who might be interested.]
==========
The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted towards junior researchers and mathematicians with little prior exposure to Formalization and Automated Theorem Proving and any who are interested in this technology.
Prospective participants can still apply at [1] DEADLINE: Jan. 31. 2024 (CET).
At the school the major theorem proving systems and libraries are introduced by their developers. We envision it to be quite informal, hands-on, and interactive. We plan to have plenary sessions in the mornings 9-11 on Monday May 13 to introduce the systems in a ca. 20 min lightning talks, and in the remaining days present specific aspects of general interest of the systems (please volunteer two topics) in 40 min presentations. In the afternoons we will form small groups that get their hands dirty in specific formalization projects.
[1] https://him-application.uni-bonn.de/index.php?id=5960

[Coq-Club] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024), Josef Urban, 01/31/2024
- Re: [Coq-Club] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024), Josef Urban, 01/31/2024