Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Proceedings TACAS 2021 are online

Posted on April 2, 2021April 2, 2021 by Jan Friso Groote

The proceedings of TACAS 2021 are online (LNCS 12651 and LNCS 12652). Editors are J.F. Groote and K.G. Larsen. They are open access.

Posted in Research
Post navigation
Two Assistant Professor and/or Support Positions in FSA →
← Leo van Schooten graduated

Agenda

March 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 29 30 31   
« Feb   Apr »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box