Bienvenue sur la page de LC2000 et de son école d'été ELSS 2000

(English)

LC2000 et ELSS 2000 ont connu un grand succès, avec environ 425 participants. Nous avons laissé cette page qui donnait les informations générales. Veuillez consulter le Plan du site pour accéder aux informations plus récentes et pour accéder aux autres pages.

L'accueil commencera le samedi 22 juillet de 16h à 20h à la Sorbonne (17 rue de la Sorbonne), et se poursuivra le dimanche 23 Juillet à partir de 9h. Les travaux du congrès débuteront en fin de matinée. Nous prévoyons 24 conférences plénières d'une heure et 4 cours intensifs ; auxquels viendront s'ajouter des communications libres organisées en séances parallèles. Deux après-midi libres avec propositions d'excursions, ainsi qu'un banquet, sont prévus. 

Principaux thèmes abordés : Théorie de la démonstration et fondements logiques de l'informatique ; théorie des ensembles ; théorie des modèles ; calculabilité et complexité ; histoire de la logique au vingtième siècle ; philosophie et application de la logique aux sciences cognitives. 

Le comité de programme : Daniel Andler (Paris IV), Chantal Berline (CNRS-Paris7), Barry Cooper (Leeds), Dirk van Dalen (Utrecht) , Akihiro Kanamori (Boston), Charles Parsons (Harvard), Alexander Razborov (Steklov, Moscou), Helmut Schwichtenberg (München), John Steel (Berkeley), Stevo Todorcevic (CNRS-Paris7), Alex Wilkie (Oxford), Carol Wood (Présidente, Wesleyan University).

Le comité d'organisation : Chantal Berline (CNRS-Paris7), Zoé Chatzidakis (CNRS-Paris7), René Cori (Président, Paris7-CNRS), Máximo Dickmann (CNRS-Paris7), Jacques Dubucs (CNRS-Paris1), Jean-Baptiste Joinet (Paris1-CNRS), Daniel Lascar (CNRS-Paris7), Yves Legrandgérard (Paris7-CNRS), Jean Mosconi (Paris1-CNRS), Marie-Hélène Mourgues (IUFM de Créteil-CNRS), Catherine Muhlrad-Greif (Paris7-CNRS), Leszek Pacholski (Wroclaw, représentant l'ASL), Donald Pelletier (York), Jean-Pierre Ressayre (CNRS-Paris7), Boban Velickovic (Paris7-CNRS), Françoise Ville (Paris7-CNRS).

Certaines des activités du congrès seront regroupées au sein d'une école d'été, la European Logic Summer School 2000 (ELSS 2000), pour laquelle nous avons obtenu une subvention de la Communauté Européenne. À travers ELSS 2000, nous souhaitons souligner l'importance de la formation de jeunes logiciens. Ainsi, la partie du programme rattachée à l'école d'été comprendra tous les cours intensifs et certaines conférences plénières, choisies non seulement pour leur haut niveau scientifique, mais aussi pour les larges perspectives qu'elles pourront offrir aux jeunes chercheurs.

Si vous voulez recevoir les annonces du congrès, demandez-le nous :

• par message électronique à  lc2000-robot@logique.jussieu.fr avec comme sujet get-announcement . Si vous désirez recevoir l'information par courrier ordinaire, n'oubliez pas de mentionner votre adresse postale ;
• par fax au 01 44 27 61 48 (de France) ou 33 1 44 27 61 48 (de l'étranger) ;
• par courrier à l'adresse suivante: LC2000, UFR de Mathématiques, case 7012, Université Paris 7-Denis Diderot, 2 place Jussieu, 75251 Paris Cedex 05, France.

L'organisation :

Au niveau international :

L'ASL (Association for Symbolic Logic, Président : Donald A. Martin, UCLA) : Department of Mathematics, University of Illinois, 1409 West Green Street, Urbana, Illinois 61801, USA. Tél : 1-217-244 7902 ; Fax : 1-217-333 9576. Adresse électronique : asl@math.uiuc.edu

L'Équipe de Logique Mathématique (ESA 7056, CNRS, Université Denis Diderot, Directeur : Daniel Lascar) : UFR de Mathématiques, case 7012, Université Denis Diderot (Paris 7), 2 place Jussieu, 75251 Paris Cedex 05, France.

L'UFR de Philosophie de l'Université Paris 1-Panthéon-Sorbonne et l'Institut d'Histoire et Philosophie des Sciences et Techniques (UMR 8590 du CNRS, Directeur : Philippe de Rouilhan). Adresse de l'UFR : 17 rue de la Sorbonne, 75231 Paris Cedex 05, France ; adresse de l' IHPST : 13 rue du Four, 75006 Paris, France.

Sponsors : LC 2000 et ELSS 2000 sont subventionnés par

Université Paris 7 - Denis-Diderot
Université Paris I - Panthéon-Sorbonne
Université Paris IV - Paris-Sorbonne
Direction de la Recherche du Ministère de l'Éducation Nationale, de la Recherche et de la Technologie
La Communauté Européenne
Association for Symbolic Logic
Centre National de la Recherche Scientifique
IUFM de Créteil
Société Mathématique de France
France Télécom.
Cité des Sciences et de l'Industrie.

Fixed Points in Computer Science, 22 et 23 juillet 2000, Paris, France. Organisé par le LIAFA (ERS 586, CNRS, Université Denis Diderot - Paris 7) et par l'UFR d'Informatique de l'Université Pierre et Marie Curie - Paris 6. Adresse électronique :  ig@liafa.jussieu.fr
Les opérateurs de plus petit point fixe sont reliés aux structures et aux raisonnements inductifs, et les opérateurs de plus grand point fixe aux structures et aux raisonnements coinductifs. Dans les systèmes de formalisation des mathématiques on est ainsi souvent amené à axiomatiser le raisonnement inductif ou coinductif via de tels opérateurs. Les opérateurs de point fixe sont plus généralement utilisés pour la représentation des structures ou fonctions récursives, que ce soit en logique ou en informatique théorique.

Plan du site	Photos	Liste des participants	Programme
Communications libres	ELSS 2000	Inscription	Bourses
Repas, sorties	Hébergement	Transports	Comité d'organisation

Mise à jour le 2 mars 2001