The "logic" page of Theorem(e) has been improved and links have been updated.

Colloque : Towards Mathematical Philosophy - 2006

Studia Logica International Conference - Towards Mathematical Philosophy, Toruñ, Poland, September 1 - 4, 2006 (Universitas Nicolai Copernici).

SOPHA 2006

Le colloque tri-annuel de la Société de philosophie analytique se tiendra à la rentrée, les 1, 2, et 3 septembre 2006. Informations ici.

Proof-theory

Jean Yves Girard has two textbooks on the web :

Jean Yves Girard, Yves Lafont and Paul Taylor: Proofs and types (175 p.).
("Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7")

Jean Yves Girard: The blind spot (.pdf , 500 p.)
(Complete english version of a book to be published soon (in french) - From Lectures on proof-theory, Roma Tre, October-December 2004 ).

Many-valued logic (3)

Walter Carnielli : Many-valued Models (one of the tutorials offered at the 1st World Congress and School on Universal Logic (2005)).

[see the reference post for many-valued logics]

Petit guide pour accéder aux métiers
de la recherche dans les établissements d'enseignement supérieur et les organismes publics de recherche (documentation officielle).
[via Paris-1]

Brian Hill

Le lundi 3 juillet 2006, Brian HILL soutiendra sa thèse (sous la direction de Jacques Dubucs), intitulée :
Jouer avec le faux. Recherches sur les processus mentaux à l'œuvre dans la lecture des textes de fiction.
[Informations complémentaires (jury, abstract) ici].
La soutenance aura lieu salle J. B. Duroselle à la Sorbonne (galerie Dumas).