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
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 kahle at mat.uc.pt.
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 kahle at mat.uc.pt by 30 November 2005.
Please note that this newsitem has been archived, and may contain outdated information or links.