Joshua Moerman

Activities

Activities per year 2020 2022 2023 2024 2024

• 10 Peer-review (publication)
• 4 Organising an event
• 2 Membership of committee
• 1 Talk or presentation (not at a conference)

Activities per year

Search results

• 33rd EACSL Annual Conference on Computer Science Logic 2025 (Event)

  Moerman, J. (Peer reviewer)

  7 Oct 2024

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

• Journal of the Acm (Journal)

  Moerman, J. (Peer reviewer)

  29 Oct 2024

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

• Learning and Automata 2024

  Moerman, J. (Organiser)

  Jan 2024 → Jul 2024

  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

• 16th International Conference on Grammatical Inference

  Moerman, J. (Member of program 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

• 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

• 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

• 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

• Learning and Automata workshop

  Moerman, J. (Member of program committee)

  2 Feb 2022 → 4 Jul 2022

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

• Science of Computer Programming (Journal)

  Moerman, J. (Peer reviewer)

  20 Apr 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

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

  Moerman, J. (Member of program committee)

  26 Apr 2022 → 23 Sept 2022

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

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

  Moerman, J. (Peer reviewer)

  26 Apr 2022 → 23 Sept 2022

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

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

  Moerman, J. (Peer reviewer)

  18 Mar 2022

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

• Steering committee of the international conference on grammatical inference (ICGI) (External organisation)

  Moerman, J. (Member)

  27 Sept 2021 → …

  Activity: Membership types › Membership of committee › Academic

• The 15th International Conference on Grammatical Inference (Event)

  Moerman, J. (Member)

  20 Jan 2020 → 27 Aug 2021

  Activity: Membership types › Membership of committee › Academic