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/2021/newsitem/11486/7- --11-June-2021-Logical-Perspectives-2020-2021-Virt ual-and-or-Moscow-Russia DTSTAMP:20210429T184554 SUMMARY:Logical Perspectives 2020/2021, Virtual an d/or Moscow, Russia DTSTART;VALUE=DATE:20210607 DTEND;VALUE=DATE:20210611 LOCATION:Virtual and/or Moscow, Russia DESCRIPTION:The Logical Perspectives conference se ries aims at bringing together distinguished logic ians in order to present their perspectives on the future of the field, to discuss related open prob lems, and to foster new collaborations. The topics include, but are not limited to: - logical meth ods in mathematics; - logical methods in philoso phy; - logical methods in computer science. In view of the developing situation with COVID-19 in Russia, Logical Perspectives 2020 has moved to Jun e 2021 and become Logical Perspectives 2021. The L P 2021 conference is part of the Logical Perspecti ves 2021 thematic programme, which also comprises the following additional events: - LP 2021 Summer School & Workshop (June 14–19), focusing on compu tational proof theory, broadly understood, and pro viding early career scientists with an opportunity to attend advanced mini-courses and to present th eir own work. - Formal Philosophy 2021 (June 21–2 3), focusing on applications of methods of mathema tical logic to philosophy. - Adian 90 Conference (July 5–8), dedicated to the 90th birthday of Serg ei Adian (1931-2020). It will include talks by spe cialists in the area of logic, algebra and computa tion. The events of the programme will be held ei ther online or in a mixed format — including both virtual and traditional talks. X-ALT-DESC;FMTTYPE=text/html:\n
The Logical Pe
rspectives conference series aims at bringing toge
ther distinguished logicians in order to present t
heir perspectives on the future of the field, to d
iscuss related open problems, and to foster new co
llaborations. The topics include, but are not limi
ted to:
\n - logical methods in mathemat
ics;
\n - logical methods in philosophy;
\n - logical methods in computer scienc
e.
In view of the developing situation
with COVID-19 in Russia, Logical Perspectives
2020 has moved to June 2021 and become L
ogical Perspectives 2021. The LP 2021 confere
nce is part of the Logical Perspectives 2021 thema
tic programme, which also comprises the following
additional events:
\n - LP 2021 Summer School
& Workshop (June 14–19), focusing on computati
onal proof theory, broadly understood, and providi
ng early career scientists with an opportunity to
attend advanced mini-courses and to present their
own work.
\n - Formal Philosophy 2021 (June 21
–23), focusing on applications of methods of mathe
matical logic to philosophy.
\n - Adian 90 Con
ference (July 5–8), dedicated to the 90th birthday
of Sergei Adian (1931-2020). It will include talk
s by specialists in the area of logic, algebra and
computation.
The events of the progra mme will be held either online or in a mixed forma t — including both virtual and traditional talks.< /p> URL:http://lp2021.mi-ras.ru/ CONTACT:lp2021 at mi-ras.ru END:VEVENT END:VCALENDAR