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:
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.
\n\ nFroCoS 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.
The program com mittee seeks high-quality submissions describing o riginal work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings . Selection criteria include accuracy and original ity of ideas, clarity and significance of results, and quality of presentation.