Oregon Programming Languages Summer School 2023

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period26 Jun 2023 → 9 Jul 2023
Event typeOther
LocationEugene, OR, United StatesShow on map

Keywords

  • Formal Verification
  • Programming Languages
  • Type Theory