האוניברסיטה הפתוחה החטיבה למדעי המחשב The Open University Computer Science Division The Fourth Israel CS Theory Day Thursday, March 24 th, 2011 at The Open University, Dorothy de Rothschild Campus 1 University Road, Raanana Schedule 09:30 - 10:00 Gathering, refreshments 10:00 - 10:20 Greetings: Tamir Tassa, Computer Science Division, The Open University (OPUI) Judith Gal-Ezer, Vice President for Academic Affairs, OPUI First Session: Chair - Michael Langberg, Computer Science Division, OPUI 10:20 - 11:10 Adi Shamir, Weizmann Institute Random Graphs in Cryptography 11:10 - 12:00 Laci Babai, University of Chicago Complexity in Finite Groups 12:00 - 14:00 Lunch Second Session: Chair – Niv Buchbinder, Computer Science Division, OPUI 14:00 - 14:50 Irit Dinur, Weizmann Institute On the Structure of NP-Hard 3-SAT Instances and an Analogous Question for Locally Testable Codes 14:50 - 15:40 Amihood Amir, Bar-Ilan University Cycle Detection and Correction 15:40 - 16:10 Coffee Break Third Session: Chair - Noam Shental, Computer Science Division, OPUI 16:10 - 17:00 Raphy Yuster, Haifa University Shortest Paths and Related Problems in Weighted Directed Graphs 17:00 - 17:50 Micha Sharir, Tel-Aviv University Algebraic Techniques in Combinatorial Geometry 17:50 - 18:00 Concluding Remarks