School in Proof Theory : Linear Logic, Ludics and Geometry of interaction
School in Proof Theory: Linear Logic, Ludics and Geometry of interaction at Paraty (Rio de Janeiro State, Brazil), from 27
Read MoreSchool in Proof Theory: Linear Logic, Ludics and Geometry of interaction at Paraty (Rio de Janeiro State, Brazil), from 27
Read MoreLes 21 octobre 2011 (à l’université Paris 7 – Denis Diderot) et 22 octobre 2011 (à l’université Paris 1, Panthéon-Sorbonne)
Read MoreLundi 5 décembre 2011 (14h-18h) ENS, Pavillon Pasteur, Salle de séminaire du Cirphles (sous-sol) Au titre des travaux du programme
Read MoreEpistemological aspects of computing Workshop organisé par le GHPS dans le cadre des activités du programme CAPES-COFECUB « Théories contemporaines de
Read MoreOn negation Lundi 12 décembre 2011, ENS, Pavillon Pasteur, Salle de séminaire du Cirphles, 10h-16h30 Workshop organisé par le GHPS
Read MoreThis conference is organized by Jean-Baptiste Joinet (Cirphles) and Luiz Carlos Pereira (PUC-Rio), coordinators of the brazilian-french CAPES-COFECUB research program « Théories contemporaines
Read More“La question des fondements à l’ère post-fondationnelle” sous l’égide du CIRPHLES-GHPS de l’Ecole normale supérieure et le soutien de l’IHP
Read MoreColloque en honneur de Francis Bailly, décédé le 5 février 2009. Programme
Read More