×
By using our services, you accept the use of cookies.
more infos.
Autumn school "Proof and Computation"
ExpiredBook your hotel
Organizer :
Topic : Computer science; Information Theory, Foundations of Computer Science
Mathematics and Statistics; Social Sciences and Humanities; Keywords: Mathematics, Philosophy
Description :
An international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Topics: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.
Autumn school "Proof and Computation" to be held from 26 September 2022 to 01 October 2022 in Fischbachau near Munich, Germany. It covers various areas of Computer science including Information Theory, Foundations of Computer Science. For more information, visit the website of the conference or contact the organizer.
Related sections :
Conferences and seminars in GermanyConferences and seminars in Germany in 2022
Conferences and seminars in Computer science
Conferences and seminars in Computer science in 2022
Conferences and seminars in Computer science in Germany
Conferences and seminars in Computer science in Germany in 2022
All events
Events by country
Disclaimer :
We aim to provide correct and reliable information about
upcoming events, but cannot accept responsibility for the text
of announcements or for the bona fides of event organizers.
Please feel free to contact us if you notice incorrect or
misleading information and we will attempt to correct it.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.
