Seminars of the Protheo team - Year 2004-2005

Real recursive functions and their hierarchies: structural and computational complexity, Manuel Campagnolo (University of Lisbon)

A digression over the General Purpose Analog Computer, Daniel Graca (University of Algarve, Portugal)

Information Flow Analysis in Typed Assembly Languages, Eduardo Bonelli (Stevens Institute of Technology, USA)

Lambda-termes, reseaux et semantique des jeux, Francois Lamarche (Calligramme, LORIA)

Un modele de calcul chimique d'ordre superieur etendu aux multi-ensembles infinis et hybrides, Yann Radenac (IRISA)

Implementing deep inference, Ozan Kahramanogullari (TU Dresden)

Barendregt's Cube in sequent calculus, Stephane Lengrand (PPS, Jussieu)