Juha Kontinen

Aktiviteetit

Aktiviteetteja vuodessa

2001 2020

• 96 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
• 53 Isännöity akateeminen vierailu Helsingin yliopistossa
• 35 Akateeminen vierailu toiseen organisaatioon
• 16 Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
• 28 Muut aineistot
  • 12 Käsikirjoitusten vertaisarviointi
  • 5 Post doctoral mentor
  • 3 Väitöskirjan esitarkastaja
  • 2 Tieteellisen kokooma- tai konferenssiteoksen toimittaja
  • 1 Konsultointi
  • 1 Erikoisnumeron toimittaja
  • 1 Vastaväittäjä
  • 1 Väitöskirjan ohjaaja tai sivuohjaaja
  • 1 Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
  • 1 Jäsenyys tai muu rooli suomalaisessa tai kansainvälisessä julkisen sektorin organisaatiossa

Aktiviteetteja vuodessa

Hakutulokset

• 28th Nordic Congress of Mathematicians

  Juha Kontinen (New classification)

  tammikuuta 2020 → elokuuta 2021

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean jäsen)

  tammikuuta 2020 → heinäkuuta 2020

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• 30 Years of Finite Model Theory in Finland

  Juha Kontinen (Järjestäjätoimikunnan jäsen)

  tammikuuta 2020 → elokuuta 2021

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Osallistuja)

  16 helmikuuta 2020 → 20 helmikuuta 2020

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean jäsen)

  toukokuuta 2019 → huhtikuuta 2020

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• European Summer School in Logic, Language and Information 2020

  Juha Kontinen (Tieteellisen komitean jäsen)

  tammikuuta 2019 → …

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  7 toukokuuta 2019 → 11 toukokuuta 2019

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Dagstuhl Seminar 19031: Logics for Dependence and Independence

  Juha Kontinen (Osallistuja)

  13 tammikuuta 2019 → 18 tammikuuta 2019

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Horizons of Logic, Computation and Definability

  Juha Kontinen (Osallistuja)

  4 heinäkuuta 2018 → 6 heinäkuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logical Foundations of Computer Science 2018

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  7 tammikuuta 2018 → 11 tammikuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Matematiikan päivät 2018

  Juha Kontinen (Osallistuja)

  4 tammikuuta 2018 → 5 tammikuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  14 toukokuuta 2018 → 18 toukokuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Matematiikan päivät 2018

  Juha Kontinen (Tieteellisen komitean jäsen)

  5 tammikuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean puheenjohtaja)

  toukokuuta 2018 → toukokuuta 2020

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Departmental colloquium

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  31 tammikuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logical Aspects of Quantum Information

  Juha Kontinen (Osallistuja)

  30 heinäkuuta 2018 → 3 elokuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Symposium on Theoretical Aspects of Computer Science

  Juha Kontinen (Puhuja: pääpuhuja (keynote))

  8 maaliskuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean jäsen)

  tammikuuta 2017 → toukokuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logic Colloquium 2017

  Juha Kontinen (Osallistuja)

  14 elokuuta 2017 → 18 elokuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Symposium on Theoretical Aspects of Computer Science

  Juha Kontinen (Tieteellisen komitean jäsen)

  huhtikuuta 2017 → 3 maaliskuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Dagstuhl Seminar 19031: Logics for Dependence and Independence

  Juha Kontinen (Järjestäjätoimikunnan jäsen)

  15 huhtikuuta 2017 → 18 tammikuuta 2019

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  7 toukokuuta 2017 → 11 toukokuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Algorithmic Model Theory Meeting 2017

  Juha Kontinen (Osallistuja)

  7 maaliskuuta 2017 → 8 maaliskuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• 27th EACSL Annual Conference on Computer Science Logic

  Juha Kontinen (Tieteellisen komitean jäsen)

  elokuuta 2017 → kesäkuuta 2018

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Games for Logic and Programming Languages XII

  Juha Kontinen (Osallistuja)

  22 huhtikuuta 2017 → 23 huhtikuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Scandinavian Logic Society Summer School in Logic 2017

  Juha Kontinen (Tieteellisen komitean jäsen)

  elokuuta 2016 → …

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Games for Logic and Programming Languages XII

  Juha Kontinen (Tieteellisen komitean puheenjohtaja)

  elokuuta 2016 → 23 huhtikuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  7 maaliskuuta 2016 → 11 maaliskuuta 2016

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean jäsen)

  8 joulukuuta 2016 → kesäkuuta 2017

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  21 syyskuuta 2015 → 23 syyskuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  24 elokuuta 2015 → 28 elokuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Circuits, Logic and Games

  Juha Kontinen (Osallistuja)

  27 syyskuuta 2015 → 2 lokakuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logics for Dependence and Independence

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  21 kesäkuuta 2015 → 26 kesäkuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Tieteellisen komitean jäsen)

  lokakuuta 2015 → …

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Computational Logic Day 2015

  Juha Kontinen (Osallistuja)

  8 joulukuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  3 marraskuuta 2014 → 7 marraskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logic Colloquium 2015

  Juha Kontinen (Järjestäjätoimikunnan jäsen)

  tammikuuta 2014 → 8 elokuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• KNAW Academy Colloquium Dependence Logic

  Juha Kontinen (Tieteellisen komitean jäsen)

  3 maaliskuuta 2014 → 5 maaliskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Student Colloquium of the Department of Mathematics and Statistics

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  24 maaliskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• KNAW Academy Colloquium Dependence Logic

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  3 maaliskuuta 2014 → 5 maaliskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

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

  Juha Kontinen (Puhuja: pääpuhuja (keynote))

  1 syyskuuta 2014 → 4 syyskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Foundations of Information and Knowledge Systems (FoIKS)

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  5 maaliskuuta 2014 → 7 maaliskuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Logics for Dependence and Independence (21-26.6.2015)

  Juha Kontinen (Tieteellisen komitean jäsen)

  heinäkuuta 2014 → 26 kesäkuuta 2015

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• The 9th Scandinavian Logic Symposium

  Juha Kontinen (Osallistuja)

  25 elokuuta 2014 → 27 elokuuta 2014

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Games for Logic and Programming Languages VIII

  Juha Kontinen (Tieteellisen komitean jäsen)

  18 heinäkuuta 2013 → 19 heinäkuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Computer Science Logic 2013

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  2 syyskuuta 2013 → 5 syyskuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Post Doc seminar

  Juha Kontinen (Puhuja: esitelmän pitäjä)

  13 marraskuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Dependence Logic: Theory and Applications

  Juha Kontinen (Tieteellisen komitean jäsen)

  10 helmikuuta 2013 → 15 helmikuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• Workshop on inquisitive logic and dependence logic

  Juha Kontinen (Osallistuja)

  17 kesäkuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

• The Fourteenth International Workshop on Logic and Computational Complexity

  Juha Kontinen (Puhuja: pääpuhuja (keynote))

  6 syyskuuta 2013

  Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen