Seminar & Talks
A workshop seminar CIPPMI is organised twice a month from November 2015 to March 2016 on Thursday at 14h30, salle Cavaillès 132 (IMT, Bât 1R2).
With this workshop seminar, we aim to foster scientific interaction between mathematicians, computer scientists, and philosophers from IMT and IRIT and provide a first inrtoduction to various interface topics that will be addressed in the courses of CIPPMI.
N.B.: The meetings are devoted to introductory presentations on a topic of the thematic trimester CIPPMI for an audience of non-specialists.
Schedule
- 12th November: Michel VAQUIE (IMT), category theory
- 26th November: Andreas HERZIG (IRIT), modal and epistemic logic
- 10th December: Andrew ARANA (IHPST), Gödel's theorems
- 14th & 21th January: Etienne FIEUX (IMT), Topological combinatorics and graph theory
- 28th January: Damiano MAZZA (LIPN), Lambda calcul and Curry-Howard Correspondence
- 11th February: Sergei SOLOVIEV (IRIT), Logics, categories, and Lambda calcul
- 24th March, !14h!: Assia MAHBOUBI (INRIA), Mechanized theorem proving
- 31th March Vadim SCHECHTMAN (IMT), Arithmetical geometry
Extra Talks will be given during the thematic trimester.
- On Thursday 14 April, 14h30-16h30, salle de conférence MIP, Tom SNIJDERS (Groningen & Oxford) will give a talk entitled Marrying agent-based modelling and statistical inference: co-evolution models for network dynamics (abstract). This meeting is coorganised with Bertrand JOUVE (CNRS, FRAMESPA) et Michel GROSSETTI (LISST-Cers).
- On Thursday 26 May, 14h30-16h30, salle Picard, Pierre LOCHAK (CNRS, IMJ) will give a talk entitled Philosophie des mathématiques ou bien philosophie et mathématiques.
- Abstract: J'explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l'histoire ou le concert des idées. Toutefois ces `mathématiques' ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l'exemple princeps de l'opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu'il est convenu d'appeler les grandes `idéologies' du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu'il paraît naturel de nommer `matière fonctorielle' feront alors une courte apparition. Je tâcherai de préserver au fil de l'exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.
- On Monday 30 May, 14h30-16h30, salle de conférence MIP, John T. BALDWIN (Univ. of Illinois at Chicago) will give a talk entitled The Unreasonable Effectiveness of Model Theory in Mathematics.
- Abstract: Emulating Wigner's famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified: stable (and refinements) and o-minimal. Bourbaki's `great mother structures': groups, order, topology' are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.