Dutch Formal Methods Day 2024
Tue 16 Apr 2024 Utrecht, Netherlands
  • Attending
    • Venue: University Library Utrecht Science Park
  • Program
    • Dutch Formal Methods Day Program
    • Your Program
    • Tue 16 Apr
  • Track/Call
  • Organization
      • Dutch Formal Methods Day 2024 Committees
      • Track Committees
      • Organizing Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • Dutch Formal Methods Day 2025
    • Dutch Formal Methods Day 2024
  • Sign in
  • Sign up
Dutch Formal Methods Day 2024 (series) / Wouter Swierstra
  • conf.research.org general profile
  • APLAS 2020 profile
  • FLOPS 2022 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2024 profile
  • PLNL 2018 profile
  • PLNL 2019 profile
  • PLNL 2023 profile
  • PLNL 2024 profile
  • POPL 2017 profile
  • SPLASH 2014 profile
  • SPLASH 2022 profile
Wouter Swierstra

Registered user since Fri 4 Mar 2016

Name:Wouter Swierstra
Country:Netherlands
Affiliation:Utrecht University, Netherlands
Personal website: http://www.staff.science.uu.nl/~swier004

Contributions

2024

Dutch Formal Methods Day

  • Committee Member in Organizing Committee within the Dutch Formal Methods Day 2024-track

Show activities from other conferences

Share
Dutch Formal Methods Day 2024-profile
View general profile
xFri 20 Jun 10:17

Dutch Formal Methods Day 2024

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Dutch Formal Methods Day 2024

Attending

Venue: University Library Utrecht Science Park
Sign Up