Wolfgang Pauli Institute (WPI) Vienna

Home Practical Information for Visitors Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

[List upcoming and recent talks]
[List all past talks]

Upcoming talks


Fritz R.S. Diorico (TU Wien) WPI, OMP 1, Seminar Room 08.135 Fri, 23. Feb 18, 10:00
Articial Gauge Fields in Quantum Systems
In this talk, I will present an overview/review of progress in articial gauge fields in quantum systems. I will start with the underlying first principles with the seminal paper of Berry, the Berry or Geometric phase. Following a few month after its publication Wilczek and Zee concluded with Berry's results, that non-Abelian gauges fields can naturally emerge from the adiabatic development of simple quantum systems. I will mainly focus on how ultracold atomic systems can be prepared such that a mapping to a ultracold atoms behaving like charged particles in a magnetic field. The induced gauge field whether abelian or non-Abelian introduces a space dependent coupling between the dressed states of the ultracold atoms. This provides motivation for extending MCTDH-X to tackle quantum systems with artificial gauge fields where the spatial dynamics of the dressed states or pseudo-spins can be studied in great detail. This could open up interesting physics that could potentially be observed in the experiment.
  • Thematic program: PDEs in quantum physics, materials and micromagnetism (2017/2018)

Pym, David (UC London) 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 (U. Lorraine); Kimmel, Pierre; Pym, David (UC London) 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 (TU Wien) 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 (LORIA – CNRS) 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)
Impressum webmaster [Printable version]