Workshop on Proof-Theoretical Semantics

Tuesday the 7th of May, there is a workshop on proof-theoretic semantics in St Andrews, jointly organised by the Computer Science Department and the Philosophy Department.

(http://www.st-andrews.ac.uk/~slr/harmony.html)

Edgecliffe, The Scores, St Andrews

10.30 Tea/coffee

11.00 Ole Hjortland (University of St Andrews): Conceptions of
Harmony in Proof Theory

12.45 Buffet Lunch (provided)

2.00 Nissim Francez (Technion, Haifa): Lexicalized Proof-Theoretic
Semantics for Natural Language

3.45 Tea

4.15 Peter Milne (University Stirling): A formulation of first-order
classical logic in natural deduction with the subformula property

6.00 Finish

All talks in room 104; lunch and tea/coffee in room G01

The Workshop is open to all those who are interested.

Workshop dedicated to Jean-Yves Girard

This just in over the wire. In May this year there is a workshop dedicated to Jean-Yves Girard, as part of his 60th birthday celebration. The workshop will be held at the University of Siena, May 17-20. Jean-Yves Girard is famous for original contributions to logic and computer science such as ludics and the geometry of interaction. And, of course, he is the founder of linear logic. In his early career, Girard did important work in proof-theory, among other things proving strong normalization for second-order logic.

Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras. Dedicated to Jean-Yves Girard on his 60th birthday. University of Siena (Italy) at the Certosa di Pontignano, May 17-20, 2007.

www.unisi.it/eventi/LOGIC

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

INVITED SPEAKERS:

Patrick Baillot, Univ. Paris 13,
http://www-lipn.univ-paris13.fr/~baillot/

Pierre-Louis Curien, Univ. Paris 7,
www.pps.jussieu.fr/~curien/

Ugo Dal Lago, Univ. Bologna,
www.cs.unibo.it/~dallago/

Claudia Faggian, Univ. Paris 7,
www.math.unipd.it/~claudia/

Jean-Yves Girard, Univ. Marseille,
http://iml.univ-mrs.fr/~girard/

Paul-Andre Mellies, Univ. Paris 7,
www.pps.jussieu.fr/~mellies/

Michele Pagani, Univ. Roma 3,
http://logica.uniroma3.it/~pagani/

Laurent Regnier, Univ. Marseille,
http://iml.univ-mrs.fr/~regnier/

Kazushige Terui, National Institute of Informatics, Tokyo ,
http://research.nii.ac.jp/~terui/

'Mainstream and Formal Epistemology' wins Choice Outstanding Academic Title

Prof. Vincent F. Hendricks' interesting book in formal epistemology, Mainstream and Formal Epistemology, just recently won the Choice Outstanding Academic Title 2006. Here's from the review:

Hendricks (Roskilde Univ., Denmark) identifies several central epistemological concerns and teases out various theoretical solutions. He begins with mainstream epistemologies, works through various formal epistemologies, and ends with an outline for a new research program called "plethoric epistemology," which combines insights of both mainstream and formal researchers. The aim of the work is twofold: to introduce mainstream and formal epistemologists to one another, and to give theoretical unity to a fractured discipline. It succeeds admirably on both fronts, and brings a fresh perspective to every topic it touches. This important work should spark conversation between traditional theorists and their more formally minded colleagues, and inform each of what the other has been up to. It should also bring unity and renewed purpose to the fragmented field of contemporary epistemology. This book is mandatory reading for epistemologists of all stripes, particularly those seeking a crash course in formal epistemology (and those just wondering what "formal epistemology" is). Its importance cannot be overemphasized. Summing Up: Essential. Upper-division undergraduates, graduate students, and faculty/researchers.