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/2017/newsitem/8274/25- --29-September-2017-11th-International-Symposium-o n-Frontiers-of-Combining-Systems-FroCoS-2017-Brasi lia-Brazil DTSTAMP:20170428T133948 SUMMARY:11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Brasilia, Braz il DTSTART;VALUE=DATE:20170925 DTEND;VALUE=DATE:20170929 LOCATION:Brasilia, Brazil DESCRIPTION:In various areas of computer science, such as logic, computation, program development an d verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be us able in practice, these specialized systems must b e combined with each other and integrated into gen eral purpose systems. This has led - in many resea rch areas - to the development of techniques and m ethods for the combination and integration of dedi cated formal systems, as well as for their modular ization and analysis. The International Symposium on Frontiers of Combining Systems (FroCoS) tradit ionally focusses on these types of research questi ons and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic -based ones, and of their practical use. FroCoS 2 017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic T ableaux and Related Methods (TABLEAUX 2017) and th e 8th International Conference on Interactive Theo rem-Proving (ITP 2017). The program committee se eks high-quality submissions describing original w ork, written in English, not overlapping with publ ished or simultaneously submitted work to a journa l or conference with archival proceedings. Selecti on criteria include accuracy and originality of id eas, clarity and significance of results, and qual ity of presentation. Abstract submission deadline: 24th April 2017. X-ALT-DESC;FMTTYPE=text/html:
In variou s areas of computer science, such as logic, comput ation, program development and verification, artif icial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, the se specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the de velopment of techniques and methods for the combin ation and integration of dedicated formal systems, as well as for their modularization and analysis.
\n\nThe International Symposium on Fronti ers of Combining Systems (FroCoS) traditionally fo cusses on these types of research questions and ac tivities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the gener al area of combination, modularization, and integr ation of systems, with emphasis on logic-based one s, and of their practical use.
\n\nFroCoS 2017 will be co-located with the 26th Internationa l Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and t he 8th International Conference on Interactive The orem-Proving (ITP 2017).
The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submi tted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. Abstract submission deadline: 24th April 2017.
URL:http://frocos2017.cic.unb.br END:VEVENT END:VCALENDAR