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/2018/newsitem/9486/9--
 -12-July-2018-Third-International-Conference-on-Fo
 rmal-Structures-for-Computation-and-Deduction-FSCD
 -18-Oxford-England
DTSTAMP:20171120T144216
SUMMARY:Third International Conference on Formal S
 tructures for Computation and Deduction (FSCD'18),
  Oxford, England
DTSTART;VALUE=DATE:20180709
DTEND;VALUE=DATE:20180712
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
 . FSCD'18 is part of The Federated Logic Conferenc
 e, FLoC 2018.  Submissions can be made in two cate
 gories: Regular research papers (presenting origin
 al research which is unpublished and not submitted
  elsewhere) and system descriptions (presenting ne
 w software tools in which FSCD topics play an impo
 rtant role, or significantly new versions of such 
 tools). Suggested, but not exclusive, list of topi
 cs for submission are: Calculi, Methods in Computa
 tion and Deduction, Semantics, Algorithmic Analysi
 s and Transformations of Formal Systems, and Tools
  and Applications.  The program committee will con
 sider declaring an award to a paper in which at le
 ast one author is a junior researcher, i.e. either
  a student or whose PhD award date is less than th
 ree years from the first day of the meeting.
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. FSCD'18 is part of 
 The Federated Logic Conference, FLoC 2018.</p>\n</
 div><div>\n  <p>Submissions can be made in two cat
 egories: Regular research papers (presenting origi
 nal research which is unpublished and not submitte
 d elsewhere) and system descriptions (presenting n
 ew software tools in which FSCD topics play an imp
 ortant role, or significantly new versions of such
  tools). Suggested, but not exclusive, list of top
 ics for submission are: Calculi, Methods in Comput
 ation and Deduction, Semantics, Algorithmic Analys
 is and Transformations of Formal Systems, and Tool
 s and Applications.</p>\n\n  <p>The program commit
 tee will consider declaring an award to a paper in
  which at least one author is a junior researcher,
  i.e. either a student or whose PhD award date is 
 less than three years from the first day of the me
 eting.</p>\n</div>
URL:http://fscd-conference.org/editions/fscd-2018
END:VEVENT
END:VCALENDAR