Future workshops and conferences
-
Simons Institute Workshop: Logic and Algebra for Query Evaluation, November 13-17, 2023, Berkeley, USA.
-
Dagstuhl Seminar: Logics for Dependence and Independence: Expressivity and Complexity, March 10-15, 2024, Dagstuhl, Germany.
-
13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, April 2024, Sheffield, UK.
Past organised meetigs
- 30 years of finite model theory in Finland,
August 21-23, 2022, Helsinki, Finland.
-
Logical Approach to Neural Networks,
June 8, 2022, Sheffield, UK.
-
Horizons of Logic, Computation and Definability: Symposium in Honour of Lauri Hella's 60th birthday,
July 4-6, 2018, Tampere, Finland.
-
9th Scandinavian Logic Symposium,
August 25-27, 2014, Tampere, Finland.
Past Dagstuhl-style seminars
- Logic, databases and complexity: new methods and challenges, Thematic Month: Logic and Interactions,
February 14-18, 2022, CIRM, Campus de Luminy, Marseille, France.
-
Dagstuhl Seminar: Logics for Dependence and Independence,
January 13-18, 2019, Dagstuhl, Germany.
-
Lorentz Center Workshop: Logical Aspects of Quantum Information,
July 30 - August 3, 2018, Leiden, The Netherlands.
-
Dagstuhl Seminar: Circuits, Logic and Games,
September 27 - October 2, 2015, Dagstuhl, Germany.
-
Dagstuhl Seminar: Logics for Dependence and Independence,
June 21-26, 2015, Dagstuhl, Germany.
-
KNAW Academy Colloquium on Dependence Logic,
March 3-5, 2014, Amsterdam, The Netherlands.
-
Dagstuhl Seminar: Dependence Logic: Theory and Applications,
February 10-15, 2013, Dagstuhl, Germany.
-
Workshop on Finite and Algorithmic Model Theory,
May 14-18, 2012, Les Houches, France.
Workshops and conferences that I have attended
- AiML (2020)
- CSL (2021, 2018, 2015, 2009)
- DBDBD (2018, 2017)
- GaLoP (2017)
- GandALF (2016, 2014)
- Finnish Math Days (2016, 2014, 2012, 2010)
- FoIKS (2018, 2016)
- FSTTCS (2021)
- Highlights (2022)
- JELIA (2023, 2021, 2019)
- KR (2023)
- LFCS (2018)
- LICS (2020, 2012, 2011, 2010)
- LoDe (2021, 2020)
- Logic Colloquium (2015)
- M4M (2009)
- MFCS (2018, 2017, 2016, 2015)
- PODC (2012)
- SLS (2014, 2012)
- STACS (2017, 2015)
- WoLLIC (2019, 2016, 2015, 2013, 2009)