April 2009
April 2009
MARCH 29th – APRIL 14th 2009 : BRISTOL WORKSHOP
ON CATEGORY THEORY and TOPOS THEORY IN RELATION TO ISSUES IN THE FOUNDATIONS AND PHILOSOPHY OF MATHEMATICS
With FW LAWVERE and others.
Recordings (continued)
Track 6 : April 1st 2009 AM Session Day 3 of Workshop
Present at Different Dates (See within daily Records for Details)
FW Lawvere Davide Bernardini
Matias Menei Olivia Carvalho
Anders Kock John Power
John Mayberry Michael Wright
Richard Pettigrew Andrei Rodin
Track 7 : Wednesday 1st APRIL 2009 : 2:30 – 4 : 30 PM Mott Lecture Theatre HH Wills Physics Laboratory Tyndall Avenue Bristol BS 8 1 TL United Kingdom
FW LAWVERE (Buffalo) : “Cantor, Zermelo and The Category of Categories”
Track 8 :
April 2nd 2009 : Day 4 of Workshop (AM Session)
II OF BRISTOL WORKSHOP : APRIL 6th – 15th Following After PSSL 88 in Cambridge April 4th – 5th 2009
(See Below)
APRIL 7th 2009
Day 5 of Workshop
First Day of Part II
AM Session
Presentations by Anders KOCK
And Davide BERNARDINI on SDG
APRIL 7th 2009
Day 5 of Workshop
First Day of Part II
PM Session
Further Presentations by
Davide BERNARDINI on SDG
APRIL 7th 2009
Day 5 of Workshop
First Day of Part II
PM Session
Presentation by
Davide BERNARDINI on SDG
Notes by Matias Menei
(Cordoba Argentina)
APRIL 8th 2009
Day 6 of Workshop
Second Day of Part II
AM and PM Sessions
APRIL 9th 2009
Day 7 of Workshop
Third Day of Part II
AM Session : Matias Menei on
A Tour through FW Lawvere’s
Writings and the Development
Of his mathematical ideas
APRIL 9th 2009
Day 7 of Workshop
Third Day of Part II
PM Session
APRIL 10th 2009
Day 8 of Workshop
Fourth Day of Part II
AM Session
John Mayberry Presentation of
Arithmetic in Nonstandard
Set Theory and discussion
with FWLawvere. Plus
FW Lawvere discussion of
Grassmannn, Monoidal Actions
And the notion of number
APRIL 10th 2009 Day 8 of Workshop
Fourth Day of Part II AM Session
Notes by R. Pettigrew on
FW Lawvere discussion of
Grassmannn, Monoidal Actions
And the notion of number
And on other topics
APRIL 10th 2009 Day 8 of Workshop
Fourth Day of Part II PM Session
Participants : FWL John Mayberry
Richard Pettigrew Matias Menei :
Olivia Caravallo Michael Wright
APRIL 11th 2009
Day 9 of Workshop
Fifth Day of Part II
AM Session
FWL Discussion mostly with
Matias Menei of Grothendieck’s
Chocolate Exercises, and
Clarification of Gros/Petit
Toposes Distinction and other
Topics
APRIL 12th 2009
Day 10 of Workshop
Sixth Day of Part II
AM Session
FWL and Matias Menei Discussions
APRIL 12th 2009
Day 10 of Workshop
Sixth Day of Part II
PM Session
FWL and Matias Menei
Presentation : On Models of Axiomatic Cohesion
APRIL 13th 2009
Day 11 of Workshop
Seventh Day of Part II
AM Session
FWL and Matias Menei
Presentation : Topics include
On the formal and the conceptual
Hom and Tensor Product
Bernays-Godel and Replacement
Space & Quantity and Dualising
over inclusion
see Link to Scanned Copy of
Some Thoughts on the Future of Category Theory
FW Lawvere Como July 1990 (SVLNM 1488)
which formed a major portion of subject of discussions between FWL & Matias Menei esp. during 12.04.2009
and 13.04.2009 Workshop Sessions
APRIL 13th 2009
Day 11 of Workshop
Seventh Day of Part II
PM Session
Further and final discussions between
FW Lawvere and Matias Menei
(Final Session)
Accompanying contemporaneous Notes of Board presentations and Discussions at Bristol Workshop March 29th – April 14th 2009 By Matias Menei, Richard Pettigrew and Michael Wright
Link to Scans of Notes for each Session of Workshop
1st-2nd APRIL 2009 : Imperial College London : Clore Lecture Theatre Level 2 Huxley Building
Supersymmetry Branes and M-Theory
A Meeting in Celebration of Michael DUFF’s 60th Birthday
RECORDINGS OF TALKS :
Wednesday 1st April 2009
Talk 1 : DESER
Topologically massive gravity has positive energy
Wednesday 1st April 2009
Talk 2 : KALLOSH
N=8 Supergravity on
The Light Cone
Wednesday 1st April 2009
Talk 3 : TOWNSEND
Massive 3D Gravity :
Topological, New and General
Wednesday 1st April 2009
Talk 4 : NILSSON
Some properties of
Superconformal M2-branes
Wednesday 1st April 2009
Talk 5 : ROCEK
See Details on Folder
Wednesday 1st April 2009
Talk 6 : POPE
Squashed Einstein metrics and
Supergravity
Wednesday 1st April 2009
Talk 7 : WEST
E 11, Locality and Space-time
Imperial College London
Supersymmetry, Branes and M-Theory
A Meeting in celebration of Michael DUFF’s 60th Birthday
DAY 2
2nd APRIL 2009
Thursday 2nd April 2009
Talk 1 : MANASTAN
Fluxes, Generalised complex
Geometry and dualities
Thursday 2nd April 2009
Talk 2 : CVETIC
See Folder for Details
Thursday 2nd April 2009
Talk 3 : LIU
Higher derivative connections
In 5-dimensional Supergravity
Thursday 2nd April 2009
Talk 4 : DOLAN
Conformal Supergravity Tree
Amplitudes from Open Twistor
String Theory
Thursday 2nd April 2009
Talk 5 : SEZGIN
Witten-Nester Energy in
Topologically Massive Gravity
Thursday 2nd April 2009
Talk 6 : LU
On the interaction between two
Non-threshold bound states
Thursday 2nd April 2009
Talk 7 : Gary GIBBONS
(DAMTP)
The Bernstein Conjecture,
Its Failure and the 8-Brane
April 3rd – 7th 2009 Oxford
Mathematical Foundations of Programming Semantics 25
(Details to be added)
4th APRIL 2009 (ENS : Salle Beckett) 11 :00 am Seminar MaMuPhi
Jean BENABOU : Magie de Topos ou Topos et Magie ?
See : « Une analogie en théorie des catégories » (in La recherche de la vérité ; ACL – Les éditions du Kangourou ; décembre 1999)
4th-5th APRIL 2009 : 88th Peripatetic Seminar on Sheaves and Logic at Cambridge
Celebrating the 60th Birthdays of Martin HYLAND and Peter JOHNSTONE
Details to Follow.
PSSL 88 CAMBRIDGE 4th – 5th APRIL 2009
5th April 2009 Day 2
Talk 1 by Michael FOURMAN
Classifying Quantales
Talk 2 by Ieke MOERDIJK
On the Notion of Reedy category
Talk 3 by Nicola GAMBINO
Monads in Double categories
Talk 4 by Dominic VERITY
On the canonicity of Complicial stratifications
Talk 5 by Aaron LAUDA
Categorifying Quantum Groups
Talk 6 by Tom LEINSTER
(with Apostolos MATZARIS)
Terminal coalgebras via modules
Talk 7 by Julia GOEDECKE
Satellites in Semi-Abelian categories
Talk 8 by Paul-Andre MELLIES
An algebraic presentation of innocence
5th April 2009 Day 2
Aide-memoire of discussions between Pedro Resende Andreas Doering and Steve Vickers about rival approaches to the application of Topos Theory to Quantum Formalism
6th APRIL 2009 : REHSEIS Salle de Reunion 14 :00 – 17 :00 hrs
Recherche sur L’Abstraction
Speaker & Title to be specified.
6th April 2009
Notes of 2 Discussions from january/february 2009
i) on the constitutive role of notation (including diagrammatic representation) in forming perspectives on mathematical structures. With examples, including from category theory. Note about the meaning of A. Peruzzi’s remarks about category theory as the setting for understanding the formation of symbolic content – “lifting” from topological gestalt to logical content ; and its misconstrual in the ontology of separated abstracta.
Cf remarks in Emily Grosholz and Charles Castonguay (1974)
ii) A note/query on FWL’s understanding of the unity of conditions expressed in the “S,U,D” Formula and the role of Diagonalisation. Diagonals and separated objects.
6th APRIL 2009 : REHSEIS : Seminar on Abstraction
Frédéric Jaeck (Univ. Bordeaux) Maurice Fréchet et la pratique de l’axiomatique abstraite en analyse fonctionnelle
See Link to REHSEIS Information on Seminar
8th APRIL 2009 : IMJ Chevalaret Salle OD9 1800hrs
Logique Categorique (Course by Alain PROUTE)
Pot de Cloture
See information on Continuing Lecture Courses
8th-9th APRIL 2009 Oxford University Lecture Theatre B OU Comp Lab
6th QPL Workshop on Quantum Physics and Logic
9th APRIL 2009
Batiment Condorcet Univ Paris 7 Salle Rothko
Fourth Seminar Talk of A Series by Louis CRANE (Kansas) on
CATEGORIFICATION and QUANTUM GRAVITY
10th April 2009 : ENS Paris The Physical Singularity of Life : Criticality and Entropy in Biological Systems
Memorial Meeting for Francis Bailly
Died 5th February 2009
Details to follow. (mf 0409)
See Talk by Annick LESNE
—oOo—
APRIL 13th-18th 2009
CATEGORIFICATION and GEOMETRISATION From REPRESENTATION THEORY
An International Workshop at The University of Glasgow
With talks by
John BAEZ / Lou CRANE / Tom LEINSTER and Others. See Programme. Full details of recordings to be added and Links to Recordings Overheads and other information
—oOo—
April 15th – 16th 2009 : Ideals of Proof/Chaire D’Excellence Research Group Workshop on the Ideas of Proof Theory
With : Per Martin-Lof / Albert Visser / Goran Sundholm / Peter Schroeder-Heister / Dag Prawitz / Rafael Nunez / Wilfrid Sieg
The Ideals of Proof Chaire d’Excellence Research Group sponsored a two day workshop on April 15th and April 16th 2009 in Paris on The Fundamental Idea of Proof Theory. in the Salle Dussane of the Ecole Normale Supérieure (45 rue d’Ulm, Paris 75005). The program is available here.
Day 1 ; 15th April 2009
Talk 1 by Per MARTIN-LOF : Hilbert and the Notion of Naturality of Proofs
Click here for recording of talk
and here for recording of following discussions
Talk 2 : Dag PRAWITZ : Conflicting Intuitions regarding Deductive Proof
Click here for recording of talk
and here for recording of following discussions
Day 2 : 16th April 2009 :
Talk by Rafael NUNEZ : Towards the Cognitive Foundations of Mathematical Reasoning and Proof
Click here for recording of talk
and here for recording of following discussions
Talk by Walter SIEG : Uncovering Aspects of the Mathematical Mind
Click here for recording of talk
and here for recording of following discussions
—oOo—
15th April 2009 LARSIM Seminar CEA-Saclay
Talk 1 11:00 am : Kevin DALEY (Chicago) : What Is Gibbs Canonical Distribution ?
Talk 2 14h30 : Daniel Parker (Virginia Tech) : “Molecular disorder and probability”
—oOo—
17th APRIL 2009 : REHSEIS/Paris VII Seminaire Philosophie des Mathematiques
International Colloquium « Constructivism and Proof »
Salle du Campanile Les Grand Moulins
With
Dag Prawitz / Jean Fichot / Alain Proute / Dan Isaacson
Details of recordings to follow.
17th and 18th APRIL 2009
Ideals of Proof ANR Project : Joint Workshop with REHSEIS
Constructivism in Proof : With talks by Dag PRAWITZ Dan ISAACSON Mark Van ATTEN Richard PETTIGREW
20th – 23rd APRIL 2009 : EDINBURGH :
From 20th-23rd April 2009 there was A Conference and a Series of related events at the ICMS (International Centre for Mathematical Sciences) in Edinburgh to mark the 80th Birthday of Sir Michael ATIYAH, Britain’s greatest living mathematician.
The Talks at the Conference were video-recorded by the Organisers and the results may be viewed at
As part of the programme of related events, on 21 April Sir Michael Atiyah chaired a panel discussion at the Royal Society of Edinburgh on The Higgs boson: what, why, how?, with Peter Higgs, David Saxon and Edward Witten. Audio and slides of the discussion. The slides of Witten’s presentation, and the slides of Saxon’s presentation may all be asccessed from the Atiyah 80 Conference website. The Atiyah80 photo album has photos from the panel discussion,
All these recorded materials in conection with the Atiyah 80 Meeting are the copyright of the ICMS
—oOo—
20th-25th APRIL 2009
Thematic School on Operads
27th-30th APRIL 2009
International Conference on Operads
Both held at CIRM Luminy (Marseilles)
Further Details to follow
—oOo—
21st APRIL 2009 Bristol University Philosophy Department Philosophy of Math Seminar
Richard PETTIGREW on
Aristotle on Geometry, Continuous Motion and Considering X qua F
Link to Recording and to Handout of Talk
21st APRIL 2009
Bristol University Philosophy Department Philosophy of Math Seminar (II)
John MAYBERRY on
The Theory of Syntax as a branch of Arithmetica Universalis
Link to Recording and to Handout
21st APRIL 2009
Batiment Condorcet Univ Paris 7 Salle 454A-KLEE
FIFTH Seminar Talk of A Series
By Louis CRANE (Kansas) on
CATEGORIFICATION and QUANTUM GRAVITY
Title of this Talk :
Categorical Models for Quantum Gravity
23rd APRIL 2009
Batiment Condorcet Univ Paris 7 Salle 412B-ROTHKO
SIXTH Seminar Talk of A Series
By Louis CRANE (Kansas) on
CATEGORIFICATION and QUANTUM GRAVITY
24th APRIL 2009
Batiment Condorcet Univ Paris 7 Salle 646A-MONDRIAN
Seventh (and Supplementary) Seminar Talk of A Series
By Louis CRANE (Kansas) on
CATEGORIFICATION and QUANTUM GRAVITY
27th APRIL 2009 : REHSEIS Seminar in History and Philosophy of Mathematics
1 Day Mini-Conference on Pratiques de problèmes (Axe « Pratiques mathématiques »)
Davide Crippa (Université Paris 7, REHSEIS)
La preuve cartésienne de la quadrature du cercle : le statut des problèmes impossibles dans la constitution des frontières du géométrique
Bruno Belhoste (Université Paris 1)
La culture de travail autour des problèmes géométriques dans les premières années de l’Ecole Polytechnique.
Guillaume Moussard (Centre François Viète, Nantes)
Problèmes et méthodes géométriques au XIXe siècle
Catherine Goldstein (Institut de mathématiques de Jussieu)
Le problème comme forme de travail en théorie des nombres (XVIIe-XIXe siècles)
Tuesday 28th April 2009 : REHSEIS Paris
Benjamin Wardhaugh (All Souls College Oxford)
Numbers, lines, instruments, sounds : Thomas Salmon (1648–1706) and the representation
of musical sound.
See Link to REHSEIS Presentation of the Seminar, Abstract and other Information
28th April 2009 : First of A Cycle of 5 Conferences Paris City of Sciences 18:30
Les Neurones, La Conscient et L’Inconscient : The Neurobiology of Consciousness from a neuronal perspective :
With Contributions from : Sid Koulder (Neuroscientist) Francois Ansermet (Psychoanalyst)
and Catherine Malabou (Philosopher)
29th APRIL 2009 14:00 Hrs IREM Seminar IHP Salle 201
Renaud CHORLAY : From Problems to Structures : The Role of Cousin’s Problems in the Emergence and Definition of the Concept and Structure of A Sheaf
Stages in the Development of Sheaf Theory and The Theory of Fiber Spaces
29th April 2009 Paris : 1600-1900 hrs
Maison Auguste Comte 10 Rue Momsiur le Prince First Floor
Jean DHOMBRES :
Epistemologie des Sciences Mathematiques
Part of continuing Lecture Course.
30th APRIL 2009 : Oxford Philosophy of Physics Research Seminar
4:30-6:30 pm LR 10 Merton St.
Luke GLYNN
Probability-Lowering Causes and Probability-Raising Non-Causes
—oOo—
April 30th 2009 Nancy : 4th IP Fellow Seminar
The fourth IP Fellows Seminar took place in Nancy on Thursday, April 30th 2009. The program is available here.
—oOo—
CONTINUING LECTURE COURSE :
LECTURE COURSE 14th JANUARY 2009 – 8th APRIL 2009 Recorded in full. See also January-February-March 2009
Cours d’Introduction A La Logique Categorique a Paris-Diderot (Chevalaret) By Alain PROUTE
Session 13 : 1st APRIL 2009
Session 14 : 8th April 2009 (Final Session)
ALSO CONTINUING LECTURE COURSE (See March 2009 for First 7 Lectures)
Time : 17:30-19:30 hrs Tuesdays and Wednesdays Place : Salle U/V Niveau -2 Dept of Mathematique ENS Paris
8 Lessons on Incompleteness : In Logic and in Quantum Mechanics : A Lecture Course by G.LONGO and
Thierry PAUL
Eighth Talk : 1st April 2009