Aktiviteetteja vuodessa
Aktiviteetit
- 1 - 50 osumaa 155 tuloksesta
Hakutulokset
-
Annals of Pure and Applied Logic (Lehti)
Väänänen, J. (Toimittaja (editor)), Yang, F. (Toimittaja (editor)) & Scott, P. (Toimittaja (editor))
2022Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Erikoisnumeron toimittaja
-
Seminar on internal categoricity with Jouko Väänänen
Väänänen, J. (Puhuja: pääpuhuja (keynote)), Hartimo, M. (Järjestäjätoimikunnan jäsen) & Saario, L. (Järjestäjätoimikunnan jäsen)
16 jouluk. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Hebrew University of Jerusalem
Väänänen, J. (Vieraileva tutkija)
25 marrask. 2019 → 10 tammik. 2020Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Rutgers State Univ, Rutgers State University
Väänänen, J. (Vieraileva tutkija)
1 syysk. 2019 → 21 marrask. 2019Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Internal categoricity
Väänänen, J. (Puhuja)
10 tammik. 2018Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Cantorin paratiisi ja matematiikan totuudet
Väänänen, J. (Puhuja)
19 tammik. 2018Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Some applications of team semantics
Väänänen, J. (Puhuja)
9 kesäk. 2017Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Inner models from extended logics
Väänänen, J. (Puhuja)
27 tammik. 2017Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Inner models from extended logics
Väänänen, J. (Puhuja)
24 helmik. 2017Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Quantum team logic
Väänänen, J. (Puhuja)
17 helmik. 2017Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
On the logic of dependence and independence
Väänänen, J. (Puhuja)
17 toukok. 2017Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
CRM IRP LARGE CARDINALS AND STRONG LOGICS
Väänänen, J. (Järjestäjätoimikunnan jäsen)
2016 → …Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Springer (Kustantaja)
Väänänen, J. (Toimituskunnan jäsen (member of editorial board))
2016 → 2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Julkaisusarjan toimittaja
-
Doctoral defense
Väänänen, J. (Ohjaaja)
2016Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
Notre Dame Journal of Formal Logic (Lehti)
Väänänen, J. (Arvioitsija (reviewer)) & Väänänen, J. A. (Toimituskunnan jäsen (member of editorial board))
2016 → 2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Tiedelehden toimittaja
-
Dedekind Lecture
Väänänen, J. (Puhuja: esitelmän pitäjä)
24 marrask. 2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Chair of the Organizing Committee of Logic Colloquium 2015
Väänänen, J. (Järjestäjätoimikunnan puheenjohtaja)
3 elok. 2015 → 8 elok. 2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Abel Committee (Ulkoinen yksikkö)
Väänänen, J. (Asiantuntija)
2015Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
INFTY Final Workshop
Väänänen, J. (Tieteellisen komitean jäsen)
4 maalisk. 2014 → 7 maalisk. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
KNAW Academy Colloquium chair
Väänänen, J. (Puheenjohtaja)
3 maalisk. 2014 → 6 maalisk. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
University of California, Santa Cruz
Väänänen, J. (Vieraileva tutkija)
25 huhtik. 2014 → 8 toukok. 2014Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Logic Colloquium 2014 invited speaker
Väänänen, J. (Puhuja: esitelmän pitäjä)
elok. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Institute of Seismology (Ulkoinen yksikkö)
Väänänen, J. (Puheenjohtaja)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli suomalaisessa tai kansainvälisessä julkisen sektorin organisaatiossa
-
Logic Colloquium 2015 Organizing Committee (Ulkoinen yksikkö)
Väänänen, J. (Puheenjohtaja)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Third East-Asian School on Logic, Language and Computation
Väänänen, J. (Järjestäjätoimikunnan jäsen)
2 heinäk. 2014 → 8 heinäk. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Joint Colloquium of the Computer Science Department and the Santa Cruz Linguistics & Philosophy Group
Väänänen, J. (Puhuja: esitelmän pitäjä)
30 huhtik. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Royal Dutch Academy of Science Academy Colloquium
Väänänen, J. (Puhuja: esitelmän pitäjä)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Referee of Doctoral Thesis
Väänänen, J. (Esitarkastaja)
2014Aktiviteetti: Tutkimustyypit › Väitöskirjan esitarkastaja
-
East-Asian Summer School of Logic
Väänänen, J. (Puhuja: esitelmän pitäjä)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
European Mathematical Foundation (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Mathematical Physics Seminar
Väänänen, J. (Puhuja: esitelmän pitäjä)
marrask. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
LERU, League of European Research Universities (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Opponent in Doctoral Defense
Väänänen, J. (Vastaväittäjä)
2014Aktiviteetti: Tutkimustyypit › Vastaväittäjä
-
Stefan Banach Center International Mathematical Center (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Mapping Traces: Representation from Categoricity to Definability
Väänänen, J. (Puhuja: esitelmän pitäjä)
11 marrask. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Philosophy Department, Tsinghua University
Väänänen, J. (Vieraileva tutkija)
2 heinäk. 2014 → 9 heinäk. 2017Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Helsinki Institute of Physics Board (Ulkoinen yksikkö)
Väänänen, J. (Puheenjohtaja)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli suomalaisessa tai kansainvälisessä julkisen sektorin organisaatiossa
-
Logic Colloquium 2015 Program Committee (Ulkoinen yksikkö)
Väänänen, J. (Jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
London Mathematical Society Invited Lecturer
Väänänen, J. (Puhuja: esitelmän pitäjä)
14 huhtik. 2014 → 17 huhtik. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Amsterdam Set Theory Workshop
Väänänen, J. (Puhuja: esitelmän pitäjä)
marrask. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
European Set Theory Society (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Stockholm logic seminar
Väänänen, J. (Puhuja: esitelmän pitäjä)
maalisk. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Helsinki Institute of Information Techonology (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli suomalaisessa tai kansainvälisessä julkisen sektorin organisaatiossa
-
Progress in Computer Science and Applied Logic, member of Editorial Board (Lehti)
Väänänen, J. (Toimituskunnan jäsen (member of editorial board))
2014Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Julkaisusarjan toimittaja
-
Jerusalem logic seminar
Väänänen, J. (Puhuja: esitelmän pitäjä)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Logic seminar
Väänänen, J. (Puhuja: esitelmän pitäjä)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
European Mathematical Society (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Scandinavian Logic Symposium
Väänänen, J. (Puhuja: pääpuhuja (keynote))
elok. 2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
University of Bogota, Faculty of Science
Väänänen, J. (Vieraileva tutkija)
6 marrask. 2014 → 13 marrask. 2014Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Supervising a doctoral student: Gianluca Paolini
Väänänen, J. (Ohjaaja)
1 syysk. 2013 → 31 jouluk. 2016Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja