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:
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.
\n\nInvi ted speakers: Yuxin Deng (East China Normal Univer sity, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Be rlin, Germany).
We invite two types of submissions: * Full papers (up to 15 pag es, excluding references) and Short papers (up to 5 pages, excluding references, not included in the workshop proceedings).
\n\nWe espec ially welcome contributions bridging the gap betwe en the above topics and neighbouring areas, such a s, for instance: - computer security - multi-agent systems - programming languages and formal verifi cation - reversible computation - knowledge repres entation.