events & talks

organization

talks

other attendance

organization

2023

  1. DLPD
    Dutch Logic PhD Day 2023
    June 23, 2023
    University of Groningen
    Groningen, The Netherlands
  2. ACLiC
    Algebra, Categories and Logic in Computing: A Farsi-English workshop
    June 20 - June 21, 2023
    Saint-Erme-Outre-et-Ramecourt (Saint-Erme), France

talks

2023

  1. AAAI-SSS
    Probabilistic Temporal Logic for Reasoning about Bounded Policies
    AAAI 2023 Spring Symposium On the Effectiveness of Temporal Logics on Finite Traces in AI
    March, 2023
    Burlingame, California, USA (Online)
  2. JMM
    Extending Blockmodel Analysis to Higher-Order Models of Social Systems
    Joint Mathematics Meetings 2023
    January 5, 2023
    Boston, Massachusetts, USA

2022

  1. LAMAS & SR
    A Probabilistic Finite Temporal Logic for Policies and Intentions
    International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022
    August 26, 2022
    Institute for Research in Computer Science and Random Systems (IRISA)
    Rennes, France
  2. CMCS
    Boolean-Valued Multiagent Coalgebraic Logic
    The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
    April 3, 2022
    Ludwig Maximilian University of Munich, and Technical University of Munich
    Munich, Germany

2020

  1. CoSaQ
    Quantifiers, Complexity, and Degrees of Universals: A Large-Scale Analysis
    Cognitive Semantics and Quantities Seminar
    Invited talk
    October 8, 2020
    University of Amsterdam
    Amsterdam, The Netherlands (Online)

other attendance

2023

  1. MGS
    Midlands Graduate School in the Foundations of Computing Science 2023
    April 2 - April 6, 2023
    University of Birmingham
    Birmingham, England, UK
  2. UU National Conference on Responsible AI
    February 3, 2023
    Utrecht University
    Utrecht, The Netherlands

2022

  1. SYCO
    Tenth Symposium on Compositional Structures
    December 19 - December 20, 2022
    University of Edinburgh
    Edinburgh, Scotland, UK
  2. Collaboration visit at Queen Mary University of London
    December 12 - December 14, 2022
    London, England, UK
  3. EUMAS
    19th European Conference on Multi-Agent Systems
    September 14 - September 16, 2022
    Heinrich Heine University Düsseldorf
    Düsseldorf, Germany
  4. AiML
    Advances in Modal Logic 2022
    August 22 - August 25, 2022
    Institute for Research in Computer Science and Random Systems (IRISA)
    Rennes, France
  5. ESSLLI
    33rd European Summer School in Logic, Language and Information
    August 8 - August 19, 2022
    National University of Ireland, Galway
    Galway, Ireland
  6. ACT
    Applied Category Theory 2022
    July 18 - July 22, 2022
    University of Strathclyde
    Glasgow, Scotland, UK
  7. DLPD
    Dutch Logic PhD Day 2022
    July 1, 2022
    Utrecht University
    Utrecht, The Netherlands
  8. MRC
    AMS Mathematics Research Communities 2022: Applied Category Theory
    May 29 - June 4, 2022
    Java Center, New York, USA
  9. MGS
    Midlands Graduate School in the Foundations of Computing Science 2022
    April 10 - April 14, 2022
    University of Nottingham
    Nottingham, England, UK

2019

  1. BNAIC
    Benelux Conference on Artificial Intelligence
    November 6 - November 8, 2019
    Brussels, Belgium