Aktiviteetteja vuodessa
Aktiviteetit
- 3 tulosta
Hakutulokset
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Tieteellisen komitean jäsen)
11 elok. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
The philosophical roots of mathematical logic
Kanckos, A. (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Advances in Modal Logic 2020
Kanckos, A. (Järjestäjätoimikunnan jäsen)
24 elok. 2020 → 28 elok. 2020Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen