Catégorie : Talks
May 25
(English) Willem Heijltjes speaks at LIX
Cancelled for 30 May 2012: to be rescheduled Proof nets and semi-star-autonomous categories Willem Heijltjes, postdoc in Parsifal Girard’s original proof nets are a canonical graphical presentation of proof in multiplicative linear logic without units. In capturing their categorical semantics, there is the problem of dealing with proof nets that have a single conclusion. These would normally …
May 05
(English) Beniamino Accatoli speaks at Rocquencourt
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 25
(English) Talk by Maribel Fernandez, 26 April
Nominal Completion for Rewrite Systems with Binders Talk by Maribel Fernandez. Joint work with Albert Rubio. Venue: Salle de reunion, 10h30 Thursday 26 April 2012 Nominal rewriting generalises first-order rewriting by providing support for the specification of binding operators, using the nominal approach. In this talk, I will present a new ordering that can be used to …
Apr 19
(English) Two talks for Friday, 4 May 2012
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 05
(English) Celebration of the career of Peter Andrews
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 19
(English) Chuck Liang speaks at GdT Théorie des types et réalisabilité
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 15
(English) Guenot and Miller speak at ChoCola, Lyon
Désolé, cet article est seulement disponible en Anglais Américain.