Activities

Activities

We are frequently involved in various academic activities, including the development, organisation of, and participation in research projects, international schools, academic conferences, and general outreach activities at large. Some of these activities are featured below.

A non-exhaustive list of events we are involved in, or where our work is presented:

  • Federated Logic Conference (FLOC 2022)
  • Symposium on Discrete Algorithms (SODA 2021)
  • Symposium on Logic in Computer Science (LICS 2021)
  • International Conference on Knowledge Representation and Reasoning (KR 2021)
  • International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021)
  • International Joint Conference on Artificial Intelligence (IJCAI 2021)
  • AAAI Conference on Artificial Intelligence (AAAI 2021)
  • International Conference on Automated Planning and Scheduling (ICAPS 2021)
  • International Conference on Principles and Practice of Constraint Programming (CP 2021)
  • International Conference on Theory and Applications of Satisfiability Testing (SAT 2021)
  • International Conference on Machine Learning (ICML 2021)
  • International Conference on Data Mining (ICDM 2021)
  • Conference on Knowledge Discovery and Data Mining (KDD 2021)
  • Conference on Neural Information Processing Systems (NeurIPS 2021)
  • Annual Meeting for the Association of Computational Linguistics (ACL 2021)
  • International Conference on Software Engineering (ICSE 2021)
  • International Conference on Automated Software Engineering (ASE 2021)
  • Annual International Cryptology Conference (CRYPTO 2021)
  • Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt 2021)
  • International Conference on the Theory and Applications of Cryptology and Information Security (ASIACRYPT 2021)
  • Computer Security Foundations Symposium (CSF 2021)
  • HIGHLIGHTS of Logic, Games and Automata (Link)

More activities relevant to the laboratory coming soon.