Wolfgang Pauli Institute (WPI) Vienna

Workshop on "Substructural logics: proof theory and applications" (external website )

Location: OMP 1, Sky Lounge (12th floor) Mon, 26. Feb (Opening: 8:00) - Wed, 28. Feb 18
Organisation(s)
WPI
TU Wien
Organiser(s)
Agata Ciabattoni (WPI c/o TU Wien)
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style calculus.
The Workshop aims at connecting researchers that work on proof theory and applications of substructural and related logics.
The Workshop is part of a series of meetings planned within the SYSMICS RISE project during 2016-2019.

Talks in the framework of this event


Pym, David OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 9:00
Logic as a modelling technology: resource semantics, systems modelling, and security
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Galmiche, Didier, Kimmel, Pierre, Pym, David OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 9:55
An Epistemic Resource Logic Based on Boolean BI
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Ramanayake, Revantha OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 11:00
Syntactic Decidability and Complexity Upper Bound for the Logic of Bunched Implication BI
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Larchey-Wendling; Dominique OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 11:25
Mechanising Undecidability Results in Coq: Elementary Linear Logic and Boolean BI
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis and Caterina Urban OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 11:50
A proof-theoretic approach to abstract interpretation
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Philip Wadler OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 14:00
Propositions as Sessions
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Jorge A. Pérez OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 14:45
The Challenge of Typed Expressiveness in Concurrency
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Matteo Maffei OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 16:00
Security and Privacy by Typing in Cryptographic Systems
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Giuseppe Primiero OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 16:55
A Substructural Modal Type Theory to Handle Mobility Failures in Distributed Computing
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Federico Aschieri, Agata Ciabattoni and Francesco A. Genco OMP 1, Sky Lounge (12th floor) Mon, 26. Feb 18, 17:20
Logic-based Concurrent ë-Calculi
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Francesco Paoli OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 9:00
The Archimedean Property: New Horizons and Perspectives Joint work with Antonio Ledda and Constantine Tsinakis
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

José Gil-Férez, Peter Jipsen, George Metcalfe and Constantine Tsinakis OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 9:55
The Amalgamation Property for Semilinear Commutative Idempotent Residuated Lattices
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Nick Galatos and Adam Pøenosil OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 11:00
On an Equivalence between Integral and Involutive Residuated Structures
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Stefano Aguzzoli, Matteo Bianchi and Diego Valota OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 11:25
The Classification of All the Subvarieties of DNMG
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Stefano Bonzio, Andrea Loi and Luisa Peruzzi OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 11:50
Dualities for Plonka Sums of Algebras
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Petr Cintula, José Gil-Férez, Tommaso Moraschini and Francesco Paoli OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 14:00
An Abstract Approach to Consequence Relations II
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Michele Pra Baldi, Stefano Bonzio and Tommaso Moraschini OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 14:25
Logics of Variable Inclusion
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Luigi Santocanale and Maria Joâo Gouveia OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 14:50
Mix ⋆
- Autonomous Quantales and the Continuous Weak Bruhat Order
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Luca Tranchini and Gianluigi Bellin OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 15:55
A Refutation Calculus for Intuitionistic Logic
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Arnon Avron OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 16:20
Purely Relevant Logics with Contraction and Its Converse
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Nissim Francez and Michael Kaminski OMP 1, Sky Lounge (12th floor) Tue, 27. Feb 18, 16:45
Structural Rules for Multi-valued Logics
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Alwen Tiu OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 9:00
A proof theory for dual nominal quantifiers
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Lutz Straßburger OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 9:55
On the Normalization of Combinatorial Proofs for Classical and Intuitionistic Logic
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Andrea Aler Tubella and Alessio Guglielmi OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 11:00
Subatomic Proof Systems
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Marianna Girlando, Sara Negri and Nicola Olivetti OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 11:25
Internal and Labelled Sequent Calculi: An Equivalence Result for Conditional Logic V
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Matthias Baaz OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 11:45
Fast Cut-elimination for Intuitionistic Logic
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Samuel Balco, Giuseppe Greco, Alexander Kurz, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 12:15
Proper Display Calculus for First-order Logic
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Elaine Pimentel OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 14:20
A unified view of modal and substructural logics
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Carlos Olarte, Kaustuv Chaudhuri, Joelle Despeyroux and Elaine Pimentel OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 15:15
Hybrid Linear Logic, Revisited
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Giuseppe Greco, Fei Liang and Alessandra Palmigiano OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 16:20
Measurable Kleene Algebras and Structural Control
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Kaustuv Chaudhuri, Leonardo Lima and Giselle Reis OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 16:45
Formalized Meta-theory of Sequent Calculi for Substructural Logics
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

Timo Lang OMP 1, Sky Lounge (12th floor) Wed, 28. Feb 18, 17:10
Remarks on the Exponential Rules in Linear Logic
Abstract
  • Thematic program: Logic, Data, Advanced Information systems (2017/2018)
  • Event: Workshop on "Substructural logics: proof theory and applications" (2018)

© WPI 2001-2004. www.wpi.ac.at