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/2020/newsitem/12125/3-
 --4-November-2020-XI-Workshop-on-Program-Semantics
 -Specification-and-Verification-PSSV-2020-Theory-a
 nd-Applications-Virtual
DTSTAMP:20201019T141457
SUMMARY:XI Workshop on Program Semantics, Specific
 ation and Verification (PSSV-2020): Theory and App
 lications, Virtual
DTSTART;VALUE=DATE:20201103
DTEND;VALUE=DATE:20201104
LOCATION:Virtual
DESCRIPTION:Invited Speakers: Natasha Alechina, Ek
 aterina Komendantskaya, Samvel K. Shoukourian and 
 Ilya Sergey. In addition there will be one invited
  industrial talk from Leading Research Center for 
 Blockchain Technology of Innopolis University, whi
 ch will be presented by Leonid Merkin, and a panel
  discussion on (experimental and industrial) conte
 mporary programming languages.  The Program Commit
 tee solicits work in progress, position, poster an
 d student papers (up to 4 pages). Research, work i
 n progress, position and student papers are welcom
 e. All accepted papers will be published before th
 e workshop (format and venue TBD). We expect (as i
 t was in the previous years of the PSSV) that Engl
 ish translations of selected papers will appear ne
 xt year in Automatic Control and Computer Sciences
 .
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Invited S
 peakers: Natasha Alechina, Ekaterina Komendantskay
 a, Samvel K. Shoukourian and Ilya Sergey. In addit
 ion there will be one invited industrial talk from
  Leading Research Center for Blockchain Technology
  of Innopolis University, which will be presented 
 by Leonid Merkin, and a panel discussion on (exper
 imental and industrial) contemporary programming l
 anguages.</p>\n</div><div>\n  <p>The Program Commi
 ttee solicits work in progress, position, poster a
 nd student papers (up to 4 pages). Research, work 
 in progress, position and student papers are welco
 me. All accepted papers will be published before t
 he workshop (format and venue TBD). We expect (as 
 it was in the previous years of the PSSV) that Eng
 lish translations of selected papers will appear n
 ext year in Automatic Control and Computer Science
 s.</p>\n</div>
URL:https://persons.iis.nsk.su/en/pssv2020
END:VEVENT
END:VCALENDAR