Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023


Chronological Thread 
  • From: xu AT math.lmu.de
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023
  • Date: Wed, 10 May 2023 22:21:54 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xu AT math.lmu.de; spf=Pass smtp.mailfrom=xu AT math.lmu.de; spf=None smtp.helo=postmaster AT mail01.math.lmu.de
  • Ironport-data: A9a23:l9yS8qlcfkKCU026RnejOODo5gynIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIbXm7Uaf6OMWOnedl2Pduw901U7ZfTmN8wSwJrqStjQ1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYzN8B56r8ks156yv4WtA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1WLk5vM9IG9N16AF1hx aYmFgAXNzSM0rfeLLKTEoGAh+wmJcjvZNpZv3h8zXfdCOtgTZ2rr6fivIUJmm5g2YYXRK+YP JBxhTlHNHwsZzVfJ38SAY4+2uOtmz/zflW0rXrI+PRnuTSKlGSd1pDBIYTqY+arY/55l3+Yi D/A9VTaGk0VYYn3JT2tqCj92LGew0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 0kd+y529O43/VCrCN34Qlu0rRZooyLwRfJoMeJj5l6TxJHZ4jq2NjI6cA5bMfgp4ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kQ5eKRT5PkdeNXVcF1dtD83L+dht1EqSJjp2OPft5uAZDw0c1 BimgUDSbZ02kMgK3KXTEbvv02r9/cmhouIdzAzJV3ik52tEiGONYoWp7QCCq/NJMIbfSlyc+ nQJ8yR/0AzsJc/W/MBuaLxTdF1M2xpjGGeC6bKIN8J5nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYpM9nuV592lvS9RIiNuhXogjxmP8MZmOivoXoGWKJs9zmx+KTRufpuZ M/DIa5A815EWPUPIMWKqxc1i+V6mH5vmws/tLj/whWt17uMIWSYQrcINkmDaPwj8absnekm2 4g3Cid+8D0GCLeWSnCOoeY7cwtQRVBlXs+eliCiXrLfSuaQMDp7UK65LHJIU9ANopm5Yc+Ro iDlAhcEkgKj7ZAFQC3TAk1ehHrUdc4XhRoG0eYEZD5EAlBzMdj937RVbJYtY7gs+cpqyPM+H bFPeNyNDr4LAn7L8igUJ8u15oFzVgWZtSTXNQqcYR87Y8FBQS7N8YTaZQfBznQFIRe2ksocm Iee8D3nb6ANfClcKfrHSemOygqxtEcNmegpUErvJMJSSXrW84NrCnLQi6Y3Kv4TNjD4myer5 zyRJRIIueX2/owHy/jSpKW+t4zyOfBPLklbOGj67LiNKijR+FS487JASOqleTP8Vnv+3beLP cF57qvZHqUcvVBot4FcLe5a/Zgm7YGym44AnxVWInrbSn+KVJViGyCi9utSvPRvwrR5h1OHa niX8IMHBYTTadLXK39PFg8Lde/Z6Oo1nAPV5vELIEnXwi970b6EcEdKNSm3ly1vA+ppAbwh3 NselpYa2y6nhjouF+S2vCRe2mCPD34HCqscps47Bq3vgVEV0V1sW8HXJRL3x5CtUO9yFHcWD AWav4f4vIQE9HH+KyIyMVPvwdtigY8/vUEW7V0aeHWMtNn3pt42+xxz7QUHdANxywVb39kuO VpQFlZUIJ+W9GxCn/lzXGGLGiBACiaG+0f39UA7qW3BQ2SsVU3PNGcYK8/V2Gw4qUdyJiN6+ pOcw0bbCQfaRtn7hHYOaBQ0us7dQsxU3SycvsKeRuCuPYQwOBjhiY+QPVs4kQPtW54NtReWt NtR3bhCbIPgPnQtuIw9MY6R0IoQRD2iJGBvRfJA/rsDLVrDeQOdiCS/FESsRvxjf/D601e0K 8hLFPJ9Ux6T0CWvrDdCC5UcfJ5yvvoiv+QZdp3ReGUpjrq4rxhSiqz2yBTQvmERfohRoZ4PE b+JLzOmOU6MtERQgF7I/ZVlOHLnQNwqZz/c/eGS8ccVJqI5t8VpYV0+6ea3jU60KypixQqf5 ynYVp/Vzstj6IVipJTtGaN9HDeJKcv/eeCL0QKrufFcRIvrHeaUki1NsXjhHQBdHYVJauRNj b7X7eLGhhLUjog5Q0XyusenFZAQwe6QQeAOEMb8DEcCrBu4QMW2vicyoTGpG6dozuFYyNKsH TajSc2KctUQZddR6VtVZwVaEDcfE67HVbjhlwzss8WzDgUh7iKfIOOF7XPJaURpRh0MMbD6C S72vK+g2IkJ5sAEThoJHOpvDJJEMUfuE/luPcH4sT6DSHKkmBWes7/ljgAt8izPFmLCKsvh/ JbZXVLrQXxeYk0TIA1x6OSefyH7DUqRRcE1d0MZo4cwjjmmDCgCKPlbPZhu5lS4VMDt/MmQW d0PRDJK5ebBsfBsdBzg4JLnWxrZCuFm1hLROGky503NA8upLNroPVainxuMJ19zcyfjiuWiN JcS9xUc+/R3Lo5BHY4u2xBwvQurKj42CJ7FFYARXvEe2yojPIg=
  • Ironport-hdrordr: A9a23:n5GRf68RWWiuPEOV4kluk+DFI+orL9Y04lQ7vn2ZbSYlF/Bw9v re/8jzuiWYtN98Yh4dcLO7Scu9qBHnmaKdiLN5VdzJYOCMggqVxe9Zg7cKjweBJxHD
  • Ironport-phdr: A9a23:0r3VJhMjGTeeRu2Lrjol6nY3BhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1wOXFtyBtrptsKn/jePJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYwhEnjSwbLxzI Rm5sAndqMkbipZ+J6gszRfEvnRHd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U 6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4 qt3VBPljjoMOjgk+2/Vl8NwlrpWrhK/qRJizYHbfI6aO+dlc6PBYd8WWXZNUtpLWiFDBI63c osBD/AGPeZdt4T8qEYOoAC7BQa2GOPvyiVEhnvz3a0nyeguDB/J0Qo9FN0BrHrats/6NLsOU e+r1qnIyy3OYf1I1Tr/9YTGfQ0trPCMUL5sf8fc1EoiGQzbglmOqIHoMDCY2vgMvmWY8+dtV eKhhnInpQ1trTaiycYhh4rGi48T11vK+yJ5wIMvKt25Tk52ecOkEJ1Rty2DMot2X90tQ2d0t yY61LIGv4S3czUUx5kh2hXRaOSHfpCV7h79UOudOyp0iXFndb6lmhq+7FWsxvfyW8WqyFpHo StInsPRunwQ2BHf8NWLR/ph8ku71zuC0wbe4fxeL08uj6rUMZshz6YwlpUNtUTDGTf7mEDsg 6+XckUo5vWk5/7iYrr8up+cN5V4igX7MqQzgMCwHPo3PhAPX2id5+u8yKXu8VDnTLhOlPE6j 6rUvZLAKcgGu6K1HhVZ34g95xqnCjepytUYnX0JLFJffxKHipDkOl7TIP3jCPewmUiskDdxy /DCO73hH4/BIWXdn7v5e7Zy8FZTyBAvwtBH+5JUFrYBLeruVkPprtzXEgc5MxCow+bgENhyy oQeWXuWDqCFNKPSrESH6/k0I+iMYY8VoCzyJ+Ik5/7ol385mEUScbOn3ZsNOziEGaFtJFzca n7xiP8AF30Lt0wwVr/EklqHBC5OT3O7Q6J64jQmTo6rXtSLfZyknLHUhHTzJZZRfG0TUjhkc F/tfoSAALIXbT6KZ9RminoCXKSgTIko0VevshX7wvxpNLmc4TUW4LTk0tU9/OjPjVcq7zUhH 9m11miRTydwm35OSzJllLtnrxlFw0yYmbN9n+QeENVS4/1TVQJvJYP0yuVmC5b2Xx+HctraA E2+TICABjc8Bsk038dIY0t5HIC6iQvf2iOxH7IPv7mCBZhsq+TZ1mTxYcJ41jDK2cHNlnEAR c1CfS2jj697rE3IApLR1l6ej+CsfLgd2yjE8CGCy3CPtQdWSlw4V6KNRn0ZakbMyLaxrkrfU 7+jD6gmOQpd2IaDLKVNcNjgkVRBQr/qJt3fZ2u7n2r4CwyPw/uAa4/jemNV2yu4agBMgx07+ H+aNU46Azrnr2+fRD1iGFTzYl/9pPFkoSDzRUs1wgeWKkx5guPvq1hM1aPaEqpKmOle60JD4 31uEV2w3szbEY+FrgtlJ+BHZM8lpUxAzSTfvhB8OZqpK+ZjgEQfekJ5pRCLtV0/B4NenMwtt H5vwhB1LPfSwE5pcjqE3db0P6CRJmS4r1i/LrXb3F3TyoPc6ron7f0kqxPnuRzvGkdooBAFm 5FFlnCb4JvNFg8bV5n8B102+xZNrLbfeiAh5onQ2BWAKIGMuyTZk5IsDeohkVO7estHdbiDD En0GtEbAM6nLKornUKoZ1QKJrIa+KkxNsKgP/yIvczjdPZ9tDevkWQB5IVglE6BvyZxUe/H2 Z8ZzurQh1HWEW6s0xH465mxwtoMbCpaBmelzCn4GINdLrZ/e4oGEybLQYX/x9lzgYLsR28N8 VeiA10c38r6MRGWblH7wUhRzRFO+y3hwHvniWUtyndy9Pn6vmSG2enpeRsZN3QeQWBjiQypO o2ol5UBW1DuaQE1lRyj7EK8xq5Bpa05IXOAJCUANyXwMWxmVbO987SYZMsaooM1mSBeTOT6Z VWHDLLw6UhSw2b4Em1SySpuPSG3kpDwgxw8jGeAanp+5im8G4k41VLU49rSQuRU1zwNSXxji DXZMVO7OsGg4dSek5qQ+vD7TW+qUYdfNDX61Y7V/jXu/nVkWFfs+pL70s2iCwUx1jX3ksVnR Tmd5gipeZHljuyzY/liYlEuAVbg64x+H5w4noZV5tlY0CoFj42Q9HsD12L6LdUd3afjKnYAD TdDwtje5BXp1R9UNWqHgYfwV3HbxtFzIdW3KnUf3iZ3hyxTIIGT6rEM3S58o17j6BnUfeA4h TAFj/0n9H8dhegN/gsr1CSURL4ITwFeOmT3mhKE4srbzu0fbXuzcbW2yEt1nMywRLCErAZGX X/le5AkVSZu58R7OVjI3TX98IbhMNXXaNsSsFWTnXKix6BNL4ktk/MRmSd9EWf0vHl9kqg+h ABum5W/oc6LJiQl/a60BAJZKiygZ84X/WKI7+4WlcKX0oazW5R5T2xRDd2xHa3uSWtL86+9Z GPsWHUmp3yWGKTSB1qa4UZi9DfUFoyzcmqQPD8fxMljQx+UIApehhoVVXM0hM1cdEjiycr/f UN+/j1U6ET/r04G2v9AMhDjUiHboRruZjp+G/39ZFJGqxpP4UvYK5nU9uVoAyRR5YGstiSII 22fP10OCGgVWgqAAk2lMrTktryiu6CIQ+G5KfXJe7CHr+dTAuyJyZyY2Yxj5z+QN8+LMxGK4 NU+01ZDG3R8BoLVlmdWI8T2vyfEbsrD/VG58zF36MS67bLnVVC3jWNqI75bLdUp/xWrx6uOZ bb4uQ==
  • Ironport-sdr: 645bfce5_2wbbdo4L5HUQnITei2tbY97aC+v0ZV9vFsY+HGzNZq9s0c+ ca7H2pIQjbzfqYF++17RAXjmPvNg8Hx+jbHkC5g==

[Second call for participation. Apologies for the multiple postings.]

Autumn school "Proof and Computation"
Herrsching, Germany, 10th to 16th September 2023
http://www.mathematik.uni-muenchen.de/~schwicht/pc23.php

This year's international autumn school "Proof and Computation" will be held
from 10th to 16th September 2023 in Herrsching near Munich. Its aim is to bring
together young researchers in the field of Foundations of Mathematics, Computer
Science and Philosophy.

SCOPE
--------------------
- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs

COURSES
--------------------
- Stefania Centrone: Husserl on the Totality of all Conceivable Arithmetical Operations
- Yannik Forster: MetaCoq
- Hugo Herbelin: The logical structure and computational contents of choice, barinduction and related principles
- Matthias Hutzler: Introduction to synthetic algebraic geometry
- Georg Moser: Cichon's conjecture on the slow growing hierarchy
- Andrea Rechenberger: Philosophy and history of computation: Turing machine
- Monika Seisenberger: Extraction of programs from proofs

WORKING GROUPS
--------------------
There will be an opportunity to form ad-hoc groups working on specific
projects, but also to discuss in more general terms the vision of
constructing correct programs from proofs.

APPLICATIONS
--------------------
Graduate or PhD students and young postdoctoral researchers are invited to
apply. Applications (e.g. a self-introduction including research interests
and motivation) should be sent to

Chuangjie Xu <xu AT math.lmu.de>.

Students are required to provide also a letter of recommendation, preferably
from the thesis adviser.

Deadline for applications: **31st May 2023**.

Applicants will be notified by 28th June 2023.

FINANCIAL SUPPORT
--------------------
Successful applicants will be offered **full-board accommodation** for
the days of the autumn school. There are NO funds, however, to reimburse
travel or further expenses, which successful applicants will have to
cover otherwise.

The workshop is supported by the Udo Keller Stiftung (Hamburg), the
CID (Computing with Infinite Data) programme of the European Commission
and a JSPS core-to-core project.


Klaus Mainzer
Peter Schuster
Helmut Schwichtenberg



  • [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023, xu, 05/10/2023

Archive powered by MHonArc 2.6.19+.

Top of Page