21-25 Jan 2019
Amsterdam, The Netherlands
SYNTAX MEETS SEMANTICS (SYSMICS 2019) 21 - 25 January 2019, Amsterdam (The Netherlands) Scope: The program of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural and other non-classical logics. Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, non-classical logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches has started to emerge, thus establishing new links with modal logic and other branches of logic. The scope of the conference includes but is not limited to algebraic, proof theoretic and relational approaches towards the study of non-classical logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019. Featured topics: Contributed talks can be on any topic related to non-classical logic. This includes, but is not limited to, the following areas: - Algebraic structures in CS - Algebraic logic - Coalgebraic aspects of logic - Categorical methods in logic - Gentzen systems - Lattice theory - Lattices with operators - Linear logic - Mathematical fuzzy logic - Non-classical logics - Ordered algebraic structures - Proofs and Types - Stone-type dualities - Topological semantics Invited Speakers: Bahareh Afshari (University of Gothenburg) Guram Bezhanishvili (New Mexico State University) Miguel Campercholi (National University of Cordoba) Silvio Ghilardi (University of Milan) Sam van Gool (University of Amsterdam) Tomas Kroupa (Czech Academy of Sciences) Valeria de Paiva (Nuance Communications) Amanda Vidal (Czech Academy of Sciences) Public Lecture on the Role of Logic in AI Frank van Harmelen (Vrije Universiteit Amsterdam) Programme Committee: Stefano Aguzzoli (University of Milan) Nick Bezhanishvili (University of Amsterdam) Agata Ciabattoni (Vienna University of Technology) Petr Cintula (Czech Academy of Sciences) Pilar Dellunde (Autonomous University of Barcelona) Brunella Gerla (University of Insubria) Lluís Godo (IIIA-CSIC, Barcelona) Ramon Jansana (University of Barcelona) Jan Kühr (University of Olomouci) Antonio Ledda (University of Cagliari) George Metcalfe (University of Bern) Carles Noguera (Czech Academy of Sciences) Luca Spada (University of Salerno) Yde Venema (University of Amsterdam, Chair) Organizing Committee: Nick Bezhanishvili (University of Amsterdam, Chair) Almudena Colacito (University of Bern) Gianluca Grilletti (University of Amsterdam) Frederik Möllerström Lauridsen (University of Amsterdam) Peter van Ormondt (University of Amsterdam) Aybüke Özgün (University of Amsterdam) Important Dates: Deadline for submissions: 19 October 2018 (Extended!) Notification of acceptance: 16 November 2018 Early Registration: 1 December 2018 Conference: 21 - 25 January 2019 Submissions: Contributed presentations will be 30 minutes long. Abstracts of proposed contributions must be between 2 and 4 pages, of which at least 2 pages should describe the content of the contribution. Submissions must be formatted according to the EasyChair style; instructions can be found at: http://www.easychair.org/publications/for_authors <http://www.easychair.org/publications/for_authors> The submission web page for SYSMICS 2019 is at: https://easychair.org/conferences/?conf=sysmics2019 <https://easychair.org/conferences/?conf=sysmics2019> The deadline for submission is 19 October 2018. Financial Support: We expect to be able to offer (partial) reimbursement for travel and/or registration for interested students. For more information see the conference website. Conference web site: SYSMICS 2019 web site: http://events.illc.uva.nl/SYSMICS2019/ <http://events.illc.uva.nl/SYSMICS2019/> -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam