[PhilPhys] Symposium on Logic and Physics, Utrecht 11 January 2008

[Sonja Smets]

Invitation to attend:

*********************************************************************
*Symposium on Logic and Physics*
January 11, 2008

Universiteit Utrecht
Campus De Uithof, Wentgebouw N020

http://symposium.tiddlyspot.com/

*********************************************************************

The topic of this symposium is situated at the current interface between
Logic and the Foundations of Physics. The aim is to look at
already-established, as well as new connections between the two fields,
within the context of recent work on logics of space, time, action and
information flow, with an eye towards a wider philosophical perspective.

Due to the interdisciplinary nature, the symposium is intended to be of
interest to logicians, physicists, philosophers of physics as well as to
computer scientists.

All talks will be followed by a commentary and short discussion.
*
PROGRAMME:*

09:00 – 9:15 J. van Benthem : *Opening
*
09:15 – 10:00 : S. Abramsky : *Categorical axiomatics of No- Cloning and No-
Deleting*
commentator : B. Spitters

10:00 – 10:45 : B. Coecke : *Classical structures from quantum tensor
structures *
commentator : C. Heunen

10:45 – 11:00 COFFEE BREAK

11:00 – 11:45 : D. Dieks: *Weak Discernibility, Structuralism, and Identical
Quantum Particles*
commentator : F.A. Muller

11:45 – 12:30 : I. Pratt- Hartmann: *From Points to Regions and Back Again *
commentator : M. Aiello

LUNCH BREAK

14:00 – 15:15 : H. Andréka & I. Németi: *Relativity theory and logic
(two-way connections)*
commentator : T. Mueller

15:15 – 16:00 : K. Landsman: *Topos theory and quantum physics *
commentator : I. Stubbe

16:00 – 16:15 COFFEE BREAK

16:15 – 17:00 : J. Uffink : *Bell inequalities and local hidden variable
theories revisited*
commentator : R. Gill

17:00 – 17:45 : A. Baltag & S. Smets : *A Dynamic- Logical Perspective on
Quantum Behavior *
commentator : J. van Eijck


** The symposium is sponsored by The Evert Willem Beth Stichting, The
Heyting Stichting and the Disciplinegroep Theoretische Filosofie at
Universiteit Utrecht.

*ORGANIZERS *: J. van Benthem, D. Dieks, A. Kox, A. Visser
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://listbox.elte.hu/mailman/private/philphys/attachments/20080101/990e1124/attachment.html>