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/12156/17
 ---24-July-2021-Sixth-International-Conference-on-
 Formal-Structures-for-Computation-and-Deduction-FS
 CD-2021-Virtual
DTSTAMP:20210213T164601
SUMMARY:Sixth International Conference on Formal S
 tructures for Computation and Deduction (FSCD 2021
 ), Virtual
DTSTART;VALUE=DATE:20210717
DTEND;VALUE=DATE:20210724
LOCATION:Virtual
DESCRIPTION:FSCD is a series of annual conferences
  started in 2016 in Porto, merging and replacing t
 he RTA (Rewriting Techniques and Applications) and
 TLCA (Typed Lambda Calculi and Applications) confe
 rences. Building on the RTA and TLCA communities, 
 FSCD updates and modernizes the RTA and TLCA core 
 topics and broadens their scope to closely related
  areas in logics, models of computation (e.g. quan
 tum computing, probabilistic computing, homotopy t
 ype theory), semantics and verification in new cha
 llenging areas (e.g. blockchain protocols or deep 
 learning algorithms).  FSCD 2021 will be the sixth
  edition of the International Conference on Formal
  Structures for Computation and Deduction. Due to 
 the Covid 19 pandemic situation, the 2021 edition 
 of FSCD and its satellite workshops will be held o
 nline.  The suggested, but not exclusive, list of 
 topics for submission is:     - Calculi     - Meth
 ods in Computation and Deduction     - Semantics  
    - Algorithmic Analysis and Transformations of F
 ormal Systems     - Tools and Applications     - S
 emantics and Verification in new challenging areas
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>FSCD is a
  series of annual conferences started in 2016 in P
 orto, merging and replacing the <a href="http://re
 writing.loria.fr/rta/">RTA</a> (Rewriting Techniqu
 es and Applications) and<a href="https://www.mimuw
 .edu.pl/tlca/tlca.html">TLCA</a> (Typed Lambda Cal
 culi and Applications) conferences. Building on th
 e RTA and TLCA communities, FSCD updates and moder
 nizes the RTA and TLCA core topics and broadens th
 eir scope to closely related areas in logics, mode
 ls of computation (e.g. quantum computing, probabi
 listic computing, homotopy type theory), semantics
  and verification in new challenging areas (e.g. b
 lockchain protocols or deep learning algorithms).<
 /p>\n\n  <p>FSCD 2021 will be the sixth edition of
  the International Conference on Formal Structures
  for Computation and Deduction. Due to the Covid 1
 9 pandemic situation, the 2021 edition of FSCD and
  its satellite workshops will be held online.</p>\
 n</div><div>\n  <p>The suggested, but not exclusiv
 e, list of topics for submission is:<br>\n  &nbsp;
 &nbsp; - Calculi<br>\n  &nbsp;&nbsp; - Methods in 
 Computation and Deduction<br>\n  &nbsp;&nbsp; - Se
 mantics<br>\n  &nbsp;&nbsp; - Algorithmic Analysis
  and Transformations of Formal Systems<br>\n  &nbs
 p;&nbsp; - Tools and Applications<br>\n  &nbsp;&nb
 sp; - Semantics and Verification in new challengin
 g areas</p>\n</div>
URL:https://fscd2021.dc.uba.ar
END:VEVENT
END:VCALENDAR