Speaker: Prof. Christine Choppy, University Paris Nord, France
Topic: Systematic development of state machines (with formal background)
Date: 2:00pm – 3:00pm, April 20th 2017
Location: Meeting Room, ICTLab, Room 506, USTH building, 18 Hoang Quoc Viet, Cau Giay, Hanoi.
![](http://ictlab.usth.edu.vn/wp-content/uploads/2017/04/IMG_20170420_142507361_-1024x576.jpg)