Juha Kontinen

Aktiviteter

Aktiviteter per år 2001 2021

• 99 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 53 Akademiskt besök på HU
• 35 Akademisk besök på annan institution
• 16 Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
• 30 Mer
  • 12 Referentgranskning av manuskript
  • 5 Post doctoral mentor
  • 3 Förhandsgranskare av doktorsavhandling
  • 3 Handledare eller bihandledare av doktorsavhandling
  • 2 Redaktör för forskningsantologi/samlingsverk/konferenspublikation
  • 1 !!Consultancy
  • 1 Redaktör för specialtemanummer
  • 1 Opponent i doktorsavhandling
  • 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

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

  Juha Kontinen (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

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

  Juha Kontinen (Medlem i organisationskommitté)

  jan 2021 → jun 2022

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

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

  Juha Kontinen (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

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

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  jan 2020 → jul 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

  Juha Kontinen (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

• 28th Nordic Congress of Mathematicians

  Juha Kontinen (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)

  Juha Kontinen (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

• European Summer School in Logic, Language and Information 2020

  Juha Kontinen (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)

  Juha Kontinen (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

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

  Juha Kontinen (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

• Dagstuhl Seminar 19031: Logics for Dependence and Independence

  Juha Kontinen (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

• Logical Foundations of Computer Science 2018

  Juha Kontinen (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

• Logical Aspects of Quantum Information

  Juha Kontinen (Närvarande)

  30 jul 2018 → 3 aug 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

  Juha Kontinen (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

• Matematiikan päivät 2018

  Juha Kontinen (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

• Matematiikan päivät 2018

  Juha Kontinen (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

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

  Juha Kontinen (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

• Departmental colloquium

  Juha Kontinen (Talare: Presentation)

  31 jan 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

  Juha Kontinen (Närvarande)

  4 jul 2018 → 6 jul 2018

  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

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  aug 2017 → jun 2018

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

• Logic Colloquium 2017

  Juha Kontinen (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

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

  Juha Kontinen (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

• Algorithmic Model Theory Meeting 2017

  Juha Kontinen (Närvarande)

  7 mar 2017 → 8 mar 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

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  apr 2017 → 3 mar 2018

  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

  Juha Kontinen (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

• Symposium on Theoretical Aspects of Computer Science

  Juha Kontinen (Talare: Inledningsanförande (keynote))

  8 mar 2017

  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

  Juha Kontinen (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

• Games for Logic and Programming Languages XII

  Juha Kontinen (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

• Scandinavian Logic Society Summer School in Logic 2017

  Juha Kontinen (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

• Games for Logic and Programming Languages XII

  Juha Kontinen (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

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

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  8 dec 2016 → jun 2017

  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)

  Juha Kontinen (Talare: Presentation)

  7 mar 2016 → 11 mar 2016

  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

  Juha Kontinen (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

• Computational Logic Day 2015

  Juha Kontinen (Närvarande)

  8 dec 2015

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

• Circuits, Logic and Games

  Juha Kontinen (Närvarande)

  27 sep 2015 → 2 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

  Juha Kontinen (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

• Logics for Dependence and Independence

  Juha Kontinen (Talare: Presentation)

  21 jun 2015 → 26 jun 2015

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

• 40th International Symposium on Mathematical Foundations of Computer Science-MFCS 2015

  Juha Kontinen (Talare: Presentation)

  24 aug 2015 → 28 aug 2015

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

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

  Juha Kontinen (Talare: Presentation)

  3 nov 2014 → 7 nov 2014

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

• Logics for Dependence and Independence (21-26.6.2015)

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  jul 2014 → 26 jun 2015

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

• Foundations of Information and Knowledge Systems (FoIKS)

  Juha Kontinen (Talare: Presentation)

  5 mar 2014 → 7 mar 2014

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

• Logic Colloquium 2015

  Juha Kontinen (Medlem i organisationskommitté)

  jan 2014 → 8 aug 2015

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

• KNAW Academy Colloquium Dependence Logic

  Juha Kontinen (Talare: Presentation)

  3 mar 2014 → 5 mar 2014

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

• 21st Workshop on Logic, Language, Information and Computation

  Juha Kontinen (Talare: Inledningsanförande (keynote))

  1 sep 2014 → 4 sep 2014

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

• Student Colloquium of the Department of Mathematics and Statistics

  Juha Kontinen (Talare: Presentation)

  24 mar 2014

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

• KNAW Academy Colloquium Dependence Logic

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  3 mar 2014 → 5 mar 2014

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

• The 9th Scandinavian Logic Symposium

  Juha Kontinen (Närvarande)

  25 aug 2014 → 27 aug 2014

  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 VIII

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  18 jul 2013 → 19 jul 2013

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

• Dependence Logic: Theory and Applications

  Juha Kontinen (Medlem av vetenskaplig kommitté)

  10 feb 2013 → 15 feb 2013

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

• Post Doc seminar

  Juha Kontinen (Talare: Presentation)

  13 nov 2013

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