Showing posts with label proof. Show all posts
Showing posts with label proof. Show all posts

Tuesday, 3 June 2025

Proof and Computation Autumn School

📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. As a part of it, Ulrich Berger will deliver a course on Program extraction in higher-order logic.

Aimed at PhD students and early-career researchers, the school explores themes across Foundations of Mathematics, Computer Science, and Philosophy, including:

  • Predicative Foundations

  • Constructive Mathematics & Type Theory

  • Computation in Higher Types

  • Program Extraction from Proofs

More details and past editions: https://www.mathematik.uni-muenchen.de/~schwicht/pc25.php



at No comments:
Labels: , ,
Subscribe to: Comments (Atom)

Patrick Uftring on Computable Transformations of Turing Degree

The speaker for this week's seminar is Patrick Uftring from the University of Munich. He will talk about Computable transformations of T...

  • Giovanni Solda on Statistical Learning of Graphs
    This Thursday Giovanni Solda will give a talk on statistical learning of graphs as a part of our theory seminar series. Abstract: In the fir...
  • Proof and Computation Autumn School
    📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...
  • Theory Away Day
    Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the...