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 - Nov 20, 2013 »
*Faces, Radon Monad and Expectation Monad*by Robert Furber - Nov 20, 2013 »
*Quantum Coalgebras and Bisimulation*by Frank Roumen - Nov 13, 2013 »
*Weakest preconditions for classical, probabilistic and quantum computation*by Mathys Rennela - Nov 06, 2013 »
*Topology, domain theory and von Neumann algebras*by Mathys Rennela - Oct 30, 2013 »
*Quantum Coalgebras*by Frank Roumen - Oct 23, 2013 »
*C*-algebras*by Robert Furber