Department of Computer Science

Activities

Activities per year 2014 2018 2022 2023

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

Activities per year

Search results

• Verantwoorde AI voor gemeenten

  Reijer Passchier (Organiser), Vera Claassens (Organiser), Martine Hermans (Organiser) & Martijn van Otterlo (Organiser)

  7 Feb 2023

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

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

  Tobias Kappé (Speaker)

  4 Apr 2023

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

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

  Tobias Kappé (Speaker)

  28 Mar 2023

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

• University of Warsaw

  Tobias Kappé (Visiting researcher)

  6 Feb 2023 → 10 Feb 2023

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

• Machines: Machinery and Automation (Journal)

  Frouke Hermens (Peer reviewer)

  2023

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

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

  Tobias Kappé (Participant / Attendee)

  3 Apr 2023 → 6 Apr 2023

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

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

  Frouke Hermens (Speaker)

  26 Jan 2023

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

• Traceable Laws

  Lloyd Rutledge (Organiser), Stef Joosten (Organiser) & Litska Strikwerda (Organiser)

  25 May 2023

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

• Friedrich-Alexander-Universitat Erlangen-Nurenberg

  Tobias Kappé (Visiting researcher)

  10 Oct 2022 → 14 Oct 2022

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

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

  Tobias Kappé (Peer reviewer)

  Nov 2022

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

• Workshop on Privacy in the Electronic Society (Event)

  Hugo Jonker (Peer reviewer)

  7 Nov 2022

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

• SN Computer Science (Journal)

  Stef Joosten (Editor) & Ella Roubtsova (Editor)

  2022 → 2023

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

• The Web Conference 2023 (Event)

  Hugo Jonker (Member of editorial board)

  2022 → …

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

• 26th International Conference on Foundations of Software Science and Computation Structures (Event)

  Tobias Kappé (Peer reviewer)

  Nov 2022

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

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

  Frouke Hermens (Invited speaker)

  25 Oct 2022

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

• Behavior Research Methods (Journal)

  Frouke Hermens (Editor)

  2022 → …

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

• Journal of Computer and System Sciences (Journal)

  Tobias Kappé (Peer reviewer)

  Nov 2022

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

• Visual Cognition (Journal)

  Frouke Hermens (Editor)

  2022 → …

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

• Formal Methods in System Design (Journal)

  Joshua Moerman (Peer reviewer)

  10 Aug 2022

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

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

  Hugo Jonker (Member of editorial board)

  2022

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

• The 11th Computer Science Education Research Conference

  Ebrahim Rahimi (Organiser) & Sylvia Stuurman (Organiser)

  21 Nov 2022

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

• 16th International Conference on Grammatical Inference

  Tobias Kappé (Member of programme committee)

  20 Jun 2022 → 23 Jun 2023

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

• University of Amsterdam

  Tobias Kappé (Employee at external organisation)

  5 Sept 2022 → …

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

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

  Jesse Heyninck (Speaker)

  21 Jul 2022

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

• Cognitive Aspects of Knowledge Representation

  Jesse Heyninck (Organiser), Thomas Meyer (Organiser), Matthias Thimm (Organiser), Gabriele Kern-Isberner (Organiser) & Marco Ragni (Organiser)

  23 Jul 2022

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

• Science of Computer Programming (Journal)

  Joshua Moerman (Peer reviewer)

  20 Apr 2022

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

• Een late diagnose, wat overkomt je dan?

  Sylvia Stuurman (Speaker)

  25 Nov 2022

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

• From smart to secure contracts: automated security assessment and improvement of Ethereum smart contracts

  Hugo Jonker (Assessment committee member)

  2022

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

• Mathematical Structures in Computer Science (Journal)

  Tobias Kappé (Peer reviewer)

  Nov 2022

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

• 34th International Conference on Computer Aided Verification (Event)

  Joshua Moerman (Peer reviewer)

  18 Mar 2022

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

• The 16th Bayesian Modelling Applications Workshop

  Arjen Hommersom (Chair), V Anne Smith (Chair) & Charles Twardy (Chair)

  5 Aug 2022

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

• Vakdidactiekdag Informatica

  Ebrahim Rahimi (Organiser) & Erik Barendsen (Organiser)

  19 May 2022

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

• Possibilistic logic, argumentation and conditionals

  Jesse Heyninck (Invited speaker)

  24 Aug 2022

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

• Sustainability (Switzerland) (Journal)

  Ebrahim Rahimi (Peer reviewer)

  24 Oct 2022

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

• How to use twitter whilst ensuring privacy

  Hugo Jonker (Speaker)

  14 Jul 2022

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

• Leapfrog: Certified Equivalence for Protocol Parsers

  Tobias Kappé (Speaker)

  11 Oct 2022

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

• ICT with industry

  Tanja Vos (Organiser)

  2022

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

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

  Tanja Vos (Chair)

  4 Apr 2022 → 13 Apr 2022

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

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

  Hugo Jonker (Member of editorial board)

  2022 → …

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

• Vakdidactiekdag Informatica

  Ebrahim Rahimi (Organiser) & Erik Barendsen (Organiser)

  22 Sept 2022

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

• Vakdidactiekdag Informatica

  Ebrahim Rahimi (Organiser) & Erik Barendsen (Organiser)

  15 Mar 2022

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

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

  Joshua Moerman (Peer reviewer)

  26 Apr 2022 → 23 Sept 2022

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

• International Journal of Digital Content Management (Journal)

  Ebrahim Rahimi (Peer reviewer)

  28 Mar 2022

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

• (Probabilistic) Guarded Kleene Algebra with Tests

  Tobias Kappé (Speaker)

  22 Oct 2022

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

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

  Hugo Jonker (Member)

  2022 → …

  Activity: Membership types › Membership of network › Academic

• Learning and Automata workshop

  Joshua Moerman (Member of programme committee)

  2 Feb 2022 → 4 Jul 2022

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

• Informatics (Journal)

  Ebrahim Rahimi (Peer reviewer)

  15 Aug 2022

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

• Journal of Experimental Psychology-Human Perception and Performance (Journal)

  Frouke Hermens (Editor)

  2022 → …

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

• Attention Perception & Psychophysics (Journal)

  Frouke Hermens (Editor)

  2022 → …

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

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

  Joshua Moerman (Member of programme committee)

  26 Apr 2022 → 23 Sept 2022

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