In June 2007 the Archive recorded the following events, or made arrangements to share recordings made by others :

 

1st – 3rd JUNE 2007

Montreux Switzerland

International Meeting of The Association for Universal Logic

The Square of Opposition in the light of modern Logic

Further details of Program of Meeting to be added

3rd June 2007 : General Round Table Discussion by Speakers at end of Meeting

Click here for recording of Discussion

Click here for Notes of Discussion

—oOo—

 

Saturday 2nd JUNE 2007

IHPST Paris 13 Rue du Four

1 Day Symposium on the Book “Phenomenology and Logic” by Robert TRAGESSER

with the participation of the author

Details of Talks and recordings to be added

—oOo–

 

 

3rd – 10th JUNE 2007

Haute Bodeux 07 :  Proceedings of the 2007 HAUTE BODEUX Summer School (at Haute Bodeux in the Belgian Ardennes)

2007 SUMMER SCHOOL TOPIC : Categorical Metrhods in Algebra and Topology : Contemporary Developments

The following parts of the Summer School were recorded by kind permission of the organisers and the Speakers :

Day 1 : Sunday 3rd June 2007

Participants assemble in Haute Bodeux. No Recordings

—oOo—

Day 2 : Monday 4th June 2007

Contributed Talks :

Tim VAN DER LINDEN

Eckmann-Hilton Homotopy semi-abelianized

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Lourdes SOUSA :

Complete Logics of Morphisms – extending Birkhoff’s Equational Logic

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Valentini ROSSI : Admissible Galois Structures and Coverings in Regular Malcev categories

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day 3 :  Tuesday 5th June 2007

Contributed Talk(s) :

Zarab JANELIDZE :  Categorical term Conditions

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

LECTURE SERIES 1   : Categorical and Topological Aspects of Semi-Abelian Theories.

Lecture Course by Dominique BOURN and Maria Manuel CLEMENTINO

Lecture 3 of Series delivered by Maria Manuel CLEMENTINO

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day 4 :  Wednesday June 6th 2007

Free day for Excursions. No Recordings

—oOo—

Day 5 : Thursday June 7th 2007

Lecture Series 3  :  Jiri ROSICKY

Accessible Categories and Homotopy Theory : Lecture  1.

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Lecture Series 4 :  Walter THOLEM : Lax algebraic Methods in General Topology :  Lecture 1

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Contributed Talk :  Nelson Martins FERREIR

The Pseudo-Category of paths in a Topological Abelian Group

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Contributed Talk : Guiseppe METERE : The Zigurat of Exact Sequences of n-groupids.

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day 6 : Friday June 8th 2007

Lecture Series 3  :  Jiri ROSICKY

Accessible Categories and Homotopy Theory : Lecture  2.

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Lecture Series 4 :  Walter THOLEM : Lax algebraic Methods in General Topology :  Lecture 2

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Contributed talks PM Friday 8th June 2007

David HOLGATE : A Survey of Connectedness and Disconnectedness conditions for morphisms in a category

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Thorsten PALM : Towards a Geometry of Diagrammatic Computads

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Dirk HOFMAN : Morita Equivalence for “Mathser(T)” Categories (Lawvere-complete/Cauchy complete Categories)

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day 7 : Saturday June 9th 2007

AM :  LECTURE SERIES 1   : Categorical and Topological Aspects of Semi-Abelian Theories.

Lecture Course by Dominique BOURN and Maria Manuel CLEMENTINO

Final Lecture of Series delivered by Maria Manuel CLEMENTINO

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Lecture Series 3  :  Jiri ROSICKY

Accessible Categories and Homotopy Theory : Lecture  3  (Final Lecture)

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Contributed Talks :

S. CASANJEAN  : Title and further details to be added.

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day 8 :  Sunday June 10th 2007

End of Conference. Participants disperse. No recordings

—oOo—

 

4th JUNE 2007

IHPST 13 Rue du Four

Seminar on History and Philosophy of Logic

Speaker : Alexandre COSTA-LEITE

Title : Formal Approaches to and Frameworks for the Combination of Logical Systems

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

 

4th JUNE 2007

ENS Seminar on Mathematics and Philosophy (Directed Cartier-Longo-Petitot et al)

Topic of 2006-2007 Series : Poincare : between Mathematics, Physics and Philosophy

Speaker : Mioara MUGUR-SCHACHTER (Physics, CESEF)

Title :  Poincare et L’Infra-Quantique : La Conception scientifique-philosophique de Poincare vis-a-vis la structure des descriptions de microetats

Click here for recording of Talk

Click here for Notes

—oOo—

 

5th-12th JUNE 2007

100 Years of Intuitionism

An International Conference. Centre Culturel International de Cerisy-la-Salle. Normandie, France.  

5th-12th June  2007

see :  www.indiana.edu/~intuit/cv.htm

Details of recordings to follow

—oOo—

Day One ; 5th JUNE 2007 : 

 

—oOo—

Day Two : 6th JUNE 2007 :

 

—oOo—

Day Three  :  7th JUNE 2007 

AM LECTURE : The 2007 BETH Memorial Lecture

Per MARTIN-LOF :
The Hilbert-Brouwer Controversy Resolved ?

Click here for Link to recording of Lecture

Click here for speakers overheads and Notes

—oOo—

Day Four : 8th JUNE 2007

Details of  Recordings of Talks by P. Nabbonand, G. Heinzmann and F. Guillaume to be added 

—oOo—

Day Five : 9th JUNE 2007

 

—oOo—

Day Six : 10th JUNE 2007

 

—oOo—

Day Seven :  11th JUNE 2007

 

—oOo—

Day Eight : 12th JUNE 2007

 

—oOo—

 

6th JUNE 2007

3:00 PM ENS 45 Rue D’Ulm Paris

Invited Lecture by Pierre DELIGNE (IAP Princeton)

On Theories of Motivic Cohomology in relation to The Theory of Mutlizeta Functions and the Riemann Hypothesis

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

 

6th JUNE 2007

Cite des Sciences Paris : The Present State and Future of Physics

A Public Disputation between Lee SMOLIN and Tibault DAMOUR

Including a discussion of String Theory versus Loop Quantum Gravity and other approaches to a Theory of Quantum Gravity

Click here for recording of Discussion

Click here for Notes of Discussion

—oOo—

 

7th JUNE 2007

The Principles of Mathematics Revisited

Institut Finlandais Paris

Minisymposium with Professor Jaako HINTIKKA and Others to mark the publication of the French Edition (by L.Vrin) of Professor Hintikka’s book

“The Principles of Mathematics Revisited”

With an Introductory Lecture by Jaako HINTIKKA and Talks by other speakers and following Discussion

Part 1 : Lectures by Jaako HINTIKKA and Others (T.B.A.)

Click here for recording of Talk

Click here for Notes and/or overheads

—oOo—

Part 2 : General Discussion

Click here for recording of Discussion

Click here for Notes of Discussion

—oOo—

 

7th JUNE 2007

College de France 
First of a Series of 4 Invited Lectures by Professor Michael FRIEDMAN

Carnap, Cassirer and Heidegger : The Davos Disputation and the Split in 20th Century Philosophy

Lecture 1 :  Encounter at Davos : A Parting of the Ways

Click here for recording of Lecture

Click here for Notes

—oOo—

 

7th JUNE 2007

ENS Seminar “Penser Le Science”  (Convenor : Charles ALUNNI)

Speaker : Don SALISBURY (Austin) :

Title : Time in General Relativity  : 

Leon Rosenfeld and the Constraints problem in Quantum Gravity – Finding Time in the Hamiltonian Formalism : With a discussion of the contributions and insights of Rosenfeld, Pauli and Dirac

Click here for recording of Talk.

Click here for Notes.

—oOo—

 

11th -12th JUNE 2007

Invited Lectures at The Humboldt University Berlin

by DrAndrei RODIN (ENS Paris)

11th JUNE 2007 : Lecture 1 : Category Theory for Philosophers

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

12th JUNE 2007 : Lecture 2 : Towards Categorical Theory-Building :

Choices of mathematical language, Unification of Conceptual Frameworks and the comparison of different perspectives on the notion of a Foundation for mathematics

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

 

13th -14th JUNE 2007

R.E.H.S.E.I.S. PARIS  Informal 2 day Workshop on the Topic of

Philosophy of Mathematics as an Interpretive Enterprise : How Much of the History of Mathematics should the Philosophy of Mathematics be expected to account for ? 

Discussions preliminary to main Workshop (18th June 2007 – see below)

 

DAY 1 :  13th June 2007  :  AM Session

A General Introductory Discussion introduced and led by Marco PANZA (REHSEIS Paris 7) on the relationship between History of Mathematics and Philosophy of Mathematics

Click here for recording of Discussion

Click here for Notes of Discussion

—oOo—

Memo of discussions during Lunch break

—oOo—

Day 1  13th June 2007 :  PM Session 1 : 

A Discussion introduced and led by Mik DETLEFSEN (University of Notre Dame, Chair D’Excellence Ideals of Proof Program, Paris 7) on the status of axioms at different stages of the History of Mathematics : Is there a timeless axiomatic method ?

Also comprises discussions of the nature of proof and of mathematical explanation.

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

Day 1  13th June 2007  PM Session 2 : 

A Discussion introduced and led by Jose FERREIROS on the Philosophy of Set Theory : What good is Set Theory for the Philosophy of mathematics ?

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

Day 1   13th June 2007 PM Session 3

General Discussions between Marco PANZA, Stewart SHAPIRO and others on Structuralism as an account of Mathematical Practice.

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

 

DAY 2 : 14th June 2007 : AM Session :

Part 1 : GENERAL DISCUSSION

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

Part 2 : Discussion led by Ken MANDERS (Pittsburgh) on Problems in the History and Philosophy of Geometry : On the Uses of Diagrams in Greek Geometry : Practice, Objects and Truth

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

Part 3 :  Discussion introduced and led by Andrew ARANA on Purity of Proofs and Methods in Mathematics

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

DAY 2 : 14th June 2007 : PM Session

Part 1 :  Discussion led by Richard TEITZSEN on Mathematical Intuition

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

Part 2 : Discussion on Mathematical Structuralism : Variants of a Thesis led by Stewart SHAPIRO

Click here for recording of Discussion

Click here for Notes of Discussion.

—oOo—

 

13th JUNE 2007

College de France 
Second of a Series of 4 Invited Lectures by Professor Michael FRIEDMAN

Carnap, Cassirer and Heidegger : The Davos Disputation and the Split in 20th Century Philosophy

Click here for recording of Lecture 2.

Click here for Notes

—oOo—

 

14th JUNE 2007

C.R.E.A. Paris  (Amphitheatre A)

Colloque organised by Prof. Michel BITBOL (C.R.E.A., Ecole Polytechnique) in honour of prof. Rom HAre

La Philosophie de la Psychologie et La Philosophie de la Physique

Autour de l’oeuvre de Rom HARRE

Further details to follow

—oOo—

 

15th JUNE 2007

Seminaire Riemann ENS

Talk 1 : Michael FRIEDMAN

Einstein, Kant and the Relativized A Priori.

Click here for recording of Talk and following discussions

Click here for Notes

Reply to Michael FRIEDMANN by Jean-Jacques SZCZECINIARZ : Kant’s view of the Transcendental Considerations proper to the constitution of Mathematical Knowledge

Click here for recording of reply and following discussions

Click here for Notes

—oOo—

Talk 2 : Jean-Jacques SZCZECINIARZ

Algebraic varieties and Schemes as Forms of Relativized A Priori Concepts of Space

Click here for recording of Talk and following discussions

Click here for Notes

—oOo—

Notes of  continuing Discussions following 15th June 2007 Seminaire RIEMANN : Participants : Michael Friedman, Jean-Jacques Szczeciniarz, Ivahn Smadja, Renaud Chorlay et al.

—oOo—

 

15th JUNE 2007

Moscow State University, Moscow, Russian Federation

A Minisymposium on The Philosophy of Mathematics

Talk 1 : Michael RESNIK :

Mathematics as A Science of Patterns

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 2 : Andrei RODIN (ENS Paris)

Categorification, Functoriality and Formal Methods

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

 

15th JUNE 2007

Memorandum of discussions with Mark Van Atten on issues arising from talks given at the 5th-12th June 2007 Cerisy Colloquium on 100 Years of Intuitionism 1907-2007

 —oOo—

 

18th JUNE 2007

Salle Dussane ENS Paris

The Yoneda Lemma 1957 – 2007 : A 50th Anniversary Symposium

Talk 1 : Rene GUITART (CNRS and Paris 7) :

L’evidement es Objets et le dehors comme substance

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 2 : Alain BADIOU (Philosophy ENS) :

Le Lemme Yoneda : Une Interface “Naturelle”

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 3 : Pierre SCHAPIRA :

Lemme de Yoneda et Dualite

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

LUNCH BREAK

—oOo—

Memorandum and Notes of discussions during Lunch Break between Pierre CARTIER, Rene GUITART and A.N. Other

—oOo—

Talk 4 : Pierre CARTIER (CNRS, IHES)  : Yoneda : Du Bon Usage de La Tautologie

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 5 : Charles ALUNNI (Philosophy ENS)

Le Lemme de Yoneda : Enjeu pour une Conjecture Philosophique ?

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 6 : Guerino MAZZAOLA : Ce sont les Points de Grothendieck qui font La Musique  ?

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Concluding Round Table Discussion by participants in the Symposium : Speakers : Pierre CARTIER, Charles ALUNNI, Rene GUITART, Pierre SCHAPIRA, Gueriono MAZZUOLA, Alain BADIOU

Click here for recording of Discussion

Click here for Notes of Discussion

—oOo—

plus notes of continuing discussions following the Symposium : Rene Guitart, Alexandre Costa-Leite, K. Verelst and others.

—oOo—

 

18th JUNE 2007

Memorandum of Discussion with Belgian Philosophers and Historians of Science of views of Newton and Leibniz on General Ontology in relation to methodological issues in Science esp. as bearing on Foundations of calculus and the status of mathematical knowledge in relation to metaphysical principles

—oOo—

 

18th – 19th JUNE 2007

R.E.H.S.E.I.S. Paris

International Workshop : Philosophy of Mathematics as an interpretive enterprise : How Much of the History of Mathematics should the Philosophy of Mathematics be expected to account for ?

 

DAY 1 : 18th JUNE 2007

Talk 1 : Marco PANZA (R.E.H.S.E.I.S.) (C.N.R.S.)

Is tne notion of a mathematical object an historical notion ?

Click here for recording of Talk

Click here for Notes

—oOo—

Talk 2 : Jose FERREIROS (University of Seville)

Mathematical Knowledge : Why only a historically-centred philosophy of mathematics can do justice to this notion.

Click here for recording of Talk

Click here for Notes

—oOo—

Talk 3 : Andrew ARANA (KSU)

Some philosophical ideals that shape our historical interests

Click here for recording of Talk

Click here for Notes

—oOo—

Talk 4 : Michael DETLEFSEN (Notre Dame University)

Arithmetization and Ideals of Proof

Click here for recording of Talk

Click here for Notes

—oOo—

Talk 5 : Carlos ALVAREZ (UNAM Mexico)

Why is there no trigonometry in Euclid’s Elements ? : A historical and a philosophical question

Click here for recording of Talk

Click here for Notes

—oOo—

 

DAY 2 : 19th JUNE 2007

Talk 1 : Ken MANDERS (University of Pittsburgh)

The Philosophy of Mathematics in relation to (some) real (historical) Mathematics

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Talk 2 :  Jessica CARTER (University of Southern Denmark)

A Philosophical Description of Mathematical Objects on the Basis of a variety of Case Studies in Mathematics

Click here for recording of Talk and following discussions

Click here for Notes

—oOo—

Talk 3 :  Klaus Forvin JORGENSEN (Roskilde University)

The Philosophical Significance of Godel’s Dialectica Interpretation

Click here for recording of Talk and following discussions

Click here for Notes

—oOo—

Talk  4  : Stewart SHAPIRO (Penn State and St Andrews)

Faithful to What ? A Defense of A historically nuanced variant of Mathematical Structuralism

Click here for Link to recording of Lecture

Click here for speakers overheads

—oOo—

Notes of exchanges and discussions during 18th-19th June 2007 REHSEIS Workshop outside the settingof the formal talks

—oOo—

 

17th-23rd JUNE 2007

CT 2007 : INTERNATIONAL CATEGORY THEORY MEETING in CARVEILHO, PORTUGAL

 

The following recordings were made

Sunday 17th JUNE 2007 : Arrival of Participants. No recordings made.

—oOo—

 

Monday 18th JUNE 2007

CT 2007  INVITED LECTURE :  F.W. LAWVERE  :

CATEGORIES OF COHESION IN GEOMETRY and ANALYSIS

Click here for recording of Talk and following discussions

Click here for Notes

—oOo–

followed by

1.   Talk by F.W. LAWVERE :

A Strong Nullstellensatz for Euler Continua in a Cohesive Topos

Click here for recording of Talk and following discussions

Click here for Notes

—oOo—

2.   Talk  by Tom LEINSTER :

Jonsson-Tarski Toposes

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

3 .   Talk by Jonathan FUNK

F-inverse semigroups and Toposes

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

4.   Talk by Robert WALTERS

Calculating limits and co-limits compositionally

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

5.   Michael MAKKAI

Computads and weak higher dimensional Categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

6.   O. MANZYUK

The Closed Multicategory of A-infinity categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

Tuesday 19th JUNE 2007

1.   Francis BORCEUX : Protolocalizations of homological categories

Click here for recording of Talk and following discussions

Click here for Notes amd speakers overheads

—oOo—

 

Wednesday 20th JUNE 2007

1.   Marcelo FIORE : Towards A Mathematical Theory of Substitution

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.   Stephen LACK : Lawvere 2-Theories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

Thursday 21st JUNE 2007

1.   Bob COECKE (Oxford)

Quantum Physics as it is practised in the lab from A categorial Standpoint

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.   Pedro RESENDE

Quantale-valued sets, Quantale modules and groupoid actions

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

3.   R. WOOD

Cartesian bicategories as symmetric monoidal bicategories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

4.   D. VERITY

Weak complicial sets and internal quasi-categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

5.    Mateus MENNEI

Lauchli’s Completeness from a Topos-theoretic perspective

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

6.   Eduardo DUBUCS

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

7.    Invited Lecture :

Peter JOHNSTONE (Cambridge)

Bill Lawvere : The Search for Cohesion

Click here for recording of Talk and following discussions

Click here for Notes and speakers Overheads

—oOo—

 

Friday 22nd JUNE 2007

1. Thorsten PALM

A Geometry for Diagrammatic Computads

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.  T. JANELIDZE 

Relative Semi-Abelian categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

3.  Joao XAREZ 

Kan Extensions, Models of Sketches and the Co-equaliser of the Kernel Pair Process

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

4.  Z. JANELIDZE

Cover relations on categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

5.  J. COHEN 

Coherence Theorems with and without weak normal forms.

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

6.  S. PAOLI

Semistrict Tamsamams e-groupoids and connected n-types

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

Saturday 23rd JUNE 2007

 1.  Jiri ROSICKY

Combinatorial Model categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.  Mario GRANDIS

CoSpans and weak Cubical Categories in Algebraic Topology

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

3.  Tim VAN DER LINDEN

The equivalence between Barr-Beck CoTriple Homology and the Brown-Ellis Hopf Formulas

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

4.   Eugenia CHENG (Cambridge)

Comparing operadic theories of n- categories

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

5.   Martin HYLAND (Cambridge)

Fibrations in Logic

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

Addendum to Conference : Text of an interview between F. William Lawvere and 2 Portuguese Mathematicians

19 Pages : To appear in Bulletin Number 22 of the International Center for Mathematics

June 2007

Click here for Text of Interview

—oOo—

 

 

21st JUNE 2007

Salle 415A Hall des Farines University of Paris 7 Denis Diderot

A ONE DAY INTENSIVE MINI-COURSE on Category Theory for Interdisciplinary Students and Users and Doctoral candidates

By Daniel GUIN

Click here for recording of The Course

Click here for Notes  and For Speakers Overheads

—oOo—

 

21st – 25th JUNE 2007

University of Leiden, The Netherlands

“NEWTON AND PHILOSOPHY and NEWTON AS A PHILOSOPHER”

An International Conference

Conference Venue : Museum BOERHAVE

 

DAY ONE : Thursday 21st JUNE 2007

Talk 1 :  Andrew JANIAK (Duke University)

Descartes Metaphysical Physics and Newton’s Physical Metaphysics

Click here for Link to recording of Lecture and following Discussions.

Click here for speakers overheads and Notes

—oOo—

Talk 2 : Katherine BRADING (Notre Dame University)

Newton on Body : A Response to Descartes

Click here for Link to recording of Lecture and following Discussions

Click here for speakers overheads and Notes

—0O0—

Talk 3 : Karin VERELST (Free University of Brussells)

G.O.D. in Newton and Leibniz : Untransparency versus Inconsistency

Click here for Link to recording of Lecture and following Discussions

Click here for speakers overheads and Notes

—oOo—

Talk 4 :  Dan GARBER (Princeton)

Newton vs Leibniz : On Body Force and the Laws of Nature

Click here for Link to recording of Lecture and following Discussion.

Click here for speakers overheads and Notes

—oOo—

 

Day Two :  Friday 22nd JUNE 2007

Talk 1 :  Chris SMEENK (U.C.L.A.) and George E. SMITH (Tufts University)

Newton on Constrained Motion

(missing earlier part of talk)

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

Talk 2 :  Maarten VAN DYCK (Ghent)

Galilean Inertia and Newton’s Laws of Motion

(missing last part of Talk)

Click here for recording of Talk

Click here for Notes and speakers overheads

—oOo—

Talk 3 :  Steffen DUCHEYNE (Ghent)

Newton’s General Scholium : Published and Unpublished Endeavours

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

Day Three : Saturday 23rd JUNE  2007

Talk 1 : Lynn JOY (University of Notredame)

Newton’s “Divine Phenomenalism” and Its Humean legacy

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

Talk 2 :  Graciella DE PIERRIS (Stanford) : Newton, Locke, Humne and Scientific Methodology

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

JUNE 25th-30th 2007 

Centro Cultural Universitario Morella  Mexico

INTERNATIONAL CONFERENCE ON QUANTUM GRAVITY

This conference is intended to provide the main international event in 2007 in Quantum Gravity Research with emphasis on non-perturbative and background independent approaches. Topics include : Foundational questions of quantum gravity, Loop Quantum Gravity, Spin Foam Models, Dynamical triangulations, Causal sets, String Theory, Cosmological questions related to quantum gravity, phenomenology of quantum gravity.

Further details of speakers and titles to be added

Detailed records of the Conference to be added.

—oOo—

 

28th-29th JUNE 2007

FROM TYPED LAMBDA CALCULUS TO MORPHOLOGICAL COMPLEXITY

A Meeting in Honour of the 60th Birthday of Guiseppe LONGO

CNAM (Conservtoire National des Arts et Metiers Paris)

 

Day One : JUNE 28th 2007

No Recordings. See this link for Program of Meeting.

Click here for Speakers Overheads and Notes of talks on June 28th 2007.

—oOo—

 

Day Two : JUNE 29th 2007

Following Talks recorded 29th June 2007  :

1.  Pierre-Louis CURIEN

Computational Self-Assembly

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.  John STEWART

Is Life Computable ? : Reflections on some themes of Robert ROSEN

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

3.  Luca CARDELLI

On Artificial Biochemistry

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

LUNCH BREAK

—oOo—

PM TALKS

1.  Mariangiola DEZANI

Session Types for Object – oriented Languages

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

2.   Kim BRUCE

Modularity and Scope in Object-oriented Languages

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

PM Coffee Break

—oOo—

3.   Abbas EDALAT (Imperial College London)

The Derivative and Its Generalisation to Higher Dimensions

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

4.  Thierry PAUL  (ENS Paris)

Semi-Classical Analysis and the problem of initial conditions and of the relation of Classical to Quantum Systems

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

5.  Guiseppe LONGO 

Some Thoughts on Incompleteness, Open Systems, and  Conceptual Circularity in the Exact Sciences

and in the Life Sciences. With concluding reflections on Bohr and Schroedinger

Click here for recording of Talk and following discussions

Click here for Notes and speakers overheads

—oOo—

 

Further entries for June 2007 to be added.