April 2010

 

AGENDA : In April 2010 The Archive hopes/plans to record the following events

APRIL 2010 : Date TBA

REHSEIS Histoire et Philosophie des mathématiques

Lieu : bâtiment Condorcet, salle Mondrian (646A), Université Paris Diderot. Métro Bibliothèque François-Mitterrand. Plan

 

Avril 2010

Optique et mathématiques

Hussein Masoumi(Univ. Sharif, Téhéran)
 

Daniele Molinini(SPHERE, CNRS-Un. Paris Diderot)
 

Olivier Darrigol (SPHERE, CNRS-Un. Paris Diderot)
 

Dominique Raynaud (Univ. Grenoble)

—oOo—

 

2nd April 2010 REHSEIS  Working Group Philosophie et Physique

Salle 483A Malevich Bat. Condorcet Univ. Paris 7 Diderot.

14:00 – 17:00 hours

Thierry PAUL & Sebastien POINAT (Nice) :  Emergence & Reduction in Quantum Theory

—oOo—

 

6th April 2010 : ENS Salle des Resistants :  18:00-20:30 hrs

Atelier Simondon

Anne Lefebvre & Jean-Hugues Barthelemy : The Notion of  “Invention”  in Simondon

—oOo—

 

7th April 2010

Un texte, un mathématicien

Cycle de conférences organisées par la
Bibliothèque nationale de France
et la Société mathématique de France

7 avril 2010 – 18 h 30

Les prodigieux théorèmes de Monsieur Nash

J. Nash, C1 isometric Imbeddings, Annals of Mathematics, vol. 60 (1954)
J. Nash, The imbedding problem for Riemannian manifolds, Annals of Mathematics, vol. 63 (1956)
J. Nash, Continuity of Solutions of Parabolic and Elliptic Equations, American Journal of Mathematics vol. 80 (1958)

Cédric Villani
(Professeur à l’ÉNS de Lyon, directeur de l’Institut Henri Poincaré)

—oOo—

8th APRIL 2010 : Univ. Paris 7  at. Condorcet (Salle TBA)  10:00 – 13:00 hrs 

Fourth Lecture in Course by René Guitart

  
titre du cours : Catégories et structures
  
but du cours : Théorie catégoricienne des structures et son usage pour la modélisation.
Le noyau de notions développées, accompagnées d’exemples en algèbre et en géométrie, sera : Catégories et foncteurs, foncteurs représentables,  problèmes universels. Limites et colimites, notions d’esquisse et de trame. Structures libres et monades, opérades. Diagramme localement libre. Sites et topos, univers, univers algébriques. Algèbres figuratives. 
  
dates des 6 séances : jeudi 25 février (première séance), jeudi 11 mars, jeudi 25 mars, jeudi 8 avril, jeudi 29 avril, jeudi 13 mai.
horaires :  de 10h à 13h. 
durée totale : 18 heures de cours.
lieu :  Université Paris Diderot Paris 7, Bâtiment Condorcet, 10 rue Alice Domon et Léonie Duquet, Paris 75013 (la salle sera précisée ultérieurement)

—oOo— 

8th APRIL 2010 :  Paris/EHESS  17:00 – 20:00 Hrs

Mathematical Structures  and Philosophical Concepts of Spacetime in Contemporary Physics

A Lecture Course delivered by Luciano BOI. Salle 206 MSH 54 Bd Raspail 17:00 – 20:00 hrs

2nd and 4th Thursdays of each month from14th January until 10th June 2010

Click here to listen to recording of Luciano BOI’s Lecture

Click here for Notes/Overheads of talk

Click here for Information about the Course

—oOo— 

9th APRIL 2010 : 1 Day Colloquium on CHU SPACES and their Applications in Mathematics and in Music Theory

in Series MaMuX at IRCAM ; For further details see

http://recherche.ircam.fr/equipes/repmus/mamux/ProgrAvril2010.pdf

Espaces de Chu et musique 

Cette séance exceptionnelle du Séminaire MaMuX est consacrée aux espaces de Chu, un concept dont on essaiera de présenter les aspects théoriques touchant à la fois à de questions de logique, de géométrie et d’informatique et leurs applications en musique. Si d’un point mathématique un espace de Chu n’est qu’une simple matrice de transformations, ses lignes ayant la propriété de transformer « en avant » [forwards] et ses colonnes celle de transformer « en arrière » [backwards], ce concept est très profond car il joue un rôle d’unificateur par rapport à plusieurs structures mathématiques, telles les structures de relations (ensembles, graphes dirigés, ensembles partiellement ordonnés, …), les structures algébriques (groupes, anneaux, modules, espaces vectoriels, …) et les structures topologiques (espaces topologiques, groupes abéliens localement compacts, …).

La matinée se déroulera sous la forme d’un cours introductif au cadre théorique général animé par Vaughan Pratt, l’un des spécialistes de ce domaine. Dans l’après-midi on se concentrera sur trois aspects de ce formalisme qui sont susceptibles d’ouvrir des applications nouvelles en musique.

Programme de la journée
Matinée pédagogique (salle C. Shannon, niveau -2) :
  • 10h – 12h Vaughan Pratt  – A Chu Space Tutorial
Après-midi (salle I. Stravinsky) :
  • 14h30 – 14h45 Moreno Andreatta & Carlos Agon  – Introduction to the session
  • 14h45 – 15h30 Paul-André Melliès – Chu Spaces and the construction of a duality
  • 15h30 – 16h15 Timothy Porter – The Geometry of Observation
  • Break
  • 17h00 – 17h45 Vaughan Pratt – Evolution of music and speech: a Chu perspective
  • Discussion finale

The videorecordings of the afternoon talks and Discussions can be seen by clicking on this link : http://video.ircam.fr.index.html  and following the instructions.

—oOo— 

12th APRIL 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

S. Mathis : Tidal Forces in Planetary and Stellar Systems

Click here to listen to recording of this seminar

—oOo—

April 12th, 2010 : REHSEIS Seminar in Philosophy of Mathematics

Carving mathematics up
Session organized by Brice Halimi (Université Paris X – Nanterre)
Location : Batiment Condorcet Paris 7  :  Room Klee, 454A, 14h-17h

- 9h30-11h

Sébastien Gandon (Université Blaise Pascal de Clermont-Ferrand)

Logicism, universalism and topic-specificity

- 11h10-12h40

Andrew Arana (Kansas State University)

Purity and the carving of mathematics

- 14h30-16h

Boris Zilber (Oxford, Mathematical Institute)

Quantum space : a model-theoretic point of view

- 16h10-17h40

Paul-André Melliès (University Paris Diderot -Paris 7, PPS)

Towards an algebraic presentation of proof theory

Abstract :

The session aims at linking two threads together. The first one bears on logic from a dominantly philosophical point of view, the second one on the connections between logic (more as a branch of mathematics) and ’traditional’ mathematics. The centenary of the publication of Principia Mathematica is a basis for the first thread. Sébastien Gandon (Clermont-Ferrand) and Andrew Arana (Kansas State), will give a talk. Sébastien defends the idea that Russellian logicism can be thought as putting forward a topic-specific view of mathematical fields (in particular of geometry and measure theory), at least much more than one usually makes out. Andrew, on the other hand, will discuss his work on the ideal of purity of proofs in mathematics. The second thread bears on mathematical logic as providing ways of carving mathematics up. Proof-theoretical analysis can indeed be viewed as a sweep of the whole of mathematics, giving rise to original reorganizations, and Paul-André Melliès (Paris 7, PPS) will give a talk about the connections between proof theory and categorical algebra. Finally, Boris Zilber (Oxford, Institute of Mathematics) will set out the concept of categoricity as a general notion to describe mathematical structures, and speak of connections between model theory and geometry. So, to seum up, the general theme will be : Carving Mathematics Up. Is there a natural way of doing it ? This question will be tackled from two different perspectives, philosophy and the Principia on the one hand, and contemporary mathematical logic on the other hand.

—oOo—

April 13th 2010  :  Philosophy of Mathematics Workshop Univ Paris 7 Diderot:

Room 366 A Klimt :  WORKSHOP on COMPLEXITY of PROOFS

11:00-12:30  :  Alessandro CARBONE (Univ Pierre & Marie Curie) : Logical Structures, Cyclic Graphs and The Genus of Proofs

14:00 – 15:30  :  Michael HARRIS (Paris 7)

Complexity as A Guide to Understanding Proofs

15:30 – 17:00  ;  David CORFIELD  (Univ of Kent) : The Complexity of Proofs and their Robustness

—oOo—

14th April 2010  14:00 hrs

IHP Seminar on Historical and Epistemological Approaches to the Study of Mathematical Concepts

(Salle 201) ;  Rached MNIEMNE : Affine Geometry – Une Geometrie a La Genealogie Evasive.

—oOo—

APRIL 15th – 17th 2010 : BOSTON/USA

THE BOSTON COLLOQUIUM JUBILEE
The Boston University Center for Philosophy & History of Science, which sponsors the
Boston Colloquium for Philosophy of Science, was established in 1960 by Professors
Marx Wartofsky and Robert S. Cohen. They conceived a forum of scholarly exchange in
the broadest interdisciplinary framework to characterize the natural and human sciences
in their cultural and historical contexts. The Colloquium, which began as a Boston-based,
informal inter-university collaboration, has become a premier stage for national
and international dialogue on all aspects of the philosophy and history of science, mathematics, and logic. 2010 marks the Jubilee celebration of the Colloquium’s founding and the final year of Professor Alfred Tauber’s seventeen-year directorship of the Center.

PHILOSOPHY AND HISTORY OF SCIENCE: THEN AND NOW
Thursday–Saturday, April 15–17, 2010
The Castle, 225 Bay State Road
Day 1: Perspectives, Thursday, April 15
Morning Session: 9 a.m.–Noon
Moderator: Daniel Dahlstrom, Boston University
Michael Lynch, Cornell University
The Checkered Career of Symmetry in Recent Social Studies of Science
Commentator: Jeff Coulter, Boston University
Don Howard, University of Notre Dame
The Trouble with Metaphysics
Commentator: John Stachel, Boston University

Afternoon Session: 2–5 p.m.
Hilary Putnam, Harvard University
On Not Writing Off Scientific Realism
Commentator: Peter Bokulich , Boston University
Alasdair Macintyre, University of Notre Dame
After Morgenbesser: The Continuing Messiness of the Social Sciences and Some Related Incoherences
Commentator: Lee McIntyre, Boston University

Day 2: Physics and Epistemology, Friday, April 16
Morning Session: 10 a.m.–Noon
Moderator: Alisa Bokulich, Boston University
Steven French, University of Leeds
Mixing in the Metaphysics: How Humble Should the Realist Be?
John Norton, University of Pittsburgh
Cosmic Confusions: Not Supporting versus Supporting Not-Afternoon Session: 2–5 p.m.
Jaako Hintikka, Boston University
Induction, Then and Now
Margaret Morrison, University of Toronto
Changing Trends in the Epistemology of Science: Theory Meets Practice
Nancy Cartwright, London School of Economics
Putting Philosophy of Science to Use: Does Studying “Actual Practice” Help?Day 3, Saturday, April 17
Morning Session: Biology
9 a.m.–Noon
Moderator: Alfred Tauber, Boston University
Elisabeth Lloyd, Indiana University
Models, Explanations, and Variation
Alex Rosenberg, Duke University
Invariants, Arms Races, and Natural Selection in Human Affairs
Sahotra Sarkar, University of Texas
After Biodiversity?


Afternoon Session: Summing Up
1:30–4 p.m.
Robert Cohen, Boston University
Reflections on the Past
Alfred Tauber, Boston University
Reflections on the Future
Round Table Discussion

—oOo—

APRIL 18th – 25th 2010

IIIrd WORLD CONGRESS and SCHOOL ON UNIVERSAL LOGIC

Lisbon, PORTUGAL

Details to be added.  10 Special sessions : including : Logic Diagrams, Substructural logics, non-classical mathematics, Categorical Logic

10 Invited Speakers : incl. Hartry FIELD, Yuri GUREVICH, Gehrard JAEGER, Dana SCOTT

21 Tutorial sessions.

19th APRIL  2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

D. Savoie : Le Cadran Solaire du Barage de Castillon

Click here for link to recording of this seminar

—oOo— 

 

20th April 2010 :  CREA Seminar  (New Venue : 32 Bd. Victor  75015 Paris : Salle 28  132  : 1st Floor :  17:00 – 18:30 hrs)

Seminar in Theoretical Biology

Athel CORNISH-BOWDEN & Maria-Luz CARDENAS

A Simple Self-organising  Metabolic System

—oOo— 

REHSEIS Seminar in Early Modern Mathematics : Batiment Condorcet Univ Paris 7 

Mercredi 21 avril 2010, 10h-13h : “Newton’s Geometria Curvilinea : from the mathematics of the De Analysi to those of the Principia

Massimo GALUZZI (Univ di Milano, Dept Math)

—oOo—

22nd APRIL 2010 :  Paris/EHESS  17:00 – 20:00 Hrs

Mathematical Structures  and Philosophical Concepts of Spacetime in Contemporary Physics

A Lecture Course delivered by Luciano BOI. Salle 206 MSH 54 Bd Raspail 17:00 – 20:00 hrs

2nd and 4th Thursdays of each month from14th January until 10th June 2010

Click here to listen to recording of Luciano BOI’s Lecture

Click here for Notes/Overheads of talk

Click here for Information about the Course

—oOo—

24th – 25th APRIL 2010

PSSL 90  :  The 90th Peripatetic Seminar on Sheaves and Logic
Institut für Theoretische Informatik
TU-Braunschweig

Further detailed Information to be added. 

—oOo— 

26th APRIL  2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

 C. Bizonard :  The Chandler Oscillation (nearly) resolved

—oOo—

29th APRIL 2010 : Univ. Paris 7  at. Condorcet (Salle TBA)  10:00 – 13:00 hrs 

Fifth Lecture in Course by René Guitart

  
titre du cours : Catégories et structures
  
but du cours : Théorie catégoricienne des structures et son usage pour la modélisation.
Le noyau de notions développées, accompagnées d’exemples en algèbre et en géométrie, sera : Catégories et foncteurs, foncteurs représentables,  problèmes universels. Limites et colimites, notions d’esquisse et de trame. Structures libres et monades, opérades. Diagramme localement libre. Sites et topos, univers, univers algébriques. Algèbres figuratives. 
  
dates des 6 séances : jeudi 25 février (première séance), jeudi 11 mars, jeudi 25 mars, jeudi 8 avril, jeudi 29 avril, jeudi 13 mai.
horaires :  de 10h à 13h. 
durée totale : 18 heures de cours.
lieu :  Université Paris Diderot Paris 7, Bâtiment Condorcet, 10 rue Alice Domon et Léonie Duquet, Paris 75013 (la salle sera précisée ultérieurement)

—oOo— 

29th April 2010 :  Oxford : Philosophy of Physics Seminar Lecture Room 10 Merton Street

(Convenors : Chris TIMPSON and Harvey BROWN)

1st Week of Hilary Term :  Alastair Wilson “Metaphysics in light of Everettian Quantum Mechanics”

 —oOo—

13th – 28th APRIL 2010

Lecture Course on Topos Theory by Professor Peter JOHNSTONE (Cambridge)

in PISA (Italy) under the auspices of

Instituto Giorgi, Scuola Normale Superiore Pisa and University of Pisa

(Many thanks to Dotoressa Olivia Caramello of the Instituto Giorgi, Prof. Alberto Peruzzi (Universita di Firenze) and organisers at Scuola Normale Superiore Pisa for very kindly making arrangements for the recordings.  See also the links in the February 2010 Catalogue/Agenda page to the recordings of Dotoressa Olivia Caramello’s series of Research Talks and Lecture Course at Instituto Giorgi.)

Tuesday 13 April  :   Toposes as spaces

Sala Stemmi (Palazzo della Carovana), SNS di Pisa, 14.30 – 16.30.

Monday 19 April  :   Toposes as categories of spaces

Aula Dini (Palazzo del Castelletto), SNS di Pisa,14.30 – 16.30.

Tuesday  20 April  :   Toposes as higher-order theories

Sala Seminari, Dipartimento di Matematica, Universita 14.30 -16.30.

Tuesday  27 April  :   Toposes as categories of manifolds

Sala Seminari, Dipartimento di Matematica, Universita , 14.30 -16.30.

Wednesday 28 April  :   Toposes as models of Set Theory

Aula Dini (Palazzo del Castelletto), SNS di Pisa 14.30 – 16.30.
 

(Continue reading) <http://permalink.gmane.org/gmane.science.mathematics.categories/5689> 

 
 
 

Many further events to be added