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/2017/newsitem/8654/3--
 -9-September-2017-Second-International-Conference-
 on-Formal-Structures-for-Computation-and-Deduction
 -FSCD-17-Oxford-England
DTSTAMP:20170717T145241
SUMMARY:Second International Conference on Formal 
 Structures for Computation and Deduction (FSCD'17)
 , Oxford, England
DTSTART;VALUE=DATE:20170903
DTEND;VALUE=DATE:20170909
LOCATION:Oxford, England
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, p
 roof theory and new emerging models of computation
  such as quantum computing or homotopy type theory
 .  Submissions can be made in two categories. Regu
 lar research papers are limited to 15 pages and mu
 st present original research which is unpublished 
 and not submitted elsewhere. System descriptions a
 re limited to 10 pages and must describe a working
  system which has not been published or submitted 
 elsewhere. Full versions of several accepted paper
 s, to be selected by the program committee, will b
 e invited for submission to a special issue of Log
 ical Methods in Computer Science.
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, proof theory and new e
 merging models of computation such as quantum comp
 uting or homotopy type theory.</p>\n</div><div>\n 
  <p>Submissions can be made in two categories. Reg
 ular research papers are limited to 15 pages and m
 ust present original research which is unpublished
  and not submitted elsewhere. System descriptions 
 are limited to 10 pages and must describe a workin
 g system which has not been published or submitted
  elsewhere. Full versions of several accepted pape
 rs, to be selected by the program committee, will 
 be invited for submission to a special issue of Lo
 gical Methods in Computer Science.</p>\n</div>
URL:http://www.cs.ox.ac.uk/conferences/fscd2017/
END:VEVENT
END:VCALENDAR