Spring 2021

Theoretical Foundations of Computer Systems Boot Camp

Jan. 25Jan. 29, 2021

Add to Calendar


Pavol Černý (TU Wien), Thomas Colcombet (Université Paris Diderot - Paris 7), Marta Kwiatkowska (University of Oxford), Ruzica Piskac (Yale University), Moshe Vardi (Rice University)

The Boot Camp is intended to acquaint program participants with the key themes of the program. It will consist of five days of tutorial presentations.

All events take place in the Calvin Lab auditorium.

Further details about this boot camp will be posted in due course. Enquiries may be sent to the organizers tfcs2021 [at] (at this address).

Registration is required to attend this boot camp. Space may be limited, and you are advised to register early. The link to the registration form will appear on this page approximately 10 weeks before the boot camp. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel.