Logic List Mailing Archive

2nd SYSMICS: Substructural logics: semantics, proof theory, & applications

26-28 Feb 2018
Wien, Austria

** 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




       sysmics@logic.at




       Limited participation grants may be available (please enquire).




       INVITED SPEAKERS


       Matteo Maffei (Vienna)

Francesco Paoli (Cagliari)

Elaine Pimentel (Natal)

David Pym (London)

Alwen Tiu (Canberra)

Philip Wadler (Edinburgh)



       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, Chair)


       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.



















--
[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