Haskell Utrecht Meetup in March
Details
It is time for the next Haskell Utrecht meetup! This time around we will be returning to Channable - who have kindly offered to provide us with pizza.
Tentative agenda:
- 18:00: Doors open
- 18:30: Pizza
- 19:00: Talk: Rinus Plasmeijer - TOP Software
- 20:30: Talk: Alejandro Serrano Mena - Model exploration and verification with Alloy
- 22:00 Finish
We hope to see many of you then.