- Participants of Workshop: Proofs and Computation (click to enlarge)
Workshop: Proofs and Computation
Dates: July 2-6, 2018
Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Organizers: Rosalie Iemhoff, Gerhard Jäger, Andreas Weiermann
Topics: Proof theory of type and set theory, ordinal analysis, combinatorics (graphs, trees), explicit mathematics, operational set theory, denotational semantics, lambda calculus, BHK, realizability, computational content of classical proofs (Dialectica, Atranslation, call/cc)