\n

This meeting aims at bringing together mathematicians a nd computer\nscientists with interests in Logic. I t is specially directed for\ngraduate students. It consists of four introductory courses and\ncontri buted talks. Courses include "Category Theory ",\n "Proof Interpretations",\ n "Computations with Ordinals, and Model s of Set Theory"\n and "Provable Re cursion and Arithmetical Independence Results" ;\n

\n \n \nFor registra tion or more information, see \n http://www.mat.uc.pt/~kahle/dl06/\n or contact the organizers at kahle < span class="at">at mat.uc.pt.\n \n

\n

URL:/NewsandEvents/Archives/2006/newsitem/1092/19-
21-January-2006-Days-in-Logic---2006-Coimbra-Portu
gal
END:VEVENT
END:VCALENDAR
\nParticipants wishi ng to give a talk at the meeting are requested to\ nsubmit an abstract of 1 page (LaTeX or plain text , or ps or pdf) to\nkahle at mat.uc.pt by 30 November 2 005.\n

\n