Dutch Formal Methods Day 2025
Thu 26 Jun 2025 Amsterdam, Netherlands
  • Attending
    • Venue: Lab42 - University of Amsterdam
  • Track/Call
  • Organization
      • Dutch Formal Methods Day 2025 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 2025 (series) / Andrés Goens
  • conf.research.org general profile
  • CGO 2023 profile
  • CGO 2024 profile
  • CGO 2025 profile
  • Dutch Formal Methods Day 2024 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • PLNL 2024 profile
  • POPL 2024 profile
Andrés Goens

Registered user since Fri 31 Mar 2023

Name:Andrés Goens
Country:Netherlands
Affiliation:University of Amsterdam
Personal website: https://goens.org
GitHub: https://github.com/goens

Contributions

2025

Dutch Formal Methods Day

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

Show activities from other conferences

Share
Using general profile
xSat 24 May 23:25

Dutch Formal Methods Day 2025

contact form

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

Tracks

Dutch Formal Methods Day 2025

Attending

Venue: Lab42 - University of Amsterdam
Sign Up