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

Post doc mentor

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

Activity: Examination typesPost doctoral mentor

The advisor of the Thesis for Advanced Studies in Mathematics (Minor) of Joel Kaasinen

Juha Kontinen (Supervisor)
Jan 2015May 2015

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

Jonni Virtema

Juha Kontinen (Host)
13 Apr 201515 Apr 2015

Activity: Hosting a visitor typesAcademic visit at UH

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

Jonni Virtema

Juha Kontinen (Host)
23 May 201530 May 2015

Activity: Hosting a visitor typesAcademic visit at UH

Student Colloquium of the Department of Mathematics and Statistics

Juha Kontinen (Speaker: Presenter)
24 Mar 2014

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

Jonni Virtema

Juha Kontinen (Host)
7 Sep 20149 Sep 2014

Activity: Hosting a visitor typesAcademic visit at UH

Logics for Dependence and Independence (21-26.6.2015)

Juha Kontinen (Scientific Committee Member)
Jul 201426 Jun 2015

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

Jonni Virtema

Juha Kontinen (Host)
21 May 201424 May 2014

Activity: Hosting a visitor typesAcademic visit at UH

Journal of the ACM (Journal)

Juha Kontinen (Reviewer)
2014 → …

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

KNAW Academy Colloquium Dependence Logic

Juha Kontinen (Speaker: Presenter)
3 Mar 20145 Mar 2014

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

Logic Colloquium 2015

Juha Kontinen (Member of organizing committee)
Jan 20148 Aug 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)
8 Jun 201427 Jun 2014

Activity: Visiting an external institution typesAcademic visit to other institution

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

The 9th Scandinavian Logic Symposium

Juha Kontinen (Attendee)
25 Aug 201427 Aug 2014

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

Arnaud Durand

Juha Kontinen (Host)
28 Mar 20143 Apr 2014

Activity: Hosting a visitor typesAcademic visit at UH

KNAW Academy Colloquium Dependence Logic

Juha Kontinen (Scientific Committee Member)
3 Mar 20145 Mar 2014

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

Foundations of Information and Knowledge Systems (FoIKS)

Juha Kontinen (Speaker: Presenter)
5 Mar 20147 Mar 2014

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

Department of Computer Science, the University of Auckland

Juha Kontinen (Visiting researcher)
1 Jan 201430 Jan 2014

Activity: Visiting an external institution typesAcademic visit to other institution

Logical Methods in Computer Science (Journal)

Juha Kontinen (Reviewer)
2014 → …

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

Antti Kuusisto

Juha Kontinen (Host)
21 May 201424 May 2014

Activity: Hosting a visitor typesAcademic visit at UH

The 23rd ACM International Conference on Information and Knowledge Management (CIKM 2014)

Juha Kontinen (Speaker: Presenter)
3 Nov 20147 Nov 2014

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

Supervisor of the Master's thesis of Aleksi Karpansalo

Juha Kontinen (Supervisor)
Oct 2014Oct 2015

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

Games for Logic and Programming Languages VIII

Juha Kontinen (Scientific Committee Member)
18 Jul 201319 Jul 2013

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

Université Denis Diderot - Paris 7

Juha Kontinen (Visiting researcher)
2 Dec 20135 Dec 2013

Activity: Visiting an external institution typesAcademic visit to other institution

Antti Kuusisto

Juha Kontinen (Host)
26 Nov 201329 Nov 2013

Activity: Hosting a visitor typesAcademic visit at UH

Post doc mentor

Juha Kontinen (Post doc mentor)
1 Jan 201330 Jun 2013

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

Theoretical Computer ScienceInstitute Faculty for Electrical Engineering and Computer Science, University of Hanover

Juha Kontinen (Visiting researcher)
30 Oct 20131 Nov 2013

Activity: Visiting an external institution typesAcademic visit to other institution

The Fourteenth International Workshop on Logic and Computational Complexity

Juha Kontinen (Speaker: Keynote)
6 Sep 2013

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

Workshop on inquisitive logic and dependence logic

Juha Kontinen (Attendee)
17 Jun 2013

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

Dependence Logic: Theory and Applications

Juha Kontinen (Scientific Committee Member)
10 Feb 201315 Feb 2013

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

Member of a Master's thesis defence committee

Juha Kontinen (Member of thesis committee / follow-up group)
24 May 2013

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

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

Information and Computation (Journal)

Juha Kontinen (Reviewer)
2013 → …

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

Birkhäuser (Publisher)

Juha Kontinen (Editor)
Mar 2013 → …

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

Post Doc seminar

Juha Kontinen (Speaker: Presenter)
13 Nov 2013

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

Supervisor of the Master's thesis of Tuomo Lempiäinen

Juha Kontinen (Supervisor)
May 2013Dec 2014

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

Fredrik Engström

Juha Kontinen (Host)
3 Mar 201316 Mar 2013

Activity: Hosting a visitor typesAcademic visit at UH

Journal of Symbolic Logic (Journal)

Juha Kontinen (Reviewer)
2013 → …

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

Institute for Logic, Language and Computation, University of Amsterdam

Juha Kontinen (Visiting researcher)
20 May 201319 Jun 2013

Activity: Visiting an external institution typesAcademic visit to other institution

The Scandinavian Logic Society (External organisation)

Juha Kontinen (Board member)
Aug 2012 → …

Activity: Membership typesMembership or other role in national/international committee, council, board

Logical Approaches to Barriers in Complexity II

Juha Kontinen (Speaker: Keynote)
26 Mar 201230 Mar 2012

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

XXXI HUMANISMIN PÄIVÄT 2012

Juha Kontinen (Speaker: Keynote)
17 Nov 2012

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

The Stockholm Logic Seminar

Juha Kontinen (Speaker: Presenter)
18 Apr 2012

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

Games for Logic and Programming Languages VII ( GaLoP 2012)

Juha Kontinen (Speaker: Keynote)
29 Jun 2012

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

Julian-Steffen Müller

Juha Kontinen (Host)
6 May 201211 May 2012

Activity: Hosting a visitor typesAcademic visit at UH

Schloss Dagstuhl Seminar: SAT Interactions

Juha Kontinen (Speaker: Presenter)
18 Nov 201223 Nov 2012

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

Heribert Vollmer

Juha Kontinen (Host)
6 May 201211 May 2012

Activity: Hosting a visitor typesAcademic visit at UH

Supervision of the doctoral thesis of Miika Hannula

Juha Kontinen (Supervisor)
Jan 2012Jun 2015

Activity: Examination typesSupervisor or co-supervisor of doctoral thesis