Partenaires

logo Sphere
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Formation > Doctorants : 2011, Rencontres Inter-écoles : Vérités et preuves

Doctorants : 2011, Rencontres Inter-écoles : 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 !)


Organisation : Mattia Petrolo (SPHERE).

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/Pro...