The course has a majordomo mailing list formal-methods@imit.kth.se.
In order to join the list, send an e-mail to majordomo@imit.kth.se with:
subscribe formal-methods <your e-mail adress>in the body of the message.
A confirmation message will be sent to you when your subscription request is approved.