Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for TYPES 2025 location

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for TYPES 2025 location


Chronological Thread 
  • From: Henning Basold <h.basold AT liacs.leidenuniv.nl>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Call for TYPES 2025 location
  • Date: Fri, 9 Jun 2023 14:16:20 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=liacs.leidenuniv.nl; dmarc=pass action=none header.from=liacs.leidenuniv.nl; dkim=pass header.d=liacs.leidenuniv.nl; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=O8SjWc6bhIUQZwYa3EZvtm2bg4osiUV4LSyVO4BljEc=; b=cD+2UPLDHJf+0efHXRBPGwCjZK7jMOkdcF+JOcB5hUlGMICygJAiWEg/azonaSXxXpOnuV0MW7Ctf3tsGhg5n5j0afgWWUSffFozoZYmKVxCU/z6Qc98oARFfhRBdErXLF8YAcXsU48rDwqIVyVCVvA6SE9C6RwxIHWKdmt1RHXnu3SAvjZfXdutWdgu2Y0s8F0qS/Am4Zw66hY027Cs/1wRlMXChFHTVKm+hvbvXIwvFVdX1UXLPI3YCjw6etsNa3lBLs+oEOVTLqvPb3QiETqUWnv8IffYEpYOFrf/Oc36p6H+61+enXARAAbztVj0MXPuMp046/pSInWTNgrneA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=hdwA17Lr8SiGvmst1D0yhjG5pSsVykwPq+j+LCbeqBxxZUHCBGP7FyzG805Y68I5KPGZSPVs1m/z9GwfhXwfwGOFERKTNbSxuWNBieLnPFNa/5q9erBbUQfx00sisXa4+yIHM1niV0k3JS+f6xLwwIE3U9mO1k907rtQiAniW7+DAJYeg9ereNgzIolHgJneQurzvv5xQHuwOwA/0zVU8nxW9bJ1IWaCcpnuKwGoRc8JnjYHPDWts/1HIQh5BQILSPLMmyrGvtb/lU5K8E10c0H6flHyrLjzEw48/lwvPYFg6unAKvtFOnVjJ22z8semEo78K+8MhMMw6x64pF69/Q==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=h.basold AT liacs.leidenuniv.nl; spf=Pass smtp.mailfrom=h.basold AT liacs.leidenuniv.nl; spf=Pass smtp.helo=postmaster AT EUR01-VE1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:7N4i1axiABkBTaZ8enx6t+c4zCrEfRIJ4+MujC+fZmQN5Y8V5oE1v h1fDDfmTZ/lYir3D9xzG4iz9kgCy5/SztZkVlMv/hmBJFoa9JHLD4mQdRf7ZynCccCfQBg/s ZgSMdWaIJBsEiXS+xr3aeG9pCAnhaiFT+f2U+CeZy4tHFNvGXp50U08xr5p6mIEbaBVJivU0 T+li5aGYQfNN0dID18oB8tuyHqD1tzVoD4ehnMGUutKs1nXi2QPAfrzTonoJXbyT9AJQbWxT r6bx7+wp2mCoh4kUNn/zLv2fxdWG+GKbQTU2nYGUaOv20Ad/nc4if5gaaUWZB0O1muDldt8o DkhWeRcbC9wVkGbsLpDDnG0ah1DAJCq2IMrAFC2vJKenh3KI3W1mPsxB01tZIdDpbooUD4eq 60UdD4AZzmO1rm8qF6ZYrk11557dKEHH6tG5yo+lWmBZRoCacqeK0kfzYYAhF/cvugXQbCEI ZBxhQNHNHzoewdINkocFKUwleKpgmiXWzBDoTp5n4Jui4To5FI3iOCF3Ob9IITQHp0LxhfA/ woqwkygav0kHIzHoda62in07gP/tXuTcJ4fErS+6slrjDW7roDEIEB+ufOT+JFVu2bmMz5tA xR8FhkG8cDewHeWouzVBHVUlpIrUik0ALK8G8VigO2EJzG9DwyxXgDoRRYZADAqWVNfqZXHG TZlkvuwbQGDvoF5RlrB86mWpjyOPRE7c2QgNCM5HQwp2YT89dRbYhLnFr6PEYaYs+etQHTO7 mnPqyIzwbIOkcQMyqO3u0jdhC6hrYTISQhz4RjLWmWi7UVyY4vNi46AtQCdtK4fat/FCATc1 JQHs5D2AOQmDdeHnTeKROklGLCg7O3DNDDdjVNpAp8g6XKr/xZPeKgNsGsvdRw0aa7ofxfVZ 03/hQ1046RQLUaKf4tzQaK3BuAlmP2I+dPNDamPNYIXOPCdbjSv9yZ3IEWUwmrFi1kpiah5O JGBcM/qA2xyNEh85D+/RuNYz7Jyyz0knTrUQ8qjkknh1qeCbnmIT7tDKEGJcu0y8KKDpkPS7 spbMMyJjR5YVYUSfxU776ZPKE4IJncHAanY9cd1J+K+cg1KIjw+Xqq5LawaR6RpmKFcl+Ht9 367W1NFxFeXuZEhAVTSApyEQOO+NauTvU7XLgRwbQzwhyhLjZKHtflEKcVuFVUy3LY7pcOYW cXpbO2pPpyjoBz5+jkba5CVQGdKLUzy3Wpi0wKbYTU5eZcIeuAk0trtfw+q6iRXAzet7ZI5p ef4i16dRocfTQN/CsqQcOio0166oXkanqR1QlfMJd5QPk7r9eCGyhAdbNdofangyj2ZnlN2M jp65z9F+YEhRKdoq7H0aVis9dvBLgeHNhMy85Pnxbi3LzLG2WGo3JVNVu2FFRiECjOqovnzP b8EkK+mWBHioLqsm9sle1qM5fNmj+YDW5cBlmyI4V2XMAz1UuoxexFqI+EW6PUXmuYxVfSKt rKnoYABYu3QYqsJ4XYUJQE/af+E2+1ckyvP9/ldHakJzH4fwVZzam0LZ0PkoHUFctNdadp5q c9/4pJ+w1Lk0HICbI3Z5h24AkzXcxTspY186spFaGIq4yJ3omx/jWv0UH+ruMjeM4QcaiHH4 Fa83cL/uliV/WKaG1JbKJQH9bA1aU0m6U0WnmwRbU+EgMTEjfIR1Rhcu2Z/BAdMwxkNl6o5N mF3Pgcnbe+D7hV5tvhlBmqMIgBmAAHG20rTz1BSqnbVYXP1XUPwLUo8G923wmYnz0xmcAJmo Y6okFTebW6yfeXa/DcDZkp+mvmyEf1z7lLjne6kLeSkHr47QyHsvYGsbntVsCnYBcADuxCer +xupsJ1NLbaNDERkYI/GYK1xbQdczHaBW1gENVK3rIFInHYQx62gQOxEkGWfthfAtD36mq6O tNeHd1OXBGAyyq+lDAXKqoSKbtSnvRyxt49Vp70BGwB6Z2zkyFItc/Oyy3Am2MbedVivsIjI If3dTjZMGixh2NRqlDdvvt/JWu0TtkVVjLShNnv3r0yKKsCl+VwfWUZ8Li+5SyVOTQ62SOkh lrIYquOwtFyzYhpoZDXLZxCIAeKePfTT+WD9T6hv+teNe3vNdj8jCJLi13FETkPA54vdYVWr 5qvvuTz/nv5h5ctcmWAm5C+B6hDvsqze+xMM/PIFnpRnArcecr8+yo83XKcLIxNmexn4sOhe RaxWPqtf9sKWvN25n5cWw5BGTkzVoX1aabBo3umjvKuUxIy7y3OHOmFx1TIM15JUzAuAILvL A3et9KFxMFqnK4VCDAqX/hZUoJFenn9Uq4YRvjNnDi/DFjwpGidu7HnxCES2RuSBlaqSM/Fs I/4HD7gfxGPuYbN/tFTk6p2mjY1VH9do+0BTngxyu5MqQKRLTA5dLwGEJA8FJtrvDT418j4a BHzfWISM3jBcgoeQyrswubIf1m5NrQVN8bbNw4Z2RqeSx2LCbOqBJpj8SZd4ElKRAbz8dH/K f8i1y3xGjOT3qBWQf0i463noOV/mdLf6HE62WH8tM3QLSggIKov7yVeJjZgSSadMcXpkRSSK UcXW2x7HUKfT2TgG51af08OIgkT5m/yxW4WNS2gkcjWqtiZxrcYydnUGeL64pscZuskeZ8MQ nLWQTOWwma0g3Y8h4ogi+gLs4RVV82ZO9ecF7DyYzEdhISy4TkDE+JeuHNXV+Ak2gpUM22Fp wmW+3JkWXi0chFA6oOZ2SAi2sxUQHkTKxrrkQSmhzvNsSJh/ujjYxLwkT7Kc8DhmZPC4Xddb iwZNnuKglusszDhmzlym9IbqnGDAuATDXP0aT8pfLyjjiaTTHJhK54533EYz95x9Fh29rdQf ouV0PQ//9upYHrelUSs1tIUeaNuoLo9CxwOwe2htg5iEtyrkpj3aZClI7K9VRwfmgxyRU9H6 MDIdljDEkjDhGG9hNC+VxH5EPSQK4hU1o7ULH0SMPoC4/qi/8FanJS1pw6zZA5RSKONE56Za 1nc6uq6FhBxJkzxbs9XgRAz9YGwFSdG6B36nkW9XLOI//Hvxo2qaYIlJkwYMwmCSXxqMHxh5 xHyTf30tdbl+hS5vy0YOnuu27kdH2DcLp88EnXD8reBGsnTh4Jrgqib9PesqiUcYr59HYUJ6 VIA04QBERvN/jBaeRx9viGnod0F//FyyUJiww0IoAiWpP7L
  • Ironport-hdrordr: A9a23:Uf/cjashwBsZ5q7SEJ5JMLTT7skChYMji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJhBo7+9EYGdXHXX7o5t/OAqTM6ftXrdyQ6VxeBZnPPfKljbdxEWmdQttp uIH5IOb+EYbmIK8PoSgjPZLz9I+rDunsGVbI/lvg1QpGpRGsddBmlCe2Km+wFNNWt77c1TLu vm2iMLnUvURV0nKuCAQlUVVenKoNPG0LrgfB49HhYirC2Dlymh5rLWGwWRmk52aUI5/Z4StU z+1yDp7KSqtP+2jjfaym/o9pxT3P/s0MFKCsCggtUcbh/slgGrToJ8XKDqhkFAnMifrHIR1P XcqRYpOMp+r1vXY2GOuBPonzLt1T4/gkWSuWOwsD/Gm4jUVTg6A81OicZyaR3C8Xctu9l6ze Ziw3+Zn4A/N2KKoA3No/zzEz16nEu9pnQv1cQJiWZEbIcYYLhN6aQC4UJuFosaFi6S0vFuLA BXNrCQ2B9qSyLXU5iA1VMfj+BEH05DVytue3Jy8PB8iFNt7T5EJ0hx/r1vop5PzuN9d3B+3Z W7Dk1ZrsAzciYoV9MDOA4ge7rFNoWfe2O/DIvVGyWQKJ06
  • Ironport-phdr: A9a23:fQzJExVq06Ol3bmZg5CL9Y2jTJnV8Kw9XTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9idt6oUwLaI+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oI xi6sQbcusYZjIZjN6081gbHrnxUdutZwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q 6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8 qxmRgPkhDsBOjUk9mzcl85+g79BoB+5pBJxzYDbbp+VOvRjYqzScsgXRWVdUstLTSFNHo2xY okJAuEcPehYtY79p14WoBW8GwasAuXvyj5Ohn/5wKY3zv4uERrB3AwkAt0FrXPZrNXvOKgJS ++1167IzTHeYP5N3Tf96ZLHfQw6of2WWbJ/b8vRxlQxGAPDk1WQr43lPy2P2uQLt2iW9uxtX v+ghGA7sQ9+uCSvxtsyhYnTgIIY0kzJ+Cd5zYg6KtO0VEB2bN6gHZZNsyyXNIR7T8c+T29op Cs3ybIItJC7cSQUxpkq2QDTZuKZfoaH4hzuSeafLDd+iXl4dry/gBOy/lKhyu36TsS0zU5Kr jRfntbSrXABzwDT68ifSvRj5UetwzCP2BrW6u5aJ00/iKnVK4Y5z7M/ipYfq1nPEjP0lUnsk aObeV8o9+io5uj/fLnrp4OQOoFxhw3jLqghgM2yDOE7PwQSQ2SW/Pmw2KPi8ED8RbhGkOM6n 6/Eu57AP8sbvLS2AwpN34Yj9Rm/CzCm3cwXk3YJMFxJZA+Lg5HmNF/BPfz0FPC/jE+ynztxw PDGI6HhDY7KLnjelrfuYKxx61ZGyAo00dBQ+Y5bCq0AIPL0XE/9rtvYDgIlMwywxObnD9Z92 pkCVmKIB6+VKKLSsVmW6eIzO+SBa5MZtCzgJ/Q55fPil2I1lFAHcaSp3ZYbcHW4Ee5nI0Wdb 3rsmNABEWISswo+VuDlk0eNUSVUZ3a2Qq0x/TU7CIO8AojfXYChmriB0zm6HpJLeG9GDE2ME XHpd4WaQfsMbiaSLtdnkjMfTbehUZMu1QmytA/mzLpqNvfY9jUCtZ3/zNh1+/HTlRYq+DNoC MSdyniBQH1wnmMVXDA7x7t/oEx4yleby6d0mf1YFdpJ5/NISAg2L5Dcz/YpQ+z1DwnGZ5KCT EusCoGtBih0RdYsyfcPZVx8EpOslEaQ8TCtBuo1mrqNBZo7uojVxH/1K44pyzDM3bImi1UOR spGPnbggqN++wXVGojIjQOfk/D5JuwnwCfR+TLbniK1t0ZCXVsoOU2kdXUWZ0+N6M/8+luHV Li2T7IuLgpGz8eGbKpMcNzgy1tcF7/4INqLRWW3li+rAAqQgKuWZd/qPW8UxyLZBGAAkgkY5 jCCOAkyCyG8pWPASjpqRhr0e025yeBlszugS1MsiQSDbklvzb2wrx5Tj/WHTPcf9rYFsSw67 TF5HVqw2c/QCsTGoQ4yNL5Eb4YF6UxcnXncqxQ7PpGkKPV6gUUCdg1so070/zhKMN0Z1PYH9 TYtxgc0Lr+E2lRccT/exYr3JrDcNmj1+laodrLS3Vbdlt2R/8/j8dwerFPu9EGsH0smqDB81 sVNlmCb/tPMBRYTVpT4VgA28QJ7rvfUeHt14YScznBqPaSu112Kk9s0GOsozAqhdNZDIeuFE gH1CcgTG8mpLqQjhVGoahsOOO0a+rQzOouqcP6P2ajjO+gF/nrujSJN6Zt61k6k8yt1QfWO2 5sEz/yeww2GSXH6iBbps8z6n5xFeSBHBnC2mk2GTMZaYqx/e5pOCH/7f5Xxn40hwcexHSMFp zvBTxsc1cSkeASfdQn41AxUjgEMpGC/3DC/13pymi0oqayW2GrPxf7jfVwJID0uJiEqgFHyL Iyzl91fUlKval1jlF2v7F39w6RzoKV2JHKVRUpJcyXwMmdjTO22svDRBqwHoINtqihRXOmmN BqaDLT0uBwe3wvnHmJV33Y/ejCmt5PkmR1kzmSZZiUWzjKRaYR7whHR48bZTPha028dRSV2v jLQA0C1I9ij+dj8e47riumlTCrhU5RSdXKu1oacrG6g4nUsBxSjnve1k9mhEA4g0Ca92cM4H SnPqR/9ZMHs2cHYeapnOENhH1j45+J+G4h1ic00iZAc1H4HgJSLu3wD2Wv+KtRU36viYWFFG WZNmoaKplG5nhA+ZnuSouCxHm2Q2M5ge8W3bisN1yQx4toLQKaY4bpYnDdk91+xrAbfe/94z X8Wzfoj7mJfgvlc5FJrl33CROlOWxQFbkmO31yS4tuzrbtafjOqeLm0jw9lmMy5SaqFukdaU Wr4fZErGWlx6N9+ORTCyi6WiMmsdd/OYNYUrhDRnQ3Hir0fKNQ7n+ENgSZPPWP0tmZjz+M6g RFowJe7os6BLy8+mcDxSg4dLTDza84Jr3vty6xXhcGS06irH5xqAXMPUZrkQPS1FjMM8/Ljf VXrcnV0ujKQHrzRGhWa4UFtoifUEpylAHqQIWEQ0dRoQBTObFwamg0fWy8224IoDg3/jtK0a 193v3pCgzyw4gsJ0O9jMAPzF3vStBv9IClhU4CRdVJX9l0Qux+TYJbYtqQrWHgFtpy58F7Rc irCP1sOVSdRHRXaYjKrdri2uYudqa7BXrL4d72WJuzS4e1GC6XRnc7pjtQgp3DUcZzQdnh6U a9h0xIaDykgQpbXx21XGX5Qy3KoDYbTpQ/iqHd+9pntqa2yCgyzvdDdWfwOYJ1u407k267bb rzJ3X8rJ2oAjcFcnSeQmupYgQZ36WkmdiHzQ+4J7XefFfuJyKELV0VJYHsrbJkaqP9llghVZ 5yBg4ushOch16w7Vw8eB1K5wpn7N4tXeSn4PVfDTi5nLZy+LCbQi4HyaKK4EvhLiflM8ga3o XCdGlPiOTKKk3/oUQquOKdClnPTMBtbsYC7OhFjbAqrBMrhcQG+OcRrgCce7IAO3iqPC0NFd D92fgVKs6Ga6j5ejrNnAWtd43F5LO6C3SGE8+3fLZVQuvxuZ0Y83+5X+3U1zbJJ4ToMGKQzw XON6Icy5Qz72uCUgiJqSh9PtipGiMqQsENuNL+YvphMVHDY/Q4cuGWdDxNZwrktQtbruq1W1 p3OjPevcHEbq42SpJdaWpWHTaDPeGAsOhfoBjPOWQ4MTDrwcHram1QYi/aKsHucspk9rJHo3 psIUL5SElIvRZZ4QgxoGsIPJJBvU3Yqi7me2YQIo3C3tx7VSO1ev5nMTbSWDPTjJTCEi7haI R0Mi+CdT8xbJsjg1kpuZ0Mv1pzNAFbVVMtRrzdJQzIO+BwIzlUnC2o51gTidx+n52IVGbish BkqhwBiYOMrsjDx/1MwIVmMryw12hpU+52tkXWadzj/K721VIddBn/vtkQ/BZj8Rh58cQy4m UE3fCeBXb9aiKFsMHx6kAKJ84UaAuZSFOcXBX1YjeHSffgj1k5Q7zmq1VMSr/WQEoNszUMra cL+8yoGilglNJhtYvWNbKtRkgoM3uTX5nDujqZph1ZAQiRFuGKKJHxV4gpRbuFgf2zwubUwo Q2ax2kaIDRKC6Vs+rQysRpic+WYkXC62uYaeBnobr6Rc/vB6TqHyZ7tIBt411tWxRNMpeEki J56IUTIDxt9nvzNRlwILZSQcwgNNpgLrSGBc3rW6redmcotbdf6S7iNL6fGtb5K0BitRF97R t1VvMpdRsL+2xmAdZW1a+NcgRQ1ulaxLQ3cXq0QIUCFzG9c8c/nlMclj84AfHlYCGF5e01fB 576mzVy2b+9cY5zZX0XGIwZKngxRcu23TZDuGhNByW21eRfzxWe6zj7pWLbCzyuNrKLi9+QZ BpnE5ey9DQz/q6rj1/JtJPadTiS3TFKvt7G4vhco5uGB/5SUL98rQHan9sAL0E=
  • Ironport-sdr: 64831816_0z5xEPdKL9kC5uYSZXrKW/N4f7QWTF0i44EVDPlSuxf2Sck IdQIZ74LhaWlfjdkckmQgnaLjaZUzbYiMMokjWg==

The Types conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications. In the week from June 14 to June 15 2023, the next TYPES conference will be held, see https://types2023.webs.upv.es/

We are looking for scientific organisers for TYPES 2025 who will be the chair of the program committee and also be one of the editors of the post-proceedings in the LIPIcs series of Schloss Dagstuhl. If you would like to to host TYPES 2025, then please send an email to Henning Basold <h.basold AT liacs.leidenuniv.nl> or make a proposal during the business meeting at TYPES in Valencia. You can see where TYPES has been hosted previously on the website (https://www.types.name). We prefer proposals from countries where TYPES has not been for a long been/never hosted physically.

Henning Basold on behalf of The TYPES steering committee

Attachment: OpenPGP_0x2D55C55324B97007.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature



  • [Coq-Club] Call for TYPES 2025 location, Henning Basold, 06/09/2023

Archive powered by MHonArc 2.6.19+.

Top of Page