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