Partenaires

logo Equipe Chspam
Logo Laboratoire Logo équipe Chspam
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil > Archives > Journées et colloques : septembre 2008–juillet 2012 > Journées d’étude et colloques 2011-2012 > Rencontres Vérités et preuves

Rencontres Vérités et preuves

Projet doctoral



Vendredi 23 septembre 2011
9h30 à 18h30
salle Klein (612B, 6e étage, bâtiment B), bâtiment Condorcet de Paris Diderot (4, rue Elsa Morante, près des Grands Moulins). Ici quelques informations concernant l’accès à la salle (ce n’est pas évident !)




PROGRAMME



9h30–10h30

Le principe physique de Church-Turing et le No Supersearch Principle d’Aaronson : une comparaison.
Maël Pégny




10h30–10h50

discussion




10h50–11h

pause




11h–12h

When things are not so simple. Simplicity in cartesian geometry.
Davide Crippa




12h00–12h20

discussion




12h20–12h40

première discussion sur l’organisation du colloque final (qui pourra continuer pendant le déjeuner).




12h40–14h00

déjeuner




14h–15h

Syntaxe, Sémantique ; Intension, Extension : De la dichotomisation via l’alternative. Le cas Frege-Husserl.
Manuel Gustavo Isaac




15h–15h20

Discussion




15h20–16h20

Le point de vue des monades, entre algèbre homologique et informatique théorique.
Sylvain Cabanacq




16h20–16h40

Discussion



16h40–16h50 : pause




16h50–17h50

titre à préciser
Méven Cadet




17h50–18h10

Discussion




18h10–18h30

Deuxième discussion sur l’organisation du colloque final (si quelqu’un a des nouvelles propositions).




PRESENTATION DU PROJET

http://iml.univ-mrs.fr/~seiller/Projet.html