Juha Kontinen

Person

Further information on the affiliationAcademy Research Fellow

Latest publications

  1. Computational Aspects of Logics in Team Semantics (Tutorial)

    Kontinen, J. 2017 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). Vollmer, H. & Vallée, B. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 66, p. 1:1-1:1 (Leibniz International Proceedings in Informatics (LIPIcs))

    Publication: Contribution to book/anthologyB2 Contribution to book/other compilations (non-refereed)

  2. Dependence logic with generalized quantifiers: Axiomatizations

    Engström, F., Kontinen, J. & Väänänen, J. 2017 In : Journal of Computer and System Sciences. 88, p. 90-102 13 p.

    Publication: Contribution to journalA1 Refereed journal article

  3. Modal Independence Logic

    Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H. 2017 In : Journal of Logic and Computation. 27, 5, p. 1333–1352 20 p.

    Publication: Contribution to journalA1 Refereed journal article

View all (56) »

Latest activities

  1. 27th EACSL Annual Conference on Computer Science Logic

    Kontinen, J. (Scientific Committee Member)
    Aug 2017 → …

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

  2. Supervisor of the Master's thesis of Miikka Koskinen

    Kontinen, J. (Supervisor)
    Aug 2017 → …

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

  3. Arno Pauly

    Kontinen, J. (Host)
    28 Aug 201729 Aug 2017

    Activity: Hosting a visitorAcademic visit at UH

View all (171) »

Latest projects

  1. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    01/09/201231/08/2015

    Project: Research project

  2. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    01/09/201231/08/2017

    Project: Research project

View all (4) »

Education

Fil. toht., matematiikka

ID: 41241