coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
Chronological Thread
- From: Marco Maggesi <marco.maggesi AT unifi.it>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
- Date: Wed, 30 Mar 2022 14:42:59 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marco.maggesi AT unifi.it; spf=Pass smtp.mailfrom=marco.maggesi AT unifi.it; spf=None smtp.helo=postmaster AT mail-oi1-f175.google.com
- Ironport-data: A9a23:I65hzKojQAomxFmOQM9PFU8/iJReBmI2YxIvgKrLsJaIsI4StFCzt garIBmBbv2KYGenfYt/Ot/l9E4B75OEzNFmQQNl/C08F3tDo+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWEYwf9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurTuE1lwZIrRvt8xQh9VMwxXA59I6fjYdC3XXcy7lyUqclPpyvRqSUY3ZMgWo7kqR25J8 vMcJXYGaRXra+CemurqDLkxwJ19c4+yY953VnJIlVk1Cd4jSIrIROPP7NBX0Swxrt1IHPjfI csFAdZqRE2YO0Eeag5HYH44tMehtyjTKzdWlAOE+KoI7WnIlRd18oG4ZbI5ffTTHZkP9qqCn UrN+H28CRUHPvSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiUxzVWBkRJCB20pv62jkP4UNVaQ 6AJxsYwhfZoqhXxacTbZDGppnOkkzciadRBVPJvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rmhz4OB6dtH4O39dJ6NyluHhWjoZHFOdAfucQdBHFZUu4a5yG0mpkuXFo4LLUKjsjHi9dgcK RihpS4igLN7YSUjiPjipQuvb95BWvH0ouMd4wzWWiei71o8atf6Osqn7l/U6fsGJ4GcJrVgg JTms5jDhAztJcvW/MBofAnrNO/wjxpiGGOF6WOD57F7q1yQF4eLJOi8Gg1WKkZzKdojcjT0e kLVsg45zMYNYCv3PfYqP9/hVZ5CIU3c+TLNBqC8gj1mMsgZSeN71HwGibO4gzi9wRF0z8nTx 7/CKZvxVR729piLPBLvH7tHuVPa7i85wmzXSPjGI+ePgNKjiIquYe5dajOmN7hnhIvd+V292 48Ga6OilksCOMWjPXG/2dNCdTgicClgbbir+pw/XrDZfmJORjp6Y9ePmuNJRmCQt/4K/gs+1 irtBBEwJZuWrSGvFDhmnVg+Meu2Bswu9ChT0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65fIrH fQDZeuaBfFDFmbO9zgHPcvgqo1sdVKqmVvWbSaiZTE+eb9mRhDIqoW+LlS0qnFWA3rlr9Y6r p2hyhjfHcgJSTNkAZuEc/mo1V6w4SUQlbsqDUvFK9VeYmv2941uJ3Cjh/M7OZFeNBPCyDrc1 hrPWUUUouzEookU9tjVhPDe9df2SLUmRkcDRjvV97e7MyXe71GP+44YXbbaZy3ZWUP15L6mO bdfwcb6PaBVh11NqYd9T+tmwK9itdvio7hWklZtEHnRNQj5D7phJjyB3JAKuPQSm/lWvgy5X k/J8d5fYO3bNMTgGV8XBQwkcuXTiq1Oy2eKtaw4cBfg+St63LubSkEObROCvypQceluO4Q/z OZ95cMbt16lhhwxPorUhyxY7T7QfHkJUqFisZBDRYGy1VdtxVZFbpjRTCTx5cjXOdlLN0ArJ B6ShbbD1+sAnBucKyJrGCifx/dZiLQPpAtOkA0IKWOPl4eXnfQwxhBQrWk6Qwk9Is+rCA6v1 rWH9nGZJJliOx9tjclHGmetQkRPXULEvEP2zFQNmSvSSEzAuqkh6oEiEb7lwazb2zs0kvtnE HWw1WDkXzesfd2ZMu4aRxt+s/K6JTBu3lSqpS1kdvhp27EnZzvrg+mveQLkbvch7dwZ3CX6m AWhwAq8hWAX+8LdT23XxrR2DYgtdS0=
- Ironport-hdrordr: A9a23:RdwEK68G9YSP38Zv7mpuk+DPI+orL9Y04lQ7vn2ZOiY0TiX4ra qTdZsguSMc5AxhPU3I3OrwXJVoIkmyyXcW2+Qs1N6ZNWGMhILrFvAB0WKI+Vzd8kPFh41gPO tbHZRDNA==
- Ironport-phdr: A9a23:U3e0UhGmirKUav19eApmfp1Gf4lGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31hmQA9+Qtq4MotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YPfbx9ViDe8f79+I xW7oArMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6 LplSALziCcfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQds4YS2VcRMZcTyNODIOyY YUMEuQPI/pXopLnqFcStxazHxWgCP/txzJOm3T43bc60+MkEQze2wIvBcgOv2jTrN7oM6kdS ++1zKbWwjXYbvNdxDDw6I3SfRA7vf6MWqh8cc/LxkkgGAPKkE6QqY3+MjOI0OQNsmab7+t6W eKul24qsgd8qSWgyckwkIfGnJ4Vykza+iVjxoY4PdK1RkBlbdCqFJZdqS6XOoRrTs0iTG9lu Sg3xqEHtJKmeCUEyIoqywLDZvGHfIaG7RztWeieLDp7mX5oe7Kxiha0/EO9xOP8Ucy030xLr ipDitTMrXYN1wfJ5siGVvtx5kih2TeT1wDT9+FLOlo4lavcK5I5zb4wl4YTsUTeHiDtgkn5k KiWdkAi9+O16Orneq3rqoGAO4JwkA3zMaQjltaiDek5MAUCRXWX9Oa82bDl4Eb3Wq9Fjucsn ancqJ3aJdoUpqq+AwJN14Ys8Re/DzO/3NQfnHkLMUtJeByag4XrO1zCOv/4DfC4g1SjlDdk2 erKMaHmApXINnTDkbHhcqhh60NE1gY/0dRS64hXB7wBOv7/R078ud7CAhMkMQG5w/7rCNBn2 YMfXWKPDLWZMKTXsVKQ4+IgOfOMa5MSuDrnLvgq/fHujXAnll8GfKmkxoYXaHa5HvRoIkWVe 3vsgssZHWcMpQUxVPbqh0GaUT5Pe3ayWLox6iwjBIK8EYjDXpytgKCG3CqjApJWYXlGBkmQH nfsaoWLQOwBaDmSI89kijwLT6KtS44n1RG0tQ/10aBrLuTO+n5QiZW2399soubXiBsa9DpuD s3b3XveYXtzmzYtTiU92+haqENyx0yCmfx9iuZTEppW7vxGXxw7HYPazuJ7TdHuDFGSNuyVQ UqrF431SQo6Scg8loNfC64cM9CrjxSYmjGvH6dQjLuTQpo97qPb2XH1Ycd70XfPkqc73BE9W sUaE2qgi+Zk8hTLQZbTmhCcnryhcuIZ1SHC+XyC5XeIvU9ZFg9sAu3eRX5KXkLNtpzi41/aC bqnCLApKAxEnMuLMKBNLNjgglpLX/bLJdLfbWP3mnvjTQ2QyOaqa4znM34YwD2bCEUAlFUL+ m2aMAElGiq7i2fXDTgrElO2Jk21rrQ4p3S8QUs5iQqNaiWNzpKT/RgYzbyZQvIXhfcfvTs57 i5zBBC71s7XDNyJo0xger9daJUz+gUP02WRrAF7MpG6SsIqzlcDbwR6uV/v3BRrG81Bl8Ytt nYj0At1L+qRzlpAczqS2Z24NKfQLyH++xWmaqie3V+7sp7e/64V4/N+rlzsswyyF2I/9XRp0 p9UzzrU55nHChYTTYOkSlw+pH0Y7/nRZigw4Z+R1GU5a/Hl9G+fnYt3W618lUvzGrUXeLmJH wLzDcAAUs2nKehx3kOscgpBJ+dKsqg9I8KhcfKCnq+tJudp2jy83gElqMhw1FyB8y1kR6vGx ZEAlrud1xGMUHH5hViuv9v2sZ1CZD8TWGujg3uBZsYZduhpcIAHBH37aci+3N55wZvkVHFV7 1+LGlUH1s7veAbYPDmflUVAkE8Qp3Kggy6xyTd5xioooqSo1yvL2+3+dRADNwanXUFahEz3a cixhtEeBw2zahQx0QCi/QD8zrRao6J2Ky/SR11Jdm74NTMqXqy1v7uEK8lBjfFg+SBeSu+7J 1WTRbHwuBoyziXiEWoYxSxzezyxu5r/lgB3kyrHdCc1/CefIJ8vg06AuZTVXrZJ0yADRTVkh DWyZBD0JNSv8diO1t/Cvu24S2O9R8hWeCjvw5mHsXjz7mlrDBuj2vGrz4e/QE5qjGmiiYYsD HqV/3OeKsHx2q+3MPxqZBxtDV74sI9hH51m15A3nNcW0GQbgZOc+TwGl33yOJNVw/GbDjJFS DgVztrS+AWg1ldkKyfDwovjXXLbx8JuaNShY0sL3CMz7oZLFO3Hid4M1TswuVe+oQ/LNLJ4l y0Wzr0r4XEVjvoIkBcrzyucRLEOVxo9X2Skh1GD6Nawq79SbWCkfO2r1UZwqtumCamLvgBWX HuqModnByJ76d9zdU7dyHCmoJ+xY8HeNJhA03/c2weFleVeL4g90+YHlTYyc3yopmUrkqY6l UA8hsz85dnfbT8xo+ThRUQEfjztO5FNpne31v0Yx5jOmdjoR8QEeH1DXYO0H6z2VmtK77K/c V7JSmV0q2/HS+SBW1XDuQE29zSXVMrzf3CPeCtGl5M7GF/EdRYZ2EdNDFBY1tY4Dlz4m5CnK R0koGhXvhmh9FNN0r46bkGvFD6A+0H4LG9zEsHXLQIKvFgdvAGMYJDYtqQrWHgGm//p5A2Vd j7BP1UOXTxPAxbUQQikZ+bm5MGcobLBWKzjf72XMO/I8asHBr+J3c79iNI4uWzXZ4PUZD86S KRqvygLFWZwH8CT89kWYwoQkS+FL8uSpRPnvzZystj66/PzHgTm+YqIDbJWd9Rp4RG/x6mZZ aaWg25iJDBU24lppzeAwaUD3FMUlyBldiW8WbUGuynXSavMm6hRRxcFYiJ3PcFM4uoyxA5Ic cLcj9r00PZ/gJtXQx9dUkf9n8iyecEQC2S0NVeCA0fScbrfemCNzMbwbqexD7ZXiaQcthG9v yqaD162PjmHkGqMNVjnOuVNgSeHeR1G7dvlI1A9VC66Eo2gM0LmY7oVxXUszLY5h23HLzsZO Dl4KAZWq6GIqDhfmrN5EnBA6XxsKa+FnTyY5q/WMMVz07MjDyJqmuZd+Hl/xaFS6XQOQfVvk yyUq9dhrFy9k8GSzDtpUVxPtnwY4eDD9VUnIqjf+pRaDDzc+wkR6GyLFxkQj95sC9mqvKEJj 9aWy/+1JzBF/NbZu8AbAoKHTaDPeGpkOh3vFjnOCQIDRjP+LmDTiXtWl/SK/2GUpJw3wnAJs IcIS7FaEl0pRKty4qVNGdUDJNJwX2phn+fE0YgH4n2xqBSXT8Jf7Mivvh26HPPuJjffjKUWP nM1
- Ironport-sdr: 46nbZjFIQhQCudkH3pGpg6FZnTvDGZs2h0Bve9v9O+Hr41m5xeoGHl2ibRhJMKc3QiAkLPL3ms NtYHWg1mXvpOlOdPfa7QcOx3LMsyqIRZPDieEqrC2XJrJZ4b01Oi3JSO/WNpCzuWq6YKJK06M/ zoBF6QVWc0fP3trBpYa/AtFGPXHmu/MR/+e18hBxCjS8G+MISThL2Y0DplNdbn1ff+dqdSssZ9 vvoIBogcoKY9TGEMUQPOuRKMJVBiJtOoFfTJiXcg+KkHEMmM07ZvopgbI+31TF8xkQEVH7hZYV Pc/mc5OqNatKdcwm81EguTRQ
We are pleased to announce the
School on Univalent Mathematics 2022,
to be held at the Palazzone di Cortona
(https://www.sns.it/en/palazzone-di-cortona),
Cortona, Italy, July 17-23, 2022
(https://unimath.github.io/cortona2022/)
Overview
========
Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle.
The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq.
In this school, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to the formalization of mathematics in UniMath (https://github.com/UniMath/UniMath), a library of Univalent Mathematics based on the Coq proof assistant.
Format
=======
Participants will receive an introduction to Univalent Foundations and to mathematics in those foundations. In the accompanying problem sessions, they will formalize pieces of univalent mathematics in the UniMath library.
Prerequisites
==========
Participants should be interested in mathematics and the use of computers for mathematical reasoning. Participants do not need to have prior knowledge of logic, Coq, or Univalent Foundations.
Application and funding
=======================
For information on how to participate, please visit https://unimath.github.io/cortona2022.
The application deadline is 15 April 2022.
Best regards,
The organizers Benedikt Ahrens and Marco Maggesi
School on Univalent Mathematics 2022,
to be held at the Palazzone di Cortona
(https://www.sns.it/en/palazzone-di-cortona),
Cortona, Italy, July 17-23, 2022
(https://unimath.github.io/cortona2022/)
Overview
========
Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle.
The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq.
In this school, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to the formalization of mathematics in UniMath (https://github.com/UniMath/UniMath), a library of Univalent Mathematics based on the Coq proof assistant.
Format
=======
Participants will receive an introduction to Univalent Foundations and to mathematics in those foundations. In the accompanying problem sessions, they will formalize pieces of univalent mathematics in the UniMath library.
Prerequisites
==========
Participants should be interested in mathematics and the use of computers for mathematical reasoning. Participants do not need to have prior knowledge of logic, Coq, or Univalent Foundations.
Application and funding
=======================
For information on how to participate, please visit https://unimath.github.io/cortona2022.
The application deadline is 15 April 2022.
Best regards,
The organizers Benedikt Ahrens and Marco Maggesi
- [Coq-Club] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April, Marco Maggesi, 03/30/2022
Archive powered by MHonArc 2.6.19+.