A Theory of Algorithmic Improvisation
Speaker:
Sanjit A. Seshia
(University of California at Berkeley
Department of Electrical Engineering
and Computer Sciences
253 Cory Hall
Berkeley, CA 94720-1770
United States of Anerica
)
Organiser:
Prahladh Harsha
Date:
Monday, 11 Jan 2016, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)