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/2016/newsitem/7055/22-
 26-June-2016-1st-International-Conference-on-Forma
 l-Structures-for-Computation-and-Deduction-FSCD-20
 16-Porto-Portugal
DTSTAMP:20151112T000000
SUMMARY:1st International Conference on Formal Str
 uctures for Computation and Deduction (FSCD 2016),
  Porto, Portugal
DTSTART;VALUE=DATE:20160622
DTEND;VALUE=DATE:20160626
LOCATION:Porto, Portugal
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 and homotopy type theor
 y. The name of the new conference comes from an un
 published but important book by Gerard Huet that s
 trongly influenced many researchers in the area.  
   For more information, see http://fscdconference.
 org/ and http://fscd2016.dcc.fc.up.pt/ or email fs
 cd2016 at dcc.fc.up.pt.    The Programme Committee
  cordially invites all researchers to submit their
  papers for presentation. Submissions can be made 
 in two categories: regular research papers and sys
 tem descriptions. Submission deadline (title and a
 bstract): 29 January 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      FSCD covers all aspects of formal structures 
 for computation\n        and deduction from theore
 tical foundations to applications.\n        Buildi
 ng on two communities, RTA (Rewriting Techniques a
 nd\n        Applications) and TLCA (Typed Lambda C
 alculi and\n        Applications), FSCD embraces t
 heir core topics and broadens\n        their scope
  to closely related areas in logics, proof theory\
 n        and new emerging models of computation su
 ch as quantum\n        computing and homotopy type
  theory.  The name of the new\n        conference 
 comes from an unpublished but important book by\n 
        Gerard Huet that strongly influenced many r
 esearchers in the\n        area.\n      </p>\n    
 \n      \n      <p>\n        For more information,
  see <a target="_blank" href="http://fscdconferenc
 e.org/">http://fscdconference.org/</a> and <a targ
 et="_blank" href="http://fscd2016.dcc.fc.up.pt/">h
 ttp://fscd2016.dcc.fc.up.pt/</a> or email <a class
 ="email">fscd2016 <span class="at">at</span> dcc.f
 c.up.pt</a>.\n      </p>\n    </div><div>\n      <
 p>\n        The Programme Committee cordially invi
 tes all researchers to\n        submit their paper
 s for presentation. Submissions can be made\n     
    in two categories: regular research papers and 
 system\n        descriptions.  Submission deadline
  (title and abstract): 29\n        January 2016.\n
       </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7055/22-
 26-June-2016-1st-International-Conference-on-Forma
 l-Structures-for-Computation-and-Deduction-FSCD-20
 16-Porto-Portugal
END:VEVENT
END:VCALENDAR