Tuesday 24 May 2022
See awk-nrw website for more (in German)
More recent news
Mon 28 Nov 2022Paper accepted: 'PFL: a Probabilistic Logic for Fault Trees'- Thu 24 Nov 2022Paper accepted: VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs
- Fri 14 Oct 2022Welcome to two new FMT members: Wangyi Shang and Linpeng Zhang
- Fri 30 Sep 2022Hajo Molegraaf FMT's new Research Fellow
- Thu 29 Sep 2022Marielle Stoelinga wins award for 20-year-old scientific publication
