Aktiviteter per år
Aktiviteter
- 1 - 50 av 275 resultat
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 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Member of the doctoral thesis jury of Dylan Bellier (ENS de Rennes)
Kontinen, J. (Opponent)
4 nov. 2024Aktivitet: Examinationstyper › Opponent i doktorsavhandling
-
Matematiikan päivät 2024
Kontinen, J. (Närvarande)
4 jan. 2024 → 5 jan. 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
University of Tartu, Tartu, Estonia
Kontinen, J. (Besökande forskare)
30 sep. 2024 → 2 okt. 2024Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Annual AAAI Conference on Artificial Intelligence
Kontinen, J. (Poster presentation)
21 feb. 2024 → 29 feb. 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Arne Meier
Kontinen, J. (Värd)
9 dec. 2024 → 13 dec. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Laura Strieker
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Universit ́e de Paris
Kontinen, J. (Besökande forskare)
26 mars 2024 → 28 mars 2024Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Fan Yang
Kontinen, J. (Värd)
13 maj 2024 → 18 maj 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Dagstuhl Seminar 24111:Logics for Dependence and Independence: Expressivity and Complexity
Kontinen, J. (Medlem i organisationskommitté)
10 mars 2024 → 15 mars 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Vivian Holzapfel
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Leibniz University Hannover, Hannover, Germany
Kontinen, J. (Besökande forskare)
5 maj 2024 → 8 maj 2024Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Fan Yang
Kontinen, J. (Värd)
19 aug. 2024 → 23 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
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
-
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
-
Supervisor of the Master's thesis of Axel Hackman
Kontinen, J. (Handledare)
2024 → …Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
-
Scandinavian Logic Symposium
Kontinen, J. (Närvarande)
12 juni 2024 → 16 juni 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Nicolas Fröhlich
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Mathematica Scandinavica (Tidskrift)
Kontinen, J. (Redaktör)
sep. 2024 → …Aktivitet: Typer för peer review av output och redaktionsarbete › Redaktör för vetenskaplig tidskrift
-
Timon Barlag
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Leibniz University Hannover, Hannover, Germany
Kontinen, J. (Besökande forskare)
20 okt. 2024 → 25 okt. 2024Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
13th International Symposium on Foundations of Information and Knowledge Systems
Kontinen, J. (Närvarande)
7 apr. 2024 → 11 apr. 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Manon Blanc
Kontinen, J. (Värd)
28 okt. 2024 → 30 okt. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Kai Sauerwald
Kontinen, J. (Värd)
1 apr. 2024 → 7 apr. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Univ of Auckland, Auckland, New Zealand
Kontinen, J. (Besökande forskare)
29 jan. 2024 → 9 feb. 2024Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Logics in team semantics
Kontinen, J. (!!Speaker)
3 juni 2023Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Scandinavian Logic Symposium
Kontinen, J. (Medlem av vetenskaplig kommitté)
2023 → 2024Aktivitet: 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 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Leibniz University Hannover, Hannover, Germany
Kontinen, J. (Besökande forskare)
23 jan. 2023 → 3 feb. 2023Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Universit ́e de Paris
Kontinen, J. (Besökande forskare)
27 feb. 2023 → 10 mars 2023Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Annual conference of the European Association for Computer Science Logic
Kontinen, J. (Medlem av vetenskaplig kommitté)
mars 2023 → feb. 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Arne Meier
Kontinen, J. (Värd)
14 nov. 2022 → 18 nov. 2022Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
The Twenty second International Workshop on Logic and Computational Complexity
Kontinen, J. (Ordförande för vetenskaplig kommitté)
feb. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Complexity aspects of logics in team semantics
Kontinen, J. (!!Speaker)
14 feb. 2022 → 18 feb. 2022Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Pre-examiner of the doctoral thesis of Jana Hofmann (Universität des Saarlandes)
Kontinen, J. (Handledare)
12 dec. 2022Aktivitet: Examinationstyper › Förhandsgranskare av doktorsavhandling
-
Leibniz University Hannover, Hannover, Germany
Kontinen, J. (Besökande forskare)
26 sep. 2022 → 30 sep. 2022Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Opponent of the doctoral dissertation of Miikka Vilander (Tampere)
Kontinen, J. (Handledare)
23 sep. 2022Aktivitet: Examinationstyper › Opponent i doktorsavhandling
-
PhD supervisor of Teemu Hankala
Kontinen, J. (Bihandledare)
1 jan. 2022 → 31 dec. 2025Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
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
-
34th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION
Kontinen, J. (Ordförande för vetenskaplig kommitté)
sep. 2022 → aug. 2023Aktivitet: 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 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Jonni Virtema
Kontinen, J. (Värd)
8 aug. 2021 → 13 aug. 2021Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)
Kontinen, J. (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
-
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Kontinen, J. (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
-
Jonni Virtema
Kontinen, J. (Värd)
6 dec. 2021 → 14 dec. 2021Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Member of the doctoral thesis committee of Martin Lück
Kontinen, J. (Opponent)
9 jan. 2020Aktivitet: Examinationstyper › Opponent i doktorsavhandling
-
28th Nordic Congress of Mathematicians
Kontinen, J. (New classification)
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)
Kontinen, J. (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
-
PhD supervisor of Max Sandström
Kontinen, J. (Handledare)
feb. 2020 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling