Activities per year
Activities
- 100 - 110 out of 110 results
Search results
-
Studia Logica: an international journal for symbolic logic (Journal)
C. Witteveen (Editor)
2002 → …Activity: Publication peer-review and editorial work › Editorial activity
-
The Esiac-10 Algebraic Computer
C. Pronk (Speaker)
4 Oct 2021Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
UMAP 2009 (Event)
Geert-Jan Houben (Editor), Gord McCalla (Editor), Fabio Pianesi (Editor) & Massimo Zancanaro (Editor)
2009Activity: Publication peer-review and editorial work › Editorial activity
-
USING PEER ASSESSMENT IN INCLUSIVE DIGITAL EDUCATION
G.N. Saunders (Member), Marcus Specht (Contributor), G. van Helden (Contributor) & V. van der Werf (Contributor)
8 Aug 2023Activity: Other
-
Verification Mentoring Workshop 2023 - colocated with CAV'23
Burcu Kulahcioglu Ozkan (Organiser)
18 Jul 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
VMCAI'24 - The 25th International Conference on Verification, Model Checking, and Abstract Interpretation
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jan 2024 → 19 Jan 2024Activity: Participating in or organising an event › Participation in conference
-
VSTTE'23 - The 15th International Conference on Verified Software: Theories, Tools, and Experiments
Burcu Kulahcioglu Ozkan (Member of programme committee)
23 Oct 2023 → 24 Oct 2023Activity: Participating in or organising an event › Participation in conference
-
We can teach more than we can tell Combining Deliberate Practice, Embodied Cognition, and Multimodal Learning.
B.H. Limbu (Speaker), G. van Helden (Speaker) & Marcus Specht (Speaker)
13 Sept 2022Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
Women in RecSys - Keynote Series
M.S. Pera (Speaker)
6 Oct 2023Activity: Talk or presentation › Talk or presentation at a conference
-
Workshop on Adaptive and Reflective Middleware (Event)
J.S. Rellermeyer (Editor)
2017Activity: Publication peer-review and editorial work › Publication peer-review