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:
\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
\n \n \n\n For more information, see http://fscdconference.org/ and h ttp://fscd2016.dcc.fc.up.pt/ or email fscd2016 at dcc.f c.up.pt.\n
\n The Programme Committee cordially invites al l researchers to\n submit their papers for presentation. Submissions can be made\n in two categories: regular research papers and system \n descriptions. Submission deadline (titl e and abstract): 29\n January 2016.\n
\n