Aktiviteetteja vuodessa
Aktiviteetit
- 8 tulosta
Hakutulokset
-
Elina Nieminen: Hyperbolisen tason geometriaa Tarskin aksioomien avulla
Kangaslampi, R. (Examiner) & Luosto, K. (Examiner)
helmik. 2022 → huhtik. 2022Aktiviteetti: Maisteriopiskelijoiden ohjaaminen
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
4 elok. 2015Aktiviteetti: Konferenssiesitelmä
-
Dimension theory for Modal Logics
Kerkko Luosto (Speaker)
23 kesäk. 2015Aktiviteetti: Konferenssiesitelmä
-
Logics extended with embedding-closed quantifiers
Kerkko Luosto (Speaker)
16 helmik. 2015Aktiviteetti: Konferenssiesitelmä
-
Lisensiaatintutkimuksen tarkastaminen
Kerkko Luosto (Examiner)
8 tammik. 2014 → …Aktiviteetti: Lisensiaattitutkielman tekijän ohjaaja
-
Ehrenfeucht and pebble games in discrete mathematics
Kerkko Luosto (Keynote speaker)
27 kesäk. 2013Aktiviteetti: Kutsuttu esitelmä
-
Unary quantifiers on finite and infinite structures
Kerkko Luosto (Speaker)
21 elok. 2012Aktiviteetti: Konferenssiesitelmä
-
Symposium on theoretical aspects of computer science (Lehti)
Kerkko Luosto (Arvioija)
2012Aktiviteetti: Tieteellisen lehden refereenä toimiminen