coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Anders Mortberg <andersmortberg AT gmail.com>
- To: constructivenews AT googlegroups.com, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, coq-club AT inria.fr
- Subject: [Coq-Club] Workshop in honour of Thierry Coquand's 60th birthday
- Date: Wed, 25 May 2022 08:50:38 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andersmortberg AT gmail.com; spf=Pass smtp.mailfrom=andersmortberg AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk1-f169.google.com
- Ironport-data: A9a23:OUJzGajP481ksn5gJd15J23XX161WBYKZh0ujC45NGQN5FlHY01je htvWjuAO/fbNGL1fd0kbtm2oR4OsZPXxtE3GVY+pCE9Qn9jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8x6TSFK1nV4 4mq/peCYAbNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Nplk7a2UiUtHrT2mf0ecCRDLgVYBvEXweqSSZS/mZT7I0zudnLtx7BwDxhzM9RGq6B4BmZB8 fFeIzcIBvyBr7jukfTrF6823J1ldZe6VG8ckikIITXxBPAqTIrYRqLQ+dVVxjgYicVHHPKYb M0cAdZqRE+fMkwUYQ1PYH44tMq0vmumaDZzk3K+/rMc5HLY1FB+6re4ZbI5ffTTHZkP9qqCn UrN+H28CRUHPvSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiNxTVWBkRIBB20pv62jkP4UNVaQ 6AJxsYwhY4Y8leJSvnkZRyho125pSM4feEMQtRvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rmhz4KB6dtH4O39dJ6NyluHhWjtZnVNfAfucQdBHFRVuYCyyG0mpkuXFo4LLUKjsjHi9djNL 92iqSE/g/ANjpdO2fzlrBbIhDWjopWPRQkwjuk2Yo5HxlMiDGJGT9bwgbQ+0RqmBNjBJrVml CZc8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf9INsMuW4mfhk5bZtsldrVj Kn76VI5CHh7bCvCUEOLS9/Z5zkClvW8SI29CJg4kPIfMsAsHON4wM2eTRfIgzqFfLkEnqY4N pOWGftA/l5LYZmLOAGeHr9HuZdynn5W7TqKGfjTkkr6uZLDOyb9YepUaDOmM7FihIvZ8VW92 4gFa6OilU4EOMWgOXm/zGLmBQpVRZTNLcum9ZI/my/qClYOJVzN/NeKnep6JNI+wP8O/goKl 1nkMnJlJJPErSWvAW23hrpLMtsDhL5z8iA2OzICJ1Gt1yRxaIqj9vZNeJ4+fL1h/+tmlKYmQ /4AcsSGI/JOVjWXo2RHPceh9NRvJEaxmAaDHyu5ezxgLZNtQgr+/NW7LAbi8S85CDW66Jklq Lq62wKHGpcOHlwwDMvfZP+14Um2uHwRxLB7U0fSc4tcfUzt9M5hLCmo1q07JMQFKBPiwDqG1 lbOUU1I+7WV+4JsqYvHn6GJqYutAtBSJEsCEjmJ96uyOAnb4nGnnt1NXeOOSjbXCzH59aCkU uNKlq2uPfACmmFKhIpyCbNcy6wzuon0rLhAwwU4RXjGYgj5Cr5kJXXaj8BDurcXmu1csAqyH 1yMo5xUYOvYfsziF1EVKUwuaeHajaMYnTzb7PIUJkTm5X8ooODWDx0KZxTc2jZAKLZVMZ8+x btzssAh7QHi2AEhNcyLj3wJ+mnQfGYMVb4r6sMTDIPx0FZ5z1hDZdnCCXaz7sjROpNDNU4lJ jLSj63H3uwOyk3Hens1NH7MwesN2shU6U4SlAcPdwaTh97Ipv4rxxkNoz45eQJYk0dc2OVpN 2k3akB4KM1iJduzaBSvgoxtJ+1AOPFd0kn4yl9Mim6ACkfxCD2LI2o6NuKAukse9gqwu9SdE K6wkA7YvfTCJakdHRfenWZqrvXiSZp68QiqdAWPAZGeB5djCdb6qvbGWIfLwicLxes+gUTGo a9h++MYhWgX88IPi/VTNrR2Hoj8hPxJyKKujB2hEG408bngRQyP
- Ironport-hdrordr: A9a23:gaw+DqiPo1jyVD85Qxb/MekgvHBQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
- Ironport-phdr: A9a23:cZ1oUh2I+YXw4kPmsmDO+A0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6oxxwaRDM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4Z/ebgpHiDagfb9/K Ai9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s8 7lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUclfVyJPDIChY YURE+UMJvxXo5XnqlYUsReyGQuhCeXywTFInH/22qg63vw9HAHAwQMvAcgOsG/Jp9vyM6cSS /y1w7LWwjXZYPNdxDDw55LOch88v/6MR6lwcc/WyUk1CwPKlUufqZbqPz6O2eQNtnKU7+tkV e61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P9u4RVZ1bNK5EJVetz+XOYtyT84iXmxlu SI3xLIYtZOncyYHzJcqywPeZvGZfYWG4hztWPiRLzp8hX9rdq+zihe9/0WizOD3S8e60FFPr iVfk9nMsGgA2ADT6sedTvt9+1mu2SyU1wzJ8eFLP0Y5nrfYJZ452rM8iIYfvEDZEiL1mEj6l rGaels59uSy9ujqY7Hrq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Py51LL5/E35RKxGjuM1k qXEqZzaK9kXq6+9DgNP3YYj7BG/Dzii0NsGh3UIMFVFeBefg4joPVHBPuz4AO+hj1iwlDpn3 fPLM737DpnTMHTPja3tcat85kNY0AYzyMpQ55NQCrEPOvLzXUrxucTCAR8/LgO73fznCM541 oMZQ2KPHrSWP73IsV+H/e8vLOyMa5UUuDb5MfQq+/nujXohlV8bZqamxYEXZ2ygHvR6P0WZZ mLhjsoZHWcQogU+VPDqiEGFUTNLe3myWLs86ignB4KiEIfMXZuggKeB3Se+Bp1ZfHpKClGKE XfydoWLQe0AaCyIIpwprjtRXr+nUJM7yBqytRH3zbd4NcLb/SoXsZ/szt9o//aVnhY3sXRUC MGaz2aVXilIj3sFDwM20adlsAQpylCG1rR/m+1EBMRe+/NEVR0rHZHbyON+Bt/oXR/ZZZGCT 1PwBp2tBih0RdYsyfcPZVx8EpOslEPtxS2vVpYTm7GRH9QR9bjA1XXrKI4pwnDK2bM6il48X sFCL2KOiat29gyVDInMxRbK3522fLgRiXaevFyIynCD6QQBCFYYucTtWHkeYhGTttHl/gbYS LToD707MwxHwMrEK61Qa9Svg08VDOz7NoH4ZGS803y1GQ7O3qmFOYPsd2gHxyDaElQOnhoc1 XmDPAk6QCympjGWFyRgQGrmeFik6uxisDW+R04wwRuNahho0ba44AUQguaAQf4J0ZoLvS4gr 3N/G1Pul8nOBY+moAxsNL5Zfct74FpD0jfBsBdhO5W7M614rlsXcgAyoUC3khsuVNQGns8to 3cnigF1LMp0yXtncDWVldD1M7zTcCzp+Qy3LrTR0RfY2cqX/aEG7LI5rU/itUenDBhq9XIvy NRT33aGg/eCRAMPTZL8VFo2/BlmtvnbZCc6/YbdyXxrN+G9rDbD39sjAOZtxAynep9TN6aNF Qm6FMN/ZYDmIeomlkKyaxUeIOpf7qEcMMavdv/A06mufa5hkD+gkWVb8dVlyEvfkkg0AuXM3 psD37SZxl7dD2a63Arn6Jqu39kaNGJ3fCL30yXvCY9Pa7cneI8KDT3rOMir3pBkgJWrXXdE9 VmlDldA2cmzeBPUYUauuG8YnUkRv3GjnjO1ijJulDR85KOZ0CHU2OHlbgYNN3REbGZnhFboZ 4OzippJOSrgJxhsjxaj6UvgkuJSoqhyNXLWRl1UdSXsIEltV6KxsvyJZMsFu/ZK+W1HFe+7Z 16dULv0pRAXhjjiE2Vpzzc+bzi2u5/9knSWkUqlJW1o5DrccMB0n1LE4cDEAORW1XwATTV5j j/eAh69OcOo9JOajcWLvue7XmOnHppdFEujhYqGuCah/mhtGwG1kuq8stLiGAk+lyT80pFmW D7JoxD1foTwn/7iYKQ3Iw8yXga6spQrUohl9+l4zIkdw30bmomY8TIcnGH/PM8akaPyYXwRR CIaltvc4QzrwkpmfRfrj8ryUnSQxNckZsHvODtHnHJgqZoQUeHNsu0X+Ek96kC1pg/Qf/Vny zIUyP90rWUfn/lMog0miCOUHrEVG0Bcey3qjRWBqd6k/8A1LC6id6a90E1mkJWvFraH90tVX nr0YIwnGjVs5MhlP3rD1XTy7sfvf9yaPrdx/lWE1gzNieRYMsd7n/wGiDB8PGXnoXco0eETg hln3JX8t4+CYTYInurxEltTMTv7YNkW8zfmgPNFn8qY6IuoG41oBjQBWJa7BeLtCj8Zsu7rc hqfCDBp4GnOAqLRREXMjSUu52KKCZ2gMGubYWUU3ck3DgfIP1RR2UgVRGloxcN/T1Hygpa9L wEhoWpNrl/g9kkSlqQybEK5CzmH4l/vM2ZRKtDXLQIKvF8coR6Na4rGqLo0RXkQ/4X9/lLTb DbHNkIYVSdRHRbcT1H7Yuvxv5+Zr67BV7D4d7yXMdDs4aRfT6vams7pi9E7uW7KboLWYDFjF 6FpgxITGykmRIKJ3W1IEXVfljqRPZfE/1Hlq3Ex9obnt621PWCnrYqXV+kIaYQpq03w2P3Tc bbX3XkxKC4EhMlVmzmVmP5GjQRU02Y3JnGsCehS73eTCviLy+kMVVhDLHoiUakAp7Q12g0HU SLCovXy0LMwzvs8ClMfEEfkhtnsf8sBZWe0KFLAAk+PcrWAPzzChc/tM+u6TvVLgeNYugfV2 37TGlL/PjmFizjiVgy+eeBKgiaBORVCuYa7Oh9zAGnnRdjiZ1W1KthyxTExxLQ1gDvNOwt+e XBkdFhRq7SL8S5CqvB2GmgE8Hk8aOfdxXff4O7fJZIb9/BsB2U8lu5X5mg716oA7CxAQ68Q+ mOapdpvrle61+iXn2A/AVwe93AR3tvN5BszasC7vtFaVH3J/QwA9zCVAhUO/Z5+D8H3/rpXw Z7Jnb7yLzFL95TV+9EdDo7aMpHiUjJpPBz3FTrTFAZAQySsMDSVjkpRneuJ83qPspI3sJfEl 58HS7sdX1swXKB/aAwtDJkZLZF7Uylx26acl9IN7GGioQP5QcxbutXZVavXD6yxeXCWir5LY xZOyrT9Z9d2VMWzywlpbV90m57PEkzbUIVWoyFvWQQzpV1E7Hl0SmBbM6PNbwqs5DoNFqfxk Edo201xZuMi8Dqq6FAydAKiTM4Yn0w4mNGjijeUImaZxEiYUoRfCi6yvE80YMqTfg==
- Ironport-sdr: +A4JcqQ0HTGkeZAM8J8/uGhtC+rJVZpr5sLqLW0Xo/JRrJ1dbtyjpPQ90p6RAgFLP9x78H26ku UMQAt1RYpDFLLTJsslw+8LePVtYukY+n7w0JCV0cuvbOCBaKXDFC7M7VyqIj1/58N66G0d5L1y A7TAU35wRtmMb18UUhg8ISRdwypYV3mlcQyc6GyMCagUUc3Q0e5OO/HsbAUaSZ/+kHdlbUmYhE arp7BAFxqq9Ge+vY0wxcPQR2cs5pLdrYrseSjI2Fn/ZPemulOgt1bTYBsEDT8FmR2OWv2gn03T j6qvy5kdqSYQASgmwA7agL7u
Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18 April 2021. We are organizing a scientific meeting to celebrate him and his seminal contributions to mathematical logic, constructive mathematics, theoretical computer science, and the development of proof assistants for type theory. The celebration was
originally planned to take place in direct connection with Thierry’s birthday, but had to be postponed several times because of the pandemic.
The meeting will take place in Gothenburg on 24–26 August 2022, and is open to everyone who wants to join the celebration. It is free of charge, except that participants who wish to join the banquet in the evening on Thursday 25th of August have to pay their bill directly to the restaurant. Participants are also asked to arrange their own travel and accommodation.
For more information about the meeting please visit the workshop's page at https://tc60.cse.chalmers.se/
If you plan to attend the meeting, we kindly ask you to fill in the registration form (available from the link above) by June 30th at the latest so we can plan catering and dinner.
Sincerely, the organising committee
Andreas Abel, Ana Bove, Peter Dybjer, Peter LeFanu Lumsdaine and Anders Mörtberg
The meeting will take place in Gothenburg on 24–26 August 2022, and is open to everyone who wants to join the celebration. It is free of charge, except that participants who wish to join the banquet in the evening on Thursday 25th of August have to pay their bill directly to the restaurant. Participants are also asked to arrange their own travel and accommodation.
For more information about the meeting please visit the workshop's page at https://tc60.cse.chalmers.se/
If you plan to attend the meeting, we kindly ask you to fill in the registration form (available from the link above) by June 30th at the latest so we can plan catering and dinner.
Sincerely, the organising committee
Andreas Abel, Ana Bove, Peter Dybjer, Peter LeFanu Lumsdaine and Anders Mörtberg
- [Coq-Club] Workshop in honour of Thierry Coquand's 60th birthday, Anders Mortberg, 05/25/2022
Archive powered by MHonArc 2.6.19+.