Activities per year
Activities
- 2 results
Search results
-
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