VErification, Logic, and CRyptOgraphy
December 11 · Chennai Mathematical Institute
VeLCrO is a one-day workshop on research in formal verification, logic, cryptography, and other areas of computer science. The day brings together researchers and students working in these areas for a program of talks and discussion.
- Date
- December 11
- Venue
- Chennai Mathematical Institute, Chennai
Registration
Speakers and schedule
See the list of talks. The schedule will be announced soon.
Organising Committee
- B. SrivathsanChennai Mathematical Institute
- Léonard BriceInstitute of Science and Technology Austria
- Aalok ThakkarAshoka University