Juha Kontinen

Person

Latest publications

  1. Polyteam Semantics

    Hannula, M., Kontinen, J. & Virtema, J. 7 Apr 2017 Proceedings of LFCS 2018.

    Research output: Scientific - peer-reviewConference contribution

  2. 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))

    Research output: ScientificChapter

  3. 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.

    Research output: Scientific - peer-reviewArticle

View all (58) »

Latest activities

  1. Leibniz Universität Hannover

    Kontinen, J. (Visiting researcher)
    24 Oct 201727 Oct 2017

    Activity: Visiting an external institutionAcademic visit to other institution

  2. The Review of Symbolic Logic (Journal)

    Kontinen, J. (Reviewer)
    Sep 2017

    Activity: Publication peer-review and editorial workPeer review of manuscripts

  3. 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

View all (173) »

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