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/2018/newsitem/9518/14- --18-May-2018-Logical-Perspectives-2018-St-Petersb urg-Russia DTSTAMP:20171204T144452 SUMMARY:Logical Perspectives 2018, St Petersburg, Russia DTSTART;VALUE=DATE:20180514 DTEND;VALUE=DATE:20180518 LOCATION:St Petersburg, Russia DESCRIPTION:Thanks to the support of the Euler Int ernational Mathematical Institute, a new conferenc e initiative called Logical Perspectives will star t in 2018. The initiative aims at bringing togethe r distinguished logicians in order to present thei r perspectives on the future of the field, to disc uss related open problems, and to foster new colla borations. The topics include, but are not limite d to: - the foundations of mathematics and those of computing; - logical methods in philosophy (e. g. in epistemology, the philosophy of mathematics or that of language); - logical methods in mathem atics; - logical methods in computer science. Th ere will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to k now more about the field. X-ALT-DESC;FMTTYPE=text/html:\n
Thanks to the support of the Euler International Mathematical In stitute, a new conference initiative called Logica l Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the futu re of the field, to discuss related open problems, and to foster new collaborations.
\n\nThe
topics include, but are not limited to:
\n -
the foundations of mathematics and those of comput
ing;
\n - logical methods in philosophy (e.g.
in epistemology, the philosophy of mathematics or
that of language);
\n - logical methods in mat
hematics;
\n - logical methods in computer sci
ence.
There will be only invited talks , some of which will be accessible to a broader au dience, intended for students working in logic and those who wish to know more about the field.
URL:http://www.pdmi.ras.ru/EIMI/2018/LP/ END:VEVENT END:VCALENDAR