Activities per year
Activities
- 3 results
Search results
-
The philosophical roots of mathematical logic
Annika Kanckos (Invited speaker)
4 Apr 2022 → 6 Apr 2022Activity: Talk or presentation types › Invited talk
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Annika Kanckos (Scientific Committee Member)
11 Aug 2022Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Advances in Modal Logic 2020
Annika Kanckos (Member of organizing committee)
24 Aug 2020 → 28 Aug 2020Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars