Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
LIGC 2004 (Buoux) - Rencontres passées - Logique et Interaction : vers une Géométrie de la Cognition

LIGC 2004 (Buoux)


9-11 mai, Buoux, Luberon
Organisées par Gabriella Crocco
(Université d’Aix-en-Provence, CEPERC)

- Quand ?
Du dimanche 9 mai 2004 à 12h au mardi 11 mai 2004 à 13h

- Où ?
Auberge des Seguins, 84480 Buoux
Tél. 04 90 74 16 37

- Comment y aller ?
Buoux est à 45mn en voiture de la gare TGV d’Aix en Provence (pour les parisiens qui veulent bénéficier de la navette, il est impératif de prendre le TGV Paris-Aix de 7h54 de dimanche, arrivée à 10h 58). Buoux est à 30mn en voiture de la gare d’Avignon en passant par Apt (pas de navettes prévues à partir d’Avignon).

- Combien ?
Le montant journalier de la pension complète pour une personne (location de la salle de réunion comprise) est de 77,24 Euros, soit 154,48 Euros en tout pour les quatre demi-journées que dureront les Rencontres (somme qui n’inclut toutefois pas les pauses-café).

Liste des participants

- Michele ABRUSCI (Univ. Roma tre ; Philosophie, Logique)
- Ali BENMAKHLOUF (Univ. Nice ; Philosophie, Logique)
- Julien BERNARD (Etudiant Univ. Aix-en-Provence ; Philosophie, Logique)
- Jacqueline BONIFACE (Univ. Nice ; Philosophie, Epistémologie des mathématiques)
- Denis BONNAY (Doctorant Univ. Paris 1 ; Philosophie, Logique)
- Albert BURRONI (Univ. Paris 7 et PPS ; Mathématiques, Théorie des catégories)
- Gabriella CROCCO (Univ. Aix-en-Provence et CEPERC ; Philosophie, Logique)
- Jean-Yves GIRARD (Univ. Marseille et IML ; Mathématiques, Théorie de la démonstration)
- Gerard HUET (INRIA, Informatique théorique, linguistique)
- Jean-Baptiste JOINET (Univ. Paris 1 et PPS ; Philosophie, Logique)
- Pierre LIVET (Univ. Aix-en-Provence et CEPERC ; Philosophie)
- Giuseppe LONGO (ENS, Informatique théorique)
- Alexandre MIQUEL (PPS, Logique et Informatique fondamentale)
- Mioara MUGUR-SCHà„CHTER (Epistémologie formelle)
- Thierry PAUL (ENS, Mathématiques et physique)
- Jacques RICARD (Biologie moléculaire)
- Vincent SCHà„CHTER (Génoscope ; Bio-informatique)
- Boris SAULNIER (Doctorant LIENS ; Complexité et Information morphologique)
- Pierre-Emmanuel TENDERO (Doctorant LIENS ; Complexité et Information morphologique)
- Samuel TRONÇON (Doctorant Univ. Aix-en-Provence et Marseille ; Philosophie, Logique)

Le programme des exposés et tables rondes

Dimanche 9 mai

12h00 Accueil des participants et repas
14h00 - 15h30 Présentation par J-Y Girard
15h30 Pause café
16h00 - 18h00 Table-ronde "Existence et essence" organisée par J.-Y. Girard, avec des interventions de M. Abrusci, G. Crocco, P. Livet, G. Longo, G. Marramao, R. Simone, P.-E. Tendero

Lundi 10 mai

9h00 - 10h00 J. Ricard, "Organisation et information des réseaux biologiques"
10h00 - 11h00 V. Schà¤chter, "Déconstruction et reconstruction de réseaux biologiques"
11h00 Pause café
11h30 - 12h30 G. Huet, " L’empire des Sens : une approche topologique de la sémantique des langues"
12h30 Repas
14h00 - 15h00 Th.Paul, "Temps long en mécanique quantique : destruction et reconstruction du point."
15h00 - 16h00 M. Mugur-Schachter, "Mécanique quantique et le tissage des connaissances" (Voir le résumé en pdf)
16h00 Pause-café
16h30 - 18h30 Table-ronde "Quantique", organisée par Thierry Paul, avec des interventions de J-Y. Girard, G. Longo, M. Mugur-Schà¤chter, Th. Paul
10h00 - 11h00 V. Schachter, "Déconstruction et reconstruction de réseaux biologiques"

Mardi 11 mai

9h00 - 10h00 S. Tronçon, "Machines et petits mondes"
10h00 Pause café
10h30 - 12h30 table-ronde "Raisonnement versus Démonstration", organisée par J-B Joinet, avec des interventions de M. Abrusci, A. Benmakhlouf, A. Burroni, J-B. Joinet, G. Longo
12h30 Repas
14h00 Départ

commenter, laisser un message


Contact

Groupe LIGC
c/o Jean-Baptiste Joinet
UFR de Philosophie
Université Paris 1
17 rue de la Sorbonne
75231 Paris cedex 05
joinet dG5 univ-paris1.fr

Liste de diffusion
Liens

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique