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/2019/newsitem/10293/24
 ---30-June-2019-Fourth-International-Conference-on
 -Formal-Structures-for-Computation-and-Deduction-F
 SCD-2019-Dortmund-Germany
DTSTAMP:20190114T135123
SUMMARY:Fourth International Conference on Formal 
 Structures for Computation and Deduction (FSCD 201
 9), Dortmund, Germany
DTSTART;VALUE=DATE:20190624
DTEND;VALUE=DATE:20190630
LOCATION:Dortmund, Germany
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 (e.g. quantum computing, prob
 abilistic computing, homotopy type theory), semant
 ics and verification in new challenging areas (e.g
 . blockchain protocols or deep learning algorithms
 ).  Submissions can be made in two categories. Reg
 ular research papers are limited to 15 pages (incl
 uding references, with the possibility to add an a
 nnex for technical details, e.g. proofs) and must 
 present original research which is unpublished and
  not submitted elsewhere. System descriptions are 
 limited to 15 pages (including references) and mus
 t present new software tools in which FSCD topics 
 play an important role, or significantly new versi
 ons of such tools.  We also invite proposals for w
 orkshops, tutorials or other satellite events, on 
 any topic to related formal structures in computat
 ion and deduction, from theoretical foundations to
  tools and applications. Satellite events will tak
 e place on 24 June and 29-30 June, before and afte
 r the main conference on 25-28 June. Submission de
 adline: November 30.
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 
 (e.g. quantum computing, probabilistic computing, 
 homotopy type theory), semantics and verification 
 in new challenging areas (e.g. blockchain protocol
 s or deep learning algorithms).</p>\n</div><div>\n
   <p>Submissions can be made in two categories. Re
 gular research papers are limited to 15 pages (inc
 luding references, with the possibility to add an 
 annex for technical details, e.g. proofs) and must
  present original research which is unpublished an
 d not submitted elsewhere. System descriptions are
  limited to 15 pages (including references) and mu
 st present new software tools in which FSCD topics
  play an important role, or significantly new vers
 ions of such tools.</p>\n\n  <p>We also invite pro
 posals for workshops, tutorials or other satellite
  events, on any topic to related formal structures
  in computation and deduction, from theoretical fo
 undations to tools and applications. Satellite eve
 nts will take place on 24 June and 29-30 June, bef
 ore and after the main conference on 25-28 June. S
 ubmission deadline: November 30.</p>\n</div>
URL:http://fscdconference.org/editions/fscd-2019/
END:VEVENT
END:VCALENDAR