Haskell Utrecht Meetup in March

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.