# Nijmegen Quantum Logic Group

home people seminar

There is an informal group seminar every wednesday afternoon.

• Mar 14, 2016 » Duplicable von Neumann algebras by Abraham Westerbaan
• Mar 08, 2016 » Join Inverse Categories as Models of Reversible Recursion by Robin Kaarsgaard
• Feb 24, 2016 » A model of the quantum lambda calculus by von Neumann algebras by Kenta Cho
• Feb 10, 2016 » Intuitionistic Linear Logic With Leftovers by Guillaume Allais
• Feb 04, 2016 » Notions of computation in monoidal computer by Dusko Pavlovic
• Jan 27, 2016 » A Characterisation of the Sequential Product on Von Neumann Algebras by Bas Westerbaan
• Jan 13, 2016 » Classifying AW*-algebras by their commutative AW*-subalgebras by Bert Lindenhovius
• Jan 06, 2016 » Affine Monads and Side-Effect-Freeness by Bart Jacobs
• Dec 09, 2015 » Almost C*-algebras by Tobias Fritz
• Dec 02, 2015 » Equational Reasoning in Context-Free Families of String Diagrams by Vladimir Zamdzhiev
• Nov 25, 2015 » The Dagger Category of Pure Maps Between von Neumann Algebras (And That of an Effectus) by Bas Westerbaan
• Nov 19, 2015 » Side-Effect Freeness and Sharpness in Effectus Theory by Kenta Cho
• Nov 11, 2015 » Probabilistic PCF by Mathys Rennela
• Oct 28, 2015 » Contextuality as a Resource in Quantum Computation by Nadish da Silva
• Oct 21, 2015 » The Syntax-Semantics Duality as a Biequivalence of 2-Categories by Robin Adams
• Oct 14, 2015 » Paschke’s Dilation Theorem by Bas Westerbaan
• Oct 07, 2015 » Test spaces by Sander Uijlen
• Sep 30, 2015 » Cohomology of effect algebras II by Frank Roumen
• Sep 23, 2015 » Quantum recursion and second quantization by Mingsheng Ying
• Sep 16, 2015 » Cohomology of effect algebras by Frank Roumen
• Sep 16, 2015 » Effectus theory and operator probabilistic theories by Sean Tull
• Jul 01, 2015 » Modular techniques for axiomatising PROPs by Fabio Zanasi
• Jun 17, 2015 » States and effects on quantum groups by Frank Roumen
• Jun 10, 2015 » Nominal Kleene co-algebra by Dexter Kozen
• May 13, 2015 » Extensive categories and effectuses by Abraham Westerbaan
• May 06, 2015 » Lax bialgebras by Daniela Petrisan
• Apr 21, 2015 » Diagram languages for monoidal categories by Aleks Kissinger
• Mar 25, 2015 » CP*-construction and effectuses by Abraham Westerbaan
• Mar 15, 2015 » Order-valued presheaves as quantum computations by Mathys Rennela
• Mar 04, 2015 » Joins in effect algebras / modules by Bart Jacobs
• Feb 25, 2015 » Partial computations in effectuses by Kenta Cho
• Feb 18, 2015 » Quotient, comprehension and measurement by Bas Westerbaan
• Feb 11, 2015 » Sigma-effect algebras by Sander Uijlen
• Feb 04, 2015 » Abstract theory of quantum domains by Mathys Rennela
• Dec 10, 2014 » Type theory for a quantum category by Robin Adams
• Dec 03, 2014 » Verification for quantum systems: termination and reachability by Yangjia Li
• Dec 03, 2014 » QPL with quantum control by prakash
• Nov 26, 2014 » Models of contextuality by Sam Staton
• Nov 19, 2014 » Measurable spaces and C*-algebras, take II by Robert Furber
• Nov 12, 2014 » Nested fixpoints - a coalgebraic view by Daniela Petrisan
• Nov 05, 2014 » Bayesian networks as coalgebras by Bart Jacobs
• Oct 29, 2014 » Representation of side-effect free objects of an effectus by Bas Westerbaan and Abraham Westerbaan
• Oct 22, 2014 » Towards coalgebraic dynamic logic by Helle Hansen
• Oct 15, 2014 » Categories of partial computation and state-and-effect triangles by Kenta Cho
• Oct 08, 2014 » Effect algebras and cyclic sets by Frank Roumen
• Sep 17, 2014 » $$\mathbf{Meas} \cong \mathbf{CW}^*\mathbf{Alg}$$ by Robert Furber
• Sep 03, 2014 » Unordered tuples in quantum computation by Bas Westerbaan
• Jul 02, 2014 » Coordinatizing MV-algebras by Philip Scott
• May 07, 2014 » Tensor products of C*-algebras and W*-algebras by Kenta Cho
• Apr 30, 2014 » LSET - Logic for State-and-Effect Triangles by Robin Adams
• Apr 23, 2014 » Semantics of quantum computation by operator algebras by Kenta Cho
• Apr 16, 2014 » An equational characterization of quantum computation by Sam Staton
• Mar 27, 2014 » Logics for reasoning about quantum programming by Robin Adams
• Mar 05, 2014 » No-Cloning Theorem by Hans Maassen
• Feb 26, 2014 » Kochen-Specker Theorem by Sander Uijlen
• Feb 19, 2014 » Bohrification by Bas Westerbaan
• Feb 12, 2014 » Quantum Programming Languages, Algebraic Effects and C*-algebras by Sam Staton
• Feb 05, 2014 » Measurable Spaces and Effect Algebras by Sander Uijlen
• Jan 30, 2014 » Dynamic Logics for Quantum Computation by Robin Adams
• Jan 22, 2014 » Quantum Information for Quantum Key Distribution by Bas Westerbaan
• Dec 12, 2013 » C*-algebras and States by Bart Jacobs
• Dec 04, 2013 » Coalgebraic Modal Logic by Helle Hansen
• Nov 27, 2013 » Monads and Notions of Computation by Sam Staton