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  <p>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:<br>\n  &nbsp;- logical methods in mathemat
 ics;<br>\n  &nbsp;- logical methods in philosophy;
 <br>\n  &nbsp;- logical methods in computer scienc
 e.</p>\n\n  <p>In view of the developing situation
  with COVID-19 in Russia, <em>Logical Perspectives
  2020</em> has moved to June 2021 and become <em>L
 ogical Perspectives 2021</em>. The LP 2021 confere
 nce is part of the Logical Perspectives 2021 thema
 tic programme, which also comprises the following 
 additional events:<br>\n  - LP 2021 Summer School 
 &amp; 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.<br>\n  - Formal Philosophy 2021 (June 21
 –23), focusing on applications of methods of mathe
 matical logic to philosophy.<br>\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.</p>\n\n  <p>The events of the progra
 mme will be held either online or in a mixed forma
 t — including both virtual and traditional talks.<
 /p>\n
URL:http://lp2021.mi-ras.ru/
CONTACT:lp2021 at mi-ras.ru
END:VEVENT
END:VCALENDAR