Aktiviteter per år
Aktiviteter
- 1 - 50 av 114 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
-
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
-
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. 2024Aktivitet: 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 2024Aktivitet: 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. 2024Aktivitet: 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 2024Aktivitet: 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 → 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
-
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
-
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
-
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
-
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. 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)
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
-
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
-
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
-
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 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
Kontinen, J. (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
-
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 2019Aktivitet: 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. 2019Aktivitet: 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. 2020Aktivitet: 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. 2018Aktivitet: 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 2020Aktivitet: 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 2018Aktivitet: 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 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: 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 2017Aktivitet: 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. 2017Aktivitet: 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. 2017Aktivitet: 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 2018Aktivitet: 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 2017Aktivitet: 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 2018Aktivitet: 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 2017Aktivitet: 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. 2019Aktivitet: 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 2018Aktivitet: 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. 2017Aktivitet: 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 2016Aktivitet: 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 2017Aktivitet: 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. 2015Aktivitet: 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. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium