July 2011
In July 2011 The Archive recorded the following events or seeks to arrange links to recordings made by others :
NOTE : It will be seen below that there were a great numbers of recordings made at the CLMPS 14 Congress at Nancy (France) from 19th – 26th July 2011. There were also a large number of video recordings made this month both at the Askloster Symposium (7th – 9th July 2011) and at The Symposium on Sets From A Geometrical Perspective sponsored by the Archive Trust in Nancy from 26th – 29th July 2011. Therefore, in order to avoid making the Catalogue of Recordings for this month too unwieldy, it has been split into 3 pages. The first page lists the recordings made from 1st July until the beginning of the Nancy Congress on 19th July. The second lists all the recordings made at that Congress from 19th – 26th July. The third containing the recordings made during the rest of the month from 26th July onwards, including those made at the Symposium.
Sunday 3rd July 2011
DCM 7 2011
7th International Workshop on Developments in Computational Models
Zurich Switzerland.
For further details see : http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM 2011.html
A Satellite Event of ICALP 2011 – http://icalp11.inf.ethz.ch/
Further Details and Program to be added.
—oOo—
Sunday 3rd – Tuesday 5th July 2011
Aarhus University Denmark
First International Conference of I.A.C.A.P.
“The Computational Turn : Past, Present and Future”
Full Program and further details to be added.
—oOo—
Monday 4th – Thursday 7th July 2011
Snowbird, Utah, USA
American Mathematical Society VonNeumann Symposium :
Multi-Model and Multi-Algorithm Computing for Multi-Scale problems
Program and further details to be added. See
http://www.ams.org/meetings/amsconf/symposia/symposia -2011
—oOo—
THURSDAY 7th – SATURDAY 9th JULY 2011
The Askloster Symposium 2011
Theme for 2011 :
The Legacy of David Bohm in Physics and in Philosophy
Timetable of Meeting
DAY ONE : Thursday 7th July 2011
Introductory Remarks by Dr Georg WIKMAN
Talk 1 : Basil HILEY :
Clifford Algebras and Quantum Geometry : Understanding
Bohm’s later Ontological Outlook
See video of Talk
Click here for audio recording of Talk
Click here for Notes and Overheads of Talk
Talk 2 : Maurice DE GOSSON :
The Quantum Zeno Effect Bohmian Trajectories and Metaplectic
Geometry
See video of Talk
Click here for audio recording of Talk
Click here for Notes and Overheads of Talk
Talk 3 : Chris DEWDNEY :
Photons, Physics and Philosophy – Bohm’s view of Quantum Field Theory
See video of Talk
Click here for audio recording of Talk
Click here for Notes and Overheads of Talk
—oOo—
DAY TWO : Friday 8th July 2011
Talk 1 : Owen MARONEY
Maxwell Through The Looking Glass : From Szilard to Landauer and Back Again
See Video of Talk
Hear Audio of talk
See Overheads and Notes of Talk
Talk 2 : Nicholas MONK
10:00—11:30
The inheritance of process: understanding development and evolution as an enfolding-unfolding process.
See Video of Talk
Hear Audio of talk
See Overheads and Notes of Talk
Talk 3 : Tim PALMER
Non-computational state space geometry as a manifestation of Bohmian implicate order: Implications for quantum theory and quantum gravity.
See Video of Talk
Hear Audio of talk
See Overheads and Notes of Talk
Talk 4 : Ilkka PATTINEN
An Ontological Structural Realist Interpretation of Bohm’s Metaphysics of the Implicate Order
See Video of Talk
Hear Audio of talk
See Overheads and Notes of Talk
—oOo—
DAY THREE : SATURDAY 9th JULY 2011
Talk 1 : 9:30 – 11:00 AM Georg WIKMAN
Order as A Fundamental Conceptual Category and The Question of Indistinguishabilty in Physics
See Video of This Talk
Hear Audio of talk
See Overheads and Notes of Talk
Talk 2 : Paavo PYLLKANEN
11:30—13:00 Paavo Pylkkänen
Active information at the quantum level: the philosophical implications.
See Video of Talk
Hear Audio of talk
See Overheads and Notes of Talk
—oOo—
LUNCH
—oOo—
PM Saturday 9th July 2011
OVERVIEW AND SUMMING UP BY Basil HILEY
followed by General Round Table Discussion
See Video
Hear Audio
—oOo—
Friday 8th – Sunday 10th July 2011
BRIGHTON UK
Aristotelian Society and Mind Association Joint Meeting
Further details and Full program to follow.
—oOo—
Monday 11th – Friday 15th July 2011
GRONINGEN, Netherlands
TARK XIII
Thirteenth International Congress on Theoretical Aspects of Rationality and Knowledge
Further Details and Program to follow.
—oOo—
Friday 15th – Sunday 17th July 2011
Dublin, Ireland
Joint AGM of CSHPM and BWHM
Joint Annual General Meeting of The Canadian Society for The History and Philosophy of
Mathematics and The British Society for the History of Mathematics
Further Details including Full Program To Be Added.
See http://www.dcs.warweick.ac.uk/bshm/meetings/TCDjointmeeting.html for First Announcement
—oOo–
Sunday 17th – Saturday 23rd July 2011
CT 2011 : International Category Theory Conference : Vancouver, Canada.
See : http://www.mat.uc.pt/~ct2011/
For First Announcement. Further Information and Details of Program to follow
—oOo—
Sunday 17th – Tuesday 26th July 2011
International Congress of Logic Philosophy and Scientific Method NANCY France.
See Details of Program at
The Following Parts of The Congress were recorded :
DAY ONE : Tuesday 19th JULY 2011
No Recordings made but see Links to Abstracts/Slides/Notes/Transcripts or other related
material for the following Talks
(To Be Added)
—oOo—
DAY TWO : Wednesday 20th JULY 2011
The Following parts of the Program for Day Two were recorded
SYMPOSIUM of The ASSOCIATION FOR THE PHILOSOPHY OF MATHEMATICAL
PRACTICE
Day One : 20th July 2011 PM Session : The Following talks within this Special Symposium were recorded :
Introductory Remarks to the PM Session by Jessica CARTER
Recording of Talk
—oOo—
Talk by Jemma LORENAT : Kronecker’s Constructs (and his “Constructivism”)
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Javier LEGRIS : Peirce’s Diagrammatic Reasoning : Symbolic knowledge in Peirce’s existential graphs
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Benedikt LOWE :
The Interface between The Philosophy of Mathematics and The Empirical Study of Mathematical Practice
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Danielle MacBETH : Proof and Understanding in Mathematical Practice.
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Andrew ABERDEIN : Explanation and Argument in Mathematical Practice
Click here for Recording Click here for slides or other related material
—oOo—
Talk by M. MUNTSERBJORN : Real Relations Amongst Possible Objects
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Jairo de SILVA : The Applicability of Mathematics as a Philosophical Problem
Click here for Recording Click here for slides or other related material
—oOo—
Round Table and General Discussion
—oOo—
20th July 2011 SECTION § C5 of CONGRESS : PHILOSOPHY OF PHYSICS
PM TALKS 20th JULY 2011 : The following talks within this Section were recorded
4:35 pm : Talk by Christian WUTHRICH :
Structuralism about Spacetime Structure and its re-conceptualisation in
Quantum Gravity : A Structuralist Perspective on Causal Set Theory
Click here for Recording Click here for slides or other related material
—oOo—
5:05 pm : Talk by Michael TAMIR : General Relativity and Geodesic Universality
Click here for Recording Click here for slides or other related material
—oOo—
5:35 pm : Talk by Merko URSIC : Paradoxes of Transfinite Cosmology
Click here for Recording Click here for slides or other related material
—oOo–
DAY THREE : Thursday JULY 21st 2011
The Following parts of the Program for Day Three were recorded
SYMPOSIUM of The ASSOCIATION FOR THE PHILOSOPHY OF MATHEMATICAL PRACTICE Day Two :
Organisers : Jose FERREIROS, Paolo MANCOSU
10:30 am to 1:00 PM
Introductory Lecture by Tom ARCHIBALD : Fundamental Mathematical Objects in the late Nineteenth Century : A New Look
Link to Recording
—oOo—
Talk by Ken MANDERS : Human Agency and Mathematical Reasoning
Link to Recording
—oOo—
Talk by Brendan LARVOR : Propositional reasoning and sociological
Link to Recording
—oOo—
Talk by Valeria GIARDING : Nonpropositional reasoning and cognitive aspects
Link to Recording
—oOo—
Talk by Dirk SCHLIMM : Symbolic reasoning and historical aspects of mathematical practice.
Link to Recording
—oOo—
Recordings of 21st July 2011 Section § C5 : The Philosophy of Physics :
On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Pandora HADZIDAKI : Bohr’s Model of The Atom : Methodology, consistency and fruitfulness
Link to recording
Link to speaker’s overheads
—oOo–
11:00 am : Albert SOLE : Bohmian mechanics without wave function ontology
Link to Recording
Link to speakers overheads
—oOo—
11:30 am : Inaki SAN PEDRO : Causal relevance of mesurement operations in the EPR paradox
Link to Recording
Link to speakers overheads
—oOo—
12:00 pm : F.A. MULLER : Circumveiloped by obscuritads
Link to Recording
Link to speakers overheads
—oOo—
12:30 pm : Lev VAIDMAN : The past of a quantum particle
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A1 : Mathematical Logic : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
11:30 am : Jaime GASPAR : Copies of Classical Logic within Intuitionsitic Logic
Link to Recording
Link to speakers overheads
—oOo—
12:00 pm : Valery KHAKANIAN : Properties of universes in realizability models for intuitionsitic set theory and its corollaries
Link to Recording
Link to speakers overheads
—oOo—
2:15 pm : Justin MOORE : The Proper Forcing Axiom
Link to Recording
Link to Speakers Overheads
—oOo—
3:15 pm : Riccardo BRUNI and Peter SCHUSTER : Approximating Beppo Levi’s principio di approssimazione
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : Michael ARNDT and Laura TESCONI : Constructing a proof-tree : An investigaton on the composition of derivations.
Link to Recording
Link to speakers overheads
—oOo—
4:35 pm : Joseph S. MILLER : Beyond the Turing Degrees : Non-diagonalizability and Universal randomness
Link to Recording
Link to speakers overheads
—oOo—
5:35 pm : Paulo OLIVA : Godel’s functional interpretation of classical arithmetic and analysis (The “Dialectica” Interpretation)
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A2 : Philosophical Logic : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
Section § A2 : (First 2 talks were in Subsection on History of Logic)
2:15 pm : Mateusz RADZKI : Non-Fregean Logic and Ludwig Wittgenstein’s early insight into the application of logic.
Link to Recording
Link to speakers overheads
—oOo—
2:45 pm : Ioan SCHEAU : The errors of Bertrand Russell.
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : ( In Section § A2 : Philosophical Logic)
Peter VERDEE : Towards a non-monotonic mathematics : Adaptive logic theories as a pragmatic foundation for mathematics
Link to Recording
Link to speakers overheads
—oOo—
4:35 pm – 7:05 pm : Symposium on Hyperintension, Intension and Extension
(organisers : Marie DUZI, Bjorn JESPERSEN and Pavel MATERNA)
Talks by :
Roussanka LOUKANOVA : Algorithmic intensionality and underspecification of verb-phrase ellipsis
Link to Recording
Link to speakers overheads
—oOo—
Mario DUZI : Towards an extensional calculus of hyperintensions
Link to Recording
Link to speakers overheads
—oOo–
Jens Christian BJERRING : Non-ideal epsitemic spaces
Link to Recording
Link to speakers overheads
—oOo—
Bjorn JESPERSEN : Proposition, procedure, predication
Link to Recording
Link to speakers overheads
—oOo—
Sebastian SEQUOIAH-GRAYSON : Logical hyperintensioonality : from consequences to actions
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A3 : Logic and Computation : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Roy DYCKHOFF : Cut-elimination, substitution and normalisation
Link to Recording
Link to speakers overheads
—oOo—
11:00 am : Michal KRYNICKI, Jerzy TOMASIK and Konrad ZDANOWKI :
Logical properties of finite arithmetics.
Link to Recording
Link to speakers overheads
—oOo—
11:30 am : Giuseppe PRIMIERO : Modal types and their procedural semantics for contextual computing
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added.
—oOo—
Section § B1 : Methodology and Scientific Reasoning : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am – 1:00 pm : SYMPOSIUM within Section §B1 of The Congress : METHODOLOGY and SCIENTIFIC REASONING
SYMPOSIUM ON INTEGRITY and DIVERSITY OF TRADITIONS AND TRENDS IN TODAY’s PHILOSOPHY OF SCIENCE
(Organiser : Andrei RODIN)
Talks by
Hourya BENIS-SINACEUR : Jean Cavailles and the Philosophy of Concept
Link to Recording
Link to speakers overheads
—oOo—
Elena MAMCHUR : Should the role of epistemology in the philosophy of science be reconsidered ?
Link to Recording
Link to speakers overheads
—oOo—
Jonathan REGIER : Representing a Relationship : The historical and the philosophical in the history and philosophy of science
Link to Recording
Link to speakers overheads
—oOo—
Andrei RODIN : Translation versus Formalisation
Link to Recording
Link to speakers overheads
—oOo—
Jean-Jacques SZCZECINIARZ : The French School (lAUTMANN AND CAVAILLES)and the diversity of traditions in the current philosophy of science, with particular attention to issues in the philosophy of mathematics
Link to Recording
Link to speakers overheads
—oOo—
End of Symposium
—oOo—
Further recording within Section B1 on 21st July 2011 :
6:35 pm : Kevin ZOLLMAN and Erich KUMMERFELD : Conservatism in scientific reserach : A new problem
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
SPECIAL SESSION ON QUANTUM INFORMATION THEORY and INFORMATION –
THEORETICALLY INSPIRED APPROACHES TO THE INTERPRETATION OF QUANTUM THEORY :
CONCEPTUAL ISSUES AND NEW TECHNOLOGICAL DEVELOPMENTS
The Following recordings were made of Talks in this Special Symposium :
Hans BRIEGEL : Simulation, Computation and Physics – What can we learn about the World ?
Link to Recording
Link to speakers overheads
—oOo—
Jeffrey BUB : Einstein and Bohr meet Alice and Bob
Link to Recording
Link to speakers overheads
—oOo—
Robert SPEKKENS : The Invasion of Physics by Information Theory
Link to Recording
Link to speakers overheads
—oOo—
Mark ZUROWSKI : Bell’s Theorem and EPR correlatons : the issue, the triumph of the scientific method, misinterpretations and practical applications.
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
SPECIAL SESSION ON THE PHILOSOPHY OF MATHEMATICS TODAY
(Within Section § C1 : Logic, Mathematics and Computer Science)
The Following recordings were made of Talks in this Session of the Congress
2:15 pm : Carlo CELLUCCI : The Philosophy of Mathematics : Making A Fresh Start
Link to Recording
Link to speakers overheads
—oOo—
3:15 pm : Petros STEFANEAS and Ioannis M. VANDOULAKIS : Proofs as spatio-temporal processes
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : Fabio STERPETTI : Towards a non-adaptationist approach to mathematics.
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
DAY FOUR : Friday JULY 22nd 2011
The Following parts of the Program for Day Four were recorded
Within Section § A1 : Mathematical Logic : on Friday 22nd July 2011 the following Talks in this Section of the Congress were recorded :
12:00 pm : Taishi KURAHASHI : On Kripke Frames and arithmetical interpretations for QGL
Link to Recording of Talk (incomplete)
Link to speakers overheads.
—oOo—
2:15 pm : Talk by P. SPEISSEGER : On The Solution of Equations through techniques in Model Theory
(With remarks on The o-minimality Program)
Link to speakers overheads
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § A2 : Philosophical Logic : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
4: 35 – 7:05 pm : Symposium on The Meaning of Axioms : From Mathematics to Logic
Recordings of Talks by
Denis BONNAY : Extending Theories : Why and How Ontology Matters
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Gilles DOWEK : The impact of Automated theorem proving on proof
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Alexandre MIQUEL : Krivine’s theory of classical realisability : a genuine alternative to the Brouwer – Heyting – Kolmogorov interpretation of proofs
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Alberto NAIRO Paolo MAFFEZIOLI and Sara NEGRI : Fitch’s paradox in the light of structural proof theory
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Mattia PETROLO and Thomas SEILLER : On the meaning of logical axioms
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Samuel TRONCON : The social meaning of axioms
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § B3 : Historical aspects in The Philosophy of Science : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
10:30 am – 1:00 pm : SYMPOSIUM on Confronting The French Roots of Current Historical Epistemologies
(Organiser : David BARQUIN)
The following Talks in this Symposium were recorded :
Cristina CHIMISSO : Life, Health and History : a re-assessment of George Canguilhem’s concept of the normal state
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Maarten VAN DYCK : Alexandre Koyre : Hegelian
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Katherina KINZEL : Wartofsky’s historical epistemology and the critique of philosophical problems
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
David BARQUIN : Mathematical style in Giles Gaston Granger and what can be done with it.
Link to Recording
Link to speakers overheads or Notes of talk
—oOo—
Paolo SAVOIA : Curent historical epistemology and the history of the human sciences.
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § C 1 : Logic, Mathematics and ComputerSciences : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
2:15 – 4:15 pm : SYMPOSIUM : Are Aesthetic Approaches in Philosophy of Mathematics topical ?
(Organiser : Caroline JULIEN)
The Following Talks in this Symposium were recorded :
Roger POUIVET : Is the expression “mathematical beauty” only a metaphor ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Maria Giulia DONDERO : Necessity in works of Art and in the Sciences
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Caroline JULIEN : The role of mathematics in the history of aesthetics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Francesca BOCCUNI : Plural logicism
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
FURTHER PM Talks in Section § C1 : Logic, Mathematics and Computer Science
4:15 – 6:35 pm Session Chair : Tom ARCHIBALD
Andrea SERENI and Marco PANZA : On the indispensable premises of indispensability arguments
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Min TANG : Ontology without abstract objects : A naturalistic defence of revolutionary mathematical fictionalism
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Gabriel TARZIU : What can Science tell us about mathematical objects ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Simon FRIEDERICH : Motivating Wittgenstein’s perspective on mathematical sentences as norms.
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § C2 : Cognitive Science (including Linguistics and Psychology) : on Friday 22nd July the following Talks within this Section of the Congress were recorded
12:00 pm : Samuli
Link to Recording (incomplete)
Link to speakers overheads or Notes of Talk
—oOo—
Section § C5 : Philosophy of Physics : on Friday 22nd July the following Talks within this Section of the Congress were recorded
10 :30 am : Ronan FRIGG on Explaining the approach to thermodyanamic equilibrium in terms of Epsilon-Ergodicity
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
11:30 am : Graziana CONTE : Information measures induced by partial boolean algebras
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
12:00 pm : Louis VERVOORT : Probability is composed : The frequency interpretation of probability revisited
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
2:15 pm – 5:05 pm : 3 Talks on Einstein plus Talk 4 by Sandra Mols
Emboussi NYANO : Einstein’s philosophy and post-critical philosophy of science
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Naoum DAHER : From independent models to a unified theory of dynamics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Leba SLEIMAN : Problems and promises of scientific method
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Sandra MOLS : Going Round The Lack of Time : Enforced entrusting and silent inter-expertise trading in time-short nanomagnetism knowledge – making
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
5 : 05 pm : Vassilios KARAKOSTAS : On Correspondence Truth and Quantum Mechanics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Johannes ROEHL : Forces – relations or dispositions ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Raquel Anna SUPANARU : Leibniz symmetry and harmony
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Steffen DUCHEYNE : Testing universal gravitation in the laboratory : or the significance of reserach on the mean density of the earth and Big G 1798-1898
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
DAY FIVE : Saturday JULY 23rd 2011
The Following parts of the Program for Day Five were recorded
Section § A1 : Mathematical Logic : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
11:30 AM : Sheila VELOSO (with Paulo VELOSO and Paula VELOSO) : On Piaget-Like Monoids
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § A3 : Logic and Computation : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded :
2:15 PM : Steve AWODEY on HOMOTOPY TYPE THEORY
Recording of Talk
Link to Slides and Other Material
—oOo—
Tor SANDQVIST : Computability Theory in relation-algebraic form
Recording of Talk
Link to Slides and Other Material
—oOo—
Section B3 : Historical aspects in the Philosophy of Science : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
2:15 pm : Silvia DI BIANCHI : Symmetry and the Enigma of Space and Time : reflections of the origin of gauge theory
Recording of Talk
Link to Slides and Other Material
—oOo—
2:45 pm : Talk 2 : Shinji IKEDA : Godel and Leibniz on Concepts and relations
Recording of Talk
Link to Slides and Other Material
—oOo—
3:15 pm : Talk 3 : Ioannis M. VANDOULAKIS : On A.A. Markov’s attitude towards Brouwer’s intuitonism.
Recording of Talk
Link to Slides and Other Material
—oOo—
3:45 pm : Talk 4 : Georg SCHIEMER : Semantics in Type Theory
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C1 : Logic, Mathematics and Computer Science : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
10:30 am – 12:00 pm : Jean-Pierre MARQUIS : Mathematical Abstraction, Variation and Identity
Recording of Talk
Link to Slides and Other Material
—oOo—
11:30 am : Susan VINEBERG : Explanation and Two Kinds of Inveestigation in the Foundations of mathematics
Recording of Talk
Link to slides and other material
—oOo—
2:15 pm : Amirouche MOKTEFI : On The Universe of Discourse Principle and Its Origins.
Representing the “Universe of Discourse” : the historical origin and philosophical relevance of a graphical convention in mathematics and logic
Recording of Talk
Link to Speakers overheads or Notes of Talk
—oOo—
Further PM Talks in § Section C1 : Philosophy of Mathematics
2:45 pm Jean-Marie CHEVALIER :
Are mathematics and logic sciences of observation ? A semiotic approach to visual thinking in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
3:15 pm : Ralf KROEMER : The Duality of Space and Function : with some remarks about Category-Theoretic Dualities
Recording of Talk
Link to Slides and Other Material
—oOo—
3:45 pm : Anne SEEHAUS and Martin ZIEGLER : The Rise and Fall of Scientific Branches : On progress in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
Coffee Break
—oOo—
4:35 pm : Elaine LANDRY : The genetic versus the axiomatic method : resolving Feferman’s (1977) criticism of Category-Theoretic Foundationalism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Ahti-Veikko PIETARINEN : A realist modal-structuralism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Jacobo ASSE : Pluralism and mathematical objects
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm : Michelle FRIEND : Presenting pluralism in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C2: Cognitive Science (including Linguistics and Psychology) : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
4:35 pm : Gonzalo MUNEVAR : Damasio, the Self and Consciousness
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Sascha Benjamin FINK : How to falsify an NCC of specific conscious content
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Igor NEVVAZHAY : Dual nature of consciousness
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm : Hernan MIGUEL : The causal closure of the physical and the variable realization
Recording of Talk
Link to Slides and Other Material
—oOo—
6:35 pm : Blazej SKRZYPULEC : The concept of “object” in visual binding theories
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C5: Philosophy of Physics : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
10:30 am : Miklos REDEI : Einstein meets von Neumann : operational separability and operational independence in algbraic quantum field theory
Recording of Talk
Link to Slides and Other Material
—oOo—
11:30 am : Tomasz BIGAJ : How to exchange quantum particles of the same type
Recording of Talk
Link to Slides and Other Material
—oOo—
12:00 pm : Elena CASTELLANI : Fundamentality, elementariness and scales
Recording of Talk
Link to Slides and Other Material
—oOo—
Lunch Break
—oOo—
2:45 pm : Robert DISALLE : Explanation, explication and interpretation of Space-time theories
Recording of Talk
Link to Slides and Other Material
—oOo—
3:30 pm : Michael FRIEDMAN : Einstein and The A Priori
(Read in Professor Friedman’s Absence)
Recording of Talk
Link to Slides and Other Material
—oOo—
4:35 pm : Pierre UZAN : Quantum Theory beyond Physics
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Morgan TAIT : The case for quantum state realism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Wayne MYRVOLD : Prospects for Quantum State Monism
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm Juan Sebastian ARDENGHI. Sebastian FORTIN and Olimpia LOMBARDI :
The conceptual meaning of reduced states : Decoherence and interpretation
Recording of Talk
Link to Slides and Other Material
—oOo—
6:35 pm : Paul NAGER : Why Quantum non-locality implies parameter dependence
Recording of Talk
Link to Slides and Other Material
—oOo—
—oOo—
There were No Talks on Sunday 24th JULY 2011
—oOo—
DAY SEVEN : Monday JULY 25th 2011
The Following parts of the Program for Day Seven were recorded
PLENARY SESSION AM 25th JULY 2011
INVITED LECTURE BY Jeremy GRAY : The Soul of The Fact : Poincare and Proof
Recording of Talk
Link to Slides and other material
—oOo—
Section §A2 : SPECIAL INVITED SYMPOSIUM ON GENERAL PROOF THEORY
4:35 – 7:05 pm
Introductory Address by Kosta DOSEN
Link to Recording
—oOo—
Talk 1 by FW LAWVERE : Proof Theory and the presentation of algebras Plus Discussion
Recording of Talk
Link to Slides and other material
—oOo—
Talk 2 by Philip SCOTT : Remarks on recent categorical proof theory Plus Discussion
Recording of Talk
Link to Slides and other material
—oOo—
Section § A3 : Logic and Computation : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
12:00 : Sam SANDERS : Computing the Infinite
Recording of Talk and Discussions (First minutes missing)
Link to Slides and other information
—oOo—
Section § B3 : Historical Aspects in The Philosophy of Science : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
10:30 am – 12:30 pm : Session on POINCARE. Chair : Philippe NABONNAND.
Joao PRINCIPE : Kantian aspects of Poincare’s epistemological thoughts on 19th Century Physics
Recording of Talk
Link to Slides and other material
—oOo—
Adam GROBLER : Two traditions of conventionalism
Recording of Talk
Link to Slides and other material
—oOo—
David STUMP : Poincare’s two types of conventionalism
Recording of Talk
Link to Slides and other material
—oOo—
Scott WALTER : Beyond Poincare and Einstein : A.A. ROBB’s Theory of Space and time
Recording of Talk
Link to Slides and other material
—oOo—
PM Session of Section : § B3 : Historical Aspects in The Philosophy of Science
2:15 pm : Francesa BIAGIOLI : Between Kantianism and Empiricism : Otto Holder’s Philosophy of Geometry
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Davide CRIPPA : Mathematics and the Purity of Methods : Some historical considerations
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Jean-Pierre FERRIER : Quality and Practice in Mathematics from Hilbert to Grothendieck
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Janos TANACS: Some semantic considerations for the conceptual transition from Euclidean to non-Euclidean Geometry
Recording of Talk
Link to Slides and other material
—oOo—
4:35 pm – 7:05 pm: SPECIAL SYMPOSIUM : POINCARE, PHILOSOPHER OF SCIENCE
By the Portuguese Society for The Philosophy of Science
(Organiser: Augusto J. Franco de OLIVERA)
Rosario LAUREANO : Poincare as the founder of deterministic Chaos Theory.
Recording of Talk
Link to Slides and other material
—oOo—
Maria DE PAZ : The role of hypotheses in Poincare’s natural philosophy
Recording of Talk
Link to Slides and other material
—oOo—
Isabel SERRA : Poincare’s thinking : From Mathematics to Physics
Recording of Talk
Link to Slides and other material
—oOo—
Olga POMBO : Several concepts of intuition in Poincare’s philosophy of mathematics
Recording of Talk
Link to Slides and other material
—oOo—
Nuno JERONIMO : Poincare’s anticipatory intuitionism
Recording of Talk
Link to Slides and other material
—oOo—
Augusto J. Franco de OLIVEIRA : Poincare and the infinitesimals
Recording of Talk
Link to Slides and other material
—oOo—
Section § C1 : Logic, Mathematics and Computer Science : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
AM Session of Section § C1 on FREGE :
10:30 am : Sorin COSTREIE : Frege on contentful mathematics
Recording of Talk
Link to Slides and other material
—oOo—
11:15 am : Paula QUINON : Computational Structuralism and Frege’s Constraint
Recording of Talk
Link to Slides and other material
—oOo—
11:45 am : Joachim HERTEL : Frege on the iPad
Recording of Talk
Link to Slides and other material
—oOo—
1:30 – 4:15 pm : SYMPOSIUM within Section C1 : Theories of Continua : Logical and Philosophical Reflections
Recordings of Talks in This Symposium :
Jose FERREIROS : Shifts in the Conception of the Continuum
Recording of Talk
Link to Slides and other material
—oOo—
Maximo DICKMANN : the first-order logic of the continuum
Recording of Talk
Link to Slides and other material
—oOo—
Philip EHRLICH : The unification of all numbers, great and small.
Recording of Talk
Link to Slides and other material
—oOo—
Paolo GIORDANO : Knowledge comes from the dialectic between two worlds : the case of Fermat reals
Recording of Talk
Link to Slides and other material
—oOo—
Erik PALMGREN : Constructive and non-constructive aspects of non-standard analysis
Recording of Talk
Link to Slides and other material
—oOo—
Geoffrey HELLMAN : On the plurality of continua.
Recording of Talk
Link to Slides and other material
—oOo—
FINAL PM Session of Section C1 of Congress Monday 25th July 2011
4:35 pm : Mark Van ATTEN : Kant and Real Numbers
Recording of Talk
Link to Slides and other material
—oOo—
5:05 pm : Jari PALOMAKI : Kant, Cantor and the Burali-Forti paradox
Recording of Talk
Link to Slides and other material
—oOo—
5:35 pm : Jaako HINTIKKA : Axiomatizing set theory
Recording of Talk
Link to Slides and other material
—oOo—
6:35 pm : Jan WOLENSKI : Constructivism and metamathematics
Recording of Talk
Link to Slides and other material
—oOo—
Section § C 5 : Philosophy of Physics : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
10:30 am : Craig CALLENDER : The flow of space ?
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Aristidis ARAGEORGIS : Spacetime as a causal set : The Universe as a growing block ?
Recording of Talk
Link to Slides and other material
—oOo—
12:00 pm : Juliusz DOROSZEWSKI : The specious present in branching space-times
Recording of Talk
Link to Slides and other material
—oOo—
PM Talks in Section § C 5 : Philosophy of Physics : 5 Talks
2:15 pm : Michael CUFFARO : Many worlds : the cluster-state quantum computer and the problem of the preferred basis
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Arianne SHAHVISI : The gravity of the past hypothesis : Lessons learned from Earman and Wallace
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Graham NERLICH : Bell’s Lorentzian Pedagogy : A bad education
Recording of Talk
Link to Slides and other material
—oOo—
Coffee Break
—oOo—
4:35 pm : Nazim BOUATTA and Jeremy BUTTERFIELD : Emergence and reduction combined in infinite systems
Recording of Talk
Link to Slides and other material
—oOo—
5:05 pm : Matt FARR : On the status of temporal unidirectionality in Physics
Recording of Talk
Link to Slides and other material
—oOo—
5:35 pm : Argyris NICOLAIDIS : Relational logic and modern science.
Recording of Talk
Link to Slides and other material
—oOo—
DAY EIGHT : Tuesday JULY 26th 2011
The Following parts of the Program for Day Eight were recorded
In Section § A 2 : Philosophical Logic : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
2:15 pm : PM Talks in Section A 2 Session A
2:15 pm : Severi K. HAMARI and Rafael URBANIAK : Busting a myth about Lesiewski and definitions
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Hsing-Chien TSAI : The undecidability of some mereotopological structures
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Boris FYODOROV : Representation of Bolzano’s content inferences with singular terms in the language of predicate logic
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Giuliano BACIGALUPO : Meinong and Husserl on existence
Recording of Talk
Link to Slides and other material
—oOo—
In Section B 1 : Methodology and Scientific Reasoning : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
10 : 30 am – 12:00 pm : Session A
10:30 am : Mathias EGG : expanding our grasp : Can causal knowledge save realism from Stanford’s new induction ?
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Paul HOYNINGEN – HUENE : The ultimate argument against convergent realism and structural realsim : the impasse objection
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Ludwig FAHRBACH : How to defend Scientific Realism against the Pessimistic Meta-Induction
Recording of Talk
Link to Slides and other material
—oOo—
2: 15 – 4:15 pm : Afternoon Session A
2:15 pm : Angelo CEI : The epistemic structural realist program : Some interference
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Yukinori ONISHI : The scientific realism debate from the epistemological viewpoint.
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Tobias BRIEDENMOSER : Theories of axonal transport in the cell : Empirical evidence against scientific realism.
Recording of Talk
Link to Slides and other material
—oOo—
3: 45 pm : Sreckumar JAYADEVAN : Theory – talk, Meta – theory talk and metaphysical talk : the intricacies and pertinence of three levels of discourse in the scientific realism debate
Recording of Talk
Link to Slides and other material
—oOo—
In Section § B 3 : Historical Aspects in the Philosophy of Science : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
Afternoon Session : 2:15 pm – 3:45 pm
2:15 pm : Masaki HARADA : Kant, Fichte and algebraic operations : The philosophy of algebra acording to Jules Vuillemin
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Ivica MARTINOVIC : With Boskovic against Kant : Ivan Krstitelj Horvath on Space and Time
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Hennie LOTTER : Evolution as a metaphor for scientific progress
Recording of Talk
Link to Slides and other material
—oOo—
In Section § C 1 : Logic, Mathematics and Computer Science : on Tuesday 26th July 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Samuel FLETCHER and Jason HOELSCHER-OBERMAIER : Physical computability, efficiency and the Church-Turing Thesis
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Nicola ANGIUS : Corroborations of hypotheses and experimental computer science in software testing
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Liesbeth DE MOL : The computer (as a medium) in mathematics : Mathematician-computer interaction, internalization, time and space squeezing.
Recording of Talk
Link to Slides and other material
—oOo—
In Section § C 5 : Philosophy of Physics : on Tuesday 26th July 2011 the following Talks in this Section of the Congress were recorded.
10:30am – 12:30 pm : SYMPOSIUM on Epistemological Perspectives on The Large Hadron Collider (Chair : Michael STOLTZNER)
Talks by :
Michael STOLTZNER : Higgs Models and other stories about mass generation
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Arianna BORRELLI : The practice of model- building in comtemporaray high-energy physics : the example of “technicolour”
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Koray KARACA : Selectivity and robustness in experimental research : Lessons from the Large Hadron Colider
Recording of Talk
Link to Slides and other material
—oOo—
12:00 pm : Alexandre GUAY : Objectivity and physical symmetries
Recording of Talk
Link to Slides and other material
—oOo—
2:15 – 4:15 pm : Afternoon Session : Chair : Graham NERLICH
2:15 pm : Adan SUS : Is inertia explained in General Relativity ?
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Montgomery LINK : Rotating Universe
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Hajime TARAKA Koji NAKATOGWA and Hiroyasu NAGATA :
A proposition called T0906 and Godel’s Incompleteness Theorem.
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Julien BERNARD : From the Hole Argument of Einstein to the ball of clay argument of Weyl
Recording of Talk
Link to Slides and other material
—oOo—
This concludes the list of recordings made during the Congress
—oOo—
Wednesday 26th – Saturday 30th JULY 2011
SETS FROM A GEOMETRICAL PERSPECTIVE
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?
See below for Video of Talk
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
See below for Video of this Talk
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
See below for Video of Talk
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
See below for Video of this Talk
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
See below for Video of Talk
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?”
See Video of Prof. McLarty’s Talk below
Click here for overheads
—oOo—
Coffee Pause
—oOo—
11:15-12:45 : Professor Anders KOCK (Talk 2)
Monads and Extensive Quantities (Part II)
See Video of Talk below
Click here for audio recording of Talk and Discussion
Click here for Overheads and/or Notes of Talk and photos of board presentaation
—oOo—
Lunch
—oOo—
2:15-4:30 : Prof. FW Lawvere (Talk 3)
A Review of Recent Developments in Categorical Dynamics
See below for Video of Talk
Click here for audio recording
Click here for link to Notes of Talk and photos of board presentation
—oOo—
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
—oOo—
Recording 2 : C. FOUQUERE : Substructural Logic for Orientable and Non-Orientable Surfaces
Click here for Recording
Click here for Overheads and Abstract of Talk
—oOo–
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
—oOo—
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
—oOo—
Recording 5 : PM Session on Proof Theory
—oOo—
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
—oOo—
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
—oOo—
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
—oOo—
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
—oOo–
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
—oOo—
Recording 2 : Gurem BEZHANISHVILI : The Scientific Legacy of Leo ESAKIA
Click here for Recording
Click here for Overheads and Abstract of Talk
—oOo—
Recording 3 : Mamuka JEBLADZE : Intuitionistic Modalities in Topology and in Algebra
Click here for Recording
Click here for Overheads and Abstract of Talk
—oOo—
Recording 4 : Talk by David GABELAIA : The Topological Semantics of Modal Logic
Click here for Recording
Click here for Overheads and Abstract of Talk
—oOo—
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
—oOo—
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
—oOo—
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
—oOo—
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.