AbSynth 2015
Abstraction and Synthesis of Correct-by-Construction Robotics Software: Reuniting Formal Methods with Model-Driven Software Engineering.
Home
Submissions
Invited Speakers
Important Dates
Program
Past Events
Important Dates
Submission Deadline (Extended): May 11, 2015
Acceptance Notifications: May 20, 2015
Camera Ready Submission Deadline: June 1, 2015
Workshop Date: July 16-17, 2015