Department of Computer Science

Activities

Activities per year 2014 2018 2022 2023 2023

• 39 Talk or presentation (not at a conference)
• 38 Peer-review (publication)
• 33 Organising an event
• 14 Editorial work journal
• 44 More
  • 13 PhD examination
  • 9 Conference contribution (without a publication)
  • 6 Attending an event
  • 4 Editorial work book
  • 4 Membership of committee
  • 4 Visiting researcher
  • 1 Webmaster / website management
  • 1 PhD supervision at external institution
  • 1 Membership of network
  • 1 External appointment

Activities per year

Search results

• Traceable Laws

  Rutledge, L. (Organiser), Joosten, S. (Organiser) & Strikwerda, L. (Organiser)

  25 May 2023

  Activity: Attending or organising an event types › Organising an event › Professional

• Reykjavik University

  Kappé, T. (Visiting researcher)

  28 Aug 2023 → 1 Sept 2023

  Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic

• The Weisfeiler-Leman algorithm from a coalgebraic perspective

  Moerman, J. (Speaker)

  23 Aug 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Learning Temporal Bayesian Networks for Understanding Effects of Health Interventions

  Hommersom, A. (Speaker)

  27 Jul 2023

  Activity: Talk or presentation types › Conference contribution (without a publication) › Academic

• Machines: Machinery and Automation (Journal)

  Hermens, F. (Peer reviewer)

  2023

  Activity: Publication peer-review and editorial work types › Editorial work journal › Academic

• University of Cape Town

  Heyninck, J. (Visiting researcher)

  1 Jul 2023 → 30 Jun 2028

  Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  16 Jun 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• 16th International Conference on Grammatical Inference

  Moerman, J. (Member of programme committee)

  2023

  Activity: Attending or organising an event types › Organising an event › Academic

• 16th International Conference on Grammatical Inference (Event)

  Moerman, J. (Peer reviewer)

  30 Apr 2023

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Cognitive Aspects of Knowledge Representation

  Heyninck, J. (Organiser)

  4 Sept 2023

  Activity: Attending or organising an event types › Organising an event › Academic

• University of Warsaw

  Kappé, T. (Visiting researcher)

  6 Feb 2023 → 10 Feb 2023

  Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  4 Apr 2023

  Activity: Talk or presentation types › Conference contribution (without a publication) › Academic

• Reading committee member PhD examination at University of Milan (Università degli Studi di Milano)

  Hommersom, A. (Reading committee member)

  19 Nov 2023 → 1 Jul 2024

  Activity: PhD supervision and PhD examination types › PhD examination › Academic

• Verantwoorde AI voor gemeenten

  Passchier, R. (Organiser), Claassens, V. (Organiser), Hermans, M. (Organiser) & van Otterlo, M. (Organiser)

  7 Feb 2023

  Activity: Attending or organising an event types › Organising an event › Professional

• 20th International Conference on Relational and Algebraic Methods in Computer Science

  Kappé, T. (Participant / Attendee)

  3 Apr 2023 → 6 Apr 2023

  Activity: Attending or organising an event types › Attending an event › Academic

• Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (Event)

  Moerman, J. (Peer reviewer)

  8 Feb 2023

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Machine learning and deep learning for the analysis of behavioral data

  Hermens, F. (Speaker)

  26 Jan 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  28 Mar 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  6 Sept 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics

  Kappé, T. (Member of programme committee)

  27 Feb 2023 → 18 Sept 2023

  Activity: Attending or organising an event types › Organising an event › Academic

• Third International Workshop on Recent Advances in Concurrency and Logic

  Kappé, T. (Member of programme committee)

  9 Mar 2023 → 18 Sept 2023

  Activity: Attending or organising an event types › Organising an event › Academic

• 32nd EACSL Annual Conference on Computer Science Logic 2024 (Event)

  Moerman, J. (Peer reviewer)

  3 Oct 2023

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• The 10th Conference on Algebra and Coalgebra in Computer Science (Event)

  Moerman, J. (Peer reviewer)

  19 Apr 2023

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• 4th PhD Research Open University Meeting Information Systems

  Roelens, B. (Organiser), Kamminga, P. (Organiser), Martin, H. (Organiser), Sheikh Alishahi , M. (Organiser), Broekharst, D. (Organiser) & Bisschops, S. (Organiser)

  4 Nov 2023

  Activity: Attending or organising an event types › Organising an event › Academic

• Vakdidactiekdag Informatica

  Rahimi, E. (Organiser) & Barendsen, E. (Organiser)

  13 Dec 2022

  Activity: Attending or organising an event types › Organising an event › Academic

• Sustainability (Switzerland) (Journal)

  Rahimi, E. (Peer reviewer)

  24 Oct 2022

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• How to use twitter whilst ensuring privacy

  Jonker, H. (Speaker)

  14 Jul 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

  Heyninck, J. (Speaker)

  21 Jul 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• The 16th Bayesian Modelling Applications Workshop

  Hommersom, A. (Chair), Smith, V. A. (Chair) & Twardy, C. (Chair)

  5 Aug 2022

  Activity: Attending or organising an event types › Organising an event › Academic

• PLOS ONE (Journal)

  Hermens, F. (Peer reviewer)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• 16th International Conference on Grammatical Inference

  Kappé, T. (Member of programme committee)

  20 Jun 2022 → 23 Jun 2023

  Activity: Attending or organising an event types › Organising an event › Academic

• The 22nd edition of the Computer Security track (Event)

  Jonker, H. (Member of editorial board)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• 15th IEEE International Conference on Software Testing, Verification and Validation, ICST 2022

  Vos, T. (Chair)

  4 Apr 2022 → 13 Apr 2022

  Activity: Attending or organising an event types › Organising an event › Academic

• Journal of Eye Movement Research (Journal)

  Hermens, F. (Member of editorial board)

  2022 → …

  Activity: Publication peer-review and editorial work types › Editorial work journal › Academic

• Visual Cognition (Journal)

  Hermens, F. (Peer reviewer)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Formal Methods in System Design (Journal)

  Moerman, J. (Peer reviewer)

  10 Aug 2022

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• The 11th Computer Science Education Research Conference (Event)

  Rahimi, E. (Peer reviewer)

  21 Nov 2022

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• SN Computer Science (Journal)

  Joosten, S. (Editor) & Roubtsova, E. (Editor)

  2022 → 2023

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Eye movements during screen-based and real-world tasks

  Hermens, F. (Invited speaker)

  25 Oct 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Possibilistic logic, argumentation and conditionals

  Heyninck, J. (Invited speaker)

  24 Aug 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Een late diagnose, wat overkomt je dan?

  Stuurman, S. (Speaker)

  25 Nov 2022

  Activity: Talk or presentation types › Conference contribution (without a publication) › Professional

• The Web Conference 2023 (Event)

  Jonker, H. (Member of editorial board)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• 4th workshop on designing Security for the Web (Event)

  Jonker, H. (Member of editorial board)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Special Interest Group Cyber Security (SIG-CS) (External organisation)

  Jonker, H. (Member)

  2022 → …

  Activity: Membership types › Membership of network › Academic

• Learning and Automata workshop

  Moerman, J. (Member of programme committee)

  2 Feb 2022 → 4 Jul 2022

  Activity: Attending or organising an event types › Organising an event › Academic

• University of Amsterdam

  Kappé, T. (Employee at external organisation)

  5 Sept 2022 → …

  Activity: External appointment / Visiting an external institution types › External appointment › Academic

• International Journal of Digital Content Management (Journal)

  Rahimi, E. (Peer reviewer)

  28 Mar 2022

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• Attention Perception & Psychophysics (Journal)

  Hermens, F. (Peer reviewer)

  2022 → …

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic

• A Journey from Process Algebra via Timed Automata to Model Learning

  Moerman, J. (Member of programme committee)

  26 Apr 2022 → 23 Sept 2022

  Activity: Attending or organising an event types › Organising an event › Academic

• 27th European Symposium on Research in Computer Security (Event)

  Jonker, H. (Member of editorial board)

  2022

  Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic