[HoTT] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024

[HoTT] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024

[Chuangjie Xu]

[-- Attachment #1.1: Type: text/plain, Size: 2992 bytes --]

[Apologies for multiple postings.]

         Autumn school "Proof and Computation"
    Fischbachau, Germany, 15th to 21st September 2024
 http://www.mathematik.uni-muenchen.de/~schwicht/pc24.php

This year's international autumn school "Proof and Computation" will be held
from 15th to 21st September 2024 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
--------------------
- Thierry Coquand (Gothenburg): Topos theory and constructive mathematics
- Klaus Mainzer (Munich): From Proof and Computation to AI - Logical, 
Mathematical, and Philosophical Foundations
- Gerhard Jäger (Bern): Foundations of explicit mathematics
- Sara Negri (Padua): Enriched syntax for enhanced proof theory
- Monika Seisenberger (Swansea): Extraction of programs from proofs
- Holger Thies (Kyoto): Extracting efficient programs from proofs in 
analysis
- Freek Wiedijk (Nijmegen): The De Bruijn criterion versus the Poincare 
principle

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@math.lmu.de>.

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

Please specify in your application whether you are interested in applying 
for
financial support (details provided below).

Deadline for applications: **7th June 2024**.

Applicants will be notified by 24th June 2024.

FINANCIAL SUPPORT
--------------------
Successful applicants are eligible to apply for financial support that 
covers
accommodation and meals for the duration of the autumn school (approximately
116 Euros per day). Please note that there are no funds available for the
reimbursement of travel or additional expenses, which successful applicants
will need to cover independently.

The workshop is supported by the Udo Keller Stiftung (Hamburg) and the COST
Action EuroProofNet.


Klaus Mainzer
Peter Schuster
Helmut Schwichtenberg

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/1d998bbd-5158-4550-a1dc-4caaa6146062n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 3536 bytes --]

[HoTT] Re: Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024

[Chuangjie Xu]

[-- Attachment #1.1: Type: text/plain, Size: 3352 bytes --]

Dear all, the application deadline is approaching soon. I hope to see more 
of you at the autumn school in September!

Chuangjie Xu

On Tuesday, March 12, 2024 at 6:11:17 AM UTC+1 Chuangjie Xu wrote:

> [Apologies for multiple postings.]
>
>          Autumn school "Proof and Computation"
>     Fischbachau, Germany, 15th to 21st September 2024
>  http://www.mathematik.uni-muenchen.de/~schwicht/pc24.php
>
> This year's international autumn school "Proof and Computation" will be 
> held
> from 15th to 21st September 2024 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
> --------------------
> - Thierry Coquand (Gothenburg): Topos theory and constructive mathematics
> - Klaus Mainzer (Munich): From Proof and Computation to AI - Logical, 
> Mathematical, and Philosophical Foundations
> - Gerhard Jäger (Bern): Foundations of explicit mathematics
> - Sara Negri (Padua): Enriched syntax for enhanced proof theory
> - Monika Seisenberger (Swansea): Extraction of programs from proofs
> - Holger Thies (Kyoto): Extracting efficient programs from proofs in 
> analysis
> - Freek Wiedijk (Nijmegen): The De Bruijn criterion versus the Poincare 
> principle
>
> 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 <x...@math.lmu.de>.
>
> Students are required to provide also a letter of recommendation, 
> preferably
> from the thesis adviser.
>
> Please specify in your application whether you are interested in applying 
> for
> financial support (details provided below).
>
> Deadline for applications: **7th June 2024**.
>
> Applicants will be notified by 24th June 2024.
>
> FINANCIAL SUPPORT
> --------------------
> Successful applicants are eligible to apply for financial support that 
> covers
> accommodation and meals for the duration of the autumn school 
> (approximately
> 116 Euros per day). Please note that there are no funds available for the
> reimbursement of travel or additional expenses, which successful applicants
> will need to cover independently.
>
> The workshop is supported by the Udo Keller Stiftung (Hamburg) and the COST
> Action EuroProofNet.
>
>
> Klaus Mainzer
> Peter Schuster
> Helmut Schwichtenberg
>

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/690a2b03-2592-4a59-88f3-8926bd83842dn%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 4216 bytes --]