Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal

Date: 19-21 January 2006
Location: Coimbra, Portugal
Deadline: 30 November 2005

This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"

For registration or more information, see http://www.mat.uc.pt/~kahle/dl06/ or contact the organizers at .

Participants wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX or plain text, or ps or pdf) to by 30 November 2005.

Please note that this newsitem has been archived, and may contain outdated information or links.