Talks

22 Feb 2024 (upcoming)

TBA

PPLV Research Seminar (Programming Principles, Logic, and Verification group)

Department of Computer Science, University College London

9 Jan 2024

Duality for transitive partial CABAs

CMUC – Centre of Mathematics, Universidade de Coimbra

18 Dec 2023

Partial algebraic structures and the logic of quantum computation

ALC Meeting 2023 (of the Algebra, Logic and Computation group)

CMAT – Centre of Mathematics, Universidade do Minho

7 Dec 2023

Overlap polytopes: witnessing coherence, nonlocality, and contextuality

International Iberian Nanotechnology Laboratory, Braga

19 Sep 2023

Logic and structure at the borders of paradox

University College London

20 Jul 2023

Inequalities witnessing coherence, nonlocality, and contextuality

Paris

19 Jul 2023

Contextuality in logical form: Duality for transitive partial CABAs

Paris

18 Dec 2022

Causal contextuality and adaptive MBQC

Prague

21 Sep 2022

Contextuality as a resource: simulations, adaptivity comonad, and the (partial) algebraic-logical view

University College London

22 Jun 2022

Contextuality in logical form: Duality for transitive partial CABAs

Coimbra

20 Oct 2021

Free transformations in the resource theory of contextuality

QCQMB colloquium (Quantum Contextuality in Quantum Mechanics and Beyond)

7–11 Jun 2021

Closing Bell: Boxing black box correlations in the resource theory of contextuality

Gdańsk (online)

27 May 2021

Contextuality in logical form: Lindenbaumâ€“Tarski duality for transitive partial CABA

CMAT – Centre of Mathematics, Universidade do Minho, Braga (online)

17 May 2021

From Vorob'ev's theorem to monogamy of non-locality and local macroscopic averages

Prague (online)

14 Jan 2021

Partial Boolean algebras: The logic of contextuality

Dept of Mathematics, Universidade de Aveiro (online)

15 Jul 2020

The quantum monad on relational structures: towards quantum finite model theory?

Oxford–Cambridge Resources and Co-resources Meet-up

Dept of Computer Science, University of Oxford (online)

4 Jun 2020

Partial Boolean algebras and the logical exclusivity principle

Paris (online)

11 Dec 2019

Logic and quantum advantage

Lorentz Center, Leiden

15 Oct 2019

Acyclicity and Vorob'ev's theorem: deriving monogamy of non-locality and local macroscopic averages

LFCS Lab Lunch

School of Informatics, University of Edinburgh

4 July 2019

Resource theory of contextual behaviours

University of Oxford

25 Jun 2019

A comonadic view of simulation and quantum resources

Simon Fraser University, Vancouver

3 Jun 2019

Simulations of quantum resources and the degrees of contextuality (Early Idea)

University College London & Imperial College London

18 May 2019

Acyclicity and Vorob'ev's theorem

Prague

12 Apr 2019

Quantum vs classical: non-locality, contextuality, and informatic advantage

Universidade do Minho

26 Jun 2018

Contextuality as a resource yielding quantum advantage

Laboratoire d'Informatique de Grenoble, Universit\'e Grenoble Alpes

7 Jun 2018

The quantum monad: Towards quantum finite model theory

Dalhousie University, Halifax

19 May 2018

Contextuality and advantage in informatic tasks

Prague

20 Mar 2018

Contextuality as a resource

University of Edinburgh

14 Dec 2017

The quantum monad on relational structures

Simons Institute for the Theory of Computing, UC Berkeley

22 Nov 2017

Resource theory of contextuality

International Institute of Physics, Natal

10 Oct 2017

Monads, comonads, and quantum model theory without quantum logic

Dusko@60 – a conference in honour of 60th birthday of Dusko Pavlovic

University of Oxford

7 Sep 2017

The quantum monad on relational structures

National University of Singapore

22 Aug 2017

The quantum monad on relational structures

Aalborg Universitet

7 Jul 2017

Minimum resources for quantum contextuality

Radboud Universiteit, Nijmegen

13 Jun 2017

The contextual fraction and contextuality as a resource

Linnaeus University, Växjö

4 Jun 17

The contextual fraction and contextuality as a resource

Prague

8 Dec 2016

Towards a resource theory of contextuality

Simons Institute for the Theory of Computing, UC Berkeley

1 Dec 2016

Monogamy of nonlocality and macroscopic averages

Logic Lounge Seminar of the Logical Structures in Computation Programme

Simons Institute for the Theory of Computing, UC Berkeley

22 Jun 2016

The contextual fraction as a measure of contextuality

University College London

8 Jun 2016

Quantifying contextuality via linear programming

Strathclyde University, Glasgow

28 Apr 2016

Possibilities determine the structure of the no-signalling polytope

Workshop on Information and Processes (WIP 2016)

Fontainebleau, Université Paris Diderot (Paris 7)

12 Nov 2015

The sheaf-theoretic approach to non-locality and contextuality II

International Institute of Physics, Natal

5 Feb 2015

Monogamy of nonlocality and macroscopic averages

Quantum Dynamics Seminar

Department of Mathematics, Royal Holloway University of London

18 Oct 2014

The support lattice and the structure of the no-signalling polytope

University of Oxford

4 Jun 2014

On monogamy of non-locality and macroscopic averages: examples and preliminary results

Kyoto University

17 Dec 2013

A structural reason for monogamy and locality of average macroscopic behaviour

CIAPA, Costa Rica (Tulane University)

16 Sep 2013

Information dependence and independence: from quantum mechanics to databases and back

Quantitative Analysis of Algebraic Systems (QAIS) Project Workshop

Department of Informatics, Universidade do Minho, Braga

3 Jul 2013

Structural reason for monogamy

Workshop on Quantum Information and Foundations of Quantum Mechanics

University of British Columbia, Vancouver

7 May 2013

Sheaf-theoretic framework for non-locality and contextuality

Lunch Seminar of the Quantum Information Team

Télécom ParisTech

4 Apr 2013

Structural reason for monogamy and local macroscopic correlations

University of Nottingham

Apr 2013

Structural reason for monogamy relations (and local realism of some macroscopic correlations)

Groupe de travail Sémantique

Laboratoire PPS, Universit´ Paris Diderot (Paris 7)

6 Mar 2013

The logic of non-locality and quantum informatics

Physics Seminar

Centre of Physics, Universidade do Minho, Braga

13 Feb 2013

Structural analysis of monogamy and macroscopic correlations

Mathematical Institute, University of Oxford

13–14 Dec 2012

Topologies on the spectral presheaf and co/contra-variant duality

First Workshop on Quantum Toposophy

Radboud Universiteit, Nijmegen

9–14 Apr 2011

Unsharp values in the topos approach

Workshop on Quantum and Classical Information Flow

Bellairs Research Institute, Barbados (McGill University)

1 Dec 2010

The interval domain, values of physical quantities in a topos and space-time

Seminar on Aspects of Mathematical Foundations of Physics

Mathematical Institute, University of Oxford

30 Sep 2009

The topology of a decision problem

Seminário Diagonal (undergraduate seminar)

Department of Pure Mathematics, Universidade do Porto

14 Nov 2008

Mahler's measure

IV Simpósio Nacional / Jornadas de Iniciação Científica (Brazilian Research Initiation Symposium)

IMPA -- Inst. for Pure & Applied Maths, Rio de Janeiro

6 Sep 2008

Mahler's measure

Encontro Nacional do Programa Gulbenkian ‘Novos Talentos em Matemática’ 2007–2008 (National Meeting of `Young Talents in Mathematics' programme)

Luso

26 Mar 2008

Lehmer's conjecture

Seminário Diagonal (undergraduate seminar)

Department of Pure Mathematics, Universidade do Porto

Website by Catarina Soares Barbosa