** CALL FOR ABSTRACTS ** Second SYSMICS Workshop "Substructural logics: semantics, proof theory and applications"
Vienna, Austria, February 26-28, 2018 http://sysmics.logic.at Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated by philosophical, linguistic and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The program of this SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications. If you would like to give a contributed talk, please submit an abstract of 1-3 pages in pdf via the EasyChair submission page: http://easychair.org/conferences/?conf=sysmicsw2 Participation will be free of charge, and everyone is welcome to attend with or without contributing a talk. Notification of attendance via email by 10th February, 2018 would be appreciated. All notifications and informal enquiries should be addressed to sysm...@logic.at Limited travel grants may be available (please enquire). INVITED SPEAKERS To be announced IMPORTANT DATES 15th December 2017: abstract submission deadline 22nd December 2017: author notification 26–28th February 2018: workshop ORGANIZING COMMITTEE Federico Aschieri (TU Wien) Paolo Baldi (TU Wien) Agata Ciabattoni (TU Wien) Francesco Genco (TU Wien) Francesca Gulisano (Scuola Normale Superiore di Pisa) Roman Kuznets (TU Wien) Björn Lellmann (TU Wien) Tim Lyon (TU Wien) Matteo Pascucci (TU Wien) Revantha Ramanayake (TU Wien) This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics http://logica.dmi.unisa.it/sysmics/). We look forward to your participation. You have received this email because we believe that you may have an interest in participating and/or you belong to this research community. We apologise if this is not the case or if you do not wish to receive such messages. To add or remove your address from this mailing list, please contact sysm...@logic.at. -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BVuxJhr%3DP08RFkrV8h0YnqxaNBqQ76qpMk%2BL8MAp1kv%2Bg%40mail.gmail.com.
