Juha Kontinen

Aktiviteter

Aktiviteter per år 2001 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2024 2024

• 114 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 65 Akademiskt besök på HU
• 42 Akademisk besök på annan institution
• 17 Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
• 37 Mer
  • 12 Referentgranskning av manuskript
  • 5 Post doctoral mentor
  • 4 Förhandsgranskare av doktorsavhandling
  • 4 Handledare eller bihandledare av doktorsavhandling
  • 3 Opponent i doktorsavhandling
  • 2 Redaktör för forskningsantologi/samlingsverk/konferenspublikation
  • 2 !!Invited talk
  • 1 !!Consultancy
  • 1 Redaktör för vetenskaplig tidskrift
  • 1 Redaktör för specialtemanummer
  • 1 Medlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse
  • 1 Medlemskap eller annan roll i inhemskt/internationellt offentligt organ

Aktiviteter per år

Sökresultat

• International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  2024 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Dagstuhl Seminar 24111:Logics for Dependence and Independence: Expressivity and Complexity

  Kontinen, J. (Närvarande)

  10 mars 2024 → 15 mars 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Matematiikan päivät 2024

  Kontinen, J. (Närvarande)

  4 jan. 2024 → 5 jan. 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 13th International Symposium on Foundations of Information and Knowledge Systems

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  2024 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Annual AAAI Conference on Artificial Intelligence

  Kontinen, J. (Poster presentation)

  21 feb. 2024 → 29 feb. 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Scandinavian Logic Symposium

  Kontinen, J. (Närvarande)

  12 juni 2024 → 16 juni 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 21st International Conference on Principles of Knowledge Representation and Reasoning

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  2024 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 13th International Symposium on Foundations of Information and Knowledge Systems

  Kontinen, J. (Närvarande)

  7 apr. 2024 → 11 apr. 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Dagstuhl Seminar 24111:Logics for Dependence and Independence: Expressivity and Complexity

  Kontinen, J. (Medlem i organisationskommitté)

  10 mars 2024 → 15 mars 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Scandinavian Logic Symposium

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  2023 → 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Thirty-Ninth Annual ACM/IEEE Symposium onLogic in Computer Science (LICS)

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  juni 2023 → juli 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Annual conference of the European Association for Computer Science Logic

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  mars 2023 → feb. 2024

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• The Twenty second International Workshop on Logic and Computational Complexity

  Kontinen, J. (Ordförande för vetenskaplig kommitté)

  feb. 2022

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 34th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION

  Kontinen, J. (Ordförande för vetenskaplig kommitté)

  sep. 2022 → aug. 2023

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 29th Workshop on Logic, Language, Information and Computation

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  nov. 2022 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  jan. 2021 → aug. 2022

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022)

  Kontinen, J. (Medlem i organisationskommitté)

  jan. 2021 → juni 2022

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  jan. 2021 → feb. 2022

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 28th Nordic Congress of Mathematicians

  Kontinen, J. (New classification)

  jan. 2020 → aug. 2021

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Närvarande)

  16 feb. 2020 → 20 feb. 2020

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  jan. 2020 → juli 2020

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 30 Years of Finite Model Theory in Finland

  Kontinen, J. (Medlem i organisationskommitté)

  jan. 2020 → aug. 2021

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• European Summer School in Logic, Language and Information 2020

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  jan. 2019 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

  Kontinen, J. (Talare: Presentation)

  7 maj 2019 → 11 maj 2019

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Dagstuhl Seminar 19031: Logics for Dependence and Independence

  Kontinen, J. (Närvarande)

  13 jan. 2019 → 18 jan. 2019

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020),

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  maj 2019 → apr. 2020

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Logical Foundations of Computer Science 2018

  Kontinen, J. (Talare: Presentation)

  7 jan. 2018 → 11 jan. 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• The Eleventh International Symposium on Foundations of Information and Knowledge Systems

  Kontinen, J. (Ordförande för vetenskaplig kommitté)

  maj 2018 → maj 2020

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Talare: Presentation)

  14 maj 2018 → 18 maj 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Horizons of Logic, Computation and Definability

  Kontinen, J. (Närvarande)

  4 juli 2018 → 6 juli 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Matematiikan päivät 2018

  Kontinen, J. (Närvarande)

  4 jan. 2018 → 5 jan. 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Departmental colloquium

  Kontinen, J. (Talare: Presentation)

  31 jan. 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Logical Aspects of Quantum Information

  Kontinen, J. (Närvarande)

  30 juli 2018 → 3 aug. 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Matematiikan päivät 2018

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  5 jan. 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Symposium on Theoretical Aspects of Computer Science

  Kontinen, J. (Talare: Inledningsanförande (keynote))

  8 mars 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Logic Colloquium 2017

  Kontinen, J. (Närvarande)

  14 aug. 2017 → 18 aug. 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Games for Logic and Programming Languages XII

  Kontinen, J. (Närvarande)

  22 apr. 2017 → 23 apr. 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• 27th EACSL Annual Conference on Computer Science Logic

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  aug. 2017 → juni 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Talare: Presentation)

  7 maj 2017 → 11 maj 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Symposium on Theoretical Aspects of Computer Science

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  apr. 2017 → 3 mars 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Algorithmic Model Theory Meeting 2017

  Kontinen, J. (Närvarande)

  7 mars 2017 → 8 mars 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Dagstuhl Seminar 19031: Logics for Dependence and Independence

  Kontinen, J. (Medlem i organisationskommitté)

  15 apr. 2017 → 18 jan. 2019

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  jan. 2017 → maj 2018

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Games for Logic and Programming Languages XII

  Kontinen, J. (Ordförande för vetenskaplig kommitté)

  aug. 2016 → 23 apr. 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Scandinavian Logic Society Summer School in Logic 2017

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  aug. 2016 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Talare: Presentation)

  7 mars 2016 → 11 mars 2016

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  8 dec. 2016 → juni 2017

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Medlem av vetenskaplig kommitté)

  okt. 2015 → …

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Kontinen, J. (Talare: Presentation)

  21 sep. 2015 → 23 sep. 2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Computational Logic Day 2015

  Kontinen, J. (Närvarande)

  8 dec. 2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium