<div dir="ltr">Hi, everyone!<div><br></div><div>The text and resources for the first assignment [1] were published. The assignment's deadline is Friday, 18th of November 2015, 23:00. The deadline is hard.<br><br>We will get back with information on submission after the vmchecker configuration [2].<br><br>[1] <a href="http://ocw.cs.pub.ro/courses/cns/assignments/assignment-1">http://ocw.cs.pub.ro/courses/cns/assignments/assignment-1</a><br>[2] <a href="https://vmchecker.cs.pub.ro/ui/">https://vmchecker.cs.pub.ro/ui/</a><br><br>--<br>Irina</div></div>