The working group on Semantics and Verification started on November 27th 2014. It takes place at LIAFA and PPS, room 3052, in the Sophie Germain building, on Thursday at 4pm.

Email me if you want to be added to the mailing list.

The shared calendar is here (ICS format, email me if you need another).