From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id C270E5D4 for ; Tue, 23 Apr 2019 11:32:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,385,1549926000"; d="scan'208,217";a="379814250" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2019 13:32:27 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4FF0182693; Tue, 23 Apr 2019 13:32:27 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1EAE18249D for ; Tue, 23 Apr 2019 13:31:54 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=A.Popescu@mdx.ac.uk; spf=Pass smtp.mailfrom=A.Popescu@mdx.ac.uk; spf=Pass smtp.helo=postmaster@EUR04-DB3-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3A5hNozhJLw91nz+9MWNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXKvr/rarrMEGX3/hxlliBBdydt6sdzbaG+PqwESxYuNDd6ShEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQLjYd4Jas8yRTFrmVLdu?= =?us-ascii?q?9LwW9kOU+fkwzz68ut4JJv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYMgXTnRdUMlPSyNBA5u8?= =?us-ascii?q?b4oRAOoHIeZYtJT2q18XoRejGQWgGObjxzlVjXH0wKI6yfwsHwHY0gI9A9IAvn?= =?us-ascii?q?farNTpO6gdSu261rXEwSnZYv9KxTvx9Y7FeQ0hr/GWWrJwdNLcxFUpFwzYlFWf?= =?us-ascii?q?t43lNC6P2OQKq2iU8fFgWv6yi2U6rAx8viKjyN0rionRmI0V0UzL9ThizYYwON?= =?us-ascii?q?K5R1R3bsS4H5dKqiGaNJJ7T8U/SG9mvyY6z6cJuZ+9fCUSxpQn3RnfZOCAc4iT?= =?us-ascii?q?/B7vSPudLDNiiHJiYrK/iA6+8Uyhyu3iTMW7ykpFojBYktnPrnwCyQbc6tOHS/?= =?us-ascii?q?Rh/keuwzeP1xrJ5uFDO0A0mrLXK4U5wr4ql5oTt0vDETHsmEnskKCWcUAk9vCt?= =?us-ascii?q?6+v6bbTqvIWTOJNuhgHjMaQjnNG0D+cgMgUWUGWX5f6w2KD/8UD7WrlHj+c6nr?= =?us-ascii?q?TXvZ3UPcgWpbO1DxVI3ost6huzFSqq3dQCkXUaLF9JZQqLj4b3NFzNPPz1CPKy?= =?us-ascii?q?jEionThxwv3GMLzsD5vDLnXGjbvsc7h95kxZxQcy199S44hbB7ccK/zpQEDxrs?= =?us-ascii?q?bXDhohPgy03ennDNJ925sRV22BHqGVLKzfvUaG6O8yLeSAfYgVty3jJPQ/4P7u?= =?us-ascii?q?kGM5lkQafam025sYdWq0Hux8I0WefXrjnMsOEXsLvgo5SuzmklqCUSNPZ3a2WK?= =?us-ascii?q?I84TI7BJi6AofEQ4ChmL2B3CGlEZ1Kfm1LBUyAHW31e4mYWfoAciOfLtV8njEK?= =?us-ascii?q?W7WtU4oh2guvtA/+xbpnNO3U+igAuJ//ztR7/erTlQks+jxvE8udznqAT2RpkW?= =?us-ascii?q?IHXTM5xrxwrVZgyleAyaR4meBXFcRP5/NVVQc3LYLTwPZ/C9D2Qw7BetaJSE26?= =?us-ascii?q?Qti9GjEwTtcxw8cUbEpnGtWiiArD3yuwDLMPmbyLHs98zqWJlXP4IsI4z3fdyI?= =?us-ascii?q?EgiUMnS41BLyfu0qV28gyWA4/Sj22YkbyrfOISxnie2n2EyD+nuk1CXQ84aaLd?= =?us-ascii?q?UGsUewOChJLB4VvPVLSzIbErIk1IwoifKf0ZOZXSkVxaSaK7a5zlaGWrljL1XE?= =?us-ascii?q?7Qn+LeXM/RY2wYmR7lJg0BmgEX82yBMFFnVCKtsyTXB3pzFgC2Oh++waxFsHq+?= =?us-ascii?q?C3QM4USSdUQ4juiw9g5TjPfaVvBBhutZ6hdkkC19GROG5/yTC9eEoFY+LohhW4?= =?us-ascii?q?thpXttjifevQE7OYG8Jad/gFJYax5wo07lyxRwDMNHjNQuq3QpigF1LPDB3Q?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B3AwCX9r5ch4UGayhlgyYvKSdaEXUEC?= =?us-ascii?q?ygKjH+JY5s2gWcBDgElCIRAAoZDBgEENBMBAwEBBAEBAgEBAQETAQEBCA0JCCk?= =?us-ascii?q?jAQuCOikBgmkWCyMBASYFDAERAYEAJwQOBQgRCYI1SwGBHUwDHQIBC5x+LAKKF?= =?us-ascii?q?IIggnkBAQWFABggIYFMCYEyjSE/gRFGghxugkgZBBiBIAEDCxorEYJ9giaKWBE?= =?us-ascii?q?Yhm9sk34HAoIKhg+EKoNUhDiCC4Ypg2eIeYwEhj2NfgIEAgQFAhAFgWaBdzMaN?= =?us-ascii?q?B6DDQmBDoERg1WFFIJmgllBMQGBKIx3ASWBCwGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0B3AwCX9r5ch4UGayhlgyYvKSdaEXUECygKjH+JY5s2gWc?= =?us-ascii?q?BDgElCIRAAoZDBgEENBMBAwEBBAEBAgEBAQETAQEBCA0JCCkjAQuCOikBgmkWC?= =?us-ascii?q?yMBASYFDAERAYEAJwQOBQgRCYI1SwGBHUwDHQIBC5x+LAKKFIIggnkBAQWFABg?= =?us-ascii?q?gIYFMCYEyjSE/gRFGghxugkgZBBiBIAEDCxorEYJ9giaKWBEYhm9sk34HAoIKh?= =?us-ascii?q?g+EKoNUhDiCC4Ypg2eIeYwEhj2NfgIEAgQFAhAFgWaBdzMaNB6DDQmBDoERg1W?= =?us-ascii?q?FFIJmgllBMQGBKIx3ASWBCwGBIAEB?= X-IronPort-AV: E=Sophos;i="5.60,385,1549926000"; d="scan'208,217";a="303707363" X-MGA-submission: =?us-ascii?q?MDGTKdwluwU2PdALwEuRMDQvk5p2qQv6rCe9Hv?= =?us-ascii?q?9GoroI1XGgkhh8E1XytS91wE7iqE1KRoCdrPaThUCcNjp8gwOUgG0J+Q?= =?us-ascii?q?dWIbhUlcJtKRaAToz5f0/+UrmffpmF8xONI7UTJFrvwitfQWCIGbmAVL?= =?us-ascii?q?ZIytGvN1D7WlYk2ploJRpYoQ=3D=3D?= Received: from mail-eopbgr60133.outbound.protection.outlook.com (HELO EUR04-DB3-obe.outbound.protection.outlook.com) ([40.107.6.133]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 23 Apr 2019 13:31:52 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=livemdxac.onmicrosoft.com; s=selector1-mdx-ac-uk; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=ip2I/igy8IkKkL7qQsexHhhK7nF3XCxC2XoWJe8s53w=; b=dCgHizhHjoPJhHBCGUjTVgaoQHGBoN66DFQrOnRx9oNB9pbLtDRNWg3lVIjygHJRofleuhWHxzBa6RefPrxuHiPsPBnwEPQuckTJRpp4PPHbFkfMWe5SSDVCGrHMwjbpCB0YeGWmdVEy8P5fnijn7C6WqWoQaGMAOJYU8WutyIA= Received: from VI1PR01MB4240.eurprd01.prod.exchangelabs.com (20.177.53.81) by VI1PR01MB3695.eurprd01.prod.exchangelabs.com (20.176.1.140) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1813.14; Tue, 23 Apr 2019 11:31:50 +0000 Received: from VI1PR01MB4240.eurprd01.prod.exchangelabs.com ([fe80::c9a:f63f:13f7:6a9a]) by VI1PR01MB4240.eurprd01.prod.exchangelabs.com ([fe80::c9a:f63f:13f7:6a9a%2]) with mapi id 15.20.1835.010; Tue, 23 Apr 2019 11:31:50 +0000 From: Andrei Popescu To: "caml-list@inria.fr" CC: Andreas Herzig Thread-Topic: FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers Thread-Index: AQHU+cgFH26Zpd2hp0urTd0OHRE7/Q== Date: Tue, 23 Apr 2019 11:31:50 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [81.136.15.151] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 87659a43-d881-440e-970c-08d6c7df4742 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600141)(711020)(4605104)(2017052603328)(7193020);SRVR:VI1PR01MB3695; x-ms-traffictypediagnostic: VI1PR01MB3695: x-ms-exchange-purlcount: 2 x-microsoft-antispam-prvs: x-forefront-prvs: 0016DEFF96 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6029001)(396003)(366004)(346002)(136003)(376002)(39860400002)(189003)(199004)(786003)(66946007)(66476007)(73956011)(64756008)(186003)(316002)(6606003)(14444005)(66556008)(66446008)(55016002)(6436002)(256004)(71200400001)(71190400001)(6506007)(5640700003)(26005)(2906002)(102836004)(76116006)(1015004)(236005)(9686003)(476003)(6306002)(74316002)(3846002)(6116002)(53936002)(74482002)(54896002)(52536014)(486006)(6916009)(14454004)(2501003)(966005)(478600001)(72206003)(66066001)(99286004)(97736004)(7736002)(606006)(8676002)(68736007)(33656002)(25786009)(4326008)(19627405001)(81166006)(81156014)(2351001)(8936002)(7696005)(66574012)(5660300002)(86362001)(225293001);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR01MB3695;H:VI1PR01MB4240.eurprd01.prod.exchangelabs.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: x0/xdkoMnpH9T6SGNtvECGs5XWbc5/ksTYi6lpcaKsJ5Yu4al0SVOPhpWZRveJQt6gIL0NXuah3HJ1Un10wcF/RKivmG8pgB+0fkf3++FEegwhDLkdGs4/rzjuU+BqFAGxcOoDwHiqpzxSZMLvZFZWhDiNX8zJak8F99M6D9TqCXY//BosKM0AK0NBRyDDsVv7QPMbYKs1OWXfXLxJOtIBuuB3sy9Opc2MGPPZAMj8Xp7A5VYKFVdU+kPi6HY9sEC95LTGlskK1RfytUWeDnhd5P8ZQVktLJFLjE5LKrox8K6htfkv500DtB155ZJYxnZdHApj8bZSwglzlvYoMH7rYRwv9yS1hAX8PHny+jk1DJRZp5fNgeDMzLwxHHnsgYHe4iWseC63FB0P8zjkCUBKlFFZC7qAiA5LCjZUQdv+8= Content-Type: multipart/alternative; boundary="_000_VI1PR01MB42402469579F3C0BDE50D08BB7230VI1PR01MB4240eurp_" MIME-Version: 1.0 X-OriginatorOrg: mdx.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 87659a43-d881-440e-970c-08d6c7df4742 X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Apr 2019 11:31:50.5413 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 38e37b88-a3a1-48cf-9f05-6537427fed24 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR01MB3695 X-Validation-by: a.popescu@mdx.ac.uk Subject: [Caml-list] FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 17497 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --_000_VI1PR01MB42402469579F3C0BDE50D08BB7230VI1PR01MB4240eurp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable FroCoS 2019 The 12th International Symposium on Frontiers of Combining Systems London, UK, September 4-6, 2019 Website: https://www.frocos2019.org Contact: chair@frocos2019.org Due to requests from potential authors and from current authors wishing to = polish their papers, we have extended the submission deadlines. The new dea= dlines are: 1 May 2019 (abstract), 8 May 2019 (paper) Authors who have a good paper and are in doubt whether to send it to FroCoS= may note some highlights of this year's edition: two affiliated workshops,= two affiliated tutorials, a financially supported best paper award, five o= utstanding invited speakers (to be announced soon) and some support for you= ng researchers traveling to the conference (including widely available chea= p accommodation). We hope to see many of you this September in London -- in= the beautiful campus of the Middlesex University, located 40 minutes from = the city center and 20 minutes from Camden Town's iconic music venues! GENERAL INFORMATION The 12th International Symposium on Frontiers of Combining Systems (FroCoS = 2019) will take place in London. It will be hosted by the Department of Com= puter Science at the Middlesex University London, from 4 to 6 September 201= 9. FroCoS is the main international event for research on the development of t= echniques and methods for the combination and integration of formal systems= , their modularization and analysis. The first FroCoS symposium was held in= Munich, Germany, in 1996. Initially held every two years, since 2004 it ha= s been organized annually with alternate years forming part of IJCAR. If we= also count the IJCAR editions, this year FroCoS celebrates its 20th editio= n. FroCoS 2019 will be co-located with the 28th International Conference on Au= tomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019= ). The two conferences will provide a rich programme of workshops, tutorial= s, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program d= evelopment and verification, artificial intelligence, knowledge representat= ion, and automated reasoning, there is an obvious need for using specialize= d formalisms and inference systems for selected tasks. To be usable in prac= tice, these specialized systems must be combined with each other and integr= ated into general purpose systems. This has led to the development of techn= iques and methods for the combination and integration of dedicated formal s= ystems, as well as for their modularization and analysis. FroCoS traditionally focuses on these types of research questions and activ= ities. Like its predecessors, FroCoS 2019 seeks to offer a common forum for= research in the general area of combination, modularization, and integrati= on of systems, with emphasis on logic-based methods and their practical use= . Topics of interest for FroCoS 2019 include (but are not restricted to): * combinations of logics (such as higher-order, first-order, temporal, m= odal, description or other non-classical logics) * combination and integration methods in SAT and SMT solving * combination of decision procedures, satisfiability procedures, constra= int solving techniques, or logical frameworks * combination of logics with probability and/or fuzzy measures * combinations and modularity in ontologies * integration of equational and other theories into deductive systems * hybrid methods for deduction, resolution and constraint propagation * hybrid systems in knowledge representation and natural language semant= ics * combined logics for distributed and multi-agent systems * logical aspects of combining and modularizing programs and specificati= ons * integration of data structures into constraint logic programming and d= eduction * combinations and modularity in term rewriting * methods and techniques for the verification and analysis of informatio= n systems * methods and techniques for combining logical reasoning with machine le= arning SUBMISSION GUIDELINES The program committee seeks high-quality submissions describing original wo= rk, written in English, not overlapping with published or simultaneously su= bmitted work to a journal or conference with archival proceedings. Selectio= n criteria include accuracy and originality of ideas, clarity and significa= nce of results, and quality of presentation. The page limit in Springer LNC= S style is 16 pages in total, including references and figures. Any additional material (going beyond the page limit) can be included in a = clearly marked appendix. This appendix will be read at the discretion of th= e committee, and must be removed for the camera-ready version. Papers must be edited in LaTeX using the llncs style and must be submitted = electronically as PDF files via EasyChair at https://easychair.org/conferen= ces/?conf=3Dfrocos2019 For each accepted paper, at least one of the authors is required to attend = the conference and present the work. Prospective authors must register a ti= tle and an abstract three days before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://= www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 1 May 2019 Paper submission: 8 May 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 FroCoS conference: 4-6 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture= Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARD The program committee will select the FroCoS 2019 Best Paper, which will be= awarded 500 Euros. The award will be presented at the conference. SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION We have some limited funding for supporting students and young researchers = traveling to the conference -- courtesy of direct sponsorship from Amazon a= nd Springer and indirect sponsorship from the Association for Symbolic Logi= c. In addition, some funding will be available through the EUTypes COST act= ion website. In all cases, authors of accepted papers will be given precede= nce. Please see the conference website for more details. In addition, the Middlesex University is offering accommodation at a =A330 = daily rate in some excellently maintained shared flats located close to the= conference venue (https://www.mdx.ac.uk/student-life/accommodation/platt-h= all). AFFILIATED EVENTS (COMMON WITH TABLEAUX) WORKSHOPS: * The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.csc.liv.a= c.uk) Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov= (University of Westminster) * Journeys in Computational Logic: Tributes to Roy Dyckhoff Organizers: Stephane Graham-Lengrand (SRI International), Ekaterina Komenda= ntskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary University of London) TUTORIALS: * Formalising concurrent computation: CLF, Celf, and applications (joint F= roCoS/TABLEAUX tutorial). Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carneg= ie Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon Univer= sity) * How to Build an Automated Theorem Prover - An Introductory Tutorial (inv= ited TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo) PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de C=F3rdoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Christoph Benzm=FCller, Free University of Berlin, Germany Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, Netherlands Torben Bra=FCner, Roskilde University, Denmark Clare Dixon, University of Liverpool, UK Marcelo Finger, University of S=E3o Paulo, Brazil Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Silvio Ghilardi, Universit=E0 degli Studi di Milano, Italy J=FCrgen Giesl, RWTH Aachen, Germany Andreas Herzig, CNRS, IRIT, France Moa Johansson, Chalmers University, Sweden Jean Christoph Jung, University of Bremen, Germany Cezary Kaliszyk, University of Innsbruck, Austria Ekaterina Komendantskaya, Heriot-Watt University, UK Roman Kontchakov, Birkbeck, University of London, UK Alessio Lomuscio, Imperial College London, UK Assia Mahboubi, INRIA, France Stefan Mitsch, Carnegie Mellon University Cl=E1udia Nalon, University of Bras=EDlia, Brazil Andrei Popescu, Middlesex University London, UK Silvio Ranise, Fondazione Bruno Kessler-Irst, Italy Christophe Ringeissen, LORIA-INRIA, France Philipp R=FCmmer, Uppsala University, Sweden Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Christian Sternagel, University of Innsbruck, Austria Andrzej Szalas, Link=F6ping University, Sweden Cesare Tinelli, University of Iowa, US Ashish Tiwari, SRI International, US Christoph Weidenbach, Max Planck Institute for Informatics, Germany PC CHAIRS Andreas Herzig, CNRS, IRIT, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK LOCAL ORGANIZATION CHAIR Franco Raimondi, Middlesex University London, UK --_000_VI1PR01MB42402469579F3C0BDE50D08BB7230VI1PR01MB4240eurp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

FroCoS 2019

The 12th International Symposium on Frontiers of Combining Systems

London, UK, September 4-6, 2019

Website: https://www.frocos2019.org 

Contact: chair@frocos2019.org 


Due to requests from potential authors and from current authors wishing = to polish their papers, we have extended the submission deadlines. The new = deadlines are: 


1 May 2019 (abstract), 8 May 2019 (paper) 


Authors who have a good paper and are in doubt whether to send it to Fro= CoS may note some highlights of this year's edition: two affiliated worksho= ps, two affiliated tutorials, a financially supported best paper award, fiv= e outstanding invited speakers (to be announced soon) and some support for young researchers traveling to the= conference (including widely available cheap accommodation). We hope to se= e many of you this September in London -- in the beautiful campus of the Mi= ddlesex University, located 40 minutes from the city center and 20 minutes from Camden Town's iconic music venues= ! 


GENERAL INFORMATION

The 12th International Symposium on Frontiers of Combining Systems (FroC= oS 2019) will take place in London. It will be hosted by the Department of = Computer Science at the Middlesex University London, from 4 to 6 September = 2019.

FroCoS is the main international event for research on the development o= f techniques and methods for the combination and integration of formal syst= ems, their modularization and analysis. The first FroCoS symposium was held= in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alter= nate years forming part of IJCAR. If we also count the IJCAR editions, this= year FroCoS celebrates its 20th edition.

FroCoS 2019 will be co-located with the 28th International Conference on= Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2= 019). The two conferences will provide a rich programme of workshops, tutor= ials, invited talks, paper presentations and system descriptions.


SCOPE OF CONFERENCE 

In various areas of computer science, such as logic, computation, progra= m development and verification, artificial intelligence, knowledge represen= tation, and automated reasoning, there is an obvious need for using special= ized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems mu= st be combined with each other and integrated into general purpose systems.= This has led to the development of techniques and methods for the combinat= ion and integration of dedicated formal systems, as well as for their modularization and analysis.

FroCoS traditionally focuses on these types of research questions and ac= tivities. Like its predecessors, FroCoS 2019 seeks to offer a common forum = for research in the general area of combination, modularization, and integr= ation of systems, with emphasis on logic-based methods and their practical use.

Topics of interest for FroCoS 2019 include (but are not restricted to):&= nbsp;

   * combinations of logics (such as higher-order, first-order= , temporal, modal, description or other non-classical logics)  

   * combination and integration methods in SAT and SMT solvin= g    

   * combination of decision procedures, satisfiability proced= ures, constraint solving techniques, or logical frameworks

   * combination of logics with probability and/or fuzzy measu= res   

   * combinations and modularity in ontologies

   * integration of equational and other theories into deducti= ve systems

   * hybrid methods for deduction, resolution and constraint p= ropagation

   * hybrid systems in knowledge representation and natural la= nguage semantics

   * combined logics for distributed and multi-agent systems

   * logical aspects of combining and modularizing programs an= d specifications

   * integration of data structures into constraint logic prog= ramming and deduction

   * combinations and modularity in term rewriting

   * methods and techniques for the verification and analysis = of information systems

   * methods and techniques for combining logical reasoning wi= th machine learning


SUBMISSION GUIDELINES 

The program committee seeks high-quality submissions describing original= work, written in English, not overlapping with published or simultaneously= submitted work to a journal or conference with archival proceedings. Selec= tion criteria include accuracy and originality of ideas, clarity and significance of results, and quality of = presentation. The page limit in Springer LNCS style is 16 pages in total, i= ncluding references and figures.

Any additional material (going beyond the page limit) can be included in= a clearly marked appendix. This appendix will be read at the discretion of= the committee, and must be removed for the camera-ready version. 

Papers must be edited in LaTeX using the llncs style and must be submitt= ed electronically as PDF files via EasyChair at https://easychair.org/conferences/?conf=3Dfrocos2019 

For each accepted paper, at least one of the authors is required to atte= nd the conference and present the work. Prospective authors must register a= title and an abstract three days before the paper submission deadline.&nbs= p;

Formatting instructions and the LNCS style files can be obtained at http= ://www.springer.com/br/computer-science/lncs/conference-proceedings-guideli= nes 


IMPORTANT DATES 

Abstract submission: 1 May 2019

Paper submission: 8 May 2019

Notification of paper decisions: 6 Jun 2019

Camera-ready papers due: 1 Jul 2019

FroCoS conference: 4-6 Sep 2019


PUBLICATION DETAILS 

The conference proceedings will be published in the Springer series Lect= ure Notes in Artificial Intelligence (LNAI/LNCS). 


BEST PAPER AWARD

The program committee will select the FroCoS 2019 Best Paper, which will= be awarded 500 Euros. The award will be presented at the conference.  = ;


SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION

We have some limited funding for supporting students and young researche= rs traveling to the conference -- courtesy of direct sponsorship from Amazo= n and Springer and indirect sponsorship from the Association for Symbolic L= ogic. In addition, some funding will be available through the EUTypes COST action website. In all cases, a= uthors of accepted papers will be given precedence. Please see the conferen= ce website for more details. 

In addition, the Middlesex University is offering accommodation at a =A3= 30 daily rate in some excellently maintained shared flats located close to = the conference venue (https://www.mdx.ac.uk/student-life/accommodation/plat= t-hall).  

   

AFFILIATED EVENTS (COMMON WITH TABLEAUX)

WORKSHOPS: 

 * The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.c= sc.liv.ac.uk) 

Organizers: Florian Kammueller (Middlesex University) and Alexander Bolo= tov (University of Westminster) 

 * Journeys in Computational Logic: Tributes to Roy Dyckhoff <= /p>

Organizers: Stephane Graham-Lengrand (SRI International), Ekaterina Kome= ndantskaya (Heriot-Watt University) and 

Mehrnoosh Sadrzadeh (Queen Mary University of London) 

TUTORIALS: 

 * Formalising concurrent computation: CLF, Celf, and applications = (joint FroCoS/TABLEAUX tutorial).

Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Car= negie Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon Uni= versity) 

 * How to Build an Automated Theorem Prover - An Introductory Tutor= ial (invited TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo)=


PROGRAM COMMITTEE 

Carlos Areces, FaMAF - Universidad Nacional de C=F3rdoba, Argentina

Alessandro Artale, Free University of Bolzano-Bozen, Italy

Franz Baader, TU Dresden, Germany

Christoph Benzm=FCller, Free University of Berlin, Germany

Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, Netherlands&n= bsp;

Torben Bra=FCner, Roskilde University, Denmark

Clare Dixon, University of Liverpool, UK

Marcelo Finger, University of S=E3o Paulo, Brazil

Pascal Fontaine, LORIA, INRIA, University of Lorraine, France

Didier Galmiche, LORIA, University of Lorraine, France

Silvio Ghilardi, Universit=E0 degli Studi di Milano, Italy

J=FCrgen Giesl, RWTH Aachen, Germany

Andreas Herzig, CNRS, IRIT, France

Moa Johansson, Chalmers University, Sweden

Jean Christoph Jung, University of Bremen, Germany

Cezary Kaliszyk, University of Innsbruck, Austria

Ekaterina Komendantskaya, Heriot-Watt University, UK

Roman Kontchakov, Birkbeck, University of London, UK

Alessio Lomuscio, Imperial College London, UK

Assia Mahboubi, INRIA, France

Stefan Mitsch, Carnegie Mellon University

Cl=E1udia Nalon, University of Bras=EDlia, Brazil

Andrei Popescu, Middlesex University London, UK

Silvio Ranise, Fondazione Bruno Kessler-Irst, Italy

Christophe Ringeissen, LORIA-INRIA, France

Philipp R=FCmmer, Uppsala University, Sweden

Renate Schmidt, University of Manchester, UK

Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany

Christian Sternagel, University of Innsbruck, Austria

Andrzej Szalas, Link=F6ping University, Sweden

Cesare Tinelli, University of Iowa, US

Ashish Tiwari, SRI International, US

Christoph Weidenbach, Max Planck Institute for Informatics, Germany


PC CHAIRS

Andreas Herzig, CNRS, IRIT, France

Andrei Popescu, Middlesex University London, UK 


LOCAL ORGANIZATION COMMITTEE 

Kelly Androutsopoulos, Middlesex University London, UK

Jaap Boender, Middlesex University London, UK

Michele Bottone, Middlesex University London, UK

Florian Kammueller, Middlesex University London, UK

Rajagopal Nagarajan, Middlesex University London, UK

Andrei Popescu, Middlesex University London, UK

Franco Raimondi, Middlesex University London, UK


LOCAL ORGANIZATION CHAIR 

Franco Raimondi, Middlesex University London, UK 


--_000_VI1PR01MB42402469579F3C0BDE50D08BB7230VI1PR01MB4240eurp_--