Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Visitor: Rance Cleaveland

Posted on June 26, 2022October 25, 2022 by Tim Willemse

Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.

Posted in People, Research
Post navigation
Best Artefact award at FORTE 2022 →
← Paper accepted for presentation at FMICS 2022

Agenda

February 2023
MTWTFSS
   1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28      
« Jan   Mar »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box