Wolfgang Pauli Institute (WPI) Vienna


[List only upcoming talks]
[List all past talks]

Upcoming talks


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)

Talks of the past month


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)

Fernández–Pacheco, Amalio (Cavendish Lab, Cambridge) Ernst-Mach-HS, 2. Stock Fak. Physik, Strudlhofgasse 4/Boltzmanngasse 5 Mon, 29. Jan 18, 16:00
"Investigation of three-dimensional magnetic nanostructures for applications in spintronics"
In this talk, I will show our recent work on 3D magnetic nanostructures for applications in spintronics. We are developing 3D nano-printing methods based on focused electron beams [2]. In particular, we have achieved great control over the growth of 3D magnetic nanowires for domain wall studies [3]. Advanced magnetic microscopy experiments reveal the magnetic state and magnetisation reversal mechanism of the wires, dominated by their geometry and metallic composition [4]. Recent results also show how controllable domain wall motion along the whole space becomes now possible [5]. This has been realised by development of new methods for 3D nano-printing and magneto-optical detection of 3D nanostructures. During the talk, I will discuss novel methodologies to characterise 3D nanomagnets, including magneto-optical, electron and X-ray microscopy. I will also highlight key challenges and opportunities of 3D nanomagnetism.
  • Thematic program: PDEs in quantum physics, materials and micromagnetism (2017/2018)
© WPI 2001-2004. www.wpi.ac.at