Go Top
Skip to content (access key 's')
GENERAL INFO
About the Faculty
News
Magazine
CS Library
IT Services
Events
Branding
Useful Links
Contact Info
PEOPLE
Faculty
Faculty Management
Students
Administrative Staff
Phone Directory
Alumni
Faculty Positions
ACADEMICS
Courses
Teaching Schedule
Undergraduate Studies
Graduate Studies
RESEARCH
Research Areas
Research Labs & Centers
Theses & Tech Reports
Colloquia & Seminars
COMMUNITY
Industrial Affiliates
CS4people
SHE-S Student Community
Events
The Taub Faculty of Computer Science Events and Talks
How to Verify Computations without Reexecuting Them
Guy Rothblum - CS-Lecture -
Wednesday, 07.01.2015, 14:30
Room 337-8 Taub Bld.
[
Back to the index of events
]
