News

String diagrams in knot theory and proof theory: an introduction

Lunedi' 14 Marzo 2011 - Dr. Paul Mellies

ARGOMENTI: Seminari

Lunedi' 14 marzo ore 11.30 in aula 2BC30 il Dr. Paul Mellies (Laboratoire PPS, Université Paris 7) terra' un seminario introduttivo dal titolo "String diagrams in knot theory and proof theory: an introduction".

-Abstract
In this introductory talk, I will describe how string diagrams are used in knot theory in order to compute topological invariants, as well as in proof theory in order to compute proofs (or programs) modulo symbolic execution. The talk will be illustrated by tensorial logic, a primitive logic of tensor and negation, whose proofs are depicted as 2-dimensional surfaces formulated in the relevant 3-categorical framework.

Rif. int. M.E. Maietti

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X