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/11207/29
 -June---6-July-2020-Fifth-International-Conference
 -on-Formal-Structures-for-Computation-and-Deductio
 n-FSCD-2020-Online
DTSTAMP:20200528T180200
SUMMARY:Fifth International Conference on Formal S
 tructures for Computation and Deduction (FSCD 2020
 ), Online
DTSTART;VALUE=DATE:20200629
DTEND;VALUE=DATE:20200706
LOCATION:Online
DESCRIPTION:FSCD covers all aspects of formal stru
 ctures for computation and deduction from theoreti
 cal foundations to applications. Building on two c
 ommunities, RTA (Rewriting Techniques and Applicat
 ions) and TLCA (Typed Lambda Calculi and Applicati
 ons), FSCD embraces their core topics and broadens
  their scope to closely related areas in logics, m
 odels of computation, semantics and verification i
 n new challenging areas.  Submissions can be made 
 in two categories. Regular research papers are lim
 ited to 15 pages (excluding references, with the p
 ossibility to add an annex for technical details, 
 e.g. proofs) and must present original research wh
 ich is unpublished and not submitted elsewhere. Sy
 stem descriptions are limited to 15 pages (excludi
 ng references) and must present new software tools
  in which FSCD topics play an important role, or s
 ignificantly new versions of such tools.  The sugg
 ested, but not exclusive, list of topics for submi
 ssion is:  1. Calculi  2. Methods in Computation a
 nd Deduction  3. Semantics  4. Algorithmic Analysi
 s and Transformations of Formal Systems  5. Tools 
 and Applications  6. Semantics and Verification in
  new challenging areas
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>FSCD cove
 rs all aspects of formal structures for computatio
 n and deduction from theoretical foundations to ap
 plications. Building on two communities, RTA (Rewr
 iting Techniques and Applications) and TLCA (Typed
  Lambda Calculi and Applications), FSCD embraces t
 heir core topics and broadens their scope to close
 ly related areas in logics, models of computation,
  semantics and verification in new challenging are
 as.</p>\n</div><div>\n  <p>Submissions can be made
  in two categories. Regular research papers are li
 mited to 15 pages (excluding references, with the 
 possibility to add an annex for technical details,
  e.g. proofs) and must present original research w
 hich is unpublished and not submitted elsewhere. S
 ystem descriptions are limited to 15 pages (exclud
 ing references) and must present new software tool
 s in which FSCD topics play an important role, or 
 significantly new versions of such tools.</p>\n\n 
  <p>The suggested, but not exclusive, list of topi
 cs for submission is:<br>\n  1. Calculi<br>\n  2. 
 Methods in Computation and Deduction<br>\n  3. Sem
 antics<br>\n  4. Algorithmic Analysis and Transfor
 mations of Formal Systems<br>\n  5. Tools and Appl
 ications<br>\n  6. Semantics and Verification in n
 ew challenging areas</p>\n</div>
URL:http://fscd2020.org/
CONTACT:fscd2020 at easychair.org
END:VEVENT
END:VCALENDAR