BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2008/newsitem/2158/11- 17-May-2008-Three-logic-events-in-Brazil-CLE30-XV- EBL-XIV-SLALM-Paraty-Brazil DTSTAMP:20071223T000000 SUMMARY:Three logic events in Brazil (CLE30, XV EB L, XIV SLALM), Paraty, Brazil DTSTART;VALUE=DATE:20080511 DTEND;VALUE=DATE:20080517 LOCATION:Paraty, Brazil DESCRIPTION:Three simultaneous events be held betw een 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 3 0th Anniversary of the Centre for Logic, Epistemol ogy and the History of Science (CLE), UNICAMP * X V EBL - 15th Brazilian Logic Conference * XIV SLA LM - 14th Latin-American Symposium on Mathematical Logic The topics include Philosophical and Mat hematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Cla ssical Logics and applications, History and Philos ophy of Logic, Philosophy of the Formal Sciences a nd Foundations of Mathematics. A "Logic School" in tended for students (but open to anyone interested ) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008. Fo r more information, see http://www.cle.unicamp.br/ cle30-ebl-slalm/ Contributions are invited on al l topics of the events. Deadline for submission: J anuary 15th, 2008. X-ALT-DESC;FMTTYPE=text/html:
Three
simultaneous events be held between 11-17 May 200
8 in Paraty, Brazil:\n * CLE 30 - 30th Anni
versary of the Centre for Logic,\n Epistemo
logy and the History of Science (CLE), UNICAMP
\n * XV EBL - 15th Brazilian Logic Confer
ence
\n * XIV SLALM - 14th Latin-Ameri
can Symposium on Mathematical Logic\n
\nThe topics include Philosophical and Mat hematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Cla ssical Logics and applications, History and Philos ophy of Logic, Philosophy of the Formal Sciences a nd Foundations of Mathematics. A "Logic Schoo l" intended for students (but open to anyone interested) is planned to be held in the State Uni versity of Campinas (UNICAMP) between 7 - 9 May, 2 008.\n
\n\n \n\n \n For more information, see\n http://www.cle.unicamp.br/cle30-ebl-slalm/\n