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

Leibniz Universität Hannover

Juha Kontinen (Visiting researcher)
24 Oct 201727 Oct 2017

Activity: Visiting an external institution typesAcademic visit to other institution

post doc mentor of Fan Yang

Juha Kontinen (Post doc mentor)
Dec 2017 → …

Activity: Examination typesPost doctoral mentor

Supervisor of the Master's thesis is Yasir Mahmood

Juha Kontinen (Supervisor)
Nov 2017Jun 2018

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Miika Hannula

Juha Kontinen (Host)
4 Dec 201718 Dec 2017

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

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

Supervisor of the Master's thesis of Miikka Koskinen

Juha Kontinen (Supervisor)
Aug 2017Jun 2018

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Games for Logic and Programming Languages XII

Juha Kontinen (Attendee)
22 Apr 201723 Apr 2017

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

Anselm Haak

Juha Kontinen (Host)
29 May 20172 Jun 2017

Activity: Hosting a visitor typesAcademic visit at UH

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

The Review of Symbolic Logic (Journal)

Juha Kontinen (Reviewer)
Sep 2017

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

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

The Tenth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018)

Juha Kontinen (Scientific Committee Member)
Jan 2017May 2018

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

Anselm Haak

Juha Kontinen (Host)
21 Aug 201725 Aug 2017

Activity: Hosting a visitor typesAcademic visit at UH

Fundamenta Informaticae (Journal)

Juha Kontinen (Reviewer)
Jan 2017

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

Jonni Virtema

Juha Kontinen (Host)
2 Dec 20179 Dec 2017

Activity: Hosting a visitor typesAcademic visit at UH

Supervision of the Master's thesis of Simo Tukiainen

Juha Kontinen (Supervisor)
Apr 2017 → …

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Martin Lück

Juha Kontinen (Host)
29 May 20172 Jun 2017

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

Symposium on Theoretical Aspects of Computer Science

Juha Kontinen (Scientific Committee Member)
Apr 20173 Mar 2018

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

Logic Colloquium 2017

Juha Kontinen (Attendee)
14 Aug 201718 Aug 2017

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

Symposium on Theoretical Aspects of Computer Science

Juha Kontinen (Speaker: Keynote)
8 Mar 2017

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

Heribert Vollmer

Juha Kontinen (Host)
21 Aug 201725 Aug 2017

Activity: Hosting a visitor typesAcademic visit at UH

Seventeenth International Workshop on Logic and Computational Complexity (LCC 2017)

Juha Kontinen (Scientific Committee Member)
8 Dec 2016Jun 2017

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

Scandinavian Logic Society Summer School in Logic 2017

Juha Kontinen (Scientific Committee Member)
Aug 2016 → …

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

Supervisor of the bachelor thesis of Jarkko Savela

Juha Kontinen (Supervisor)
Jan 20166 Jun 2016

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Supervisor of the Master's thesis of Janos Nieminen

Juha Kontinen (Supervisor)
Apr 2016Dec 2016

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Heribert Vollmer

Juha Kontinen (Host)
5 Apr 20169 Apr 2016

Activity: Hosting a visitor typesAcademic visit at UH

Leibniz Univ Hannover, University of Hannover, Inst Theoret Informat

Juha Kontinen (Visiting researcher)
12 Dec 201615 Dec 2016

Activity: Visiting an external institution typesAcademic visit to other institution

Post doc mentor

Juha Kontinen (Post doc mentor)
1 Jan 2016 → …

Activity: Examination typesPost doctoral mentor

Miika Hannula

Juha Kontinen (Host)
8 Aug 201612 Aug 2016

Activity: Hosting a visitor typesAcademic visit at UH

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

Anselm Haak

Juha Kontinen (Host)
5 Apr 20169 Apr 2016

Activity: Hosting a visitor typesAcademic visit at UH

Games for Logic and Programming Languages XII

Juha Kontinen (Scientific Committee Chair)
Aug 201623 Apr 2017

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

University of Auckland

Juha Kontinen (Visiting researcher)
11 Apr 201622 Apr 2016

Activity: Visiting an external institution typesAcademic visit to other institution

Supervisor of the Master's thesis of Joona Saari

Juha Kontinen (Supervisor)
May 2016May 2017

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Institut für Theoretische Informatik, Universität Hannover

Juha Kontinen (Visiting researcher)
1 Feb 20164 Feb 2016

Activity: Visiting an external institution typesAcademic visit to other institution

Institut für Theoretische Informatik, Universität Hannover

Juha Kontinen (Visiting researcher)
24 Feb 201527 Feb 2015

Activity: Visiting an external institution typesAcademic visit to other institution

Phokion G. Kolaitis

Juha Kontinen (Host)
26 Jun 20151 Jul 2015

Activity: Hosting a visitor typesAcademic visit at UH

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

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

Post doc mentor

Juha Kontinen (Post doc mentor)
1 Oct 201531 Oct 2015

Activity: Examination typesPost doctoral mentor

Arnaud Durand

Juha Kontinen (Host)
24 May 201530 May 2015

Activity: Hosting a visitor typesAcademic visit at UH

Université Denis Diderot - Paris 7

Juha Kontinen (Visiting researcher)
11 Feb 201513 Feb 2015

Activity: Visiting an external institution typesAcademic visit to other institution

Logic journal of the IGPL (Journal)

Juha Kontinen (Reviewer)
Jan 2015 → …

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

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

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

Institut für Theoretische Informatik, Universität Hannover

Juha Kontinen (Visiting researcher)
11 Nov 201513 Nov 2015

Activity: Visiting an external institution typesAcademic visit to other institution

Arne Meier

Juha Kontinen (Host)
23 May 201530 May 2015

Activity: Hosting a visitor typesAcademic visit at UH

Logics for Dependence and Independence

Juha Kontinen (Speaker: Presenter)
21 Jun 201526 Jun 2015

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