Activities
2022
The Computational Complexity of ArimaaRin, B. (Speaker)
29 Sept 2022
2018
The Complexity of Infinitary Decision ProblemsRin, B. (Invited speaker)
6 Mar 2018
The Computability and Complexity of InfinityRin, B. (Invited speaker)
22 Jan 2018
, CafeKI lezing; Commissie voor Academische en BedrijfsContacten van USCKI Incognito (Utrecht)2017
Koepke machines and satisfiability for infinitary propositional languagesRin, B. (Invited speaker)
14 Jun 2017
, Computability in Europe 2017Utrecht Philosophy Lecture SeriesRin, B. (Participant)
2017
2016
Provability and Modal LogicRin, B. (Participant)
15 Dec 2016
Colloquium Logicum 2016Rin, B. (Invited speaker)
12 Sept 2016
Computability in Europe 2016Rin, B. (Invited speaker)
30 Jun 2016
ILLC Midsummer Colloquium 2016Rin, B. (Invited speaker)
17 Jun 2016
Workshop in honour of Jouku VäänänenRin, B. (Participant)
17 May 2016
Guest LecturerRin, B. (Invited speaker)
11 Apr 2016
, AUC Guest LectureClosing Workshop: The Roots of DeductionRin, B. (Participant)
7 Apr 2016 → 9 Apr 2016