SÉMINAIRE DE LOGIQUE / LISTE DES CONFÉRENCIERS
NOM	Affiliation	DATE	TITRE
1998-99
Jean-Pierre Marquis	Un. de Montréal	98-09-24	Logique, vérité approximative et vérisimilitude : un survol.
Gonzalo Reyes	Un. de Montréal	98-10-15	Atoms and infinitesimal structures in synthetic differential geometry.
Jim Loveys	McGill U.	98-12-10	From order to chaos. Shelah's classification program of first-order structures.
François Lepage	Un. de Montréal	99-01-28	Logiques partielles.
Luc Bélair	UQAM	99-02-25	Structures o-minimales.
Michael Hallet	McGill U.	99-03-24	Frege, Hilbert and the origins of modern logic.
Jose Iovino	McGill U.	99-04-22	Model theory for functional analysis.
1999-2000
Lou van den Dries	U. of Illinois	99-09-24	Towards coordinate free model theory.
Michael Makkai	McGill U.	99-10-21	Categories as foundation for mathematics.
Grzegorz Malinowski	U. de Lotz (Pologne)	99-11-25	Formalization of intensional functions and epistemic knowledge representation systems.
Storrs McCall	McGill U.	99-12-09	Can a Turing machine know that the Godel sentence is true ?
Yvon gauthier	Un. de Montréal	00-01-13	La logique interne de l'arithmétique chez Frege et Kronecker.
Stéphane Lafrance	UQAM	00-02-17	L'élimination des imaginaires et son interprétation catégorielle.
Carsten Butz	McGill U.	00-03-16	Quine's new foundation, an introduction.
François Lepage	Un. de Montréal	00-04-13	Modèles probabilistes canoniques pour les logiques partielles.
2000-2001
Jim Lambek	McGill U.	00-10-12	Qu'est-ce que le nombre 2 ?
Deirdre Haskell	McMaster U.	00-11-02	When is a set bijective with itself minus a point ?
Alexandre Brunet	Un. de Montréal	01-02-15	Un argument contre le Mécanisme s'appuyant sur le théorème de Löb
Jean-Pierre Marquis	Un. de Montréal	01-03-22	Le théorème d'Awodey-Butz pour la logique classique d'ordre supérieur
Mathieu Marion	Un. d'Ottawa	01-04-12	Indécidabilité, faisabilité et antiréalisme radical
2001-2002
Jean-Pierre Marquis	Un. de Montréal	01-10-18	Introduction à la logique catégorique, d'après A. Pitts
Jean-Philippe Villeneuve	Un. de Montréal	01-11-08	Introduction à la logique catégorique, d'après A. Pitts. la logique propositionnelle.
Jean-Philippe Villeneuve	Un. de Montréal	01-11-15	Introduction à la logique catégorique, d'après A. Pitts. la logique propositionnelle (2e partie).
Jean-Philippe Villeneuve	Un. de Montréal	01-11-29	Introduction à la logique catégorique, d'après A. Pitts. la logique propositionnelle (3e partie).
Jean-Philippe Villeneuve	Un. de Montréal	02-02-11	Introduction à la logique catégorique, d'après A. Pitts. la logique propositionnelle (4e partie).
Jean-Pierre Marquis	Un. de Montréal	02-03-11	discussion du texte "From a geometrical point of view: the categorical perspective on mathematics and its foundations"
Jean-Pierre Marquis	Un. de Montréal	02-04-08	discussion du texte "From a geometrical point of view: the categorical perspective on mathematics and its foundations" (suite)
Jean-Pierre Marquis	Un. de Montréal	02-05-06	discussion du texte "From a geometrical point of view: the categorical perspective on mathematics and its foundations" (fin)
2002-2003
Le séminaire n'a pas eu lieu (LB en sabbatique)
2003-2004
Brian van den Broek	Mc Gill U.	03/10/31	Tarski's logical notions
Mathieu Bélanger	Un. de Montréal	03/11/28	À propos de «An extension of Klein's Erlangen programm: logic as an invariant theory» de F. I. Mautner (Amer. J. Math. 68 (1946), 345-364).
Michael Makkai	McGill U.	04/04/15	What is constant and what is changing in logic
2004-2005
Le séminaire n'a pas eu lieu (J-PM en sabbatique, LB absent hiver)
2005-2006
Séminaire pour les étudiants sur les théorèmes d'incomplétude de Gödel, en préparation au colloque Gödel qui a lieu pendant le congrès annuel de l'ASL à l'UQAM du 17 au 21 mai 2006.
Neil Kennedy	UQAM	05/10/06	Les théorèmes d'incomplétude de Gödel. Introduction.
Luc Bélair	UQAM	05/10/20	Quelques théories qui échappent au 1er théorème de Gödel.
Neil Kennedy	UQAM	05/11/03	Arithmétique formelle : le système axiomatique S.
Luc Bélair	UQAM	05/11/17	Le système axiomatique S, les entiers et les fonctions représentables.
Mathieu Bélanger	Un. de Montréal	05/12/01	Récursivité : les fonctions récursives.
Tuan Nguyen	Un. de Montréal	06/01/27	Récursivité (II).
Neil Kennedy	UQAM	06/02/10	La fonction bêta de Gödel et la représentabilité des fonctions récursives.
Mathieu Bélanger	Un. de Montréal	06/02/24	Arithmétisation de la syntaxe : la numérotation de Gödel.
Neil Kennedy	UQAM	06/03/10	Le premier théorème de Gödel et le théorème de Tarski.
Neil Kennedy	UQAM	06/03/31	Le deuxième théorème d'incomplétude de Gödel.
Michael Hallet	McGill U.	06/04/28	What was Hilbert's programme ?
2006-2007
Jean-Pierre Marquis	Un. de Montréal	06/09/27	Théorèmes de représentation et de dualité de Stone et logique propositionnelle.
Eric Mc Sween	Concordia U.	06/10/05	Algèbres de Boole, algèbres de Heyting, et treillis.
Jean-Pierre Marquis	Un. de Montréal	06/10/19	Treillis distributifs, algèbres de Heyting, algèbres de Boole : la suite (1).
Jean-Pierre Marquis	Un. de Montréal	06/11/02	Treillis distributifs, algèbres de Heyting, algèbres de Boole : la suite (2).
Jean-Pierre Marquis	Un. de Montréal	06/11/16	Le théorème de représentation de Stone.
Mathieu Bélanger	Un. de Montréal	06/11/30	Le langage des catégories.
Michel Serfati	Un. Paris 7	06/12/14	Treillis de Post, entre algèbres, logiques multivalentes et catégories.
Jean-Pierre Marquis	Un. de Montréal	session H07	Le séminaire coïncide avec le cours PHI6355 Fondements des mathématiques, UdeM.
Roger Villemaire	UQAM	07/02/01	Théorème de représentation des familles intervallaires.
Roger Villemaire	UQAM	07/04/19	La logique du fini
Bruno Poizat	Un. Lyon 1	07/04/26	La logique positive
2007-2008
Neil Kennedy	UQAM/Paris 1	07/09/27	Solutions bidimensionnelles au paradoxe de Fitch.
François Lepage	Un. de Montréal	07/10/12	Logique épistémique : le système AGM.
Alexandre Costa-Leite	CUNY	07/11/23	The combined logics of skepticism.
Vincent Hendricks	Roskilde U. (Danemark)	07/12/14	Limiting skepticism.
Roger Villemaire	UQAM	08/02/07	Va-et-vient de Fraïssé en théorie des modèles finis.
Mathieu Bélanger	Un. de Montréal	08/02/27	Introduction à Albert Lautman (1908-1944).
Luc Bélair	UQAM	08/03/27	Va-et-vient de Fraïssé. Le théorème de préservation par homomorphismes en théorie des modèles finis.
Roger Villemaire	UQAM	08/04/17	Localité en logique du premier ordre.
2008-2009
Anthony Monnet	UQAM	08/09/26	Méthodes informatiques de résolution du problème SAT.
François Lepage	Un. de Montréal	08/10/24	Hartry Field et la révolution probabiliste.
André Porto	U. Federal de Goias (Brésil)	08/11/21	Wittgenstein on inductive proofs.
Roger Villemaire	UQAM	08/12/05	Logique et automates.
Olivier Roy	Rijksuniv. Groningen (Pays-Bas)	08/12/19	Les théorèmes d'accord du point de vue de la logique épistémique.
Neil Kennedy	UQAM	09/01/16	Le paradoxe de Fitch, les mondes possibles et la quantification sur des modalités.
Jean-Pierre Marquis	Un. de Montréal	09/02/13	Logique et théorie de l'homotopie selon Awodey et Warren.
Mathieu Bélanger	Un. de Montréal	09/05/01	La logique des partitions selon Ellerman.