Program

The program is available here.

The abstracts are available here.

Invited talks

  • Bahareh Afshari. An infinitary treatment of temporal logic
  • Albert Atserias. Circular (Yet Sound) Proofs
  • Ralph Matthes. Finiteness properties of simple types through a coinductive lambda-calculus
  • Moritz Müller. Provability and consistency of circuit lower bounds
  • Takako Nemoto. Systems for constructive reverse mathematics
  • Ludovic Patey. Ramsey-like theorems and moduli of computation
  • Tachio Terauchi. A Formal Analysis of Timing Channel Security via Bucketing

Contributed talks

  • Ulrich Berger. Extracting the Fan Functional
  • Valentin Blot. Second-order arithmetic, comprehension scheme and bar recursion
  • Franz Brauße, Pieter Collins, Johannes Kanig, Sunyoung Kim, Michal Konecny, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Sewon Park, Norbert Preining and Martin Ziegler. Semantics, Logic, and Verification of “Exact Real Computation”
  • Yannick Forster and Dominique Larchey-Wendling. A constructive Coq library for the mechanization of undecidability
  • Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion and Romain Péchoux. Tiered complexity at higher order
  • Akira Hashida and Nao Hirokawa. Left-Normal Translation
  • Hugo Herbelin and Nuria Brede. On the logical structure of certain bar induction and choice principles
  • Willem Heijltjes, Dominic Hughes and Lutz Straßburger. Proof nets for first-order additive linear logic
  • Tatsuji Kawai. Presenting de Groot duality of stably compact spaces
  • Akitoshi Kawamura and Ulysse Léchine. On randomized polynomial-time approximability of real numbers and sets
  • Daisuke Kimura, Makoto Tatsuta and Koji Nakazawa. Entailment Checking Procedure for Symbolic Heap using Complete Cyclic Proof System
  • Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, and Kenji Saotome. On Cut-Elimination Theorem in Cyclic-Proof Systems
  • Sam Sanders. Nets and Reverse Mathematics
  • Florian Steinberg and Holger Thies. Some formal proofs of isomorphy and discontinuity
  • Makoto Tatsuta, Koji Nakazawa and Daisuke Kimura. Completeness of Cyclic Proofs for Symbolic Heaps with Cone Inductive Definitions
  • Hideki Tsuiki. Infinite Adequacy Theorem through Coinductive Definitions
  • Pierre Vial and Delia Kesner. Exact Bounds in Classical Natural Deduction
  • Keita Yokoyama. “First-order parts” of Weihrauch degrees