VEMDP 2014

Verification of Engineered Molecular Devices and Programs

July 17, 2014, Vienna, Austria
An affiliated workshop of CAV 2014
Submission deadlineMay 2, 2014
NotificationMay 18, 2014
Camera readyJune 1, 2014
Early registration deadlineJune 8, 2014

Venue Information

The VEMDP workshop, along with its affiliated conference CAV 2014, is being hosted as part of the Vienna Summer of Logic (VSL) 2014 at the Vienna University of Technology (TU Vienna).

Please check in at the registration desk prior to the start of the workshop, in order to pick up your name badge and VSL materials. The registration desk is located in the Freihaus Building (FH), on the first floor, in front of Hörsaal 1 (Area C, Red). It opens at 8:00am each morning.

Below is the room information for the workshop.

BuildingAreaFloorRoom
Freihaus (FH)Area B, Yellow10Seminarraum 136

More information can be found on the venue page of the main VSL website.