Sempre bom recordar: neste ano os principais eventos internacionais de Lógica organizados no Brasil ocorrerão no Centro-Oeste. A não perder!
JM * * * 8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017) Call for Papers Brasilia, Brazil - 25-29 September 2017 Co-located with TABLEAUX 2017 and FroCoS 2017 http://itp2017.cic.unb.br * The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. * PROGRAM CHAIRS Mauricio Ayala-Rincon, University of Bras=C3=ADlia Cesar Munoz, NASA * ORGANISATION University of Brasilia Federal University of Rio Grande do Norte * IMPORTANT DATES Abstract submission deadline: April 3, 2017 Full paper submission deadline: April 10, 2017 Author notification: June 2, 2017 Camera-ready papers: June 30, 2017 26th INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2017) Call for Papers Brasilia, Brazil - 25-29 September 2017 Co-located with FroCoS 2017 and ITP 2017. http://tableaux2017.cic.unb.br * TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented. * Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. * PROGRAM CHAIRS Claudia Nalon, University of Brasilia, Brazil Renate Schmidt, The University of Manchester, UK * IMPORTANT DATES Abstract deadline: April 18, 2017 Submission deadline: April 25, 2017 Notifications: June 8, 2017 Camera-Ready deadline: July 3, 2017. * AWARDS The TABLEAUX 2017 Best Paper Award will be presented to the best submission nominated and chosen by the Program Committee among the accepted papers. 11th INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2017) Call for Papers Brasilia, Brazil - 25-29 September 2017 Co-located with TABLEAUX 2017 and ITP 2017 http://frocos2017.cic.unb.br * The main goal of the symposium is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis. * In various areas of computer science, such as logic, computation, program development and 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 usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led---in many research areas---to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. * PROGRAM COMMITTEE CHAIRS Clare Dixon, University of Liverpool, UK Marcelo Finger, Universidade de Sao Paulo, Brazil * ORGANISATION University of Brasilia Federal University of Rio Grande do Norte * IMPORTANT DATES Abstract deadline: April 24, 2017 Submission deadline: April 28, 2017 Notifications: June 9, 2017 Camera-Ready deadline: June 23, 2017. * * * -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjP0Sg3LMi5EfRo-T4qK%2Baa5PKT4PQ9xWg09kRyNA1yQA%40mail.gmail.com.
