The second workshop within the project SYSMICS was held in Vienna at the Faculty of Mathematics, University of Vienna, from the 26th to the 28th of February 2018. The workshop involved 56 participants, coming from both external and partner universities.
\nA call for abstracts with deadline 15th December 2017 was previously announced and the 25 contributed talks were selected by the Organizing Committee according to the merits of the submitted abstracts.<\/p>\n
The scientific program of the workshop focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications. In particular, several contributions presented analytic calculi for substructural logics (WP5) and studied their applications to verification, security, programming languages and concurrency. There were also several talks on the topic of algebraic logic (WP4) and corresponding duality theory (WP8).<\/p>\n
Further information can be found at the workshop website: https:\/\/sysmics.logic.at<\/a> .<\/p>\n Matteo Maffei<\/a> –\u00a0Security and Privacy by Typing in Cryptographic Systems<\/em> The second workshop within the project SYSMICS was held in Vienna at the Faculty of Mathematics, University of Vienna, from the 26th to the 28th of February 2018. The workshop involved 56 participants, coming from both external and partner universities. A call for abstracts with deadline 15th December 2017 was [read more]<\/a><\/p>\n<\/div>","protected":false},"author":1,"featured_media":868,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[4,16],"tags":[19,20,27,25,28,30,22,24,26,21,23,29,18,12],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/866"}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/comments?post=866"}],"version-history":[{"count":1,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/866\/revisions"}],"predecessor-version":[{"id":867,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/866\/revisions\/867"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media\/868"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media?parent=866"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/categories?post=866"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/tags?post=866"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}List of the invited speakers<\/h2>\n
\nFrancesco Paoli<\/a> –\u00a0The Archimedean Property: New Horizons and Perspectives<\/em>
\nElaine Pimentel<\/a> \u00a0–\u00a0A unified view of modal and substructural logics<\/em>
\nDavid Pym<\/a> –\u00a0Logic as a modelling technology: resource semantics, systems modelling, and security<\/em>
\nAlwen Tiu<\/a> –\u00a0A proof theory for dual nominal quantifiers<\/em>
\nPhilip Wadler<\/a> –\u00a0Propositions as sessions<\/em><\/p>\nList of the participants<\/h2>\n
\n
Organizing Committee<\/h2>\n
\n