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/2019/newsitem/10535/26
 -August-2019-Combined-26th-International-Workshop-
 on-Expressiveness-in-Concurrency-and-16th-Workshop
 -on-Structural-Operational-Semantics-EXPRESS-SOS-2
 019-Amsterdam-The-Netherlands
DTSTAMP:20190128T141718
SUMMARY:Combined 26th International Workshop on Ex
 pressiveness in Concurrency and 16th Workshop on S
 tructural Operational Semantics (EXPRESS/SOS 2019)
 , Amsterdam, The Netherlands
DTSTART;VALUE=DATE:20190826
DTEND;VALUE=DATE:20190826
LOCATION:Amsterdam, The Netherlands
DESCRIPTION:The EXPRESS/SOS workshop series aims a
 t bringing together researchers interested in the 
 formal semantics of systems and programming concep
 ts, and in the expressiveness of computational mod
 els.  Invited speakers: Yuxin Deng (East China Nor
 mal University, China) - Tom Hirschowitz (CNRS / S
 avoie Mont Blanc University, France) - Kirstin Pet
 ers (TU Berlin, Germany).  We invite two types of 
 submissions: * Full papers (up to 15 pages, exclud
 ing references) and Short papers (up to 5 pages, e
 xcluding references, not included in the workshop 
 proceedings).   We especially welcome contribution
 s bridging the gap between the above topics and ne
 ighbouring areas, such as, for instance: - compute
 r security - multi-agent systems - programming lan
 guages and formal verification - reversible comput
 ation - knowledge representation.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The EXPRE
 SS/SOS workshop series aims at bringing together r
 esearchers interested in the formal semantics of s
 ystems and programming concepts, and in the expres
 siveness of computational models.</p>\n\n  <p>Invi
 ted speakers: Yuxin Deng (East China Normal Univer
 sity, China) - Tom Hirschowitz (CNRS / Savoie Mont
  Blanc University, France) - Kirstin Peters (TU Be
 rlin, Germany).</p>\n</div><div>\n  <p>We invite t
 wo types of submissions: * Full papers (up to 15 p
 ages, excluding references) and Short papers (up t
 o 5 pages, excluding references, not included in t
 he workshop proceedings).</p>\n\n  <p>&nbsp;We esp
 ecially welcome contributions bridging the gap bet
 ween the above topics and neighbouring areas, such
  as, for instance: - computer security - multi-age
 nt systems - programming languages and formal veri
 fication - reversible computation - knowledge repr
 esentation.</p>\n</div>
URL:https://express-sos2019.cs.ru.nl
CONTACT:express-sos19 at easychair.org
END:VEVENT
END:VCALENDAR