Wednesday 26th – Saturday 30th JULY 2011

 

SETS WITHIN GEOMETRY

An International Symposium

Archives Henri Poincare, Nancy France : see

http://www.archmathsciphil.com/conferences-and- workshops/symposium-sets-within-

geometry-nancy-france-27-30-july-2011-2/

RECORDINGS :

 

DAY ONE : 26th JULY 2011

 

3:45 PM : Welcome and Introduction to the Symposium

 —oOo—

4 :00 – 5:45 PM  Professor FW Lawvere  (Talk 1)

What is a Space?

 

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31561050[/vimeo]

Click here for audio recording

 

Click here for link to overheads or Notes of Talk

—oOo—

5: 45 -6:15PM  : Discussion period

—oOo—

 

 

Day TWO : 27th JULY 2011

 

9: 30 – 11:00 AM Professor Jean-Pierre Marquis (Talk 1)

 

Abstract geometric sets and homotopy types : The metaphysics of abstraction

 

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31483829[/vimeo]

 

Click here for audio recording

 

Click here for link to Overheads of Talk

 

11:00 – 11:30 AM Discussion Period

 

11:30 – 11:45 AM Coffee Break

 

11:45 – 1:15 PM :  Professor Anders Kock  (Talk 1)

 

Monads and Extensive Quantities (Part I)

 

See below for Video of Talk

 

Click here for audio recording

 

Click here for link to overheads or Notes of Talk

 

Lunch

 

2:15 – 3:45 : Professor Jean-Pierre Marquis (Talk 2)

 

Space and sets :

 

The evolution of the notion of topological space in the first half of the 20th century

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31494056[/vimeo]

 

Coffee Pause

 

3:30 – 4:30 :  Discussion period concerning both Prof Kock and Prof. Marquis’ Talks

 

 

 

Day THREE : 28th JULY 2011

 

 

9:00-10:30 : Professor FW Lawvere (Talk 2)

The Dialectic of Continuous and Discrete in the history of the struggle for

a usable guide to mathematical thought

[vimeo width=”480″ height=”270″]http://vimeo.com/31780670[/vimeo]

 

Click here for audio recording

 

Click here for link to Notes or Overheads of Talk

 

—oOo—

 

Coffee Pause

 

10:45-12:15 : Professor Colin McLarty (Talk 1)

 

Cohomology in the Category of Categories as Foundation

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31440365[/vimeo]

 

Click here for audio recording

 

Click here for Overheads of Talk

 

Lunch

 

PM : Contributed Talks

 

Dr Andrei RODIN (University of Paris 7) : Formal Axiomatics and Set-theoretic

 

Construction in Bourbaki

 

Click here for audio recording

 

Click here for Notes and/or Overheads of Talk

 

—oOo—

 

Prof. Panagis KARAZERIS (Patras)

 

Embedding Kelley Spaces into Toposes : With some remarks about a

 

proposed  “Fundamental Theorem” of Category Theory

 

Click here for audio recording

 

Click here for Notes of Talk/Photos of Board Presentation.

 

—oOo—

 

Prof John STACHEL (Boston ) (Delivered by Webcast Video)

 

Sets in Algebra and In Geometry

 

Click here for audio recording of Prof. STACHEL’s Talk

 

Click here for link to Overheads of Talk.

 

—oOo—

 

7:45 PM : CONFERENCE DINNER

 

—oOo—

 

 

Day FOUR :  29th JULY 2011

 

 

9:30-11:00 : Professor Colin McLarty (Talk 2)

 

Title :  ”Why is so much of Category Theory constructive?”

 

 

 

 

 

 

 

Coffee Pause

 

11:15-12:45  : Professor Anders KOCK (Talk 2)

 

Monads and Extensive Quantities (Part II)

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31499247[/vimeo]

 

Click here for audio recording of Talk and Discussion

 

Click here for Overheads and/or Notes of Talk and photos of board presentaation

 

Lunch

 

2:15-4:30 : Prof. FW Lawvere (Talk 3)

 

A Review of Recent Developments in Categorical Dynamics

 

 

[vimeo width=”480″ height=”270″]http://vimeo.com/31720605[/vimeo]

Click here for audio recording

 

Click here for link to Notes of Talk and photos of board presentation

 

c. 4:45 PM : Closure of Symposium

 

Followed by Reception and Visit to Archives Henri Poincare (Prof. G. Heinzmann)

 

—oOo—

JULY 21st – 22nd 2011

The Mathematical Institute OXFORD England

TWISTORS IN GEOMETRY AND PHYSICS

A Conference in Honour of the 80th Birthday of Sir Roger Penrose OM

Organised by The London Mathematical Society and The Mathematical Institute Oxford University

See :

http://people.maths.ox.ac.uk/lmason/RP80/rp80-prog.html

For Program of Meeting and links to Speakers Overheads 

Recordings :

Day One Thursday 21st JULY 2011

 

2: 15 PM : Nigel HITCHIN (Oxford) :

Twistors and Octonions

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

3:15 pm : David SKINNER (PI)

Scattering Amplitudes from Holomorphic Linking in Twistor Space

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

Tea and Coffee Break

—oOo—

4:45 pm : Mike Eastwood (ANU)

CR Geometry and Conformal Foliations

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

 

Day Two Friday 22nd July 2011

 

9:30 am : Andrew HODGES (Oxford)

Polytopes and Amplitudes

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

10:30 am : Paul TOD (Oxford)

Conformal Cyclic Cosmology

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

Tea and Coffee Break

—oOo—

12:00 : Claude LeBRUN (SUNY Stony Brook) :

On Hermitean-Einstein 4-manifolds

Listen here for Recording of Talk

See here for Speakers Overheads

—oOo—

Lunch

—oOo—

2:15 pm : Nima ARKANI-HAMED (IAS Princeton)

Scattering Without Space-time

Listen here for Recording of Talk

See here for Speakers Overheads

 

—oOo—

 

Tuesday 25th – Saturday 29th July 2011

 

University of Coimbra, Portugal.

 

Non-Associative Algebras and Related Topics

 

For First Announcement  see :

 

http://uk.mg41.mail.yahoo.com/dc/launch?.gx=1&rand=6ibfa4t7s6dlo

 

Further details and program to be added.

 

—oOo—

 

Wednesday 26th – Saturday 30th 2011 :  TACL 2011

 

 

TACL 2011 Marseille FRANCE

 

TOPOLOGY ALGEBRA and CATEGORICAL LOGIC

 

Click here for Link to Poster and Program of Meeting.

 

Recordings :

 

 

DAY ONE : 26th JULY 2011

 

Recording 1. Nikolaos GALATOS :

 

Relativising The Substructural Hierarchy

 

Click here for Recording

 

Click here for Overheads and Abstract

 

Recording 2 : C. FOUQUERE :

 

Substructural Logic for Orientable and Non-Orientable Surfaces

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 3 : PM Session on Proof Theory

 

Talk by Florian HATAT and Tom HIRSCHOWITZ

 

A Graphical Game Semantics for Modal Logic

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 4 : PM Session on Proof Theory

 

Talk by M. VAUX

 

On the Transport of finiteness structures

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 5 : PM Session on Proof Theory

 

Talk by M. LAMARCHE (with Novak NOVACOVIC)

 

Frobenius Algebras and Classical Proof Nets

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 6: PM Session 26th JULY 2011

 

Talk by Steve AWODEY

 

Homotopy Type Theory

 

Click here for Recording

 

Click here for Overheads and Abstracts of Talk

 

Recording 7 : PM Session 26th JULY 2011

 

Talk by Peter ACZEL

 

Generalized Type setups for dependently sorted logic

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 8 : PM Session 26th JULY 2011

 

Talk by Peter ARNDT

 

Homotopical Fibering

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 9 : PM Session 26th JULY 2011

 

Talk by Ivano CIARDELLI

 

A Simple, direct and fully constructive proof of intuitionistic

 

completeness for PreSheaf Semantics

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

—oOo—

 

 

DAY TWO : 27th JULY 2011

 

Recording 1 :  Memorial Session for Leo ESKASIA

 

Talk 1 by L. BEKLEMISHEV

 

Topological Semantics of Polymodal Provability Logic

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 2 : Gurem BEZHANISHVILI

 

The Scientific L.egacy of Leo ESAKIA

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 3 :  Mamuka JEBLADZE

 

Intuitionistic Modalities in Topology and in Algebra

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 4 : Talk by David GABELAIA

 

The Topological Semantics of Modal Logic

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

Recording 3 : PM Session on Extensions Completions and Dualities

 

Talk by Jacob VOSMAER : Canonical Extensions and Universal Properties

 

Click here for Recording

 

Click here for Overheads and Abstract of Talk

 

—oOo—

 

DAY THREE : 28th JULY 2011

SESSION ON UNIFICATION and DUALITY

Recording 1 :  Talk by Vincenzo MARRA

Through the Looking Glass : Unification, Projectivity and Duality

Unification and Duality (1)

Click here for Recording

Click here for Overheads and Abstract of Talk

Recording 2 :  Talk by L. SPADA

The Unification Type of Lukasiewicz Logic and

MV-Algebras is nullary.

Unification and Duality (2)

Click here for Recording

Click here for Overheads and Abstract of Talk

Recording 3 :  Talk by D.M. HOFFMANN (with Gonzalo GUTTIERES)

i. Continuous Metrics

ii.  Metric Compact Hausdorff Spaces

Click here for Recording

Click here for Overheadsand Abstracts of  both Talks

—oOo—

DAY FOUR : 29th JULY 2011

Recording 1 : Talk by Thomas STREICHER

A Categorical Account of KRIVINE’s Classical Realizability

Click here for Recording

Click here for Overheads and Abstract

Recording 2 : Talk by Olivia CARAMELLO

A Topos-theoretic Approach to Stone-type Dualities

Click here for Recording

Click here for Overheads and Abstract of Talk

—oOo—

More Recordings for JULY 2011 to be added.