coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
Chronological Thread
- From: Chuangjie Xu <xu AT math.lmu.de>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
- Date: Tue, 17 May 2022 22:02:32 +0200
- Authentication-results: mail2-smtp-roc.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:2N3gY6xrHb0Y7htlFXp6t+f4wCrEfRIJ4+MujC+fZmUNrF6WrkUDm zBJCm7SPvncamb2c9AgOoW29EsGu5eHytRnHQc++FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvQ4 Iyq+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPh7z dZ9tafzeDsvJ6zmh+8gXTZCFCJHaPguFL/veRBTsOSWxkzCKyKqxvxyDAcyOJBe9usf7WNmr KZJbmldMVba3rvwm+jTpupE3qzPKOH7Iasas21gizXcELAqTPgvRo2Ru48AgWxg2aiiG97xQ NRGdSJxay3qfjJNBGYPT8kvlsSR0yyXnzpw8gjE+/RmvQA/1jdZ27/0ddHRZ9aiXtRQhk/ep 2Tc/m2/DAtyCTCE4T+M83b036nKlD/7HoYXCfu0+5aGnWF/2EQZDR4mVWD4kMW/k0+URNliJ WMO/SkX+P1aGFOQcvHxWBixoXihtxEaWsZNH+BS1Dxh2pY48C7FVjFYF2EphMgO7ZZrG2Bxv rOct4qxXWQHjVGDdZ6K3pu5xd9YEQ0IK24JZUfopiNVu4K4++nfYjrlR8hqCq+85uAZ9Bn1y jGO9HF4grwPjYgP0rj98V2vb9OQSnrhEFddCub/BzzNAuZFiGiNPN3ABb/ztqcoEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AAyRcl4rW73qyb7I+i8BQ2Swm83aq7onhe3O CfuVf95vcc70IaCNv4qO9rhYyjU5fGwRI6Nug/ogipmOMIgKlHWokmClGaU0mHnlkk+1LsyM peWd9ShC2oAFKEP8dZFb7l17FPf/QhnnTm7bcmin3yPjOTCDFbIF+ZtGAbeP4gRsfLfyC2Io ok3H5XRkX13DrahChQ7BKZOdzjm21BhW8CvwyGWH8beSjdb9JYJUKGNkOt8Id08xsy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz2tfUafoc3O70i6apvwKcsH fUCfsyBBNVJSyjGomhMM8Oi8dY6LBn71xiTOyeFYSQke8AyTQL++uj7c1a97yIJFCe265cz+ uXyygPBTJMfbA1+F8KKOum3xla8sCFFyuJ/VkfFOPdJf0Do/NQ4IiD9lKZuccQFNRWFwj6Hk QqbWE9Kqe7Iqo4z0d/ImaHd89b3SbQjRBICEjCCv7isNCTc8m6y+qN6Ub6FLWLHSWf52KS+f uELnfvyB/0wg1sX4ZF3FKxmzPxi6oK39aNa1AltAF7Cc0+vVuF7OnCD0MRC6v9Ny7tetVfkU 06D4IAKa7CAOce9SRgULRYlKOCGyLcYl2CKv/gyJUz74g5x/aaGCBkDYUPT1XYFdLYlYpk4x eoBudIN713tgxUnBd+KkyRI+jneNXcHSagm6skXDdO5kAYt0V0eM5XQBjWvsMOKYtRIahBsJ zaIhOzGgqkaykebKyg/En3E3Ox8g5USuUkWnQFYeAnTwoLI1q0twRlc0TUrVQAEnBxI3tV6N nVvK0Aod76F+C1lhZQbUm2hc+2b6MZ1JqAlJ5o1eGzlo42AU2XMKDVkf+OE4EBf92dBODRWl F1dJKAJTh6yFPwdHANrMaKmlxAnZdl46g2EnMW6WciId3X/SSSwmbegPALktDO+af7cRyT7S S1C+e9saev/MDNWr6BT50x2E1gPYEjsGVGuis2NME/E8a8wtd1yNfWzx5iNR/5w
- Ironport-hdrordr: A9a23:rAZ7sKApY2iKR+HlHenJ55DYdb4zR+YMi2TDtnoddfU7SK2lfq yV9sjzqyWbtN9hYh0dcLm7UcHqfZq2z/FICOcqXYtKJDOW21eVEA==
- Ironport-phdr: A9a23:BNgN9RcCUcdXa1LbcBelC6yolGM+j9XLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG9iEoKsf2qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNbQhEnjqwbLF9I BmrowjcstQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2U bJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5 KptVRTmijoINyQh/W/XlsN/g79VrhGvqRJhxIDZe5uaOOZ7fq7HfdMWWXRNU8BMXCJBGIO8a I4PAvIfMOZYsonyvV0OrRS8BQmtGuzk1z5HhmLr1qA93OUhDBrL3Ak6ENISsHTYttH1NKIPU eyv0abH0yzOYvVL0jjy9IbGaAouoe2QXb1ua8rRz1EiGh/bg1iNpoLrPy2Z2OoTvmWb8eZtV fyihnA5pwxsoDWhxskhh4fLi48RyV3J8SZ0zYYrKNGmVkJ3fd2pHZRNuiycKoB4TMQiQ2Ryt yY7zL0LoYO7fC4LyJg+wh7fduKIc46U7RLjSumRJy10i297d7+5mh288lCgx/XhWsWq1FtGt DdJn9rOu3wXyhDf99WLRuFz80u/wTqC2AHe5vtHLEwqj6bXNZEsz70qmpYOsUnPACn7k1jsg qCMbEUr4O2o5vznYrr4op+cMJd5igTkPaQvnsyzHfk0PhILX2eB5eS81Kfv/Un8QLVXlPE5j 7fWvIjbJcQduKG5HxdY3ps95xu7FTuqzdcVkHsdIF5YZR6LkpLlNl/QLPzgCPewmVWskDNlx /DcOb3hB43AL3fekLr6eLZy8VJcyAopwdBb4pJUF6sNL+/tVUPpstzXFQc2MxaozOb/FNV9y oQeVHqSDqOBKqPdrUeI5v4zI+mLfIIapDH9K+E86/HyiX85hEQScLKy3ZoXbXC4Bu5pL1+YY XrqmNcBEH0FshAwTOzw2xW+VmtYYG/3VKYh7Bk6DpinBMHNXNODmruEiQy7A5RQaWJHBxi8D D+8Z5isXv4QaGSWJ9InnjFSBuvpcJMoyRz77Fyy8LFgNOeBokXw1Lrm3dlxvajIkA0qsCZzB IKb2n2MSGd9miUJQSU31eZxux810U+NhI5/hfEQDtlP/7VRSA5vJYP0yuVmC5b2Xx+HctraA E2+TICeCCoqBsk038dIZk98H9u4iRWWzzeCBrYJl/qPAYFy/q+Pl2PpKZNbzHDLnLIkk0FgQ sZLMji+gbVj8gHIG4PTu0CQlqLyLOIZ1TLNsmOG0CyCsSm0SSZWVqPIFTAab0rS95Hi41/aC qWpAvIhOxdAzsiLLu1LbMfohBNIXqWrPtOWeG+3l2qqYHTAjrqRcIrnfXkc1yTBGQAFlQ4U5 3OPKQk5AG+ovWvfCDVkEV+nbVnr9KFyr3ayT0l8yA/vDQUpx6ed/xcJhbqYTu5V0r9F8CYtp jNoHUqsisrMAonIrA5gcaNAJNIltQ4dhCSA51M7Z8X5afs41Tt8O0xtskjj1gt6ENBFmMku9 jYxyRZqbLif2xVHfi+Z2pb5PvvWLHPz9Vahcf2zuBmW3dCI96MI8Pl9pU/kuVTjBlcK9nx70 59R1mba6piAX0ICFIn8VEo67U0wt6zyZyAh58XQ0GAqPaT+4Vqgk5o5QeAizBinZdJWNqiJQ RTzH8MtDM+rMOU2mlKtY3roJchq/bUvd4OjfvqCguuwOfp42SihhiJB6Zx81USF82x9TPTJ1 tAL2aPQ0gyCXjb6xFCv16K/0ZBZTTQbAmr5zS35QoJcLqF/ZocED26yLtb/n48vwce9BDgBr QflXAlO0dThYReIal3hwQBcnV8ap3Cqg2rdrXQ8kj0kqLaewD2bxu3jcBQdPWsYDGJmjFrqP c21l4VDBhnuNlh20kL8vAChnfs+xuw3NWTYTEZWcjKjKmhjVvH1rb+ee4tV75hutyxLUeO6a FTcS7jnohJc3TmwegkWjD09aTyuvY302hJgj2fIZmZuhH/QZcE2wRLCotDRD60Zzn8dSS90h COCTEihF9yg4dXSk5Le9OyzHTHENNUbYWzgyoWOszG+7GthDEiknvy9rdbgFBAzzS7x09Q5H TWNthv3ZZPnkrirKe8yNFc9H0fysoApf+M22pt1npwb3mIWw4mY7WZS23mmKs1VgOr3PmEIW SZNxtfJ4E7h3VAlIn/spcqxXyeCy9Nkbti+JGYfxiJ768VXTquZpLUMiyJxphDQQRv5R/97k 39dzPIv7CRfmOQVoE83yS7bBLkOHE5eNCiqlhKS7tn4or8FLGCoOaO90kZzh7XDRPmLvx1cV XDle5wjAT4478NxN0jJ2WHy7YesccfZbNYavBmZ2xnaiO0dJJU0n/sMzS1pXAC19WUi0PI+h Ady0IuSuYGGLz00uqewHh4eMjjoIc8eu3nsgatYgseKztWvE5FmSVBpFNPjSfOlFi5XtOyyb lzfVmRs9THCQOOZRlXMjSUu52jCGJ2qKXyNcXwQzNE4AQKYOFQamgcfGjMzgp8+EAmugs3na kZwoD4LtTua4lNBzPxlMx7nXyLRvgCtP30kVbCaJQZWqAVH+gHZPIbNi4A7VzEd5ZCnoAGXf yaDYB9UCGgSRkGeL1XqP732vJ/F+vSYQO67Mr3CbP/dzI4WH+fNzpWp3Ix8+j+KPcjaJXhuA cow3U9bVGx4EcDU893qYykeiyKLa8uG4huxqHUfRi+X9f33WETr4JbJB7YAaL2HGjiziKaHb 7fWgS9lKXBc045KyXKakNAi
- Ironport-sdr: 9YRV9UIVCnPU1uUFasTp6arUAEfTrgRRIu8/IqCD0tbPA+Z/NgMbBb6T7EyTSH7GqPBtBbuyGt vt/c/Wu87onGQLlo+l4W/dy2yEvr4G2ExIUq1lqiBiTK4JRMEWA02g9mOe9TtJO6PhAfz5Rml4 eammZfoODIDkIP8dC8eqtqjDciHPEUvhbtDLdf5VjFIBy6jQhxmGjATQ0fw1dmUhAj0vK/rib8 0OCfJRywGfzIlLJLcqtPxTrTHp3HHCdnUoADOmfZx5oOWo05lxtrP6RoA2YauMFSNndWAAAx9v vVXdpO6czENWulw348WfrjCs
[Apologies for multiple postings.]
Autumn school "Proof and Computation"
Fischbachau, Germany, 26th Sep. to 1st Oct. 2022
http://www.mathematik.uni-muenchen.de/~schwicht/pc22.php
The fifth international autumn school "Proof and Computation" will be held
from 26th September to 1st October 2022 in Fischbachau 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
--------------------
- Steve Awodey: Categorical logic
- Marc Bezem: Coherent logic
- Hajime Ishihara: Reverse mathematics in constructive set theory
SCOPE
--------------------
- Predicative Foundations
- Constructive Mathematics and Type Theory
- Computation in Higher Types
- Extraction of Programs from Proofs
COURSES
--------------------
- Steve Awodey: Categorical logic
- Marc Bezem: Coherent logic
- Hajime Ishihara: Reverse mathematics in constructive set theory
- Klaus Mainzer: tba
- Stefan Neuwirth: The philosophy of dynamic algebra
- Frederik Nordvall Forsberg: Universes of data types in constructive type theory
- Monika Seisenberger: Extraction of programs from proofs
- Chuangjie Xu: Various approaches to computing moduli of continuity
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 researches 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: **27 May 2022**.
Applicants will be notified by 20th June 2022.
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
- Stefan Neuwirth: The philosophy of dynamic algebra
- Frederik Nordvall Forsberg: Universes of data types in constructive type theory
- Monika Seisenberger: Extraction of programs from proofs
- Chuangjie Xu: Various approaches to computing moduli of continuity
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 researches 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: **27 May 2022**.
Applicants will be notified by 20th June 2022.
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] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022, Chuangjie Xu, 05/17/2022
Archive powered by MHonArc 2.6.19+.