September 2017
Board Games Evening w/ Chinese food 9/19/17
We're going to play board games with the FMF!
Drinks at Café Jut en Jul 9/13/17
Join us for some free drinks after the Nixx.
Nixx-Bios: The Big Lebowski 9/13/17
This month we will watch 'The Big Lebowski'. Pizza for €3!
Borrellecture: Brian Hare 9/12/17
Join our borrellecture by Brian Hare from KVI-CART.
Kamerborrel?! 9/8/17
Come to the room for free drinks!
General Members Assembly 9/7/17
The GMA is one of the most important means of discussing the policy of the FMF.
July 2017
Hitchhiking contest to Luxembourg 7/1/17
Join and become the best hitchhiker of the FMF
June 2017
Bakborrel 6/16/17
General Members Assembly 6/15/17
Documents for the GMA are found at MijnFMF - > My Drive - >Public ->GMA documents.
TUESDAY LECTURE - THE CORRECTNESS PROBLEM IN CS 6/13/17
In computer science, the correctness problem is concerned with checking that computer systems behave as intended. Given the huge cost of bugs and defects in critical software infrastructures, the problem of program correctness has been intensively studied over last few decades.