coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Tom de Jong <tom.dejong AT nottingham.ac.uk>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] HoTT/UF 2024: 2nd Call for Contributions
- Date: Mon, 18 Dec 2023 16:12:04 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tom.dejong AT nottingham.ac.uk; spf=Pass smtp.mailfrom=tom.dejong AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp4.nottingham.ac.uk
- Ironport-data: A9a23:WpmoHa5qwmTgTpmsPKISvwxRtFTDchMFZxGqfqrLsTDasY5as4F+v jRMD2mBbKyCMzOgeI91YNmypEIG7JDSz9VgS1Btryg2Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsbgr414rZ8Ek05a6r6GtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj669QC2wUA4McwcVMPHlf9 v0/DRwdMjnW0opawJrjIgVtrt8mMNG3eoUYpm1hyz7ZBPNgSJuFXqaiCd1whW1gwJoSRrCEP ZJfN2cHgBfoO3WjPn8LD5d4kOqqgX/wWztftE6Uo6U36m2VxQc3zbuF3N/9JYDVG5wJxh3wS mTu+1TyDBxZKYyjkiuj8W2H1ujmjBqmV9dHfFG/3rsz6LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDVdzhR0H+pnmYoh8aVNpZFqsz40eQycI4/jp1GEBecDlsSuIosPQVfgEyx 1yIuPbFFWBG5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3+QPTakoiw7XEpBlF7Kpj9v6GTj1h TmB6jU971nysSLp//rilbwiv95KjsOYJuLSzlmLNl+YAvpRPeZJnbCVBazgxa8Ydu6xFwHf1 FBdwpj2xL5VV/mlynfSKNjh6Znyup5pxhWH3QUwd3Tgnhzxk0OekXd4u2ohdRwwY5dcI1cEo ib74Gts2XOaB1PyBYcfXm57I51CIXHIRIS7BMPHJMFDeIZwfwKh9SRjLxzYlWP0nURm1el1N Z6HeIz+RTwXGIZ2/gqQHu096L4Mwjxh5GXxQZug8Q+r/4DDb1GoSJAEEmC0UMYH0I2+rj74z fNjJuqR6hAGUOTBcijdqoESClYRLEkEP5P9qu0JV+ilPgZGMTkFDqLPzZMbY4Zgk6Nkqb/Vz 06YR0Nn01vbrl/EIDWsdXpMRu7OX5F+jHRjJg0qHw+i9EYCaLaVzpU0VsUIb5h+08I71t9yb f0OW/vYM8R1Uj6dpggsN8jsnrJtZDGApFyoPRP8RBMdYpQ5ZQjC2uG8TzvV7CNUUxaG75ovk YaBiDHeb4EIHTl5LcDsb/mq8VO9kF4dlM92XGrKOtNjQ1rtwqc7Nx3OiuILHO9UJSXh3je60 yOkMSUcr8TJoK4394DtroKApIGLDeB/PxR7G0/20LWIDhTZr1GTmdJ4bOW1fD7mRDzV/oemb r5r1P3SCqAMs2tLlIteKIxV65wCyeHhnYIH8TQ8Lk73NwyqLphCPki52dJ+s/wR571B5iqzd EG92vhbHrSrJcm+KgYYG1cjZ8utydURtDv268ovAUTl5R1Y+KiMflVSMiKt1g1cDupRG6E0z dgxvPU571SEtSMrFdKdnwZo92ioBV4RYZUN7501LtfitVs29wtkf5fZNB7T3LiOTNd9am8RP T6egfv5tYR2n0btXSI6KinQ4LB7m58LhRFtyW0CLXSvnv7upKc+/D9VwAQNYjVl9Dd1+MMtB TEzLGxwH7uEwBlwjssaX2yMJRBINCfExmPPkWk2hE/rZGj2cFfSLV8NG/eHp2EY1GN+QgJ13 p+lzETdbDK7W/2pgwUTXxZ+pu3BXO5B0FTIuPqaEvSvG7g4ZjvYgZGSW1cYliu/Ae4MgBzom Oo72sdxdqzxCgAIqYIZFYSx9OodWTKEFkN4UNBj+6IDGDCEdB62xArUK0C7QZ5NFu2XqEapK tdPI/hXXE+Uzxe+rTE8BI8NLYRrnfUv2sEwR7PzKUMCsJqdtjBMsq+MxhPhhWQufcpiofw9J qzVaTiGNG6a3llQpEPgs+hGPTCeTeQfRQihwt2wzvoFJ6gDvM5ob0s29Lm+5FeREQl/+iOrr BHxXLDXw8Ni2LZTsdPVSIsbPDqNKPT3SOis2yKwuY4XbdrwbOH/hzlMoVzjZwlrLb8dXupsr ou0sfn14VjkuYgnWGWIiriDEKh0vf+JZtR1Cf6uDndmnnqlYvTOsiszozXybdQDld5G/cCoS jepcMb6J5ZfR95Zw2YTcCREVQoUD6PsdKr7uCehtLK2BwMA1RDcZsaSnZMzgbq3qgdTU3E/N uP1hxpqzstdsJwQQhkDG+1nBZB4KVqlUKBgat6ZWfx0yIW3qgvqh1cgvUNIBfL35r2sFsHm/ ZPDSRj3cVK7s+fVz7m1dqRs6wYPAi8VbfYYJyogFh0ft9x+JGgBMfgcN5oGA5QSmye0yZKQi PQhqoc9IX2VYAmouikQLDgusslzywDO1hrEyuQVwn6p
- Ironport-hdrordr: A9a23:hTPVM61Qpg5pOlE7lVk6FgqjBEIkLtp133Aq2lEZdPU0SKelfq eV7ZcmPH7P6Ar5N0tLpTntAsS9qBDnlKKdg7N/AV7KZmCPhILCFu9fBP7Zsljd8lrFh4pgPM lbH5SWcOeAb2RSvILA+hCxF9tl6NOb8Kau7N2ut0tFfEVQcbhp6wo8MhqWDkEzZAQuP+teKL OsovFcvjKldDAsYt+lCmJtZZmlm/T70Kj+aRoKQyUq8hWKkFqTmcfHLyQ=
- Ironport-phdr: A9a23:WPvoRhbffqZDP+ZRS3I8MqX/LTGR2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1g+PB92LoKIew8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS+bL9oM hm6sQbcusYVjId8N6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7g6VGrhK8vBx/25Dbb52JNPRweaPdeMkVRWtHXs1MUyBMDYexY 44JAuEcP+hXspP9qkMNoxWwCgajCv3hxD9ViHDq0qM3yPghHALc0QA8A94CrnbZodPoP6kSS +C1y6zIwC3dYfNR3Df29ZXHfQ48qv+IWrJwd8XRwlQoGgPZiVWQrJbpMC6L2eQPtGib6eVgW Pmpi24gtwFxvjmvxsEjionJnI0Vz0rI+j9lz4ovON24S1d2bNi5G5Rfqy+ULZF5Qt8+Q252o iY6zKULtIClcCUE1Jgq2hrSZfyEfoWG7B/uWuifLDh4in9heL+yhhW//VWux+DiSsS50UhGo yhYn9TOsn0A2R7e58qDR/Z740yv1zGP1wXJ5eFFJ0A5jaXbK589wr4wi5ocql7PHi7xmEnuk qCZbF4k++i05OTneLrmp4WcO5VzigHkPaQjnNG0D+cgMgUWQmSX5+ex2Kf98UD2TrhGlOM6n rfFvJzAJMkWpqi0CBJL34Yn9ha/FCum38oCnXcaLVJEeQyIgpD1N1zIPfv2F+2wg062nzdu3 /3GPqPuApHKLnXbi7fheKp961ZTxQYpy9Bf4I5UCq0AIPL1VU/xtMbXDhojPwOu3+nrEsh91 oAGVWKOBK+WLr/SvEeV6u4xIOSAfpEZtTnzJvQ/+fLik2M1lUUccKSpxZcXbWq3HvViI0WXe 3rshdIBHH8Wvgo5SezmkkCNXiBRZ3a1WaI86So2CIShDYffWoCtgbqB3Ci7HpJMY2BKEEqDH mvye4WZWPcAcCSSLdR5nTweSbehU5Mh1Q2ptALi1rZrNvDU9TEAtZL/yNh14PXemg019TxtF siSz2WNT3xvkW4TXD833KV/oVRnxVuZ0Kh4heZYFd1J6P9TXAc6L82U8+svANfrHwnFY92hS VC8Q9zgDytiYMg2xooyZEM1F9jqrBfF0GL+H7gQ0bCGBpsy/Yra2GTtJsByy3/DkqAqyUQlF JgcfVa6j7JyolCAT7XClF+Uwvr7HUx99CvE9WPYiHGLoFkdSwloF6PMQXEYYELS69X//ELLC bG0Wvw8KgUU78mEJ+NRb8Hxy01cTaL/P9GYb2+znGG/LRCP2q+NaoXqcmBb1S6bFUtX2xsL8 yO+PBMlTjykv3qYCTVvEVz1ZEa57e577n+2TEgywCmMaFF91ry6+hcQw/WXDe4QjfofoCl0j TJyER6m2s7OTdqNow00ZKJHfdY0+0tKz0rCshBlYtqmKLx+h1gRcw1y+UrlkQh0YmlZue4tq n5ijA97KKbDlUhEayvdxpfofLveNmj1+hmrLa/QwFDXltiMqO8J77wjplPvsRvMdAJq+mh70 9RTz3qX54nbRAsUX5XrV08r9h9877jEayg57onQ2DViK66x+jPF3tsoAqMixHPCN59DN6bCG ALwFMsVL86pNPArnVepZxdCNesU6a11d8Kqev2a2bK6af56lWHD7ywP64R830SQsitkH7eSj 9Bfn6rehFHfEWmh3zLD+ojtlItJZC8fBD+6wCngX8tKY7FqOJ0MESGoKtG2wdN3g9jsXWRZ/ RitHQBjuofhdByMYlj6xQAV214QpCnthSy9iTB5kTYvoYKZ2zDSwuLtdBMCfGdAAnRhxwSJQ 8D8n5UBUU6kYhJ83gei4AD2yqpcoqtXKW7PXUZOcCj/KidrWe2ttfDRBqwHoINtuiJRXuOmZ FmcQbOouBoW3RToGG5GzSw6fTWn0nngtyRzk3nVbHN6rX6CPNp12Q+a/9vEA/hYwjsBQiB8z zjRHFm1edezr52YkJLKs+b2UGzENNUbbS7ui4+Ntiy96kVsBgGjnva8mtTiVwExlzL4n9VnT iTHqh/gb5Kjjv7qd7g7JQ8yXge6tZcyE5ob8MN4nJwK3HkGmpiZtWEKl2v+K5QT2K7zamYMW S9extfU5Ab/30gwSxDBj4n9V3ib3o5gf4zjODNQgH5mqZoQUOHKse8h/2M9uFezoAPPbOIom z4czaBr83sGm6QSvxJryCyBA7cUFE0ePCr2lh3O4crtyccfLGupb7W001Jz2N67C7TX6B1bX TD1d5UlGyBY6MJjLFPK333678ftc5/NbphA03/c2weFlOVTJJ8rw7AWgi8hNW//unsq4+g8k QBv2566tY3BIm4r4aHzUXs6fnXlIsgU/D/ql6NXmM2bipuuEptWETIORJL0TPisHWFapbH9O g2JCjF5tmaDFO+VA1qE8Ek/5SGqcdjjJzSNKXIe19knWBSNOBkVnlUPRDtj1pMpFxu2356sY 0ZsoAcK/lC+rBxQ1uNuOBn2VyHWr0G1aVJWANCeKhFS8w1PtXDOKcLY6OVvAyBe8Z2oqQWGN 2/deRlFCWAOQknCDFfmdri2uYucq67JXKzmaaOJOOjry6QWVu/Ul8/2lNcgoGzKboLVYjFjF 6FphxMFADYmQYKB3G9TAy0Py3CQNojG4kfkvHUw9J/akryjWRqzt9bWTecUYY0po1fs3u+CL 7LC3Xclb2kDkMNKmjiTkvAexAJA1n0oLWX1V+xG7WmUHMey0udWF0JJN3s1bZMXqfp6hk4UZ 4bako+ni+Q+16ZtTQ8DDRu4xomofZBYejnhcg+YQh7NbPPfelipi4n2ef/uEOwByrwF8UX24 XHBSgfiJmjRzmezEUD/d70K1GbBZ1Rfvoq5bxpgW2HmRcDhbAa2K5l8ijhTo/V8h3XBMXMQP Gpna00LvLqQ6mVVn71+HWdF83Zof96fgyjBt7GAcs5O9/1sHjh1ke1a6XF8wrAT8SIhJrQ9j iLWqpQGT0iOtO6Jx3InVRNPrm0On4eXpQB5Pr2f8JBcWHHC9RZL7GOKCh1MqcE3Qtvo87tdz NTCjseRYH9L7s7U8M0ABsPVNNPPMXwvNgDsESLVCw1NRCCiNGXWjUhQ2P+I8Xjdop8/o5nq0 J0AL90THEQyDe8fA195EcYqO5JrRm9il7mHkM8O6nq3qV/YT4NHvdGPV/6fB+nuNCfMjbRAY Ehto/uwJoASO4vnnk16PwAgzMKQRxGWB4oV5HM8PWpW6A1X/XNzT3M+wRfgYwKpuzoIEOKs2 wUxkk14aPgs8zHl5xE2IEDLrW0+ihpU+52tjDaPfTr2NKr1U5tRDn++q080dJ/2QQFzYiW0m lB4NTHLR7tUybJrM31owly529MHCbtHQKtIbQVFj+mQfOkt2E9Apz+P3kpb/beDD5x+iAosf p6lqjRJ0ER+b5RmQM6YbLoMxV9WiKWUuyau3e1k2w4SKXEG92aKcTIJskgFXlHDDyyv4vBt7 wOCkj4FcWNKSvl4+pqCGWs7PPicziTv07dGbEm6cfGcffrxU4nojsuUWg920EQUi0hD8rh/1 IEqeAyJVBJ3pIY=
- Ironport-sdr: 65806f55_hBJZ+NaGXJQyO7NyQhSr4L4bpm1/VBVmqLuGVQeRCOfQs9y d59t3aYoWnAsQK3+wM+W4njKa4ZcOWoDqdo1JPw==
==========================================================
2ND CALL FOR CONTRIBUTIONS AND PARTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action)
==========================================================
------------------------------------------------------------------------
Workshop on Homotopy Type Theory and Univalent Foundations
April 2 - 3, 2024, Leuven, Belgium
https://hott-uf.github.io/2024/
Co-located with the WG6 meeting of the EuroProofNet COST action
April 4 - 5, 2024
https://europroofnet.github.io/wg6-leuven/
------------------------------------------------------------------------
Homotopy Type Theory is a young area of logic, combining ideas from
several established fields: the use of dependent type theory as a
foundation for mathematics, inspired by ideas and tools from abstract
homotopy theory. Univalent Foundations are foundations of mathematics
based on the homotopical interpretation of type theory.
The goal of this workshop is to bring together researchers interested in
all aspects of Homotopy Type Theory/Univalent Foundations: from the
study of syntax and semantics of type theory to practical formalization
in proof assistants based on univalent type theory.
The workshop will be held in person with support for remote
participation. We encourage online participation for those who do not
wish to or cannot travel.
================
# Invited speakers
* Rafaël Bocquet (Eötvös Loránd University, Hungary)
* Matthias Hutzler (University of Gothenburg, Sweden)
* TBA
================
# Submissions
* Abstract submission deadline: January 19, 2024
* Author notification: Mid-February 2024
Submissions should consist of a title and a 1-2 pages abstract, in pdf
format, via https://easychair.org/conferences/?conf=hottuf2024.
Considering the broad background of the expected audience, we encourage
authors to include information of pedagogical value in their abstract,
such as motivation and context of their work.
================
# Registration
Registration is mandatory with a deadline of 8 March 2024 (AoE).
Registration information will be provided shortly.
================
# Program committee
* Pierre Cagne (Applachian State University)
* Evan Cavallo (University of Gothenburg)
* Felix Cherubini (Chalmers University of Technology/University of
Gothenburg)
* Tom de Jong (University of Nottingham)
* Eric Finster (University of Birmingham)
* Daniel Gratzer (Aarhus University)
* Mitchell Riley (NYU Abu Dhabi)
* Michael Shulman (University of San Diego)
* Kristina Sojakova (INRIA Paris)
* Jon Sterling (University of Cambridge)
* Andrew Swan (University of Ljubljana)
* Jonathan Weinberger (Johns Hopkins University)
================
# Organizers
* Evan Cavallo, evan.cavallo AT gu.se (University of Gothenburg)
* Tom de Jong, tom.dejong AT nottingham.ac.uk (University of Nottingham)
* Mitchell Riley, mitchell.v.riley AT nyu.edu (NYU Abu Dhabi)
* Jonathan Weinberger, jweinb20 AT jhu.edu (Johns Hopkins University)
- [Coq-Club] HoTT/UF 2024: 2nd Call for Contributions, Tom de Jong, 12/18/2023
Archive powered by MHonArc 2.6.19+.