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
Groupe LIGC
c/o Jean-Baptiste Joinet
UFR de Philosophie
Université Paris 1
17 rue de la Sorbonne
75231 Paris cedex 05
joinet k2L univ-paris1.fr
