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/10559/4-
 --6-September-2019-The-12th-International-Symposiu
 m-on-Frontiers-of-Combining-Systems-FroCoS-2019-Lo
 ndon-England
DTSTAMP:20190423T174848
SUMMARY:The 12th International Symposium on Fronti
 ers of Combining Systems (FroCoS 2019), London, En
 gland
DTSTART;VALUE=DATE:20190904
DTEND;VALUE=DATE:20190906
LOCATION:London, England
DESCRIPTION:FroCoS is the main international event
  for research on the development of techniques and
  methods for the combination and integration of fo
 rmal systems, their modularization and analysis. T
 he first FroCoS symposium was held in Munich, Germ
 any, in 1996. Initially held every two years, sinc
 e 2004 it has been organized annually with alterna
 te years forming part of IJCAR. If we also count t
 he IJCAR editions, this year FroCoS celebrates its
  20th edition.  FroCoS 2019 will be co-located wit
 h the 28th International Conference on Automated R
 easoning with Analytic Tableaux and Related Method
 s (TABLEAUX 2019). The two conferences will provid
 e a rich programme of workshops, tutorials, invite
 d talks, paper presentations and system descriptio
 ns. Like its predecessors, FroCoS 2019 seeks to of
 fer a common forum for research in the general are
 a of combination, modularization, and integration 
 of systems, with emphasis on logic-based methods a
 nd their practical use.  The program committee see
 ks high-quality submissions describing original wo
 rk, written in English, not overlapping with publi
 shed or simultaneously submitted work to a journal
  or conference with archival proceedings. Selectio
 n criteria include accuracy and originality of ide
 as, clarity and significance of results, and quali
 ty of presentation.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>FroCoS is
  the main international event for research on the 
 development of techniques and methods for the comb
 ination and integration of formal systems, their m
 odularization and analysis. The first FroCoS sympo
 sium was held in Munich, Germany, in 1996. Initial
 ly held every two years, since 2004 it has been or
 ganized annually with alternate years forming part
  of IJCAR. If we also count the IJCAR editions, th
 is year FroCoS celebrates its 20th edition.</p>\n\
 n  <p>FroCoS 2019 will be co-located with the 28th
  International Conference on Automated Reasoning w
 ith Analytic Tableaux and Related Methods (TABLEAU
 X 2019). The two conferences will provide a rich p
 rogramme of workshops, tutorials, invited talks, p
 aper presentations and system descriptions. Like i
 ts predecessors, FroCoS 2019 seeks to offer a comm
 on forum for research in the general area of combi
 nation, modularization, and integration of systems
 , with emphasis on logic-based methods and their p
 ractical use.</p>\n</div><div>\n  <p>The program c
 ommittee seeks high-quality submissions describing
  original work, written in English, not overlappin
 g with published or simultaneously submitted work 
 to a journal or conference with archival proceedin
 gs. Selection criteria include accuracy and origin
 ality of ideas, clarity and significance of result
 s, and quality of presentation.</p>\n</div>
URL:https://www.frocos2019.org
CONTACT:chair at frocos2019.org
END:VEVENT
END:VCALENDAR