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
Schedule
See the schedule and abstracts.
Organising Committee
- B. SrivathsanChennai Mathematical Institute
- Léonard BriceInstitute of Science and Technology Austria
- Aalok ThakkarAshoka University