Homepage of Jonni Virtema

Future workshops and conferences

14th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2026, March 2026, Hannover, Germany.

Past organised meetigs

13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, April 2024, Sheffield, UK.
Dagstuhl Seminar: Logics for Dependence and Independence: Expressivity and Complexity, March 10-15, 2024, Dagstuhl, Germany.
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

Dagstuhl Seminar: Logics for Dependence and Independence: Expressivity and Complexity, March 10-15, 2024, Dagstuhl, Germany.
Simons Institute Workshop: Logic and Algebra for Query Evaluation, November 13-17, 2023, Berkeley, USA.
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