Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020)

Juha Kontinen (Attendee)
16 Feb 202020 Feb 2020

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

15th Workshop on Logic, Language, Information and Computation (WoLLIC 08)

Juha Kontinen (Speaker: Presenter)
1 Jul 20084 Jul 2008

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

16th Workshop on Logic, Language, Information and Computation (WoLLIC 09)

Juha Kontinen (Speaker: Presenter)
21 Jun 200924 Jun 2009

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

21st International Conference on Logic for Programming, Artficial Intelligence and Reasoning

Juha Kontinen (Speaker: Presenter)
7 May 201711 May 2017

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

21st Workshop on Logic, Language, Information and Computation

Juha Kontinen (Speaker: Keynote)
1 Sep 20144 Sep 2014

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

23rd Workshop on Logic, Language, Information and Computation-WoLLIC 2016

Juha Kontinen (Scientific Committee Member)
Oct 2015 → …

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

27th EACSL Annual Conference on Computer Science Logic

Juha Kontinen (Scientific Committee Member)
Aug 2017Jun 2018

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

28th Nordic Congress of Mathematicians

Juha Kontinen (New classification)
Jan 2020Aug 2020

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)

Juha Kontinen (Scientific Committee Member)
Jan 2020Jul 2020

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

30 Years of Finite Model Theory in Finland

Juha Kontinen (Member of organizing committee)
Jan 2020Aug 2020

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

40th International Symposium on Mathematical Foundations of Computer Science-MFCS 2015

Juha Kontinen (Speaker: Presenter)
24 Aug 201528 Aug 2015

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

50 Years of Generalized Quantifiers

Juha Kontinen (Speaker: Keynote)
26 Jun 200729 Jun 2007

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

6th International Symposium on Games, Automata, Logics and Formal Verification-GandALF 2015

Juha Kontinen (Speaker: Presenter)
21 Sep 201523 Sep 2015

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

6th Workshop on Finite Model Theory

Juha Kontinen (Speaker: Presenter)
30 Mar 20035 Apr 2003

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

8th Scandinavian Logic Symposium

Juha Kontinen (Attendee)
20 Aug 201221 Aug 2012

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS)

Juha Kontinen (Speaker: Presenter)
7 Mar 201611 Mar 2016

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Alessio Mansutti

Juha Kontinen (Host)
4 Nov 20196 Nov 2019

Activity: Hosting a visitor typesAcademic visit at UH

Algorithmic Model Theory Meeting 2017

Juha Kontinen (Attendee)
7 Mar 20178 Mar 2017

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Annals of Mathematics and Artificial Intelligence (Journal)

Juha Kontinen (Reviewer)
Dec 2018 → …

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

Anselm Haak

Juha Kontinen (Host)
29 May 20172 Jun 2017

Activity: Hosting a visitor typesAcademic visit at UH

Anselm Haak

Juha Kontinen (Host)
5 Apr 20169 Apr 2016

Activity: Hosting a visitor typesAcademic visit at UH

Anselm Haak

Juha Kontinen (Host)
12 Mar 201816 Mar 2018

Activity: Hosting a visitor typesAcademic visit at UH

Anselm Haak

Juha Kontinen (Host)
21 Aug 201725 Aug 2017

Activity: Hosting a visitor typesAcademic visit at UH

Antti Kuusisto

Juha Kontinen (Host)
21 May 201424 May 2014

Activity: Hosting a visitor typesAcademic visit at UH

Antti Kuusisto

Juha Kontinen (Host)
26 Nov 201329 Nov 2013

Activity: Hosting a visitor typesAcademic visit at UH

Arnaud Durand

Juha Kontinen (Host)
28 Mar 20143 Apr 2014

Activity: Hosting a visitor typesAcademic visit at UH

Arnaud Durand

Juha Kontinen (Host)
23 Apr 201930 Apr 2019

Activity: Hosting a visitor typesAcademic visit at UH

Arnaud Durand

Juha Kontinen (Host)
24 May 201530 May 2015

Activity: Hosting a visitor typesAcademic visit at UH

Arnaud Durand

Juha Kontinen (Host)
2 Jun 201110 Jun 2011

Activity: Hosting a visitor typesAcademic visit at UH

Arne Meier

Juha Kontinen (Host)
23 May 201530 May 2015

Activity: Hosting a visitor typesAcademic visit at UH

Arno Pauly

Juha Kontinen (Host)
28 Aug 201729 Aug 2017

Activity: Hosting a visitor typesAcademic visit at UH

Arno Pauly

Juha Kontinen (Host)
21 May 201827 May 2018

Activity: Hosting a visitor typesAcademic visit at UH

A Workshop on Dependence Logic

Juha Kontinen (Speaker: Presenter)
22 Jun 2010

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Bernd Finkbeiner

Juha Kontinen (Host)
10 Sep 201914 Sep 2019

Activity: Hosting a visitor typesAcademic visit at UH

Birkhäuser (Publisher)

Juha Kontinen (Editor)
Mar 2013 → …

Activity: Publication peer-review and editorial work typesEditor of research anthology/collection/conference proceedings

Circuits, Logic and Games

Juha Kontinen (Attendee)
27 Sep 20152 Oct 2015

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Colloquium on Mathematical Logic of the University of Utrecht and the University of Amsterdam

Juha Kontinen (Speaker: Presenter)
2 Mar 2007

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Colloquium on Mathematical Logic of the University of Utrecht and the University of Amsterdam

Juha Kontinen (Speaker: Presenter)
27 May 2009

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Complexity and finite models (CMF 2011)

Juha Kontinen (Speaker: Presenter)
22 Jun 201124 Jun 2011

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Computability in Europe 2006

Juha Kontinen (Speaker: Presenter)
30 Jun 20065 Jul 2006

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Computational Logic Day 2015

Juha Kontinen (Attendee)
8 Dec 2015

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Computer Science Logic 2013

Juha Kontinen (Speaker: Presenter)
2 Sep 20135 Sep 2013

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

CUNY Computational Logic Seminar

Juha Kontinen (Speaker: Presenter)
4 May 2010

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

CUNY Logic Workshop

Juha Kontinen (Speaker: Presenter)
16 Apr 2010

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Juha Kontinen (Attendee)
13 Jan 201918 Jan 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Juha Kontinen (Member of organizing committee)
15 Apr 201718 Jan 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Dagstuhl Seminar "Dependence Logic: Theory and Applications"

Juha Kontinen (Attendee)
10 Feb 201315 Oct 2013

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Database Seminar (UC Santa Cruz)

Juha Kontinen (Speaker: Presenter)
13 Nov 2008

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Departamento de Matemática, Instituto Superior Técnico

Juha Kontinen (Visiting researcher)
1 Mar 20105 Mar 2010

Activity: Visiting an external institution typesAcademic visit to other institution

Departmental colloquium

Juha Kontinen (Speaker: Presenter)
31 Jan 2018

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars