Dear all,
We are starting two big projects on security at Chalmers. Both of them
apply programming languages technology to solve security problems. One
of them is based on Haskell. Details below.
Best,
/Alejandro
** Apologies for multiple copies **
The Computer Science and Engineering
EPIT 2018 Software Verification Spring School
Last call for participation :
** Pre-registration closes on April 13th.
** Please pre-register now (it takes 1 mn),
** validate and pay later.
** Full program announced.
=