August 2007

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

 

9th-13th AUGUST 2007

Notes and memoranda of discussions on Differential Geometry and GR with Dr Dennis Lehmkuhl of University of Oxford

—oOo—

 

9th-15th AUGUST 2007 

CLMPS 13 : The 13th International Congress of Logic Methodology and Philosophy of Science

Beijing, China.

For information on The Congress including a full program of all The Talks see :

13th International Congress, Beijing 2007

—oOo—

Within The Program of The Congress, The Archive Trust made recordings of the following events :

 

DAY ONE :  Thursday 9th AUGUST 2007 

No recordings were made this day

—oOo—

 

DAY TWO : Friday 10th August 2007

Recordings from PM Session on Philosophy of Logic and Mathematics  14:00 hrs  Room C4

Recording of Talk by Jessica CARTER (Aarhus Denmark) :

Pictures and proof in Analysis : With a Discussion of Examples from the Work of Vaughan Jones on Knot Polynomials

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Maria GOMEZ-TORRENTO :

The notion of co-extensionality in connection with the Model-theoretic definition of Logical truth : An argument against Tarski’s Thesis.

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

 

DAY THREE : Saturday 11th August 2007

Recording of PM Session in Room C1 : 14:00-15:00 hrs :

Ralk KROEMER (University of  Siegen) : 

The Pragmatics of The Concept of Mathematical Function : A Historical Approach from Euler Cauchy and Dirichlet to Grothendieck

With following extended discussion session

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Session in Room C4 : 15:10-16:10 hrs :

Part of Session on Cognitive Science

Talk by Prof. Michiel Van LAMBALGEN (Amsterdam)

Reasoning with Rules and Exceptions : Logic in the Study of Autism and some tentative conclusions bearing on the relationship of Epistemology and Logic : Kantian versus Fregean perspectives.

Click here for recording of talk

Click here for Speakers Overheads  (pp. 455-480 of Conference proceedings)

—oOo—

 

DAY FOUR : Sunday 12th August 2007 

No recordings were made this day

—oOo— 

 

DAY FIVE : Monday 13th August 2007

Recordings in Session on Philosophy of Logic :

1.  Recording of Talk by Joke MEHEUS

Avoiding Deontic Explosion by Contextually Restricting aggregation

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

2.  Recording of Talk by Jeremy AVIGAD

Logic and Computation

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

3.  Recording of Talk by Freiderike MOLTMANN

Reference to Numbers in Natural Languages

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

4.  Recording of Talk by Peter PAGIN

Gaps and Higher-Order Vagueness

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

5.  Recording of Talk by Gerhard JAEGER

Formal Approaches to Methodological issues in Mathematics and Logic

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

 

DAY SIX : Tuesday 14th August 2007

Recordings of AM Session on Logic in  Room A 2

Talk 1 (09:00-10:00 am) : Katsuhiko SANO :

Pure Topological Completeness for Hybrid Logics without the Global Modality

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk  2  (10:10-11:10 am) : Fabien SCHANG

Negation and Dichotomy

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk 3 : Sonja SMETS

Dynamic Conditionals as A Unifying Setting for Information Change : From Quantum Logic to The Logic of Belief revision

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

August 14th 2007 PM Session

Recordings of Talks in The Session on Philosophy of Logic and Mathematics :

Recording of Talk by Maria Ponte-Azcarati :

Mathematical Objectivity and The Axiom of Choice                                                          fr  140807

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Mary LENG (Cambridge) :

A Discussion of Structuralist versus Fictionalist Accounts of The Applicability of Mathematics

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Colin McLARTY (CWRU) :

On Category-Theoretic Structuralism

Containing a  discussion on the role of Category Theory in the Conceptual organisation of Mathematics vis-a-vis claims and counterclaims for other roles and the light thrown on different conceptions of what should count as a Foundation of Math and what Foundations are for.

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Marco PANZA (REHSEIS Paris) :

Lagrange’s Theory of Functions and the Distinction between terms and What They Stand For

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Henrik Kragh SORENSEN :

Functions as formulae and functions as concepts in early 19th Century Mathematics

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Sebastien GANDON (REHSEIS, Paris)

The Ghost of (The Notion of) Quantity : The Theory of Magnitude in Russell and Whitehead’s Principia

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Round Table Discussion on Structuralism led by Colin McLARTY

developing themes in his earlier talk on (inter alia) the relevance of Category Theory to the undertsanding of contemporaray mathematics and its overall direction of development. Contains discussion of the question what directions the Philosophy of Math should take in the renewal of Philosophical Inquiry into Math. Conatins elaboration (by McLarty) of the claim that mathematical practice, as organised in category-theoretic terms, suggests and provides much richer and morediverse conceptions of “structure” than those treated in much self-styled Structuralist approaches in the current Philosophy of Mathematics

Click here for recording of Round Table Discussions

Click here for Notes of Discussions

—oOo—

Session of AM 14th August 2007 11:30 am Room A 2

Talk 1 of Session :

C. STRASSER :

Adaptive Versions of The Deontic Logics DPM : Dealing with the problem of Deontic Explosion

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk 2 :

Hsing-Chien TSAI : Meta-Logical researches on Mereological Theories

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk 3 :  Dmitri Ivanov VAKARELOV

Solving recursive equations in complete modal algebras with applications to global mu-definablility

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

PM Session 1.  Room A 2

Talk 1 :  Peter VERDER

An extremely weak but usedul  paraconsistent logic for logical analysis CL-

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk 2 :  Joseph VIDAL-ROSSET :

The Analytic-Synthetic Distincton in the light of Mathmatical Logic

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

PM Session 2 : Room A 2 (Chair : Mark Van ATTEN) : Session on Topics in Philosophical Logic and Philosophy of Language

Talk 1  (15;10-16:10 hrs) : Jan WOLENSKI (Cracow)

Truth Correspondence and Intensionality

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Talk 2 (16:30-17:30 hrs) : Elia ZARDIN

A Model of Tolerance : Vagueness and The Sorites Principle

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

 

DAY SEVEN : Wednesday 15th August 2007 

Recording of Talk in AM Session in Room C4

9:00-10:00 am :

Talk by Yuncheng  ZHOU : A Linguistic Approach to the Problem of the First person

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk in AM Session in Room B4 :
Historical aspects of Mathematics and Mathematical Sciences 

Recording of Talk by Henk BOS :

A Conjectural Recosntruction of Descartes approach to writing the Regulae and its bearing on the use of Algebra in Geometry and why it should be thought to lead to certain knowledge

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Recording of Talk by Z.Y. ZHOU :
A Model-based Cognitive Approach to Explanation                                                                              fr 150807

—oOo—

15th August 2007 :

Final Plenary Lecture of CLMPS 13 :

John SEARLE 2:00-4:00 PM :

Three Building Blocks of Social Reality

Click here for recording of Plenary Lecture

Click here for Speakers Overheads

—oOo—

 

11th-12th AUGUST 2007

Oxford University Computing Laboratory :  CQL 2007 : International Meeting on

Categorical Algebra, Quantum Theory and Information

 —oOo—

DAY ONE OF MEETING : Saturday 11th August 2007

 9:30-10:30 am :  Talk 1

John HARDING (IT New Mexico State)

Some Quantum Logic and A Few Categories

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

10:30 – 11:30 : Talk 2

David KRUML (Brno) presenting joint work with Jeff EGGER

Tensor Quantales

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

LUNCH BREAK

—oOo—

PM Talk 1 :
Chris ISHAM (Imperial College) :

Topos Theory as a general framework for the formulation and comparative study of the Formalism of Physical Theory : The Toposes of Classical and Quantum Physics

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

PM Talk 2 :

Andeas DOERING (Imperial College) :

On Daseinisation and Quantum Physics in a pre-Sheaf Topos

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Notes and memoandum of conversations with Dr Ioana CATALIN (Politechnica University Bucharest)

—oOo—

DAY TWO OF MEETING Sunday 12th AUGUST 2007

AM Talk 1 : Bob COECKE :

Classical and Quantum Structures as Pictures  

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

AM Talk 2 : Samson ABRAMSKY :

Copy-Categorical Strategies and Information Flow in Physics, Geometry, Logic and Computation

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Coffee Break

—oOo—

Notes and memorandum of discussions during AM Coffee Break – esp. exposition by M. JABELIDZE of viewpoint presented by FW Lawvere in a 1998 Talk in Montreal concerning role of Right Adjoints to Exponentiation and enrichment over a base category (case of infinitesimals in SDG as illustrative) in understanding how structure of category of sets (as discrete and co-discrete spaces) falls into place within that of categories of space in general.

—oOo—

AM Talk 3 :  Dusko PAVLOVIC (IT Kestrel and Oxford)

The Geometry of Data Abstraction in Quantum Computing

Click here for recording of Talk

Click here for Speakers overheads

—oOo—

AM Talk 4 : Eric PAQUETTE (Montreal)

Anyons and Ribbon categories

Click here for recording of Talk

Click here for Speakers overheads

—oOo—

LUNCH

—oOo—

Notes and Memorandum of Conversation with Professor Chris ISHAM during Lunch Break

—oOo—

PM Talk 1 : 

14:30-15:00 Jamie VICARY (Imperial)

A Categorical Framework for the Quantum Harmonic Oscillator

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

PM Talk 2 :

15:00-16:00 : Marcelo FIORE (Cambridge)

An Axiomatics and A Combinatorial Model for Creation/Annihilation Operator and Differential Structures

Click here for recording of talk

Click here for Speakers Overheads

—oOo—

Notes and memorandum of discussions in PM Coffee Break : Notes of exposition by Dusko Pavlovic of John Isbell’s notion of adequate and co-adequate subcategories of a category and FW Lawvere’s stress on the role of generating figures in determining adequacy/co-adequacy of subcategories. With comments on the way the adequacy/co-adequacy of points falls into place as a special case of such a condittion, and the role of 1 or (points) as  a generating figure. With further comments concerning the proposal that set theory be seen as a fragment of (algebraic) geometry.

With further remarks concerning the background in the theory of enriched categories supplying motrivation to the notion of adequate/co-adequate subcategories and the further connection of that notion to issues in Categorical Set Theory, particularly the view of Large  Cardinal Theorems as essentially a pathology of the membership-based conception of sets

—oOo—

Talk 6 : Ross DUNCAN (Oxford)

Quantum Entanglement and freely constructed compact categories

Click here for recording of Talk

Click here for Speakers overheads

—oOo—

Notes and memoranda of discussions following the end of CQL 2007. Further discussions with M.Jabalidze on recovering the structure of the category of sets in ways involving role of 5 further nested adjoints (to exponentiation) enriched over a category. The circumstance that Set has one more nested adjoint than any other category.  The notion of “getting the structure back inside” a universe. What can be said “internally” about the structure of the category in question and what can only be said”from the outside”. How this distinction and his remarks about it may throw light on certain formulations by Alberto Peruzzzi (see “The ILEG Project” and “Forms of Extensionality in Topos Theory” and topics in the writings of Robert Rosen (see Rosen’s remarks on Large and Small Worlds and The “Church-Pythagoras” Thesis) cf also Zermelo’s notion of Normal Domains

—oOo—

 

16th-22nd AUGUST 2007 : UNILOG 2007

The 2nd World Congress and Summer School on Universal Logic :

Xi’An, China

Click here for Program of Congress

Link to recordings by kind permission of the Congress organisers

DAY ONE

Thursday 16th August 2007

Arrival of Delegates

No Recordings

—oOo—

 

DAY TWO

Friday 17th August 2007

Delegates Introduction : Y.X.Zhong  (Co-Chair Organizing Committee)

1. Opening Ceremony Greeting  Huacan He  (Co-Chair Program Committee)

Click here for Recording

2. Opening Ceremony Greeting   Jean-Yves Beziau  (Co-Chair Program Committee)

Click here for Recording

3. Opening Ceremony Greeting  Yu Sun  (leader Northwestern Polytechnical University)

Click here for Recording

4. Opening Ceremony Greeting  Xuyan Tu  (Honorary Chair Local Committee)

Click here for Recording

5. Opening Ceremony Greeting  V.VASYUKOV  (Professor Russian Academy of Sciences)

Click here for Recording

6. Opening Ceremony Greeting  Y.X.Zhong  (Co-Chair Organizing Committee)

Click here for Recording

7. Presentaation of Gifts  Chuan Zhao  (Vice professor Chengdu University of Technology)

Click here for Recording

8. TALK 1 :   Universal Logic and Modern Logic

Jean-Yves Beziau  (Co-Chair Program Committee)

Click here for Recording

Click here for Speakers overheads

—oOo—

9.  TALK 2 : Many Valued Logic in Algebraic Form

Walter Carnielli  (Co-Chair Program Committee)

Click here for Recording

Click here for Speakers overheads

—oOo—

10.  TALK 3 :  Universal Logics, Coordinatics & Coordinative Logics

Xuyan Tu (Honorary Chair Local Committee)

Click here for Recording

Click here for Speakers overheads

—oOo—

 

DAY THREE

Saturday 18th August 2007

1.  TALK 1 :  First-Order Fuzzy Logics:Recent Developments 

Petr Cintula and Petr Hajek

Click here for Recording

Click here for Speakers overheads

—oOo—

2. Talk 2 :  Dialectical Contradictions and Universal Logics

Huacan He  (Co-Chair Program Committee)

3.  Talk 3 :  Three levels of translation into many-sorted logic

Maria Manzano & Julio Ostale  (Salamanca University,Spain)

Click here for Recording

Click here for Speakers overheads

—oOo—

4.  Talk 4 :  Compiler correctness and the translation of logics

Theo M.V.Janssen  (Institute for Logic Language and Information)

Click here for Recording

Click here for Speakers overheads

—oOo—

5.  Talk 5 :  New dimensions in translations between logics

Itala M.Loffredo D’Ottaviano  (CLE,UNICAMP,Brazil)

6.  Talk 6 :  What is a Logic Translation?

Razvan Diaconescu (Bucharest)

Click here for Recording

Click here for Speakers overheads

—oOo—

 

DAY FOUR

Sunday 19th August 2007

No talks on Conference Program. Excursions for Delegates

—oOo—

 

DAY FIVE

Monday 20th August 2007

1.  Talk 1 :  DDL:Embracing Action Formalism into Description Logic

Zhongzhi Shi (Institute of Computing Technology of Chinese Academy of Sciences-China)

Click here for Recording

Click here for Speakers overheads

—oOo—

2.  Talk 2 :  Harmonious many-valued propositional logics

Heinrich Wansing and Yaroslav Shramko

(Dresden University of Technology -Germany/State Pedagogical University -Ukraine)

Click here for Recording

Click here for Speakers overheads

—oOo—

3.  Talk 3 :   From Standard to Nonstandard Metalogics

Stan Surma  (University of Auckland -New Zealand)

Click here for Recording

Click here for Speakers overheads

—oOo—

4.  Talk 4 :  What is Universality of Logic?

Jan Wolenski  (Jagiellonian University -Poland)

Click here for Recording

Click here for Speakers overheads

—oOo—

5.  Talk 5   Buddhist thinking and Institution theory

Razvan Diaconescu (Institute of Mathematics “Simion Stoilow” – Romania)

Click here for Recording

Click here for Speakers overheads

—oOo—

 

DAY SIX

Tuesday 21st August 2007

1.  Talk 1  From Classical Logic to Mathematical Dialectic Logic

Zongkuan Zhao (Renmin University of China -China)

Click here for Recording

Click here for Speakers overheads

—oOo—

2. Talk 2   Power and Filter Extensions of Structures:Universal-Algebraic & Logical Aspects

Valentin Goranko  (University of Witwatersrand -South Africa)

Click here for Recording

Click here for Speakers overheads

—oOo—

3.  Talk 3  The mathematical core of Tarski’s truth definition

Wilfrid Hodges  (Queen Mary,University of London -UK)

Click here for Recording

Click here for Speakers overheads

—oOo—

4. Talk 4  What is logic? Why and how?

Istvan Nemeti and Ildiko Sain (Alfred Renyi Institute of Mathematics -Hungary)

Click here for Recording

Click here for Speakers overheads

—oOo—

5.  Closing ceremony

Jean-Yves Beziau/Heinrich Wansing/Huacan He (Co-Chairs of  Program Committee)

Click here for recording

—oOo—

 

 

DAY SEVEN

22nd August 2007

Departure of Delegates 

—oOo—

 

22nd-24th AUGUST 2007

Notes and memoranda of conversations with FW Lawvere on the work of Daniel Kan and the background to the discovery of The Adjoint Functor Theorem and FWL’s recognition of its importance as representative of  and illustrative of the nature of Universal Constructions in Mathematics

—oOo—

 

27th-31st AUGUST 2007

DIFFERENTIAL GEOMETRY, MATHEMATICAL PHYSICS. MATHEMATICS and SOCIETY

A 60th Birthday Conference in Honour of Professor Jean-Pierre BOURGUIGNON

Director of the IHES (Institut des Hautes Etudes Scientifique)

27th-28th August 2007 and 30th-31st August 2007 at IHES (Burre-sur-Yvette, Greater Paris)

29th August 2007 at Ecole Polytechnique

—oOo—

Links to the Program of the Meeting

http://www.ihes.fr/jsp/site/Portal.jsp?document_id=2214&portlet_id=997

 

All videos of the Meeting were recorded by the Staff of IHES and are the copyright of the IHES and the kind permission of the IHES and Its Director will be requested to permit a link to the videos to be inserted here.

PROGRAM

DAY ONE

Monday 27 August 2007 (IHÉS, Centre de Conférences Marylin & James Simons)

8h30 : Welcome to participants

9h20-9h30 : Address by James Simons

Jean Pierre Bourguignon : Quelques Souvenirs

9h30-10h30 : Talk 1 :  Nigel Hitchin,  University of Oxford

Einstein metrics on moduli spaces

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

11h00-12h00 : Talk 2 :  Misha Gromov,  IHÉS

Harmonic maps, expanders and Morse Theory

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

12h00-13h00 : Talk 3 : Dennis Sullivan,   SUNY at Stony Brook

String topology at the boundary of moduli space of surfaces

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Buffet

—oOo—

14h30-15h30 : Talk 4 :  Paul Gauduchon,   CNRS – École Polytechnique

Extremal Kähler metrics on ruled manifolds and stability

(joint work with V. Apostolov, D. Calderbank and C. Tonnesen-Friedman)

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

15h30-16h30 : Talk 5 :  Denis Auroux,  MIT

Mirror symmetry in the complement of an anticanonical divisor

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

17h00-18h00 : Talk 6 : James Simons, Renaissance Technologies LLC  and Dennis Sullivan, SUNY at Stony Brook

Remarks on differential K-Theory

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

 

DAY TWO

Tuesday 28th August 2007  (IHÉS, Centre de Conférences Marylin & James Simons)

9h30-10h30 : Talk 1 : Karen Uhlenbeck, University of Texas at Austin

On the Space-Time Monopole Equation

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

11h00-12h00 : Talk 2 :  Jeff Cheeger,  New York University

Generalized Differentiation and Bi-Lipschitz Non-embedding in L

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

12h00-13h00 : Talk 3 :  Sylvestre Gallot,  Université Joseph Fourier

A Margulis Lemma without curvature and applications

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Buffet

—oOo—

14h30-15h30 : Talk 4 :  Karsten Grove,  University of Maryland

Recent developments around positive curvature

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

15h30-16h30 : Talk 5 :  XiuXiong Chen,  University of Wisconsin

A recent update on the existence of extremal Kähler metrics in Kähler surfaces

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

17h00-18h00 : Talk 6 :  Rafe Mazzeo,  Stanford University

The infinitesimal Stoker conjecture and deformations of hyperbolic cone-manifolds

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

18h15-18h45  Projection de “Mathématiques à l’écran”

“Tambour, que dis-tu ?”

(auteurs : Yves Bamberger, Jean Pierre Bourguignon, François Tisseyre), “La nouvelle étoile du berger”

(auteurs : Jean Pierre Bourguignon , François Tisseyre, Claire 199)

—-oOo—

 

DAY THREE

Wednesday 29th August 2007 (École Polytechnique, Amphithéâtre Poincaré)

9h25-9h30

Welcome by Général Xavier Michel, Directeur Général de l’École Polytechnique

9h30-10h30 : Talk 1 :  Alain Connes,  Collège de France & IHÉS

Why the Standard Model ?

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

11h00-12h00 : Talk 2 :  Piotr Chrusciel, Oxford University,  Université de Tours

Black Holes

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

12h00-13h00 : Talk 3 :  Sergiu Klainerman,  Princeton University

Carleman estimates, Mars-Simon tensor and Uniqueness of Kerr Solution

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Buffet

—oOo—

14h30-15h30 : Talk 4 :  Yoshiaki Maeda,  Keio University

Geometry and analysis of star exponential functions

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

15h30-16h30 : Talk 5 :  Hermann Karcher,  University of Bonn

3-dimensional Mathematical Images

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

17h00-18h00 :  Expose Grand Public : Talk 6 :  Étienne Ghys, CNRS – ENS Lyon

L’attracteur étrange de Lorenz

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

18h15-19h00  : Pièce de théâtre de Lars Garding : “Mathematics, Life and Death”

Amphithéâtre Arago

—oOo—

 

DAY FOUR

Thursday 30th August 2007 (IHÉS, Centre de Conférences Marylin & James Simons)

9h30-10h30 : Talk 1 :  Shing-Tung Yau,  Harvard University

Geometry of the moduli space of Riemann surfaces

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

11h00-12h00 : Talk 2 :  Claire Voisin,  CNRS – Université Paris 7

Hodge structures on cohomology algebras and topology of Kähler manifolds

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

12h00-13h00 : Talk 3 :  Sun-Yung Alice Chang,  Princeton University

Boundary regularity of Bach flat metrics

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Buffet

—oOo—

14h30-15h30 : Talk 4 : George Papanicolaou,  Stanford University

Generalized prolate spheroidal functions in the imaging of edges

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

15h30-16h30 : Talk 5 :  Jalal Shatah,  New York University

Geometry and free boundary problems of the Euler equation

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause café

—oOo—

17h00-18h00 : Talk 6 :  Salah Baouendi,  University of California, San Diego

Local and global automorphisms of CR manifolds

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

 

DAY FIVE

Friday 31st August  2007 (IHÉS, Centre de Conférences Marylin & James Simons)

9h30-10h30 : Talk 1 :  Jean-Michel Bismut,  Université Paris-Sud

The hypoelliptic Laplacian

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Pause cafe

—oOo—

11:00-12:00 : Talk 2 :  Gang Tian.  Princeton University

Ricci flow on Kähler manifolds

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

12h00-13h00 : Talk 3 :  Karine Chemla,  REHSEIS CNRS & Université Paris Diderot

 

Mathematics and culture. An outlook from ancient China

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Buffet

—oOo—

14h30-15h30 : Talk 4 :  Ngaiming Mok,  University of Hong Kong

A geometric theory of minimal rational curves and its application to Several Complex Variables

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

15h30-16h30 : Talk 5 :  H. Blaine Lawson Jr.,  SUNY, Stony Brook

Dirichlet Duality and the Nonlinear Dirichlet Problem

Link to Video recording of talk (subject to kind permission of Speaker and of IHES)

—oOo—

Closure of Conference

—oOo—

 

Further recordings for August 2007 to be added