21-25 Jan 2019
Amsterdam, The Netherlands
--------------------------------------------------------------------------------------------------------------------------------- SYNTAX MEETS SEMANTICS (SYSMICS 2019), 21-25 January 2019, Amsterdam, The Netherlands --------------------------------------------------------------------------------------------------------------------------------- Scope 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. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural and other non-classical logics. This conference is the last of a series of meetings planned in the SYSMICS RISE (http://logica.dmi.unisa.it/sysmics/) project during 2016-2019. Featured topics Contributed talks can be on any topic related to substructural 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 TBA Programme Committee Stefano Aguzzoli (University of Milan) https://homes.di.unimi.it/aguzzoli/ Nick Bezhanishvili (University of Amsterdam) https://staff.fnwi.uva.nl/n.bezhanishvili/ Agata Ciabattoni (Vienna University of Technology) https://www.logic.at/staff/agata/ Petr Cintula (Czech Academy of Sciences) http://www2.cs.cas.cz/~cintula/> Pilar Dellunde (Autonomous University of Barcelona) http://www.uab.cat/web/el-departament/pilar-dellunde-1260171823608.html Brunella Gerla (University of Insubria) http://www.dista.uninsubria.it/~brunella.gerla/ Lluís Godo (IIIA-CSIC, Barcelona) http://www.iiia.csic.es/~godo/ Ramon Jansana (University of Barcelona) https://www.researchgate.net/profile/Ramon_Jansana Jan Kühr (University of Olomouci) http://www.kag.upol.cz/vizitka/kuhr/ Antonio Ledda (University of Cagliari) http://people.unica.it/antonioledda/ George Metcalfe (University of Bern) http://www.math.unibe.ch/ueber_uns/personen/prof_dr_metcalfe_george/index_ger.html> Carles Noguera (Czech Academy of Sciences) http://www.utia.cas.cz/cs/people/noguera Luca Spada (University of Salerno) http://logica.dmi.unisa.it/lucaspada/ Yde Venema (University of Amsterdam, Chair) https://staff.science.uva.nl/y.venema/ Organizing Committee Nick Bezhanishvili (University of Amsterdam, Chair) https://staff.fnwi.uva.nl/n.bezhanishvili/ Gianluca Grilletti (University of Amsterdam) http://ggrilletti.scienceontheweb.net/ Frederik Möllerström Lauridsen (University of Amsterdam) https://staff.fnwi.uva.nl/f.m.lauridsen/ Peter van Ormondt (University of Amsterdam) http://www.vanormondt.net/~peter/ Aybüke Özgün (University of Amsterdam) https://sites.google.com/site/ozgunaybuke/ Important Dates Deadline for submissions: 5 October 2018 Notification of acceptance: 16 November 2018 Early Registration: 1 December 2018 Conference: 21-25 January 2019 Submissions The Programme Committee will accept submissions of abstracts ranging from 2 to 4 pages. More information on the submission procedure will follow. Financial Support We expect to be able to offer (partial) reimbursement for travel and/or registration for interested students. More information on this will follow. SYSMICS 2019 conference web site 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