Seminari Cuc: Seminar on Proof Theory and Modal Logic
PhD Seminar on Mathematical Logic
Advances in Modal Logic 2022
(Rennes, France)
Congreso Transparencia, Inteligencia Artificial y Administración Pública
Thursday, May 19, 2022, Toledo, Spain (in streaming with slides).
Logic seminar of the University of Groningen
with slides, Wednesday, May 18, 2022, Groningen, The Netherlands.
Transatlantic Dialogue on Humanity and AI Regulation Event, 2022.
Transatlantic Dialogue on Humanity and AI Regulation Event, 2022, link with program.
Thursday, May 12, HEC, Paris, France.
Presenting a position paper.
Conference on Algorithmic Law Design and Implementation, 2022
April, 28 and 29, 2022, Barcelona
Slides
Lectures on Logic and its Mathematical Aspects Seminar
2022-03-09 16:00, Institute for Logic, Language and Computation, Amsterdam, The Netherlands, with slides
EuroProofNet, European Research Network on Formal Proofs
(2022, Valencia, (Hybrib format) Spain)
Logical Foundations of Computer Science
(2022, Deerfield Beach, Florida, (Online) United States of America)
2021 Workshop on Proof Theory and its Applications
(2021, Funchal, Madeira, Portugal)
2021 Winter School on Proof Theory
(2021, Funchal, Madeira, Portugal)
Online International Workshop on Gödel's Incompleteness Theorems
(2021, Online, Wuhan, China)
Online International Workshop on Gödel's Incompleteness Theorems
(2021, Online, Wuhan, China)
Quantified reflection calculus with one modality is decidable
in the Joint seminar "Proof Theory" and "Online Logic Seminar" at the (via web-cast) Steklov Mathematical Institute, 2021 Moscow (also ytb)
Oberwolfach Meeting: Mathematical Logic: Proof Theory, Constructive Mathematics
(November, 2020, online)
Online logic seminar on Foundations of Mathematics at Wuhan University: Iterated consistency, reflection and foundations of mathematics, November 2020 (November, 2020, online) also on Chinese mirror.
Symposium FV Time Manager Presentation
October 21, 2020, Streaming from Barcelona
Advances in Modal Logic, August 24 -- August 28, 2020
Streaming from Helsinki
Computer Science Logic, January 13 -- January 16, 2020, Barcelona
Workshop on the occasion of Dick de Jongh's 80th Birthday, November 27 2019, Amsterdam
Fifth International Wormshop (Lustrum edition), November 2019, Barcelona
Fourth International Wormshop, October 2017, Moscow
Third International Wormshop, September 2016, Tbilisi
Second International Wormshop, September/October 2014, Mexico City
Days on Model Theory and Applications, February 2014
Interdisciplinary Symposium on Complex Systems 2014
LABORES, Laboratoire de Recherche Scientifique
What are numbers? (In Catalan). Talk within the eighth edition of
Barcelona Pensa Festival.
It was a dense but intereactive talk with whiteboard and slides.
2021 Scientific coffee the UB: The digital revolution,
are we all prepared for it?
2019 Scientific coffee the UB: Can we trust computer's reasoning?