×
By using our services, you accept the use of cookies.
more infos.
Autumn school "Proof and Computation"
ExpiredBook your hotel
Organizer :
Topic : Informática; Information Theory, Foundations of Computer Science
Matemática e Estatística; Ciências sociais e humanas; 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 in Fischbachau near Munich, Alemanha between 26 setembro 2022 and 01 outubro 2022. It covers specific areas of Informática such as Information Theory, Foundations of Computer Science. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Related sections :
Conferences and seminars in AlemanhaConferences and seminars in Alemanha in 2022
Conferences and seminars in Informática
Conferences and seminars in Informática in 2022
Conferences and seminars in Informática in Alemanha
Conferences and seminars in Informática in Alemanha in 2022
Todos os eventos
Events by country
Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.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.
