Vertex RE

Software Analysis and Security Services

Dates: November 6th-9th 2017 (4 days). The course will run from 9am to approximately 5.30pm each day, with an hour for lunch. When you arrive at the venue inform the staff at reception that you are there for the 'Advanced Tool Development with SMT Solvers' course and they will show you where to go. 
Venue: Imparando, 56 Commercial Rd, Whitechapel, London E1 1LP, UK
Hotels: There are a number of hotels within walking distance of the venue and, with a tube station nearby, there is the option of staying elsewhere in London. The closest hotel we have personal experience with is the Holiday Inn on Cavell St, which is a modern 'business' hotel approximately 10-15 minutes walk from the venue. 
Preparation: The course material is intended to be self-contained and thus it is not necessary to read up on SMT-based program analysis ahead of time. It is important to be comfortable reading and writing Python, reading small snippets of x86 assembly and working on the command line on Linux.
Hardware: The venue will provide desktop computers, but if you wish to bring your own laptop that is also OK. The class exercises will be distributed on a virtual machine built with the latest version of VMWare, so if you bring your own hardware please ensure it is capable of running such a VM with at least 4GB of RAM and two cores. 
Contact: If you have any questions or queries email us at