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

• 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 (Event)

  Moerman, J. (Peer reviewer)

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

• 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

• 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 (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