Homepage of Jonni Virtema

Future workshops and conferences

3rd Liverpool Discrete Mathematics Colloquium: Logics and Graph Neural Networks, and Stochastic Gradient Descent, September 2026, Liverpool, UK.
The Scottish Theorem Proving and Verification seminar, October 2026, University of Strathclyde, Glasgow, UK.
Dagstuhl Seminar: Deep Learning on Structured Data: Expressivity, Generalization, and Convergence, November 2026, Dagstuhl, Germany.
Dagstuhl Seminar: Towards a Unified Theory and Application of Hyperproperties, March 2027, Dagstuhl, Germany.

Past organised meetigs

Research-in-Groups: Database Repairs, Consistent Answers, and Semirings, International Centre for Mathematical Sciences, April 2025, Edinburg, UK.
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: Semirings in Databases, Automata, and Logic, February 16-21, 2025, Dagstuhl, Germany.
Dagstuhl Seminar: Logic and Neural Networks, February 2-7, 2025, Dagstuhl, Germany.
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