Aktiviteter per år
Aktiviteter
Sökresultat
-
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Juha Kontinen (Medlem av vetenskaplig kommitté)
jan 2021 → feb 2022Aktivitet: 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 2022Aktivitet: 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 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Member of the doctoral thesis committee of Martin Lück
Juha Kontinen (Opponent)
9 jan 2020Aktivitet: Examinationstyper › Opponent i doktorsavhandling
-
PhD supervisor of Max Sandström
Juha Kontinen (Handledare)
feb 2020 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
PhD supervisor of Minna Hirvonen
Juha Kontinen (Bihandledare)
sep 2020 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
Supervisor of the Master's thesis of Tuukka Ylönen.
Juha Kontinen (Handledare)
jan 2020 → maj 2020Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
-
Leibniz University Hannover, Hannover, Germany
Juha Kontinen (Besökande forskare)
7 jan 2020 → 10 jan 2020Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
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 2020Aktivitet: 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 2021Aktivitet: 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 2020Aktivitet: 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 2021Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Bernd Finkbeiner
Juha Kontinen (Värd)
10 sep 2019 → 14 sep 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Jana Hofmann
Juha Kontinen (Värd)
10 sep 2019 → 14 sep 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
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
-
Jonni Virtema
Juha Kontinen (Värd)
16 dec 2019 → 20 dec 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Pre-examiner of the doctoral thesis of Martin Lück (Hanover, Germany)
Juha Kontinen (Förhandsgranskare)
sep 2019 → jan 2020Aktivitet: Examinationstyper › Förhandsgranskare av doktorsavhandling
-
Pietro Galliani
Juha Kontinen (Värd)
11 mar 2019 → 16 mar 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Supervisor of the Master's thesis of Minna Hirvonen
Juha Kontinen (Handledare)
aug 2019 → maj 2020Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
-
The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
Juha Kontinen (Talare: Presentation)
7 maj 2019 → 11 maj 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Jonni Virtema
Juha Kontinen (Värd)
9 sep 2019 → 18 sep 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Alessio Mansutti
Juha Kontinen (Värd)
4 nov 2019 → 6 nov 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
University of Hasselt
Juha Kontinen (Besökande forskare)
11 feb 2019 → 15 feb 2019Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Jonni Virtema
Juha Kontinen (Värd)
23 apr 2019 → 30 apr 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Yasir Mahmood
Juha Kontinen (Värd)
17 jun 2019 → 20 jun 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Stéphane Demri
Juha Kontinen (Värd)
4 nov 2019 → 6 nov 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Leibniz Universität Hannover
Juha Kontinen (Besökande forskare)
17 mar 2019 → 29 mar 2019Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Pietro Galliani
Juha Kontinen (Värd)
26 aug 2019 → 31 aug 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020),
Juha Kontinen (Medlem av vetenskaplig kommitté)
maj 2019 → apr 2020Aktivitet: 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 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Saarland University
Juha Kontinen (Besökande forskare)
2 jun 2019 → 5 jun 2019Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Arnaud Durand
Juha Kontinen (Värd)
23 apr 2019 → 30 apr 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Logical Foundations of Computer Science 2018
Juha Kontinen (Talare: Presentation)
7 jan 2018 → 11 jan 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Martin Lück
Juha Kontinen (Värd)
19 nov 2018 → 23 nov 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Jonni Virtema
Juha Kontinen (Värd)
9 aug 2018 → 10 aug 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Heribert Vollmer
Juha Kontinen (Värd)
26 nov 2018 → 30 nov 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Anselm Haak
Juha Kontinen (Värd)
12 mar 2018 → 16 mar 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Fabian Müller
Juha Kontinen (Värd)
12 mar 2018 → 16 mar 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Logical Aspects of Quantum Information
Juha Kontinen (Närvarande)
30 jul 2018 → 3 aug 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Annals of Mathematics and Artificial Intelligence (Tidskrift)
Juha Kontinen (Referentgranskare)
dec 2018 → …Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
The Eleventh International Symposium on Foundations of Information and Knowledge Systems
Juha Kontinen (Ordförande för vetenskaplig kommitté)
maj 2018 → maj 2020Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Post doc mentor of Miika Hannula
Juha Kontinen (Post doc mentor)
jun 2018 → …Aktivitet: Examinationstyper › Post doctoral mentor
-
Matematiikan päivät 2018
Juha Kontinen (Närvarande)
4 jan 2018 → 5 jan 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Swansea University
Juha Kontinen (Besökande forskare)
26 aug 2018 → 31 aug 2018Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Jonni Virtema
Juha Kontinen (Värd)
20 aug 2018 → 21 aug 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Arno Pauly
Juha Kontinen (Värd)
21 maj 2018 → 27 maj 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Matematiikan päivät 2018
Juha Kontinen (Medlem av vetenskaplig kommitté)
5 jan 2018Aktivitet: 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 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Heribert Vollmer
Juha Kontinen (Värd)
12 mar 2018 → 16 mar 2018Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Review of a research project application for FWF
Juha Kontinen (!!Consultant)
10 jan 2018Aktivitet: Konsulttyper › !!Consultancy