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)