Keynote Speakers Speaker: Thomas Henzinger, Institute of Science and Technology Austria, Austria Speaker: Edward A. Lee, UC Berkeley, US