Dagstuhl-Seminar — From Proofs to Computation in Geometric Logic and Generalizations

Expired
Dates : 07 January 2024 » 12 January 2024
Place : Schloss Dagstuhl, Wadern
Germany

Book your hotel

Organizer : Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Topic : Computer science; Information Theory, Foundations of Computer Science
Mathematics and Statistics;
Keywords: Logic, Mathematics
Description :

What is the computational content of proofs? This is one of the main topics in mathematical logic, especially proof theory, that is of relevance for computer science. The well-known foundational solutions aim at rebuilding mathematics constructively almost from scratch, and include Bishop-style constructive mathematics and Martin-Löf's intuitionistic type theory, the latter most recently in the form of the so-called homotopy or univalent type theory put forward by Voevodsky.

Dagstuhl-Seminar — From Proofs to Computation in Geometric Logic and Generalizations to be held in Schloss Dagstuhl, Wadern, Germany between 07 January 2024 and 12 January 2024. It is organised by Schloss Dagstuhl - Leibniz-Zentrum für Informatik. It covers specific areas of Computer science 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.
Add to calendar 2024-01-07 2024-01-12 Europe/London Dagstuhl-Seminar — From Proofs to Computation in Geometric Logic and Generalizations https://www.sciencedz.net/en/conference/104105-dagstuhl-seminar-from-proofs-to-computation-in-geometric-logic-and-generalizations Schloss Dagstuhl, Wadern - Germany Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

Find More Related Conferences

Looking for more scientific conferences to attend? Explore a wide range of upcoming events in various fields and locations. Whether you're looking for specialized topics, specific locations, or dates, we have a wide range of conferences to choose from.
Computer science Conferences in Germany 2024: Discover the latest trends and research in Computer science by attending conferences across Germany in 2024. Network with professionals, researchers, and industry leaders to stay at the forefront of technological advancements.
Conferences and seminars in Germany
Conferences and seminars in Germany in 2024
Conferences and seminars in Computer science
Conferences and seminars in Computer science in 2024
Conferences and seminars in Computer science in Germany
Conferences and seminars in Computer science in Germany in 2024
All events
Events by country

Submit a conference (FREE)

Stay informed



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.