Call for contributed talks

We invite submissions for contributed talks on topics related to the themes of the meeting. These include, but are not restricted to:

Identity of proofs
Graphical/diagrammatic representations of proofs
Typed vs untyped proof theory
Paradoxes and circular reasoning
Constructivism and (im)predicativity
Duality proofs/refutations
Computational interpretations of classical and non-classical logics
Non-deterministic/probabilistic aspects of computation
Inductive/co-inductive constructions in proof theory and type theory
(Higher-)categorical proof theory
Substructural aspects of logic
Philosophical and historical reflections on any of the above

Submissions should consist in a 1-2 pages extended abstract and should be sent to luca.tranchini@gmail.com or paolo.pistone@uniroma3.it by 15 January 2020.

For contributing speakers there will be a small registration fee (20 euros) covering both coffee breaks and the social dinner to be paid on arrival.