![]() ![]() ![]() combination and integration methods in SAT and SMT solving.combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics).Topics of interest for FroCoS'17 include (but are not restricted to): The FroCoS 2017 conference proceedings are published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS), volume 10483 and will be freely accessible, as a courtesy of Springer, for registered attendees during the event in the following link: Initially held every two years, since 2004 it has been organised annually with alternate years forming part of IJCAR.įroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods ( TABLEAUX 2017) and the 8th International Conference on Interactive Theorem Proving ( ITP 2017). The first FroCoS symposium was held in Munich, Germany, in 1996. ![]() It will be hosted by the Department of Computer Science at the University of Brasília, from 27-29 September 2017.įroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The 11th International Symposium on Frontiers of Combining Systems will take place in Brasília - the garden city of Brazil and UNESCO World Heritage Site for its modernistic design. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |