Computer Science Past Colloquia

Time+Place:	Tuesday 04/12/2007 14:30 Room 337-8 Taub Bld.
Title:	How to Steal Cars - A Practical Attack on KeeLoq
Speaker:	Orr Dunkelman http://homes.esat.kuleuven.be/~odunkelm/me
Affiliation:	COSIC, ESAT, K.U, Leuven, Belgium
Host:	Eli Biham

Time+Place:	Thursday 06/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Estimating the Required Number of Code Inspectors
Speaker:	Eliezer Kantorowitz http://www.cs.technion.ac.il/~kantor
Affiliation:	Computer Science Faculty, Technion

Time+Place:	Tuesday 11/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Image Statistics in Computational Photography
Speaker:	Anat Levin http://people.csail.mit.edu/alevin/
Affiliation:	MIT
Host:	Michael Lindenbaum

Time+Place:	Thursday 13/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Evolution of gene architecture: challenging the neutral paradigm
Speaker:	Liran Carmel http://www.ncbi.nlm.nih.gov/CBBresearch/Fellows/Carmel
Affiliation:	National Center for Biotechnology Information (NCBI), National Library of Medicine (NLM), National Institutes of Health (NIH)
Host:	Ron Pinter

Time+Place:	Sunday 16/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Can simple markets achieve good results?
Speaker:	Liad Blumrosen http://research.microsoft.com/users/liadbl
Affiliation:	Microsoft Research, Silicon Valley
Host:	Eldar Fischer

Time+Place:	Monday 17/12/2007 11:30 Room 401 Taub Bld.
Title:	Redshift, Virtualization, and Data Centers
Speaker:	Richard Zippel NOTE UNUSUAL DAY, TIME, AND ROOM
Affiliation:	VP and Chief Eng., SUN MICROSYSTEMS LABS.
Host:	Assaf Schuster

Time+Place:	Tuesday 18/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Algorithms for Gene Finding, Network Alignment, and Ancestral Population Inference
Speaker:	Serafim Batzoglou http://robotics.stanford.edu/~serafim/
Affiliation:	Computer Science Department, Stanford University
Host:	Ron Pinter

Time+Place:	Thursday 20/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Probabilistic Correspondence with Applications to Semantic Image Analysis
Speaker:	Gal Elidan http://ai.stanford.edu/~galel
Affiliation:	Stanford University
Host:	Ran El-Yaniv

Time+Place:	Thursday 27/12/2007 11:30 Room 337-8 Taub Bld.
Title:	The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems
Speaker:	Daniel Berry NOTE UNUSUAL HOUR http://se.uwaterloo.ca/~dberry
Affiliation:	Cheriton School of Computer Science, University of Waterloo
Host:	Eliezer Kantorowitz

Time+Place:	Sunday 30/12/2007 14:30 Room 337-8 Taub Bld.
Title:	Efficient flow-based image segmentation techniques for de-blurring medical imaging and identifying hidden structures
Speaker:	Dorit S. Hochbaum http://www.ieor.berkeley.edu/~hochbaum
Affiliation:	Haas School of Business and Department of IE&OR, University of California, Berkeley.
Host:	Seffi Naor

January 2008

Time+Place:	Tuesday 01/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Sufficient conditions for local-to-global computations
Speaker:	Tali Kaufman
Affiliation:	MIT
Host:	Amir Shpilka

Time+Place:	Wednesday 02/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Cellular Developmental Decisions: From Single Cell Dynamics to Population Strategies
Speaker:	Iftach Nachman NOTE UNUSUAL DAY http://www.sysbio.harvard.edu/csb/ramanathan_lab/iftach/
Affiliation:	FAS center for systems biology, Harvard university
Host:	Ron Pinter

Time+Place:	Sunday 06/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Integrative Biology and System-wide analyses in Tumor Formation
Speaker:	Sol Efroni http://sol.systems-biology.info
Affiliation:	National Cancer Institute Center for Bioinformatics
Host:	Ron Pinter

Time+Place:	Tuesday 08/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Worst-case complexity vs. average-case complexity
Speaker:	Dan Gutfreund http://www-math.mit.edu/~danny/
Affiliation:	MIT
Host:	Eyal Kushilevitz

Time+Place:	Thursday 10/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Making large problems seem small: Convex duality in learning and inference
Speaker:	Amir Globerson http://people.csail.mit.edu/gamir
Affiliation:	Computer Science and Artificial Intelligence Laboratory, MIT
Host:	Shaul Markovitch

Time+Place:	Tuesday 15/01/2008 14:30 Room 337-8 Taub Bld.
Title:	Learning From Related Sources
Speaker:	Koby Crammer http://www.cis.upenn.edu/~crammer
Affiliation:	Department of Computer and Information Science,University of Pennsylvania
Host:	Ran El-Yaniv

---

Fabruary 2008

Time+Place:	Thursday 07/02/2008 14:30 Room 337-8 Taub Bld.
Title:	On the complexity of infinite computations
Speaker:	Damian Niwinski http://zls.mimuw.edu.pl/~niwinski/
Affiliation:	University of Warsaw
Host:	Johann Makowsky

Time+Place:	Tuesday 19/02/2008 14:30 Room 337-8 Taub Bld.
Title:	Static Specification Mining Using Automata-Based Abstractions
Speaker:	Eran Yahav http://www.research.ibm.com/people/e/eyahav/
Affiliation:	IBM TJ Watson Research Center
Host:	Orna Grumberg

---

March 2008

Time+Place:	Tuesday 04/03/2008 14:30 Room 337-8 Taub Bld.
Title:	Object and Reference Immutability using Java Generics
Speaker:	Yoav Zibin http://www.zibin.net/
Affiliation:	MIT, Come2Play
Host:	Yossi Gil

Time+Place:	Tuesday 11/03/2008 14:30 Room 337-8 Taub Bld.
Title:	The Cloning Method for Combinatorial Optimization, Countingand Rare Events Using Gibbs Sampler
Speaker:	Reuven Rubinstein and Andrey Dolgin http://iew3.technion.ac.il:8080/ierrr01.phtml
Affiliation:	Faculty of Industrial Engineering and Management, Technion
Host:	Eli Ben-Sasson

Time+Place:	Thursday 13/03/2008 11:00 Room 337-8 Taub Bld.
Title:	Datacenter of the future
Speaker:	Tilak Agerwala (NOTE UNUSUAL TIME)
Affiliation:	Vice President, Systems, IBM Research
Host:	Assaf Schuster

Time+Place:	Thursday 20/03/2008 14:30 Room 337-8 Taub Bld.
Title:	Computational Awareness
Speaker:	Lance Fortnow http://lance.fortnow.com/
Affiliation:	Northwestern University
Host:	Eldar Fischer

Time+Place:	Tuesday 25/03/2008 14:30 Room 337-8 Taub Bld.
Title:	Towards Universal Semantic Communication
Speaker:	Madhu Sudan http://people.csail.mit.edu/madhu/
Affiliation:	MIT - CSAIL
Host:	Eli Ben-Sasson

---

April 2008

Time+Place:	Tuesday 01/04/2008 14:30 Room 337-8 Taub Bld.
Title:	On the complexity of graph polynomials
Speaker:	Markus Blaeser http://www-cc.cs.uni-sb.de/mblaeser/
Affiliation:	Saarland University, Department of Computer Science
Host:	Johann Makowsky

Time+Place:	Thursday 03/04/2008 14:30 Room Auditorium 2 Taub Bld.
Title:	Windows Core Architecture: compare and contrast
Speaker:	Dave Probert
Affiliation:	Kernel Architect, Microsoft, Redmond, USA
Host:	Roy Friedman

Time+Place:	Sunday 06/04/2008 14:30 Room 337-8 Taub Bld.
Title:	Painting Rectilinear Pictures Without Picasso
Speaker:	Howard Karloff
Affiliation:	AT&T Labs--Reserach
Host:	Yuval Rabani

Time+Place:	Tuesday 08/04/2008 14:30 Room 337-8 Taub Bld.
Title:	Efficient online routing with end-to-end feedback and optimization in the dark
Speaker:	Elad Hazan http://www.cs.princeton.edu/~ehazan/
Affiliation:	IBM Almaden Research Center
Host:	Eli Ben-Sasson

---

May 2008

Time+Place:	Tuesday 13/05/2008 14:30 Room 337-8 Taub Bld.
Title:	Natural history and evolutionary principles of gene duplication in fungi
Speaker:	Nir Friedman http://www.cs.huji.ac.il/~nir/
Affiliation:	The Selim and Rachel Benin School of Computer Science & Engineering, The Hebrew University of Jerusalem
Host:	Dan Geiger

Time+Place:	Sunday 18/05/2008 14:30 Room 337-8 Taub Bld.
Title:	Logic in Access Control
Speaker:	Yuri Gurevich http://research.microsoft.com/~gurevich/
Affiliation:	Microsoft Research
Host:	Assaf Schuster

Time+Place:	Tuesday 27/05/2008 14:30 Room 337-8 Taub Bld.
Title:	Lower Bounds in the Noisy Networks using Sampling Algorithms
Speaker:	Jaikumar Radhakrishnan http://www.tcs.tifr.res.in/~jaikumar
Affiliation:	Tata Institute of Fundamental Research Mumbai
Host:	Eli Ben-Sasson

Time+Place:	Wednesday 28/05/2008 16:30 Room 337-8 Taub Bld.
Title:	Probabilistic Proof Systems
Speaker:	Oded Goldreich - in memory of Shimon Even //www.wisdom.weizmann.ac.il/~oded
Affiliation:	Department of Computer Science and Applied Mathematics, Weizmann Institute of Science
Host:	Reuven Bar-Yehuda

---

June 2008

Time+Place:	Sunday 01/06/2008 14:30 Room 337-8 Taub Bld.
Title:	Agnostically Learning Decision Trees
Speaker:	Adam Kalai http://ttic.uchicago.edu/~kalai/
Affiliation:	Toyota Technological Institute at Chicago
Host:	Eli Ben-Sasson

Time+Place:	Tuesday 03/06/2008 14:30 Room 337-8 Taub Bld.
Title:	On the Nature of Progress
Speaker:	Nir Shavit http://www.math.tau.ac.il/~shanir/
Affiliation:	Tel-Aviv University
Host:	Hagit Attiya

Time+Place:	Wednesday 04/06/2008 15:30 Room 337-8 Taub Bld.
Title:	Maximum Degree-Bounded Connected Subgraph: Hardness and Approximation
Speaker:	Ignasi Sau NOTE UNUSUAL DAY AN HOUR
Affiliation:	Mascotte joint Project- INRIA/CNRS-I3S/UNSA - Sophia-Antipolis, FRANCE, and Graph Theory and Combinatorics Group at Applied Mathematics IV Department of UPC - Barcelona, SPAIN
Host:	Shmuel Zaks

Time+Place:	Wednesday 11/06/2008 11:30 Room 337-8 Taub Bld.
Title:	Approximate median selection
Speaker:	Micha Hofri (NEW DATE instead 5/6) http://web.cs.wpi.edu/~hofri/
Affiliation:	WPI, Computer Science
Host:	Hadas Shachnai

Time+Place:	Thursday 12/06/2008 14:30 Room 337-8 Taub Bld.
Title:	An Algebraic Approach to Rule-Based Information Extraction
Speaker:	Frederick R. Reiss
Affiliation:	Almaden/IBM
Host:	Shaul Markovitch

Time+Place:	Tuesday 17/06/2008 14:30 Room 337-8 Taub Bld.
Title:	Beyond Bandlimited Sampling: Nonideal Sampling, Smoothness and Sparsity
Speaker:	Yonina Eldar Electrical Engineering Dept., Technion
Affiliation:	http://www.ee.technion.ac.il/Sites/People/YoninaEldar/
Host:	Michael Elad

Time+Place:	Tuesday 24/06/2008 14:30 Room 337-8 Taub Bld.
Title:	List error-correction: New constructions, algorithms, and applications
Speaker:	Venkatesan Guruswami http://www.cs.washington.edu/homes/venkat/
Affiliation:	University of Washington (visiting the Institute for Advanced Study)
Host:	Eli Ben-Sasson

---

July 2008

Time+Place:	Thursday 03/07/2008 14:30 Room 337-8 Taub Bld.
Title:	On the Hardness of Being Truthful
Speaker:	Michael Schapira http://www.cs.huji.ac.il/~mikesch/
Affiliation:	Hebrew University
Host:	Seffi Naor

Time+Place:	Tuesday 15/07/2008 14:30 Room 337-8 Taub Bld.
Title:	The finite harmonic oscillator with applications to radar and communication
Speaker:	Ronny Hadani
Affiliation:	University of Chicago
Host:	Eli Ben-Sasson

Time+Place:	Monday 21/07/2008 14:30 Room 337-8 Taub Bld.
Title:	Title: An optimal coin toss protocol
Speaker:	Professor Moni Naor NOTE UNUSUAL DAY http://www.wisdom.weizmann.ac.il/~naor
Affiliation:	Weizmann Institute of Science
Host:	Ronny Roth

---

August 2008

Time+Place:	Sunday 10/08/2008 14:30 Room 337-8 Taub Bld.
Title:	Query Understanding using Web Relevance Feedback
Speaker:	Andrei Broder http://research.yahoo.com/bouncer_user/17
Affiliation:	Yahoo! Research
Host:	Alfred M. Bruckstein

Time+Place:	Monday 11/08/2008 14:30 Room 601 Taub Bld.
Title:	An Efficient Reduction of Ranking to Classification
Speaker:	Nir Ailon http://nailon.googlepages.com/
Affiliation:	Google
Host:	Seffi Naor

---

October 2008

Time+Place:	Tuesday 07/10/2008 14:30 Room 337-8 Taub Bld.
Title:	Cuts and Flows in Directed Graphs
Speaker:	Julia Chuzhoy RESCHEDULED http://ttic.uchicago.edu/~cjulia
Affiliation:	Toyota Technological Institute at Chicago
Host:	Seffi Naor

---

November 2008

Time+Place:	Tuesday 04/11/2008 14:30 Room 337-8 Taub Bld.
Title:	Refactoring using Type Constraints (previously presented at SAS'07)
Speaker:	Frank Tip http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html
Affiliation:	IBM Watson Research Center
Host:	Yossi Gil

Time+Place:	Thursday 06/11/2008 14:30 Room 337-8 Taub Bld.
Title:	Computer (and Human) Perfection at Checkers
Speaker:	Jonathan Schaeffer http://www.cs.ualberta.ca/~jonathan/
Affiliation:	University of Alberta
Host:	Shaul Markovitch

Time+Place:	Tuesday 11/11/2008 14:30 Room 337-8 Taub Bld.
Title:	Regular Specifications of Resource Requirements for Embedded Control Software
Speaker:	Gera Weiss
Affiliation:	University of Pennsylvania, post-doc
Host:	Orna Grumberg

Time+Place:	Wednesday 19/11/2008 14:30 Room 337-8 Taub Bld.
Title:	PROOF OF CHURCH'S THESIS
Speaker:	Yuri Gurevich NOTE UNUSUAL DAY http://research.microsoft.com/users/gurevich/
Affiliation:	Microsoft Research
Host:	Assaf Schuster

Time+Place:	Tuesday 25/11/2008 14:30 Room 337-8 Taub Bld.
Title:	The Netflix Prize: Quest for $1,000,000
Speaker:	Yehuda Koren
Affiliation:	Yahoo! Research - Haifa
Host:	Eli Ben-Sasson

---

December 2008

Time+Place:	Tuesday 02/12/2008 14:30 Room 337-8 Taub Bld.
Title:	Portably preventing file race attacks with user-mode path resolution
Speaker:	Dan Tsafrir http://www.cs.huji.ac.il/~dants/
Affiliation:	IBM T.J. Watson Research Center
Host:	Eli Ben-Sasson

Time+Place:	Sunday 14/12/2008 14:30 Room 337-8 Taub Bld.
Title:	Gradient descent and fast artificial time integration
Speaker:	Uri Ascher http://www.cs.ubc.ca/~ascher/
Affiliation:	Dept. Computer Science, University of British Columbia
Host:	Irad Yavneh

Time+Place:	Tuesday 16/12/2008 14:30 Room 337-8 Taub Bld.
Title:	Small-size Epsilon-Nets for Geometric Range Spaces.
Speaker:	Esther Ezra http://www.math.tau.ac.il/~estere/
Affiliation:	Dept. of Computer Science, Duke University
Host:	Eli Ben-Sasson

Time+Place:	Wednesday 17/12/2008 11:30-Hazan Room 337-8 Taub Bld.
Title:	Better algorithms for better prediction
Speaker:	Elad Hazan NOTE UNUSUAL DAY AND TIME http://www.cs.princeton.edu/~ehazan/
Affiliation:	IBM Almaden Research Center
Host:	Eli Ben-Sasson

Time+Place:	Thursday 18/12/2008 14:30 Room 337-8 Taub Bld.
Title:	Building on Conflicts: Computational Studies of Codes
Speaker:	Tali Kaufman
Affiliation:	M I T
Host:	Eli Ben-Sasson

Time+Place:	Thursday 25/12/2008 14:30 Room 337-8 Taub Bld.
Title:	Simulation and Control of Quantum Systems
Speaker:	Ilan Degani http://ilan.degani.googlepages.com/home
Affiliation:	University of Bergen, Norway
Host:	Irad Yavneh

Time+Place:	Tuesday 30/12/2008 14:30 Room 337-8 Taub Bld.
Title:	New Algorithms for Ranking and Dimension Reduction
Speaker:	Nir Ailon http://nailon.googlepages.com/
Affiliation:	Google
Host:	Eli Ben-Sasson

---

January 2009

Time+Place:	Thursday 01/01/2009 14:30 Room 337-8 Taub Bld.
Title:	How to Solve it: New Techniques in Algebraic Cryptanalysis
Speaker:	Adi Shamir http://www.wisdom.weizmann.ac.il/profile/scientists/shamir-profile.html
Affiliation:	The Weizmann Institute
Host:	Eli Biham

Time+Place:	Sunday 04/01/2009 14:30 Room 337-8 Taub Bld.
Title:	How To Scrub iPhone Blenders: Machine Learning Methods For Cleaning Up Noisy Data
Speaker:	Ron Bekkerman http://www.cs.umass.edu/~ronb/
Affiliation:	HP Labs, Claifornia
Host:	Ran El-Yaniv

Time+Place:	Tuesday 06/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Computing structural changes in proteins
Speaker:	Nurit Haspel http://www.cs.rice.edu/~nh2/
Affiliation:	Rice University
Host:	Ron Pinter

Time+Place:	Thursday 08/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Preconditioners for Saddle Point Linear Systems
Speaker:	Chen Greif http://www.cs.ubc.ca/~greif/
Affiliation:	Department of Computer Science, The University of British Columbia
Host:	Irad Yavneh

Time+Place:	Sunday 11/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Event Processing - the next generation
Speaker:	Opher Etzion http://domino.research.ibm.com/comm/research_people.nsf/pages/opher.index.html
Affiliation:	IBM Haifa Research Lab
Host:	Assaf Schuster

Time+Place:	Tuesday 13/01/2009 14:30 Room 337-8 Taub Bld.
Title:	An Online Multi-unit Auction for Perishable Goods with Unknown Supply
Speaker:	Sourav Chakraborty http://people.cs.uchicago.edu/~sourav/
Affiliation:	Computer Science Dept., University of Chicago
Host:	Eldar Fischer

Time+Place:	Sunday 18/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Content Identification
Speaker:	Yacov Yacobi http://research.microsoft.com/en-us/people/yacov/
Affiliation:	Microsoft Research
Host:	Eli Biham

Time+Place:	Thursday 22/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Cryptography in Constant Parallel Time and its Applications
Speaker:	Benny Applebaum http://www.cs.princeton.edu/~bappelba/
Affiliation:	Department of Computer Science, Princeton University
Host:	Eli Ben-Sasson

Time+Place:	Thursday 29/01/2009 14:30 Room 337-8 Taub Bld.
Title:	Universal Kernel-Based Learning with Applications to Regular Languages
Speaker:	Aryeh Kontorovich POSTPONED FROM 20/1/09 http://www.wisdom.weizmann.ac.il/~aryehk/
Affiliation:	Weizmann Institute
Host:	Eli Ben-Sasson

---

Fabruary 2009

Time+Place:	Thursday 12/02/2009 14:30 Room 337-8 Taub Bld.
Title:	Modeling and Simulation of Stochastic Natural Systems
Speaker:	Azi Lipshtat http://www.mssm.edu/labs/iyengar/bios/lipshtat.shtml
Affiliation:	Department of Pharmacology and Systems Therapeutics, Mount Sinai School of Medicine
Host:	Tomer Shlomi

---

March 2009

Time+Place:	Tuesday 03/03/2009 14:30 Room 337-8 Taub Bld.
Title:	The Theory-Practice Interplay in Machine Learning - Emerging Theoretical Challenges
Speaker:	Shai Ben-David http://www.cs.uwaterloo.ca/~shai/
Affiliation:	University of Waterloo
Host:	Shaul Markovitch

Time+Place:	Thursday 05/03/2009 14:30 Room 337-8 Taub Bld.
Title:	Compressed Sensing Meets Information Theory
Speaker:	Dror Baron http://www.ee.technion.ac.il/people/drorb/
Affiliation:	Electrical Engineering, Technion
Host:	Eli Ben-Sasson

Time+Place:	Sunday 22/03/2009 14:30 Room 337-8 Taub Bld.
Title:	Polynomial time algorithms for clustering and image segmentation problems
Speaker:	Dorit S. Hochbaum http://www.ieor.berkeley.edu/~hochbaum/
Affiliation:	UC Berkeley
Host:	Seffi Naor

Time+Place:	Tuesday 24/03/2009 14:30 Room 337-8 Taub Bld.
Title:	Quantum channels and their multiple capacities
Speaker:	Charles H. Bennett http://www.research.ibm.com/people/b/bennetc/
Affiliation:	IBM Research, Yorktown Heights, NY
Host:	Tal Mor

---

April 2009

Time+Place:	Thursday 02/04/2009 14:30 Room 337-8 Taub Bld.
Title:	Web Mining or The Wisdom of the Crowds
Speaker:	Ricardo Baeza-Yates http://www.dcc.uchile.cl/~rbaeza/
Affiliation:	Yahoo! Research
Host:	Eli Ben-Sasson

---

May 2009

Time+Place:	Tuesday 05/05/2009 14:30 Room 337-8 Taub Bld.
Title:	Scheduling of Wireless Networks
Speaker:	Magnus Halldorsson http://www.ru.is/faculty/mmh/index_e.html
Affiliation:	School of Computer Science, Reykjavik University
Host:	Hadas Shachnai

Time+Place:	Sunday 10/05/2009 14:30 Room 337-8 Taub Bld.
Title:	Exo-leasing: Escrow Synchronization for Clients of Commodity Storage Servers
Speaker:	Liuba Shrira http://www.cs.brandeis.edu/~liuba/
Affiliation:	Brandeis University
Host:	Assaf Schuster

Time+Place:	Tuesday 12/05/2009 14:30 Room 337-8 Taub Bld.
Title:	Concurrent Non-commutative Boosted Transactions
Speaker:	Maurice Herlihy http://www.cs.brown.edu/~mph/
Affiliation:	Computer Science Department, Brown University
Host:	Hagit Attiya

Time+Place:	Thursday 21/05/2009 14:30 Room 337-8 Taub Bld.
Title:	The Birth of Model Checking
Speaker:	Prof. Edmund Clarke http://www.cs.cmu.edu/~emc/
Affiliation:	Carnegie Mellon University
Host:	Orna Grumberg

---

June 2009

Time+Place:	Tuesday 16/06/2009 14:30 Room 337-8 Taub Bld.
Title:	2-Source Extractors Under Cryptographic Assumptions, and Cryptography with Defective Randomness.
Speaker:	Yael Tauman Kalai http://research.microsoft.com/en-us/um/people/yael/
Affiliation:	Microsoft Research New England
Host:	Eli Ben-Sasson

Time+Place:	Thursday 18/06/2009 10:30 Room 337-8 Taub Bld.
Title:	Cluster-Based Computation of Relational Joins
Speaker:	Jeffrey D. Ullman NOTE UNUSUAL DAY AND TIME http://infolab.stanford.edu/~ullman/
Affiliation:	Stanford University
Host:	Ron Pinter

Time+Place:	Sunday 28/06/2009 16:30 Room 337-8 Taub Tentative Bld.
Title:	Randomness - a computational perspective
Speaker:	Avi Wigderson - in memory of Shimon Even //www.math.ias.edu/~avi/
Affiliation:	Institute for Advanced Study, Princeton
Host:	Reuven Bar-Yehuda

---

November 2009

Time+Place:	Tuesday 03/11/2009 14:30 Room 337-8 Taub Bld.
Title:	Progressing Databases
Speaker:	Gerhard Lakemeyer http://www-kbsg.informatik.rwth-aachen.de/
Affiliation:	RWTH Aachen University, Germany
Host:	Shaul Markovitch

Time+Place:	Tuesday 10/11/2009 14:30 Room 337-8 Taub Bld.
Title:	Milestones in Multigrid
Speaker:	Irad Yavneh
Affiliation:	Computer Science, Technion

Time+Place:	Tuesday 17/11/2009 14:30 Room 337-8 Taub Bld.
Title:	Business Artifacts: A New Foundation for Business Process Modeling
Speaker:	Richard Hull http://domino.research.ibm.com/comm/research_people.nsf/pages/hull.index.html
Affiliation:	IBM T.J. Watson Research Center, USA
Host:	Yaron Kanza

---

December 2009

Time+Place:	Tuesday 01/12/2009 14:30 Room 337-8 Taub Bld.
Title:	Pushing the Envelope of Abstraction-based Admissible Heuristics
Speaker:	Carmel Domshlak http://iew3.technion.ac.il/~dcarmel/
Affiliation:	Industrial Engineering, Technion
Host:	Johann Makowsky

Time+Place:	Tuesday 08/12/2009 14:30 Room 337-8 Taub Bld.
Title:	Phylogenetic Tree Reconstruction with Insertions and Deletions.
Speaker:	Avinatan Hassidim http://www2.lns.mit.edu/~avinatan/
Affiliation:	MIT
Host:	Johann Makowsky

Time+Place:	Tuesday 15/12/2009 14:30 Room 337-8 Taub Bld.
Title:	Wikipedia-based Semantic Analysis
Speaker:	Shaul Markovitch http://www.cs.technion.ac.il/people/shaulm/
Affiliation:	Computer Science, Technion
Host:	Johann Makowsky

Time+Place:	Thursday 24/12/2009 14:30 Room 337-8 Taub Bld.
Title:	Key Recovery Attacks of Practical Complexity on AES Variants With Up To 10 Rounds
Speaker:	Orr Dunkelman http://www.wisdom.weizmann.ac.il/~orrd/
Affiliation:	Weizmann Institute
Host:	Johann Makowsky

Time+Place:	Monday 28/12/2009 11:00 Room 337-8 Taub Bld.
Title:	DejaView - a Personal Virtual Computer Recorder
Speaker:	Oren Laadan NOTE UNUSUAL DAY AND HOUR http://www.cs.columbia.edu/~orenl/
Affiliation:	Computer Science, Columbia University
Host:	Assaf Schuster

Time+Place:	Tuesday 29/12/2009 14:30 Room 337-8 Taub Bld.
Title:	On the Roles of Computer Science in Systems Biology
Speaker:	Oded Maler http://www-verimag.imag.fr/~maler/
Affiliation:	CNRS-VERIMAG, Grenoble, France
Host:	Seffi Naor

Time+Place:	Thursday 31/12/2009 14:30 Room 337-8 Taub Bld.
Title:	Relations in algebraic complexity
Speaker:	Amir Yehudayoff http://www.math.ias.edu/~amiry/
Affiliation:	School of Mathematics, Institute for Advanced Study, Princeton, NJ
Host:	Johann Makowsky

---

January 2010

Time+Place:	Monday 04/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Derandomized Search for Experimental Optimization
Speaker:	Ofer M. Shir NOTE UNUSAL DAY http://www.princeton.edu/~oshir/
Affiliation:	Rabitz Group, Department of Chemistry, Princeton University
Host:	Johann Makowsky

Time+Place:	Tuesday 05/01/2010 14:30 Room 337-8 Taub Bld.
Title:	The Randomized k-Server Conjecture (Online Algorithms meet Linear Programming)
Speaker:	Niv Buchbinder http://research.microsoft.com/en-us/um/people/nivbuchb/
Affiliation:	Microsoft Research
Host:	Seffi Naor

Time+Place:	Thursday 07/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Side Channels and their Mitigation in Cloud Computing Security
Speaker:	Eran Tromer http://people.csail.mit.edu/tromer/
Affiliation:	Computer Science and Artificial Intelligence Laboratory, MIT
Host:	Johann Makowsky

Time+Place:	Monday 18/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Internet Routing: Foundations, Challenges and Future Directions
Speaker:	Michael Schapira NOTE UNUSUAL DAY (rescheduled) http://www.cs.yale.edu/homes/schapira/
Affiliation:	Yale University and UC Berkeley
Host:	Johann Makowsky

Time+Place:	Tuesday 19/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Speaker:	Joe Halpern http://www.cs.cornell.edu/home/halpern/
Affiliation:	Computer Science Dept., Cornell University
Host:	Johann Makowsky

Time+Place:	Thursday 21/01/2010 14:30 Room 337-8 Taub Bld.
Title:	A Parallel Repetition Theorem for Any Cryptographic Protocol
Speaker:	Iftach Ilan Haitner http://research.microsoft.com/en-us/um/people/iftach/
Affiliation:	Microsoft Research
Host:	Johann Makowsky

Time+Place:	Sunday 24/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Accelerating the TSUBAME Supercomputer with Graphics Processing Units and its Implications to Systems Research
Speaker:	Naoya Maruyama http://matsu-www.is.titech.ac.jp/~naoya/
Affiliation:	GSIC, Tokyo Institute of Technology
Host:	Assaf Schuster

Time+Place:	Thursday 28/01/2010 14:30 Room 337-8 Taub Bld.
Title:	Computational modeling and algorithms in molecular evolution and gene translation
Speaker:	Tamir Tuller http://www.cs.tau.ac.il/~tamirtul/
Affiliation:	Weizmann Institute
Host:	Tomer Shlomi

---

Fabruary 2010

Time+Place:	Monday 15/02/2010 14:30 Room 337-8 Taub Bld.
Title:	Optimal Network Locality in Distributed Services
Speaker:	Gwendal Simon SPECIAL TALK http://perso.telecom-bretagne.eu/gwendalsimon/
Affiliation:	Telecom-Bretagne
Host:	Roy Friedman

Time+Place:	Tuesday 16/02/2010 14:30 Room 337-8 Taub Bld.
Title:	Cryptography by the People, for the People: How Voting and Cryptography Go Hand-in-Hand
Speaker:	Tal Moran http://people.seas.harvard.edu/~talm/
Affiliation:	CRCS, Harvard University
Host:	Erez Petrank

Time+Place:	Thursday 18/02/2010 14:30 Room 337-8 Taub Bld.
Title:	Learning from Multiple Teachers
Speaker:	Ofer Dekel http://www.oferdekel.com/
Affiliation:	Microsoft Research
Host:	Shaul Markovitch

---

March 2010

Time+Place:	Tuesday 09/03/2010 14:30 Room 337-8 Taub Bld.
Title:	Property Testing and its application in databases
Speaker:	Eldar Fischer http://www.cs.technion.ac.il/people/eldar/
Affiliation:	Faculty of CS, Technion

Time+Place:	Tuesday 16/03/2010 14:30 Room 337-8 Taub Bld.
Title:	Fixed-parameter algorithms for graph separation problems
Speaker:	Igor Razgon http://www.cs.ucc.ie/~ir2/
Affiliation:	University College Cork
Host:	Johann Makowsky

Time+Place:	Thursday 18/03/2010 11:30 Room 601 Taub Bld.
Title:	Model Checking Using Tree-width Methods: Old and New
Speaker:	Isolde Adler SPECIAL LECTURE note unusual hour http://www.informatik.uni-frankfurt.de/~iadler/
Affiliation:	Goethe University in Frankfurt
Host:	Johann Makowsky

Time+Place:	Thursday 25/03/2010 14:30 Room 337-8 Taub Bld.
Title:	The security tower of Babel
Speaker:	Yuri Gurevich http://research.microsoft.com/en-us/um/people/gurevich/
Affiliation:	Microsoft
Host:	Assaf Schuster

Time+Place:	Tuesday 06/04/2010 14:30 Room 337-8 Taub Bld.
Title:	Online Set Packing and Competitive Scheduling of Multi-Part Tasks
Speaker:	Dror Rawitz http://www.eng.tau.ac.il/~rawitz/
Affiliation:	School of Electrical Engineering, Tel Aviv University.
Host:	Reuven Bar-Yehuda

Time+Place:	Tuesday 13/04/2010 14:30 Room 337-8 Taub Bld.
Title:	Movement Problems
Speaker:	Daniel Marx http://www.cs.bme.hu/~dmarx/
Affiliation:	Tel Aviv University
Host:	Johann Makowsky

---

May 2010

Time+Place:	Tuesday 04/05/2010 14:30 Room 337-8 Taub Bld.
Title:	The Identification of Join Candidates in the Cairo Genizah: An interdisciplinary challenge in computer assisted text processing
Speaker:	Lior Wolf http://www.cs.tau.ac.il/~wolf/
Affiliation:	Computer Science, Tel Aviv University
Host:	Johann Makowsky

Time+Place:	Tuesday 11/05/2010 14:30 Room 337-8 Taub Bld.
Title:	Oblivious and cost aware distributed load sharing in the Cloud
Speaker:	Danny Raz http://www.cs.technion.ac.il/people/danny/
Affiliation:	Computer Science, Technion
Host:

Time+Place:	Tuesday 25/05/2010 14:30 Room 337-8 Taub Bld.
Title:	Computational metric geometry: a new tool in image sciences
Speaker:	Michael Bronstein http://www.cs.technion.ac.il/~mbron/
Affiliation:	Computer Science Dept., Technion
Host:	Johann Makowsky

---

June 2010

Time+Place:	Tuesday 01/06/2010 14:30 Room 337-8 Taub Bld.
Title:	From Philosophical to Industrial Logics
Speaker:	Moshe Y. Vardi http://www.cs.rice.edu/~vardi/
Affiliation:	Rice University
Host:	Johann Makowsky

Time+Place:	Tuesday 08/06/2010 14:30 Room 337-8 Taub Bld.
Title:	Regret Minimization and Job Scheduling
Speaker:	Yishay Mansour - Annual S. Even Distinguished Colloquium //www.cs.tau.ac.il/~mansour/
Affiliation:	Tel Aviv University
Host:	Reuven Bar-Yehuda

Time+Place:	Tuesday 15/06/2010 14:30 Room 337-8 Taub Bld.
Title:	My Life and My Work
Speaker:	Distinguished Professor Leonard Kleinrock http://www.lk.cs.ucla.edu/
Affiliation:	Computer Science, UCLA, Los Angeles, USA
Host:	Eli Biham

Time+Place:	Wednesday 16/06/2010 14:30 Room 861 Meyer Bld.
Title:	A Brief History of the Internet
Speaker:	Distinguished Professor Leonard Kleinrock http://www.lk.cs.ucla.edu/
Affiliation:	Computer Science, UCLA, Los Angeles, USA
Host:	Israel Cidon

Time+Place:	Tuesday 22/06/2010 14:30 Room 337-8 Taub Bld.
Title:	Large networks, Communities and Kronecker Products
Speaker:	Jure Leskovec http://cs.stanford.edu/people/jure/
Affiliation:	Stanford University
Host:	Johann Makowsky

Time+Place:	Thursday 24/06/2010 14:30 Room 337-8 Taub Bld.
Title:	Cross Layer Networking and Management for Mobile Wireless Networks
Speaker:	Distinguished Professor Izhak Rubin http://sites.google.com/site/rubinucla/
Affiliation:	Electrical Engineering Department University of California, Los Angeles (UCLA)
Host:	Reuven Cohen

Time+Place:	Tuesday 29/06/2010 14:30 Room 337-8 Taub Bld.
Title:	LOCATION, LOCATION, LOCATION: CASTING A WIDE NET ON GEOGRAPHIC INFORMATION SYSTEMS (GIS)
Speaker:	Hanan Samet http://www.cs.umd.edu/~hjs
Affiliation:	Computer Science Department, Institute for Advanced Computer Studies, Center for Automation Research, University of Maryland at College Park
Host:	Michael Lindenbaum

---

July 2010

Time+Place:	Sunday 11/07/2010 14:30 Room 337-8 Taub Bld.
Title:	Finding and Localizing Bugs in Dynamic Web Applications
Speaker:	Shay Artzi
Affiliation:	IBM - T. J. Watson Research Center, Hawthorne, New York
Host:	Yossi Gil

---

August 2010

Time+Place:	Sunday 29/08/2010 14:30 Room 337-8 Taub Bld.
Title:	An effective method for parameter estimation with PDE constraints with multiple right hand sides
Speaker:	Eldad Haber SPECIAL LECTURE http://www.math.ubc.ca/~haber/Eldad_Haber_Web_Page/Welcome.html
Affiliation:	Departments of Mathematics and Earth and Ocean Science, University of British Columbia
Host:	Irad Yavneh

---

October 2010

Time+Place:	Tuesday 19/10/2010 14:30 Room 337-8 Taub Bld.
Title:	Reading into the MAP: how mean is it ?
Speaker:	Remi Gribonval http://www.irisa.fr/metiss/members/remi/index_html
Affiliation:	INRIA
Host:	Michael Elad

---

November 2010

Time+Place:	Tuesday 02/11/2010 14:30 Room 337-8 Taub Bld.
Title:	Gravity currents as a test case: do simple mathematical models produce good physical insights, or do good insights generate powerful models?
Speaker:	Marius Ungarish http://www.cs.technion.ac.il/people/unga/
Affiliation:	Computer Science, Technion

Time+Place:	Tuesday 09/11/2010 14:30 Room 337-8 Taub Bld.
Title:	Size-space tradeoffs in propositional proof complexity
Speaker:	Eli Ben-Sasson http://www.cs.technion.ac.il/people/eli/
Affiliation:

Time+Place:	Tuesday 23/11/2010 14:30 Room 337-8 Taub Bld.
Title:	Approximated Learning and Inference in Large Scale Graphical Models
Speaker:	Tamir Hazan http://ttic.uchicago.edu/~tamir/
Affiliation:	TTI-Chicago
Host:	Michael Lindenbaum

Time+Place:	Sunday 28/11/2010 11:00 Room 337-8 Taub NOTE UNUSUAL DAY AND TIME Bld.
Title:	Connecting the Dots Between News Articles
Speaker:	Dafna Shahaf SPECIAL GUEST LECTURE http://www.cs.cmu.edu/~dshahaf/
Affiliation:	C M U
Host:	Assaf Schuster

Time+Place:	Tuesday 30/11/2010 14:30 Room 337-8 Taub Bld.
Title:	Applications of Shellable Complexes to Distributed Computing
Speaker:	Maurice Herlihy http://www.cs.brown.edu/~mph/
Affiliation:	CS Dept., Brown University, on Sabbatical at CS Technion
Host:	Assaf Schuster

Time+Place:	Tuesday 14/12/2010 14:30 Room 337-8 Taub Bld.
Title:	Retro: an "alway there" and "not in the way" snapshot system
Speaker:	Liuba Shrira http://pages.cs.brandeis.edu/~liuba/
Affiliation:	Brandeis University and MIT/CSAIL
Host:	Johann Makowsky

Time+Place:	Thursday 23/12/2010 14:30 Room 337-8 Taub Bld.
Title:	May the optimal candidate win! Optimization under social choice constraints
Speaker:	Ariel Procaccia http://people.seas.harvard.edu/~arielpro/
Affiliation:	CRCS, Harvard University
Host:	Johann Makowsky

Time+Place:	Sunday 26/12/2010 12:30 Room 337-8 Taub Bld.
Title:	Requirements Determination is Unstoppable: An Experience Report
Speaker:	Daniel M. Berry SPECIAL LECTURE note unusual hour http://se.uwaterloo.ca/~dberry/
Affiliation:	Cheriton School of Computer Science, University of Waterloo
Host:	Eliezer Kantorowitz

Time+Place:	Sunday 26/12/2010 14:30 Room 337-8 Taub Bld.
Title:	Anisotropic diffusion maps of sub-manifolds with applications
Speaker:	Dan Kushnir http://gauss.math.yale.edu/~dk52/
Affiliation:	Yale University
Host:	Irad Yavneh

Time+Place:	Tuesday 28/12/2010 10:30 Room Taub 7 Taub Bld.
Title:	AKVFs - A New Computational Tool for Approximate Shape Isometries
Speaker:	Mirela Ben-Chen NOTE UNUSUAL HOUR http://www.stanford.edu/~mirela/
Affiliation:	Stanford University
Host:	Craig Gotsman

Time+Place:	Tuesday 28/12/2010 14:30 Room 337-8 Taub Bld.
Title:	GraphLab: Asynchronous Graph Computation in the Clouds and Beyond
Speaker:	Danny Bickson http://www.cs.cmu.edu/~bickson/
Affiliation:	Carnegie Mellon University
Host:	Johann Makowsky

Time+Place:	Thursday 30/12/2010 14:30 Room 337-8 Taub Bld.
Title:	Efficient cloud operations via job-migration and pricing
Speaker:	Ishai Menache http://www.mit.edu/~ishai/
Affiliation:	Microsoft Research New England
Host:	Johann Makowsky

---

January 2011

Time+Place:	Sunday 02/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Conspiracies, Cooperation and Power
Speaker:	Yoram Bachrach http://research.microsoft.com/en-us/people/yobach/
Affiliation:	Microsoft Research Cambridge
Host:	Johann Makowsky

Time+Place:	Tuesday 04/01/2011 12:30 Room 401 Taub NOTE UNUSUAL TIME AND PLACE Bld.
Title:	The Computational Complexity of Linear Optics
Speaker:	Scott Aaronson SPECIAL LECTURE http://www.scottaaronson.com/
Affiliation:	M I T
Host:	Johann Makowsky

Time+Place:	Tuesday 04/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Building a Bridge between Incentives and Computation
Speaker:	Shahar Dobzinski https://sites.google.com/site/dobzin/
Affiliation:	Computer Science Dept., Cornell University
Host:	Johann Makowsky

Time+Place:	Thursday 06/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Verifying Linearizability with Hindsight
Speaker:	Noam Rinetzky SPECIAL LECTURE http://www.eecs.qmul.ac.uk/~maon/
Affiliation:	Queen Mary, University of London
Host:	Eran Yahav

Time+Place:	Tuesday 11/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Reconstruction in Trees
Speaker:	Nayantara Bhatnagar http://www.cs.huji.ac.il/~nayantara/
Affiliation:	Hebrew University
Host:	Johann Makowsky

Time+Place:	Thursday 13/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Designing presentations tools for multiple and high-resolution displays
Speaker:	Joel Lanir SPECIAL LECTURE http://mis.haifa.ac.il/~yoel/index.htm
Affiliation:	Department of Information Systems, University of Haifa
Host:	Johann Makowsky

Time+Place:	Thursday 27/01/2011 14:30 Room 337-8 Taub Bld.
Title:	Analysis of affective behaviour: Non-verbal speech - Feature extraction, multi-class & multi-label classification, and generalisation of the technology
Speaker:	Tal Sobol Shikler NOTE NEW DATE http://www.bgu.ac.il/~stal/
Affiliation:	Department of Industrial Engineering & Management, Ben-Gurion University
Host:	Johann Makowsky

---

Fabruary 2011

Time+Place:	Tuesday 01/02/2011 14:30 Room 337-8 Taub Bld.
Title:	Task Superscalar Multiprocessors
Speaker:	Yoav Etsion http://www.cs.huji.ac.il/~etsman/
Affiliation:	Barcelona Supercomputing Center (BSC)
Host:	Johann Makowsky

Time+Place:	Tuesday 08/02/2011 14:30 Room 337-8 Taub Bld.
Title:	The PARIS Algorithm for Determining Latent Topics
Speaker:	Michal Aharon http://www.hpl.hp.com/people/michal_aharon/
Affiliation:	HP Laboratories
Host:	Michael Elad

Time+Place:	Sunday 27/02/2011 14:00 Room 337-8 Taub Bld.
Title:	e-Science: Are we there yet?
Speaker:	Prof. David Abramson SPECIAL LECTURE note unusual hour http://www.csse.monash.edu.au/~davida/
Affiliation:	Monash University
Host:	Assaf Schuster

---

March 2011

Time+Place:	Tuesday 01/03/2011 14:30 Room 337-8 Taub Bld.
Title:	Deterministic Distributed Vertex Coloring in Polylogarithmic Time
Speaker:	Leonid Barenboim http://www.cs.bgu.ac.il/faculty/person/leonidba.html
Affiliation:	Dept. of Computer Science, Ben-Gurion University
Host:	Johann Makowsky

Time+Place:	Tuesday 08/03/2011 14:30 Room 337-8 Taub Bld.
Title:	The Curious Story of Quantum Logic
Speaker:	Hilary W. Putnam http://www.fas.harvard.edu/~phildept/putnam.html
Affiliation:	Cogan University Professor Emeritus in the Department of Philosophy at Harvard University
Host:	Johann Makowsky

Time+Place:	Tuesday 15/03/2011 14:30 Room 337-8 Taub Bld.
Title:	The Graver Complexity of Integer Programming
Speaker:	Shmuel Onn http://ie.technion.ac.il/~onn
Affiliation:	IE&M, Technion
Host:	Johann Makowsky

Time+Place:	Tuesday 15/03/2011 16:00 Room 641 Lady Davis Bld.
Title:	Bacteria, Biofilms and Fluid Dynamics: Elementary Flows and Unexpected Phenomena
Speaker:	Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE http://www.princeton.edu/mae/people/faculty/stone/
Affiliation:	Department of Mechanical and Aerospace Engineering, Princeton University
Host:	Marius Ungarish

Time+Place:	Thursday 17/03/2011 14:30 Room 337-8 Taub Bld.
Title:	Unusual Dynamics in Multiphase Flows : (I) Charged Drops, (II) A Variant on Viscous Fingering, and (III) Shear-Enhanced Diffusion
Speaker:	Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE http://www.princeton.edu/mae/people/faculty/stone/
Affiliation:	Department of Mechanical and Aerospace Engineering, Princeton University
Host:	Marius Ungarish

Time+Place:	Tuesday 22/03/2011 14:30 Room 337-8 Taub Bld.
Title:	Formulae and Growth Rates of High-Dimensional Polycubes
Speaker:	Gill Barequet http://www.cs.technion.ac.il/people/barequet/
Affiliation:	Computer Science, Technion

---

April 2011

Time+Place:	Tuesday 05/04/2011 14:30 Room 337-8 Taub Bld.
Title:	Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
Speaker:	Uri Zwick http://www.cs.tau.ac.il/~zwick/
Affiliation:	Dept. of Computer Science, Tel-Aviv University
Host:	Johann Makowsky

Time+Place:	Thursday 07/04/2011 15:00 Room 337-8 Taub Bld.
Title:	Near-Optimal Private Approximation Protocols via a Black Box Transformation
Speaker:	David Woodruff SPECIAL GUEST TALK note unusual hour http://www.almaden.ibm.com/cs/people/dpwoodru/
Affiliation:	IBM Almaden
Host:	Yuval Ishai

Time+Place:	Tuesday 26/04/2011 14:30 Room 337-8 Taub Bld.
Title:	Ramsey-type theorems for metric spaces
Speaker:	Manor Mendel http://sites.google.com/site/mendelma/
Affiliation:	Mathematics and Computer Scinece Dept., Open University of Israel
Host:	Nir Ailon

---

May 2011

Time+Place:	Tuesday 03/05/2011 14:30 Room 337-8 Taub Bld.
Title:	The Minimum Weight Cycle Problem
Speaker:	Liam Roditty http://u.cs.biu.ac.il/~liamr/
Affiliation:	Computer Science Department, Bar-Ilan University
Host:	Johann Makowsky

Time+Place:	Thursday 05/05/2011 14:30 Room 337-8 Taub Bld.
Title:	How to win Friends and Influence People, Truthfully
Speaker:	Yaron Singer SPECIAL GUEST LECTURE http://www.cs.berkeley.edu/~yaron/
Affiliation:	Computer Science Division, UC Berkeley
Host:	Assaf Schuster

Time+Place:	Thursday 12/05/2011 14:30 Room 337-8 Taub Bld.
Title:	A Unified Formal Approach To Garbage Collection
Speaker:	Prof. Peter Pepper SPECIAL GUEST LECTURE
Affiliation:	Technische Universitat(TU), Informatik, Berlin
Host:	Shmuel Katz

Time+Place:	Tuesday 17/05/2011 14:30 Room 337-8 Taub Bld.
Title:	Maximizing Submodular Set Functions Subject to Multiple Linear Constraints
Speaker:	Hadas Shachnai http://www.cs.technion.ac.il/~hadas/
Affiliation:	Computer Science Department, Technion

Time+Place:	Tuesday 31/05/2011 14:30 Room 337-8 Taub Bld.
Title:	Escher For Real: on the synergy between science and art
Speaker:	Gershon Elber http://www.cs.technion.ac.il/~gershon
Affiliation:	Computer Science, Technion

---

June 2011

Time+Place:	Tuesday 14/06/2011 14:30 Room 337-8 Taub Bld.
Title:	The Price for Perfect Secrecy
Speaker:	Stefan Wolf http://www.ti.inf.ethz.ch/people/wolf.html
Affiliation:	Computer Science Dept, ETH Zurich
Host:	Johann Makowsky

Time+Place:	Sunday 19/06/2011 14:30 Room 337-8 Taub Bld.
Title:	Efficient and Explicit Coding for Interactive Communication
Speaker:	Amit Sahai http://www.cs.ucla.edu/~sahai/
Affiliation:	UCLA
Host:	Yuval Ishai

Time+Place:	Tuesday 21/06/2011 14:30 Room Class 6 Taub Bld.
Title:	Information Rates for Channels with Synchronization Errors
Speaker:	Paul H. Siegel NOTE UNUSUAL LOCATION http://cmrr.ucsd.edu/people/siegel/
Affiliation:	Center for Magnetic Recording Research, University of California, San Diego
Host:	Ronny Roth

---

July 2011

Time+Place:	Thursday 21/07/2011 14:30 Room 337-8 Taub Bld.
Title:	Finding a job and the two body problem
Speaker:	Avinatan Hassidim SPECIAL GUEST LECTURE http://www2.lns.mit.edu/~avinatan/
Affiliation:	Google
Host:	Danny Raz

---

September 2011

Time+Place:	Tuesday 13/09/2011 14:30 Room 337-8 Taub Bld.
Title:	Search: past, present, and some possible futures
Speaker:	Udi Manber SPECIAL LECTURE http://en.wikipedia.org/wiki/Udi_Manber
Affiliation:	VP Engineering, Google Inc.
Host:	Ron Pinter

---

November 2011

Time+Place:	Sunday 06/11/2011 14:30 Room 337-8 Taub Bld.
Title:	When can you color a grid and not have any monochromatic rectangles?
Speaker:	Bill Gasarch http://www.cs.umd.edu/~gasarch/
Affiliation:	CS, University of Maryland
Host:	Johann Makowsky

Time+Place:	Tuesday 08/11/2011 14:30 Room 337-8 Taub Bld.
Title:	Improving Cryptography by Studying Entropy
Speaker:	Leonid Reyzin http://www.cs.bu.edu/~reyzin/
Affiliation:	Boston University
Host:	Yuval Ishai

Time+Place:	Sunday 13/11/2011 14:30 Room 337-8 Taub Bld.
Title:	Multi-Robot Patrol: From Theory to Reality
Speaker:	Noa Agmon http://www.cs.utexas.edu/~agmon/
Affiliation:	Dpt. of CS, University of Texas at Austin
Host:	Alfred Bruckstein

Time+Place:	Sunday 20/11/2011 14:30 Room 337-8 Taub Bld.
Title:	Statistical Parsing in the Face of Language Diversity
Speaker:	Reut Tsarfaty http://stp.lingfil.uu.se/~tsarfaty
Affiliation:	Uppsala University, Sweden
Host:	Johann Makowsky

Time+Place:	Tuesday 22/11/2011 14:30 Room 337-8 Taub Bld.
Title:	Liquid Metal: Programming in the Age of Heterogeneous Machines
Speaker:	David F. Bacon https://researcher.ibm.com/researcher/view.php?person=us-bacon
Affiliation:	IBM Research
Host:	Erez Petrank

Time+Place:	Tuesday 29/11/2011 14:30 Room 337-8 Taub Bld.
Title:	Back to the Future: Dataflow Computational Models
Speaker:	Avi Mendelson http://www.cs.technion.ac.il/~mendlson/
Affiliation:	Microsoft and Visiting Professor CS and EE Departments
Host:	Johann Makowsky

---

December 2011

Time+Place:	Tuesday 06/12/2011 14:30 Room 337-8 Taub Bld.
Title:	From Cryptography to Algorithms and Back Again
Speaker:	Gil Segev http://research.microsoft.com/en-us/um/people/gilse/
Affiliation:	Microsoft Research Silicon Valley
Host:	Eyal Kushilevitz

Time+Place:	Sunday 18/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Challenges in Multi-Agent Systems: Bitcoin, Social Networks, P2P Communities, and Network Protocols.
Speaker:	Aviv Zohar http://research.microsoft.com/en-us/people/avivz/
Affiliation:	Microsoft Research Silicon Valley
Host:	Ran El-Yaniv

Time+Place:	Tuesday 20/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Machine Learning: Higher, Faster, Stronger
Speaker:	Ohad Shamir http://research.microsoft.com/en-us/um/people/ohadsh/
Affiliation:	Microsoft Research New England
Host:	Shaul Markovitch

Time+Place:	Wednesday 21/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Learning from Natural Instructions
Speaker:	Dan Roth SPECIAL LECTURE, Note unusual day http://l2r.cs.uiuc.edu/
Affiliation:	Computer Science and the Beckman Institute, University of Illinois at Urbana/Champaign
Host:	Shaul Markovitch

Time+Place:	Thursday 22/12/2011 10:30 Room 337-8 Taub Bld.
Title:	How to Compute in the Presence of Leakage
Speaker:	Guy Rothblum NOTE UNUSUAL TIME http://research.microsoft.com/en-us/people/guyroth/
Affiliation:	Microsoft Research
Host:	Yuval Ishai

Time+Place:	Thursday 22/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Convex Programming Hierarchies: Trading Time for Approximation
Speaker:	Eden Chlamtac http://www.cs.princeton.edu/~chlamtac/
Affiliation:	Tel-Aviv University
Host:	Seffi Naor

Time+Place:	Sunday 25/12/2011 14:30 Room 337-8 Taub Bld.
Title:	The traveling salesman problem: Low-dimensionality implies a polynomial time approximation scheme.
Speaker:	Lee-Ad Gottlieb http://cs.nyu.edu/~adi/
Affiliation:	Hebrew University
Host:	Nir Ailon

Time+Place:	Tuesday 27/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Using Individual Human Genomes to Illuminate the Mysteries of Early Human History
Speaker:	Ilan Gronau
Affiliation:	Postdoc at the Siepel lab, Department of Biology Statistics and Computational Biology, Cornell University
Host:	Shlomo Moran

Time+Place:	Thursday 29/12/2011 14:30 Room 337-8 Taub Bld.
Title:	Chamsa" and Computer Science
Speaker:	Avi Cohen http://www.CSIT.org.il
Affiliation:	Inspector -In-chief Computer Science & Information Technology, Ministry of Education, State of Israel
Host:	Yossi Gil

---

January 2012

Time+Place:	Sunday 01/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Semantic Model Differencing for Software Evolution
Speaker:	Shahar Maoz http://www.se-rwth.de/~maoz/
Affiliation:	Department of Computer Science 3, RWTH Aachen University, Germany
Host:	Shmuel Katz

Time+Place:	Tuesday 03/01/2012 14:30 Room 337-8 Taub Bld.
Title:	The complexity of counting constraint satisfaction problem
Speaker:	Andrei Bulatov http://www.cs.sfu.ca/~abulatov/
Affiliation:	School of Computing Science, Simon Fraser University, Vancouver, Canada
Host:	Johann Makowsky

Time+Place:	Sunday 08/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Fast Distributed Computing Despite Poor Connectivity
Speaker:	Keren Censor-Hillel http://people.csail.mit.edu/ckeren/
Affiliation:	CSAIL, M I T
Host:	Hagit Attiya

Time+Place:	Monday 09/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Efficient and Exact Inter-Sentence Decoding for Natural Language Processing
Speaker:	Roi Reichart NOTE UNUSUAL DAY http://people.csail.mit.edu/roiri/)
Affiliation:	CS and AI Lab - M I T
Host:	Johann Makowsky

Time+Place:	Tuesday 10/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Missing Heritability: New algorithmic and statistical approaches
Speaker:	Or Zuk http://www.broadinstitute.org/~orzuk/
Affiliation:	Broad Institute of MIT and Harvard
Host:	Dan Geiger

Time+Place:	Wednesday 11/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Making Computers Good Listeners
Speaker:	Joseph Keshet NOTE UNUSUAL DAY http://www.ttic.edu/keshet.php
Affiliation:	TTI-Chicago
Host:	Johann Makowsky

Time+Place:	Tuesday 17/01/2012 14:30 Room 337-8 Taub Bld.
Title:	Vector Diffusion Maps and the Connection Laplacian
Speaker:	Amit Singer http://www.math.princeton.edu/~amits/
Affiliation:	Princeton University
Host:	Nir Ailon

Time+Place:	Tuesday 31/01/2012 14:30 Room 337-8 Taub Bld.
Title:	How Your Smartphone Can Use Game-Theory to Valet-park Your Car
Speaker:	Ouri Wolfson http://www.cs.uic.edu/~wolfson/
Affiliation:	University of Illinois at Chicago
Host:	Johann Makowsky

Time+Place:	Tuesday 31/01/2012 15:30 Room 337-8 Taub Bld.
Title:	The Plural Architecture: Shared Memory Many-cores with Hardware Scheduling
Speaker:	Ran Ginosar NOTE UNUSUAL HOUR http://webee.technion.ac.il/~ran/
Affiliation:	EE & CS, Technion
Host:	Johann Makowsky

---

Fabruary 2012

Time+Place:	Monday 06/02/2012 14:30 Room 337-8 Taub Bld.
Title:	Random Sampling Preconditioners
Speaker:	Haim Avron SPECIAL GUEST TALK-NOTE UNUSUAL DAY http://researcher.ibm.com/view.php?person=us-haimav
Affiliation:	Mathematical Sciences Dept., IBM T.J. Watson Research Center
Host:	Irad Yavneh

Time+Place:	Tuesday 07/02/2012 14:30 Room 337-8 Taub Bld.
Title:	Multiparty Computation from Somewhat Homomorphic Encryption
Speaker:	Ivan Damgaard http://www.daimi.au.dk/~ivan/
Affiliation:	Aarhus University
Host:	Yuval Ishai

Time+Place:	Tuesday 14/02/2012 14:30 Room 337-8 Taub Bld.
Title:	Synthesizing Concurrent Relational Data Structures
Speaker:	Roman Manevich http://users.ices.utexas.edu/~roman/
Affiliation:	UT Austin
Host:	Eran Yahav

Time+Place:	Tuesday 28/02/2012 14:30 Room 337-8 Taub Bld.
Title:	Polar codes: construction and improved decoding
Speaker:	Ido Tal
Affiliation:	UCSD
Host:	Tuvi Etzion

Time+Place:	Wednesday 29/02/2012 14:30 Room 337-8 Taub Bld.
Title:	Matrix Learning: A Tale of Two Norms
Speaker:	Nati Srebro NOTE UNUSUAL DAY http://ttic.uchicago.edu/~nati/
Affiliation:	Toyota Technological Institute and University of Chicago.
Host:	Ran El-Yaniv

---

March 2012

Time+Place:	Wednesday 14/03/2012 14:30 Room 539 Taub Bld.
Title:	Finding Malware on a Web Scale
Speaker:	Ben Livshits SPECIAL GUEST LECTURE, NOTE UNUSUAL DAY AND PLACE http://research.microsoft.com/en-us/um/people/livshits/about.htm
Affiliation:	Microsoft Research and University of Washington
Host:	Eran Yahav

Time+Place:	Tuesday 27/03/2012 14:30 Room 337-8 Taub Bld.
Title:	Parameterizing on the Number of Numbers
Speaker:	Prof. Michael Fellows http://www.mrfellows.net/
Affiliation:	Charles Darwin University, Australia.
Host:	Johann Makowsky

Time+Place:	Thursday 29/03/2012 11:00 Room Auditorium 2 Taub Bld.
Title:	The algorithmization of causes and counterfactuals
Speaker:	Judea Pearl, Special Guest Talk, Harvey Prize and Turing Award Winner, http://bayes.cs.ucla.edu/jp_home.html
Affiliation:	Computer Science Dept., U C L A
Host:	Dan Geiger

---

April 2012

Time+Place:	Tuesday 03/04/2012 14:30 Room 337-8 Taub Bld.
Title:	Determining the Winner of a Dodgson Election is Hard
Speaker:	Professor Frances Rosamond http://www.cdu.edu.au/engit/staff/frances_rosamond.htm
Affiliation:	Charles Darwin University, Northern Territory, Australia.
Host:	Hadas Shachnai

Time+Place:	Tuesday 17/04/2012 14:30 Room 337-8 Taub Bld.
Title:	Improved Competitive Ratio for the Matroid Secretary Problem
Speaker:	Oded Lachish http://www.dcs.bbk.ac.uk/~oded/
Affiliation:	Birkbeck University, London
Host:	Eldar Fischer

Time+Place:	Tuesday 24/04/2012 14:30 Room 337-8 Taub Bld.
Title:	Extracting Meaning from Search Behavior Data
Speaker:	Eugene Agichtein http://www.mathcs.emory.edu/~eugene/
Affiliation:	Mathematics and Computer Science Dept., Emory Univeristy
Host:	Shaul Markovitch

---

May 2012

Time+Place:	Tuesday 01/05/2012 14:30 Room 337-8 Taub Bld.
Title:	How Do Classes Choose Their Parents? (Preferential Attachment to the Trial)
Speaker:	Yossi Gil http://www.cs.technion.ac.il/people/yogi/
Affiliation:	Computer Science, Technion

Time+Place:	Tuesday 08/05/2012 14:30 Room 337-8 Taub Bld.
Title:	Functions which are close to being k-local are juntas
Speaker:	Guy Kindler http://www.cs.huji.ac.il/~gkindler/
Affiliation:	The Hebrew University of Jerusalem
Host:	Eldar Fischer

Time+Place:	Tuesday 22/05/2012 14:30 Room 337-8 Taub Bld.
Title:	The Complexity of Cryptography
Speaker:	Yuval Ishai http://www.cs.technion.ac.il/people/yuvali/
Affiliation:	Computer Science Dept., Technion

Time+Place:	Tuesday 29/05/2012 14:30 Room 337-8 Taub Bld.
Title:	Computing in the 21st Century: The Georgia Tech Model
Speaker:	Zvi Galil http://www.cc.gatech.edu/
Affiliation:	Dean of College of Computing, Georgia Institute of Technology
Host:	Johann Makowsky

---

June 2012

Time+Place:	Tuesday 05/06/2012 14:30 Room 337-8 Taub Bld.
Title:	The surprises of Quick Sort
Speaker:	Micha Hofri http://web.cs.wpi.edu/~hofri/
Affiliation:	Department of Computer Science, Worcester Polytechnic Institute
Host:	Hadas Shachnai

Time+Place:	Tuesday 19/06/2012 14:30 Room 337-8 Taub Bld.
Title:	Principles of Reasoning with Graphical Models
Speaker:	Rina Dechter http://www.ics.uci.edu/~dechter
Affiliation:	Donald Bren School of Information and Computer Sciences, UC-Irvine
Host:	Dan Geiger

Time+Place:	Tuesday 26/06/2012 14:30 Room 337-8 Taub Bld.
Title:	Recursion in Distributed Computing
Speaker:	Sergio Rajsbaum > http://www.matem.unam.mx/~rajsbaum/
Affiliation:	Instituto de Matematicas, Universidad Nacional Autonoma de Mexico
Host:	Hagit Attiya

---

October 2012

Time+Place:	Tuesday 30/10/2012 14:30 Room 337-8 Taub Bld.
Title:	TOWARDS A PROOF THEORY OF ANALOGICAL REASONING
Speaker:	Matthias Baaz http://www.logic.at/staff/baaz/
Affiliation:	INSTITUTE FOR DISCRETE MATHEMATICS AND GEOMETRY, VIENNA UNIVERSITY OF TECHNOLOGY
Host:	Johann Makowsky

---

November 2012

Time+Place:	Wednesday 07/11/2012 14:30 Room 337-8 Taub Bld.
Title:	Taming Logics: Theory, Tools, Applications
Speaker:	Anna Zamansky NOTE UNUSUAL DAY http://www.cs.tau.ac.il/~annaz/
Affiliation:	Technical University of Vienna
Host:	Johann Makowsky

Time+Place:	Sunday 11/11/2012 14:30 Room 337-8 Taub Bld.
Title:	Fast Parallel Matrix Multiplication
Speaker:	Oded Schwartz http://www.cs.berkeley.edu/~odedsc/
Affiliation:	UC Berkeley
Host:	Johann Makowsky

Time+Place:	Tuesday 13/11/2012 14:30 Room 337-8 Taub Bld.
Title:	Backward causality in temporal Talmudic logic
Speaker:	Dov Gabbay http://www.dcs.kcl.ac.uk/staff/dg/
Affiliation:	Bar-Ilan University
Host:	Johann Makowsky

Time+Place:	Tuesday 20/11/2012 14:30 Room 337-8 Taub Bld.
Title:	Querying Web Applications Under Terms of Uncertainty
Speaker:	Daniel Deutch http://www.cs.bgu.ac.il/~deutchd/
Affiliation:	CS Dept., Ben-Gurion University
Host:	Johann Makowsky

---

December 2012

Time+Place:	Tuesday 11/12/2012 14:30 Room 337-8 Taub Bld.
Title:	Learning patterns in Big data from small data using core-sets
Speaker:	Dan Feldman http://people.csail.mit.edu/dannyf/
Affiliation:	MIT, The Distributed Robotics Lab
Host:	Ron Kimmel

Time+Place:	Wednesday 12/12/2012 14:30 Room 337-8 Taub Bld.
Title:	Fair is Fair: A Protocol and an Algorithm for Unbiased Evaluation of Linguistic Structure Prediction.
Speaker:	Reut Tsarfaty NOTE UNUSUAL DAY http://www.tsarfaty.com/
Affiliation:	Upsala University
Host:	Alon Itai

Time+Place:	Tuesday 18/12/2012 14:30 Room 337-8 Taub Bld.
Title:	Operating system support for high-throughput processors
Speaker:	Mark Silberstein https://sites.google.com/site/silbersteinmark
Affiliation:	University of Texas, Austin
Host:	Dan Tsafrir

Time+Place:	Monday 24/12/2012 14:30 Room 337-8 Taub Bld.
Title:	Exploring Human Evolution and Deciphering the Human Genome Using Complete Individual Genome Sequences
Speaker:	Ilan Gronau NOTE UNUSUAL DAY http://compgen.bscb.cornell.edu/~igronau/
Affiliation:	postdoctoral research associate at the Siepel computational genomics lab, Department of Biological Statistics and Computational Biology, Cornell University
Host:	Shlomo Moran

---

January 2013

Time+Place:	Thursday 03/01/2013 14:30 Room 337-8 Taub Bld.
Title:	Semi-Supervised structured prediction in Natural Language Processing through Declarative Knowledge Encoding
Speaker:	Roi Reichart http://www.cl.cam.ac.uk/~rr439/
Affiliation:	Computer Laboratory, University of Cambridge
Host:	Alon Itai

Time+Place:	Monday 07/01/2013 14:30 Room 337-8 Taub Bld.
Title:	On Relative Approximations in Geometry and Their Variants.
Speaker:	Esther Ezra NOTE UNUSUAL DAY http://www.cims.nyu.edu/~esther/
Affiliation:	visiting professor at the Department of Computer Science in Courant Institute of Mathematical Sciences, New York University.
Host:	Gill Barequet

Time+Place:	Wednesday 09/01/2013 14:30 Room 337-8 Taub Bld.
Title:	Quantitative Formal Verification
Speaker:	Udi Boker NOTE UNUSUAL DAY http://pub.ist.ac.at/~udiboker/
Affiliation:	IST Austria
Host:	Johann Makowsky

Time+Place:	Thursday 10/01/2013 14:30 Room 337-8 Taub Bld.
Title:	Random walks and discrete logarithms: some applications of number theory to cryptography
Speaker:	Steve Miller, SPECIAL GUEST TALK http://www.math.rutgers.edu/~sdmiller/
Affiliation:	Rutgers University
Host:	Moshe Baruch, Mathematics; Yuval Ishai, CS

Time+Place:	Tuesday 15/01/2013 14:30 Room 337-8 Taub Bld.
Title:	CS1001.py: A Topics Based Introduction to Computer Science
Speaker:	Benny Chor http://www.tau.ac.il/~bchor/
Affiliation:	Tel-Aviv University
Host:	Johann Makowsky

Time+Place:	Tuesday 29/01/2013 14:30 Room 337-8 Taub Bld.
Title:	Designs of Flash and Associative Memories
Speaker:	Eitan Yaakobi http://cmrr-star.ucsd.edu/eyaakobi/cv.html
Affiliation:	California Institute of Technology
Host:	Johann Makowsky

---

Fabruary 2013

Time+Place:	Wednesday 13/02/2013 14:30 Room 337-8 Taub Bld.
Title:	Constructive Cryptography -- A New Paradigm for Security Definitions and Proofs
Speaker:	Ueli Maurer NOTE UNUSUAL DAY http://www.crypto.ethz.ch/~maurer/
Affiliation:	Information Security and Cryptography Research Group, Swiss Federal Institute of Technology (ETH), Zurich
Host:	Yuval Ishai

---

April 2013

Time+Place:	Tuesday 09/04/2013 14:30 Room 337-8 Taub Bld.
Title:	Adaptive Metric Dimensionality Reduction
Speaker:	Aryeh Kontorovich RESCHEDULED http://www.cs.bgu.ac.il/faculty/person/karyeh.html/
Affiliation:	Computer Science, Ben Gurion University
Host:	Nir Ailon

---

June 2013

Time+Place:	Tuesday 11/06/2013 14:30 Room 337-8 Taub Bld.
Title:	Relations between linear programming, dynamic programming, and the min-sum algorithm.
Speaker:	Guy Even
Affiliation:	School of Electrical Engineering, Tel-Aviv University
Host:	Seffi Naor

---

July 2013

Time+Place:	Tuesday 09/07/2013 14:30 Room 337-8 Taub Bld.
Title:	DUKING IT OUT AT THE SMARTPHONE MOBILE MAPPING APP CORRAL: APPLE, GOOGLE, AND THE COMPETITION*
Speaker:	Hanan Samet ACM Distinguished Lecture http://www.cs.umd.edu/~hjs/
Affiliation:	Department of Computer Science, University of Maryland
Host:	Micha Lindenbaum

---

August 2013

Time+Place:	Tuesday 27/08/2013 14:30 Room 337-8 Taub Bld.
Title:	Social Media and Telling the World's Stories
Speaker:	Mor Naaman http://mornaaman.com
Affiliation:	the Jacobs Technion-Cornell Innovation Institute at Cornell NYC Tech
Host:	Shmuel Katz

---

October 2013

Time+Place:	Tuesday 08/10/2013 14:30 Room 337-8 Taub Bld.
Title:	Learning to Construct and Reason with a Large Knowledge Base of Extracted Information
Speaker:	William Cohen http://www.cs.cmu.edu/~wcohen/
Affiliation:	Carnegie Mellon University
Host:	Shaul Markovitch

---

November 2013

Time+Place:	Tuesday 05/11/2013 14:30 Room 337-8 Taub Bld.
Title:	Functional Operators : Algebraic Tools for Reasoning about Shapes and their Collections
Speaker:	Miri Ben-Chen http://mirela.net.technion.ac.il/
Affiliation:	Computer Science, Technion
Host:	Johann Makowsky

Time+Place:	Tuesday 12/11/2013 14:30 Room 337-8 Taub Bld.
Title:	Impugning Alleged Randomness
Speaker:	Yuri Gurevich http://research.microsoft.com/en-us/um/people/gurevich/
Affiliation:	Microsoft Research
Host:	Johann Makowsky

Time+Place:	Sunday 24/11/2013 14:30 Room 601 Taub Bld.
Title:	Autonomous operation in uncertain and partially unknown large-scale environments: perception, information fusion and planning
Speaker:	Vadim Indelman - CS-Lecture http://www.cc.gatech.edu/~vindelma/
Affiliation:	Robotics and Intelligent Machines Center, College of Computing, Georgia Institute of Technology
Host:	Ehud Rivlin

---

December 2013

Time+Place:	Wednesday 11/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Randomized Algorithms for Faster Linear and Non-linear Regression
Speaker:	Haim Avron - CS-Lecture - Note unusual day http://researcher.watson.ibm.com/researcher/view.php?person=us-haimav
Affiliation:	IBM Watson Research Center
Host:	Irad Yavneh

Time+Place:	Sunday 15/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Individual Genomes Reveal Deep Population Histories and Uncover the Evolutionary Roles of Non Coding DNA
Speaker:	Ilan Gronau - CS-Lecture http://compgen.bscb.cornell.edu/~igronau/
Affiliation:	Siepel Computational Genomics Lab, Department of Biological Statistics and Computational Biology, Cornell
Host:	Shlomo Moran

Time+Place:	Monday 16/12/2013 14:30 Room 201 Taub Bld.
Title:	Lower Bounds for Linear Decision Trees via An Energy Complexity Argument
Speaker:	Eiji Takimoto - CSpecial Lecture - Note unusual day and place http://www.i.kyushu-u.ac.jp/~eiji/index-e.html
Affiliation:	Department of Informatics, Kyushu University
Host:	Nir Ailon

Time+Place:	Tuesday 17/12/2013 14:30 Room 337-8 Taub Bld.
Title:	New Approaches to Graph Partitioning
Speaker:	Roy Schwartz - CS-Lecture http://research.microsoft.com/en-us/um/people/roysch/default.aspx
Affiliation:	Theory Group - Microsoft Research
Host:	Seffi Naor

Time+Place:	Wednesday 18/12/2013 14:30 Room 337 Taub Bld.
Title:	A Relational Framework for Information Extraction
Speaker:	Benny Kimelfeld - CS-Lecture - Note unusual day http://researcher.ibm.com/researcher/view.php?person=us-kimelfeld
Affiliation:	IBM Reserach - Almaden
Host:	Hagit Attiya

Time+Place:	Thursday 19/12/2013 13:30 Room 601 Taub Bld.
Title:	Polynomial Bounds for the Grid-Minor Theorem
Speaker:	Julia Chuzhoy - CSpecial Lecture-Note unusual time and place http://ttic.uchicago.edu/~cjulia/
Affiliation:	Toyota Technological Institute at Chicago
Host:	Seffi Naor

Time+Place:	Sunday 22/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Privacy by Diversity in Sequential Releases of Databases
Speaker:	Erez Shmueli - CS-Lecture http://web.media.mit.edu/~shmueli/
Affiliation:	MIT Media Lab
Host:	Eli Biham

Time+Place:	Wednesday 25/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Learning with Lower Information Costs
Speaker:	Sivan Sabato - CS-Lecture - Note unusual day http://www.cs.huji.ac.il/~sivan_sabato/
Affiliation:	Microsoft Research New England
Host:	Ran El-Yaniv

Time+Place:	Thursday 26/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Population Recovery and Partial Identification
Speaker:	Avi Wigderson - Colloquium Lecture http://www.math.ias.edu/avi/
Affiliation:	Institute for Advanced Study, Princeton
Host:	Amir Shpilka

Time+Place:	Sunday 29/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Shortest Path Queries: Static, Dynamic and Fault-tolerant.
Speaker:	Shiri Chechik - CS-Lecture http://research.microsoft.com/en-us/people/schechik/
Affiliation:	Microsoft Research
Host:	Seffi Naor

Time+Place:	Tuesday 31/12/2013 14:30 Room 337-8 Taub Bld.
Title:	Sequential vs. Parallel Computation: Progress on the KRW conjecture
Speaker:	Or Meir - CS-Lecture http://www.math.ias.edu/~ormeir/
Affiliation:	Institute of Advanced Study at Princeton
Host:	Eli Ben-Sasson

---

January 2014

Time+Place:	Sunday 05/01/2014 14:30 Room 337-8 Taub Bld.
Title:	On kinetic Delaunay triangulations
Speaker:	Natan Rubin - CS-Lecture https://sites.google.com/site/natanrubinshomepage/
Affiliation:	Pierre and Marie Curie University (Paris 6)
Host:	Gill Barequet

Time+Place:	Tuesday 07/01/2014 14:30 Room 337-8 Taub Bld.
Title:	Understanding and Improving Device Access
Speaker:	Michael Swift - Colloquium Lecture http://pages.cs.wisc.edu/~swift/
Affiliation:	University of Wisconsin, Madison
Host:	Dan Tsafrir

Time+Place:	Thursday 09/01/2014 14:30 Room 337-8 Taub Bld.
Title:	Games, Proofs, Norms, and Algorithms
Speaker:	Boaz Barak - Colloquium Lecture http://www.boazbarak.org/
Affiliation:	Microsoft Research
Host:	Yuval Ishai

Time+Place:	Tuesday 21/01/2014 14:30 Room 337-8 Taub Bld.
Title:	A General Technique for Non-blocking Trees
Speaker:	Faith Ellen - Colloquium Lecture http://www.cs.toronto.edu/~faith/
Affiliation:	Department of Computer Science, University of Toronto
Host:	Johann Makowsky

---

Fabruary 2014

Time+Place:	Tuesday 04/02/2014 14:30 Room 337-8 Taub Bld.
Title:	Principles of multi-agent coordination
Speaker:	Yoram Moses - Colloquium Lecture http://moses.eew.technion.ac.il/
Affiliation:	Electrical Engineering, Technion
Host:	Johann Makowsky

Time+Place:	Sunday 16/02/2014 14:30 Room 337-8 Taub Bld.
Title:	Optimal Shrinkage of Singular Values for Matrix Denoising
Speaker:	Matan Gavish - CS-Lecture http://www.stanford.edu/~gavish/
Affiliation:	Stanford University
Host:	Ron Kimmel

Time+Place:	Tuesday 18/02/2014 14:30 Room Taub 5 Bld.
Title:	The Dynamics of Reputation and its Origins, in Economic and Social Contexts
Speaker:	Amir Ban - Colloquium Lecture http://www.ratio.huji.ac.il/node/2332
Affiliation:	Center for the Study of Rationality, Hebrew University
Host:	Johann Makowsky

---

March 2014

Time+Place:	Tuesday 18/03/2014 14:30 Room 337-8 Taub Bld.
Title:	Complexities in Auctions and Markets
Speaker:	Noam Nisan - Colloquium Lecture http://www.cs.huji.ac.il/~noam/
Affiliation:	Hebrew University
Host:	Erez Petrank

---

April 2014

Time+Place:	Wednesday 02/04/2014 11:30 Room 337-8 Taub Bld.
Title:	The Password That Never Was
Speaker:	Ari Juels - Colloquium Lecture - Note unusual day and time http://www.arijuels.com/
Host:	Shmuel Katz

Time+Place:	Thursday 03/04/2014 14:30 Room 337-8 Taub Bld.
Title:	Verifying the correctness of remote executions: from theoretical possibility to near practicality
Speaker:	Michael Walfish - Colloquium Lecture http://www.cs.nyu.edu/~mwalfish/
Affiliation:	Computer Science Dept., NYU
Host:	Yuval Ishai

Time+Place:	Thursday 10/04/2014 14:30 Room Auditorium 2 Taub Bld.
Title:	Everyday Life in a Data-Rich World
Speaker:	Jon Kleinberg - Colloquium Lecture http://www.cs.cornell.edu/home/kleinber/
Affiliation:	Cornell University
Host:	Seffi Naor

Time+Place:	Tuesday 22/04/2014 14:30 Room 337-8 Taub Bld.
Title:	If machines are capable of doing almost any work humans can do, what will humans do?
Speaker:	Moshe Y. Vardi - Colloquium Lecture http://www.cs.rice.edu/~vardi/
Affiliation:	Rice University
Host:	Erez Petrank

Time+Place:	Tuesday 29/04/2014 14:30 Room 337-8 Taub Bld.
Title:	Joint analysis of two biological networks using module maps
Speaker:	Ron Shamir http://www.cs.tau.ac.il/~rshamir/
Affiliation:	School of Computer Science, Tel Aviv University
Host:	Erez Petrank

---

May 2014

Time+Place:	Tuesday 13/05/2014 14:30 Room 337-8 Taub Bld.
Title:	The rise of dynamic languages
Speaker:	Jan Vitek https://www.cs.purdue.edu/homes/jv/
Affiliation:	Purdue University
Host:	Erez Petrank

Time+Place:	Wednesday 28/05/2014 15:30 Room 337 Taub Bld.
Title:	Deinterleaving Finite Memory Processes via Penalized Maximum Likelihood
Speaker:	Gadiel Seroussi - CSpecial lecture - NOTE UNUSUAL DAY AND TIME http://www.msri.org/people/staff/gadiel/
Affiliation:	Universidad de la Republica, Montevideo, Uruguay
Host:	Ronny Roth

---

June 2014

Time+Place:	Monday 02/06/2014 14:30 Room 337-8 Taub Bld.
Title:	A principled approach to the performance-vs.-programmability trade-off in large-scale distributed data stores
Speaker:	Marc Shapiro - Colloquium Lecture - NOTE UNUSUAL DAY http://pagesperso-systeme.lip6.fr/Marc.Shapiro/
Affiliation:	INRIA & UMPC-LIP6
Host:	Avi Mendelson

Time+Place:	Sunday 08/06/2014 14:30 Room 337-8 Taub Bld.
Title:	The Aha! Moment: From Data to Insight
Speaker:	Dafna Shahaf - CS-Lecture http://i.stanford.edu/~dshahaf/
Affiliation:	Stanford University
Host:	Shaul Markovitch

Time+Place:	Tuesday 17/06/2014 14:30 Room 337-8 Taub Bld.
Title:	Excellence or Professionalism?
Speaker:	Prof. David Harel - Colloquium Lecture http://www.wisdom.weizmann.ac.il/~harel/
Affiliation:	Weizmann Institute of Science
Host:	Erez Petrank

Time+Place:	Tuesday 24/06/2014 14:30 Room 337-8 Taub Bld.
Title:	Buying Private Data without Verification
Speaker:	Katrina Ligett - CSpecial Lecture http://users.cms.caltech.edu/~katrina/
Affiliation:	Caltech
Host:	Seffi Naor

---

July 2014

Time+Place:	Tuesday 01/07/2014 14:30 Room 337-8 Taub Bld.
Title:	Dynamical Systems Biology
Speaker:	Oded Maler - COLLOQUIUM LECTURE http://www-verimag.imag.fr/~maler/
Affiliation:	CNRS-VERIMAG, University of Grenoble, France
Host:	Seffi Naor

Time+Place:	Thursday 10/07/2014 14:30 Room 337-8 Taub Bld.
Title:	Towards a Unified Framework for Computing on Encrypted Data
Speaker:	Shweta Agrawal - CSpecial-Lecture http://www.cse.iitd.ac.in/~shweta/
Affiliation:	IIT Delhi
Host:	Yuval Ishai

Time+Place:	Sunday 20/07/2014 11:30 Room 337-8 Taub Bld.
Title:	Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture
Speaker:	Madars Virza - CSpecial Lecture - Note unusual time http://www.csail.mit.edu/user/2615
Affiliation:	MIT
Host:	Eli Ben-Sasson

Time+Place:	Monday 21/07/2014 11:30 Room 337-8 Taub Bld.
Title:	Scalable Zero Knowledge via Cycles of Elliptic Curves
Speaker:	Alessandro Chiesa - CSpecial Lecture - Note unusual day and time http://people.csail.mit.edu/alexch/
Affiliation:	M I T
Host:	Eli Ben-Sasson

---

August 2014

Time+Place:	Wednesday 27/08/2014 14:30 Room 601 Taub Bld.
Title:	Strict Action Uncertainty
Speaker:	Reshef Meir - CSpecial Lecture - Note unusual day and place http://people.seas.harvard.edu/~rmeir/
Affiliation:	Harvard School of Engineering and Applied Sciences
Host:	Shaul Markovitch

---

October 2014

---

November 2014

Time+Place:	Tuesday 04/11/2014 14:30 Room 337-8 Taub Bld.
Title:	Robust Probabilistic Inference
Speaker:	Yishay Mansour - Colloquium Lecture http://www.math.tau.ac.il/~mansour/
Affiliation:	School of Computer Science, Tel-Aviv University
Host:	Erez Petrank

Time+Place:	Tuesday 11/11/2014 14:30 Room 337-8 Taub Bld.
Title:	When Machines Dominate Humans: The Challenges of Mining and Consuming Machine-generated Web Mail
Speaker:	Yoelle Maarek - Colloquium Lecture https://sites.google.com/site/yoellem/home
Affiliation:	VP Research, Yahoo Labs
Host:	Erez Petrank

Time+Place:	Tuesday 18/11/2014 14:30 Room 337-8 Taub Bld.
Title:	The Axiomatic Approach and the Internet
Speaker:	Moshe Tennenholtz - Colloquium Lecture http://iew3.technion.ac.il/Home/Users/Moshet.phtml
Affiliation:	Faculty of Industrial Engineering and Management, Technion
Host:	Erez Petrank

---

December 2014

Time+Place:	Tuesday 02/12/2014 14:30 Room 337-8 Taub Bld.
Title:	Principles of Shape Analysis
Speaker:	Mooly Sagiv - Colloquium Lecture http://www.math.tau.ac.il/~msagiv/
Affiliation:	Tel-Aviv University
Host:	Erez Petrank

Time+Place:	Monday 08/12/2014 14:30 Room 337-8 Taub Bld.
Title:	Shape and Content: A database-theoretic perspective on the analysis of data structures
Speaker:	Tomer Kotek - CS-Lecture - NOTE UNUSUAL DAY http://forsyte.at/people/kotek/
Affiliation:	Vienna University of Technology
Host:	Johann Makowsky

Time+Place:	Tuesday 09/12/2014 14:30 Room 337-8 Taub Bld.
Title:	The Cryptographic Lens
Speaker:	Shafi Goldwasser - Colloquium Lecture https://www.csail.mit.edu/user/733
Affiliation:	MIT and Weizmann Institute
Host:	Yuval Ishai

Time+Place:	Sunday 21/12/2014 14:30 Room 337-8 Taub Bld.
Title:	Scalable algorithms for translating natural language to logical form
Speaker:	Jonathan Berant - CS-Lecture http://nlp.stanford.edu/joberant/
Affiliation:	Stanford-Dept. of Computer Science
Host:	Alon Itai

Time+Place:	Monday 22/12/2014 11:00 Room 337-8 Taub Bld.
Title:	Advances in Traffic Engineering and Discrepancy
Speaker:	Roy Schwartz - CS-Lecture - REVISED - NOTE UNUSUAL DAY AND TIME http://www.cs.princeton.edu/~roysch/
Affiliation:	Department of Computer Science, Princeton University.
Host:	Seffi Naor

Time+Place:	Wednesday 24/12/2014 14:30 Room 337-8 Taub Bld.
Title:	Lessons Learned from and for Requirements Engineering and Building Construction: A Case Study of Requirements Engineering for a Synagogue Kitchen with Use Cases and Scenarios
Speaker:	Daniel M. Berry - Colloquium Lecture - NOTE UNUSUAL DAY https://cs.uwaterloo.ca/~dberry/
Affiliation:	University of Waterloo
Host:	Erez Petrank

Time+Place:	Sunday 28/12/2014 14:30 Room 337-8 Taub Bld.
Title:	An Algorithmic Approach for Analyzing Social Phenomena
Speaker:	Sigal Oren - CS-Lecture sites.google.com/site/sigal3/home
Affiliation:	Hebrew University and Microsoft Research
Host:	Seffi Naor

Time+Place:	Monday 29/12/2014 14:30 Room Class 6, Floor 1, Taub Bld.
Title:	Machine-Learning the Hidden Universal Semantics of Natural Languages
Speaker:	Omri Abend - CS-Lecture - NOTE UNUSUAL DAY AND ROOM http://homepages.inf.ed.ac.uk/oabend/
Affiliation:	School of Informatics, University of Edinburgh
Host:	Alon Itai

Time+Place:	Tuesday 30/12/2014 14:30 Room Auditorium 1 Taub Bld.
Title:	How to reach unreachable computers
Speaker:	Prof. Adi Shamir - Colloquium Lecture - NOTE UNUSUAL ROOM http://www.wisdom.weizmann.ac.il/profile/scientists/shamir-profile.html
Affiliation:	Weizmann Institute
Host:	Eli Biham

Time+Place:	Wednesday 31/12/2014 14:30 Room 337-8 Taub Bld.
Title:	Fast matrix multiplication: Limitations of the Coppersmith-Winograd approach
Speaker:	Yuval Filmus - CS-Lecture - NOTE UNUSUAL DAY http://www.cs.toronto.edu/~yuvalf/
Affiliation:	Institute for Advanced Study in Princeton
Host:	Eyal Kushilevitz

---

January 2015

Time+Place:	Thursday 01/01/2015 14:30 Room 337-8 Taub Bld.
Title:	Aspects of Submodular Maximization Subject to a Matroid Constraint
Speaker:	Moran Feldman - CS-Lecture http://theory.epfl.ch/moranfe/
Affiliation:	School of Computer and Communication Sciences of EPFL
Host:	Seffi Naor

Time+Place:	Sunday 04/01/2015 12:00 Room 337-8 Taub Bld.
Title:	Thinking out of the Encryption Box
Speaker:	Itai Dinur - CS-Lecture - NOTE UNUSUAL TIME http://www.di.ens.fr/~dinur/
Affiliation:	Cryptography Group, Ecole Normale Superieure, Paris
Host:	Eli Biham

Time+Place:	Monday 05/01/2015 14:30 Room Class 6, Floor 1, Taub Bld.
Title:	Exponential Separation of Information and Communication
Speaker:	Gillat Kol- CS-Lecture - NOTE UNUSUAL DAY AND ROOM http://www.math.ias.edu/~gkol/
Affiliation:	Institute for Advanced Study (IAS), Princeton
Host:	Keren Censor-Hillel

Time+Place:	Tuesday 06/01/2015 14:30 Room 337-8 Taub Bld.
Title:	Uncertainty, Strategy, and Bounded Rationality
Speaker:	Reshef Meir - CS-Lecture http://people.seas.harvard.edu/~rmeir/
Affiliation:	Center for Research on Computation and Society (CRCS)
Host:	Seffi Naor

Time+Place:	Wednesday 07/01/2015 14:30 Room 337-8 Taub Bld.
Title:	How to Verify Computations without Reexecuting Them
Speaker:	Guy Rothblum - CS-Lecture - NOTE UNUSUAL DAY https://guyrothblum.wordpress.com/
Affiliation:	Stanford University
Host:	Yuval Ishai

Time+Place:	Thursday 08/01/2015 12:30 Room 337-8 Taub Bld.
Title:	Parallel Repetition From Fortification
Speaker:	Dana Moshkovitz - Colloquium Lecture - Note: UNUSUAL TIME http://people.csail.mit.edu/dmoshkov/
Affiliation:	Computer Science, M I T
Host:	Eli Ben-Sasson

Time+Place:	Thursday 08/01/2015 14:30 Room 337-8 Taub Bld.
Title:	When Exactly Do Quantum Computers Provide a Speedup?
Speaker:	Scott Aaronson - Colloquium Lecture https://www.csail.mit.edu/user/1324
Affiliation:	M I T, Computer Science
Host:	Eli Ben-Sasson

Time+Place:	Sunday 11/01/2015 14:30 Room 337-8 Taub Bld.
Title:	Synthesis and Verification in a Software Defined World
Speaker:	Sharon Shoham Buchbinder - CS-Lecture http://www2.mta.ac.il/~sharon.shoham/
Affiliation:	School of Computer Science, Academic College of Tel Aviv-Yaffo
Host:	Orna Grumberg & Eran Yahav

Time+Place:	Monday 12/01/2015 14:30 Room 337-8 Taub Bld.
Title:	Coding For Interactive Communication
Speaker:	Klim Efremenko - CS-Lecture - NOTE UNUSUAL DAY https://www.ocf.berkeley.edu/~klimefre/
Affiliation:	Simons Institute at Berkeley.
Host:	Yuval Ishai

Time+Place:	Tuesday 13/01/2015 14:30 Room 337-8 Taub Bld.
Title:	On Auto-stereogram Perception, or the Best Patterns for Magic-Eyes Pictures
Speaker:	Alfred M. Bruckstein - Colloquium Lecture http://www.cs.technion.ac.il/people/freddy/
Affiliation:	Computer Science, Technion

---

Fabruary 2015

Time+Place:	Tuesday 24/02/2015 14:30 Room 337-8 Taub Bld.
Title:	Situated Learning and Understanding of Natural Language
Speaker:	Yoav Artzi - CS-Lecture http://yoavartzi.com/
Affiliation:	Computer Science & Engineering dept., University of Washington
Host:	Irad Yavneh

---

March 2015

Time+Place:	Tuesday 24/03/2015 14:30 Room 337-8 Taub Bld.
Title:	Zerocash: Decentralized Anonymous Payments from Bitcoin
Speaker:	Eli Ben-Sasson - Colloquium Lecture http://www.cs.technion.ac.il/people/eli/
Affiliation:	Computer Science, Technion

Time+Place:	Tuesday 31/03/2015 13:00 Room Class 9 Taub Bld.
Title:	Internet security: Past, Present and Future
Speaker:	Michael Waidner - RESCHEDULED - COLLOQUIUM LECTURE - NOTE UNUSUAL TIME and PLACE https://www.sit.informatik.tu-darmstadt.de/de/security-in-information-technology/staff/michael-waidner/
Affiliation:	TU Darmstadt, Germany
Host:	Eli Biham

---

April 2015

Time+Place:	Tuesday 14/04/2015 14:30 Room 337-8 Taub Bld.
Title:	Towards High-Throughput Wildlife Tracking: The ATLAS Wildlife Localization System
Speaker:	Sivan Toledo - COLLOQUIUM LECTURE http://www.tau.ac.il/~stoledo/
Affiliation:	Blavatnik School of Computer Science, Tel-Aviv University
Host:	Erez Petrank

---

May 2015

Time+Place:	Tuesday 05/05/2015 14:30 Room 337-8 Taub Bld.
Title:	Oblivious Algorithms - How to Serve in the Dark
Speaker:	Yossi Azar - Colloquium Lecture http://www.cs.tau.ac.il/~azar/
Affiliation:	Blavatnik School of Computer Science, Tel-Aviv University
Host:	Erez Petrank

Time+Place:	Tuesday 26/05/2015 14:30 Room Auditorium 2 Taub Bld.
Title:	Moore's Law: Yesterday, Today and Tomorrow
Speaker:	Mark Bohr - TCE Guest Talk
Affiliation:	Director of Process Architecture and Integration, Intel
Host:	Uri Weiser, EE

Time+Place:	Thursday 28/05/2015 14:30 Room 337-8 Taub Bld.
Title:	The Ring of Gyges: Using Smart Contracts for Crime
Speaker:	Ari Juels - COLLOQUIUM LECTURE http://tech.cornell.edu/people/ari-juels
Affiliation:	Jacobs Technion-Cornell Institute
Host:	Eitan Yaakobi

Time+Place:	Thursday 28/05/2015 15:30 Room 337-8 Taub Bld.
Title:	Streaming Property Testing of Visibly Pushdown Languages
Speaker:	Michel de Rougemont - SPECIAL LECTURE - Note unusual hour http://www.liafa.univ-paris-diderot.fr/~mdr/
Affiliation:	University Paris II and LIAFA-CNRS
Host:	Johann Makowsky

---

June 2015

Time+Place:	Sunday 14/06/2015 13:30 Room Class 4, Floor 1, Taub Bld.
Title:	Fast Approximate Max Flow Computation
Speaker:	Christoph Lenzen - SPECIAL LECTURE - Note unusual time and place http://people.mpi-inf.mpg.de/~clenzen/
Affiliation:	MPI for Informatics in Saarbruecken, Germany
Host:	Keren Censor-Hillel

Time+Place:	Tuesday 16/06/2015 14:30 Room 337-8, Taub Bld.
Title:	Quantum computers - is the future here?
Speaker:	Tal Mor - COLLOQUIUM LECTURE http://www.cs.technion.ac.il/people/talmo/
Affiliation:	Computer Science, Technion
Host:	Eli Biham

---

July 2015

Time+Place:	Tuesday 28/07/2015 14:30 Room 601 Taub Bld.
Title:	'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Speaker:	Prof. Alexey Gotsman - SPECIAL LECTURE - Note unusual location http://software.imdea.org/~gotsman/
Affiliation:	IMDEA Software Institute, Madrid
Host:	Hagit Attiya

---

October 2015

Time+Place:	Tuesday 20/10/2015 14:30 Room 337-8 Taub Bld.
Title:	When Physics Met Information - a Model for the Emergence of Coded Life
Speaker:	Tal Mor - COLLOQUIUM LECTURE http://www.cs.technion.ac.il/people/talmo/
Affiliation:	Computer Science Dept., Technion

---

November 2015

Time+Place:	Tuesday 03/11/2015 14:30 Room 337-8 Taub Bld.
Title:	Group Testing, Compressed sensing and Algorithmic applications
Speaker:	Ely Porat - COLLOQUIUM LECTURE http://u.cs.biu.ac.il/~porately/
Affiliation:	Department of Computer Science, Bar-Ilan University
Host:	Nir Ailon

Time+Place:	Tuesday 10/11/2015 14:30 Room 337-8 Taub Bld.
Title:	Vertex Sparsification of Cuts, Flows, and Distances
Speaker:	Robert Krauthgamer - COLLOQUIUM LECTURE http://www.wisdom.weizmann.ac.il/~robi/
Affiliation:	Weizmann Institute of Science
Host:	Nir Ailon

Time+Place:	Wednesday 18/11/2015 14:30 Room 337-8 Taub Bld.
Title:	Using Network Models to predict Disease Outbreaks, Bioterrorism, and Drug Deaths
Speaker:	Ben Reis - COLLOQUIUM LECTURE - Note unusual day http://scholar.harvard.edu/reis/home
Affiliation:	Harvard University
Host:	Nir Ailon

---

December 2015

Time+Place:	Tuesday 01/12/2015 15:00 Room 337-8 Taub Bld.
Title:	Applications of Dimensionality Reduction Techniques in Genetics
Speaker:	Eran Halperin - COLLOQUIUM LECTURE - Note unusual hour http://www.cs.tau.ac.il/~heran/
Affiliation:	Tel-Aviv University
Host:	Nir Ailon

Time+Place:	Tuesday 15/12/2015 14:30 Room 337-8 Taub Bld.
Title:	When Can Limited Randomness Be Used in Repeated Games?
Speaker:	Moni Naor - COLLOQUIUM LECTURE http://www.wisdom.weizmann.ac.il/~naor/
Affiliation:	Weizmann Institute of Science
Host:	Nir Ailon

Time+Place:	Sunday 20/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Reasoning about Infinite-State Systems
Speaker:	Sharon Shoham - CS-Lecture http://www2.mta.ac.il/~sharon.shoham/
Affiliation:	School of Computer Science at the Academic college of Tel Aviv-Yaffo
Host:	Orna Grumberg

Time+Place:	Wednesday 23/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Interactive Information Theory
Speaker:	Gillat Kol - CS-Lecture - Note unusual day http://www.math.ias.edu/~gkol/
Affiliation:	Institute for Advanced Study (IAS), Princeton
Host:	Eli Ben-Sasson

Time+Place:	Thursday 24/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Nothing but net? content and network factors in information diffusion
Speaker:	Oren Tsur - CS-Lecture http://people.seas.harvard.edu/~orentsur
Affiliation:	Harvard's School for Engineering and Applied Science (SEAS)
Host:	Benny Kimelfeld

Time+Place:	Sunday 27/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Towards the Deployment of Cooperative Game-Theoretic Solutions
Speaker:	Yair Zick - CS-Lecture http://www.cs.cmu.edu/~yairzick/
Affiliation:	Computer Science Department at Carnegie Mellon University
Host:	Yuval Filmus

Time+Place:	Tuesday 29/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Fast Sublinear Algorithms for Error Detection and Correction
Speaker:	Noga Ron-Zewi - CS-Lecture https://sites.google.com/site/nogazewi/
Affiliation:	Institute for Advanced Study (IAS) at Princeton and the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) at Rutgers
Host:	Eli Ben-Sasson

Time+Place:	Wednesday 30/12/2015 14:30 Room 337-8 Taub Bld.
Title:	Program Obfuscation: The Power of Unreadable Code
Speaker:	Nir Bitansky - CS-Lecture - Note unusual day https://sites.google.com/site/nirbitansky/
Affiliation:	CSAIL M I T
Host:	Eyal Kushilevitz

---

January 2016

Time+Place:	Sunday 03/01/2016 14:30 Room 337-8 Taub Bld.
Title:	Improving Parallel Programs with Architectural Insights
Speaker:	Adam Morrison - CS-Lecture http://www.cs.technion.ac.il/~mad/
Affiliation:	Postdoc at the Technion, CS Dept.
Host:	Keren Censor-Hillel

Time+Place:	Tuesday 05/01/2016 14:30 Room 337-8 Taub Bld.
Title:	Crowd-Powered Data Management
Speaker:	Tova Milo - COLLOQUIUM LECTURE http://www.math.tau.ac.il/~milo/
Affiliation:	School of Computer Science, Tel-Aviv University
Host:	Nir Ailon

Time+Place:	Wednesday 06/01/2016 14:30 Room 337-8 Taub Bld.
Title:	The Role of Interaction in Economics and Parallel Computation
Speaker:	Omri Weinstein - CS-Lecture - Note unusual day http://www.cs.princeton.edu/~oweinste/
Affiliation:	Courant Institute (NYU)
Host:	Eyal Kushilevitz

Time+Place:	Thursday 07/01/2016 14:30 Room 337-8 Taub Bld.
Title:	Beyond Conditional Lower Bounds: Overcoming the Square Root Phenomenon in Theory and Practice.
Speaker:	Tsvi Kopelowitz - CS-Lecture http://web.eecs.umich.edu/~tsvi/
Affiliation:	University of Michigan, Dept. of EE and CS
Host:	Roy Schwartz

Time+Place:	Tuesday 12/01/2016 14:30 Room 337-8 Taub Bld.
Title:	The probabilistic method meets the game of Go
Speaker:	Graham Farr - COLLOQUIUM LECTURE http://www.csse.monash.edu.au/~gfarr/
Affiliation:	Faculty of I.T., Monash University, Clayton, Victoria, Australia
Host:	Johann Makowsky

Time+Place:	Wednesday 13/01/2016 14:30 Room 337-8 Taub Bld.
Title:	Scalable Machine Learning for structured high-dimensional outputs
Speaker:	Ofer Meshi - CS-Lecture - Note unusual day http://ttic.uchicago.edu/~meshi/
Affiliation:	Toyota Technological Institute at Chicago
Host:	Ran El-Yaniv

Time+Place:	Tuesday 19/01/2016 14:30 Room 337-8 Taub Bld.
Title:	Adversarial Robotics: Robotic Strategic Behavior in Adversarial Environments
Speaker:	Noa Agmon - COLLOQUIUM LECTURE http://u.cs.biu.ac.il/~agmon/
Affiliation:	Computer Science Dept., Bar-Ilan University
Host:	Nir Ailon

---

Fabruary 2016

Time+Place:	Thursday 11/02/2016 14:30 Room 337-8 Taub Bld.
Title:	Enhanced Human: Wearable computing that transforms how we perceive and interact with our world
Speaker:	Jeremy Cooperstock - COLLOQUIUM LECTURE http://www.cim.mcgill.ca/~jer/
Affiliation:	McGill University, Montreal
Host:	Ran El-Yaniv

---

March 2016

Time+Place:	Tuesday 08/03/2016 14:30 Room 337-8 Taub Bld.
Title:	Technology and the Future of Work and Money
Speaker:	Seth Goldstein - COLLOQUIUM LECTURE http://www.cs.cmu.edu/~seth/
Affiliation:	School of Computer Science, Carnegie Mellon University
Host:	Yossi Gil

Time+Place:	Tuesday 15/03/2016 14:30 Room 337-8 Taub Bld.
Title:	Sex and the causes of mutation: Work at the interface of evolutionary biology and theoretical computer science
Speaker:	Adi Livnat - COLLOQUIUM LECTURE http://sci3.haifa.ac.il/~alivnat/
Affiliation:	Department of Evolutionary and Environmental Biology and the Institute of Evolution, University of Haifa
Host:	Nir Ailon

Time+Place:	Sunday 27/03/2016 14:30 Room 601 Taub Bld.
Title:	On body and Out of body Interactions
Speaker:	Jessica Cauchard - CS-Lecture - NOTE UNUSUAL ROOM http://web.stanford.edu/~cauchard/index.html
Affiliation:	Computer Science Dept., Stanford University
Host:	Miri Ben-Chen

Time+Place:	Monday 28/03/2016 14:30 Room NOTE CHANGE OF ROOM Auditorium 2 Taub Bld.
Title:	Your phone can and should do all the image/video processing and machine learning you need: Child Development Screening for Everybody
Speaker:	Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES http://ece.duke.edu/faculty/guillermo-sapiro
Affiliation:	Edmund T. Pratt, Jr. School Professor of Electrical and Computer Engineering, Duke University
Host:	Prof. Ron Kimmel, Prof. Michael Elad and Prof. Alfred M. Bruckstein

Time+Place:	Wednesday 30/03/2016 14:30 Room 337-8 Taub Bld.
Title:	Your phone can and should do all the image/video processing and machine learning you need: Video Enhancement and Face Recognition
Speaker:	Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES http://ece.duke.edu/faculty/guillermo-sapiro
Affiliation:	Edmund T. Pratt, Jr. School Professor of Electrical and Computer Engineering, Duke University
Host:	Prof. Ron Kimmel, Prof. Michael Elad and Prof. Alfred M. Bruckstein

---

April 2016

Time+Place:	Tuesday 05/04/2016 14:30 Room 337-8 Taub Bld.
Title:	Designing Communication Receivers Using Machine Learning Techniques
Speaker:	Brian M. Kurkoski - COLLOQUIUM LECTURE http://www.jaist.ac.jp/is/labs/bits/brian
Affiliation:	Japan Advanced Institute of Science and Technology (JAIST), Nomi, Japan
Host:	Eitan Yaakobi

Time+Place:	Tuesday 12/04/2016 14:30 Room 337-8 Taub Bld.
Title:	Mining causality to predict future events
Speaker:	Kira Radinsky - COLLOQUIUM LECTURE http://tx.technion.ac.il/~kirar/
Affiliation:	CTO and Co-Founder, SalesPredict and Visiting Professor/Scientist, Technion
Host:	Shaul Markovitch

Time+Place:	Tuesday 19/04/2016 14:30 Room Auditorium 2 Taub Bld.
Title:	Applying theory to practice (and practice to theory)
Speaker:	Ronald Fagin - TCE Henry Taub Distinguished Visitor http://researcher.watson.ibm.com/researcher/view.php?person=us-fagin
Affiliation:	IBM Research - Almaden
Host:	Benny Kimelfeld

---

May 2016

Time+Place:	Tuesday 03/05/2016 14:30 Room 337-8 Taub Bld.
Title:	Welfare Maximization via Posted Prices
Speaker:	Michal Feldman - COLLOQUIUM LECTURE http://www.cs.tau.ac.il/~mfeldman/
Affiliation:	Blavatnik School of Computer Science, Tel-Aviv University
Host:	Nir Ailon

Time+Place:	Tuesday 10/05/2016 14:30 Room 337-8 Taub Bld.
Title:	Unsupervised Ensemble Learning
Speaker:	Boaz Nadler - COLLOQUIUM LECTURE http://www.wisdom.weizmann.ac.il/~nadler/
Affiliation:	Department of Computer Science and Applied Mathematics, Weizmann Institute of Science
Host:	Nir Ailon

Time+Place:	Wednesday 18/05/2016 14:30 Room 337-8 Taub Bld.
Title:	Some limitations and possibilities toward data-driven optimization
Speaker:	Yaron Singer - COLLOQUIUM LECTURE - Note unusual day http://people.seas.harvard.edu/~yaron/
Affiliation:	Harvard University.
Host:	Seffi Naor

Time+Place:	Monday 23/05/2016 14:30 Room Class 7 Taub Bld.
Title:	DNA-based Archival Storage System
Speaker:	Luis Ceze - TCE guest - RESCHEDULED - NOTE UNUSUAL DAY AND ROOM https://www.cs.washington.edu/people/faculty/luisceze
Affiliation:	Computer Science and Engineering Department, University of Washington
Host:	Mark Silberstein

---

June 2016

Time+Place:	Tuesday 14/06/2016 14:30 Room 337-8 Taub Bld.
Title:	A new dimension of media
Speaker:	Alexander Bronstein - COLLOQUIUM LECTURE http://www.cs.technion.ac.il/~bron/
Affiliation:	Computer Science Dept., Technion

Time+Place:	Thursday 16/06/2016 15:00 Room 337-8 Taub Bld.
Title:	Understanding Word Embeddings
Speaker:	Omer Levy - CS-Lecture - NOTE UNUSUAL HOUR https://levyomer.wordpress.com/
Affiliation:	Bar-Ilan University
Host:	Shaul Markovitch

---

November 2016

Time+Place:	Tuesday 08/11/2016 14:30 Room 337-8 Taub Bld.
Title:	High Throughput Connectomics
Speaker:	Nir Shavit - COLLOQUIUM LECTURE http://www.cs.tau.ac.il/~shanir/
Affiliation:	Computer Science Dept., Tel-Aviv University
Host:	Yuval Filmus

Time+Place:	Tuesday 15/11/2016 14:30 Room 337-8 Taub Bld.
Title:	Teaching Computer Science, in Israel and Abroad: Teaching, Learning, and Teacher Training
Speaker:	Orit Hazzan and Noa Ragonis - COLLOQUIUM LECTURE https://orithazzan.net.technion.ac.il/
Affiliation:	Faculty of Education in Science & Technology, Technion and Dept. of Science Teaching, Weizmann Inst.
Host:	Yuval Filmus

Time+Place:	Thursday 24/11/2016 10:30 Room 337 Taub Bld.
Title:	From Programming Languages to Programming Systems - Software Development by Refinement
Speaker:	Shachar Itzhaky - CS-Lecture - NOTE UNUSUAL HOUR http://people.csail.mit.edu/shachari/
Affiliation:	MIT - Computer Science Lab.

Time+Place:	Monday 28/11/2016 10:30 Room 337 Taub Bld.
Title:	Faster Projection-free Machine Learning and Optimization
Speaker:	Dan Garber - CS-Lecture - NOTE UNUSUAL DAY AND HOUR http://ttic.uchicago.edu/~dgarber/
Affiliation:	Toyota Technological Institute at Chicago

Time+Place:	Tuesday 29/11/2016 14:30 Room 337-8 Taub Bld.
Title:	From Reachability to Temporal Specifications in Game Theory
Speaker:	Orna Kupferman - COLLOQUIUM LECTURE http://www.cs.huji.ac.il/~ornak/
Affiliation:	School of Computer Science and Engineering, Hebrew University
Host:	Yuval Filmus

---

December 2016

Time+Place:	Thursday 15/12/2016 14:30 Room 337 Taub Bld.
Title:	Cloud resource provisioning for social notifications at mass scale
Speaker:	Roman Vitenberg - COLLOQUIUM LECTURE http://folk.uio.no/romanvi/
Affiliation:	Dept. of Informatics, University of Oslo
Host:	Roy Friedman

Time+Place:	Thursday 22/12/2016 10:30 Room 337 Taub Bld.
Title:	Recent advances in randomness extractors and their applications
Speaker:	Gil Cohen - CS-Lecture - NOTE UNUSUAL TIME http://www.gilcohen.org/
Affiliation:	Princeton University

Time+Place:	Thursday 22/12/2016 14:30 Room 337 Taub Bld.
Title:	On Simulation, Verification and Monitoring of Cyber-Physical Systems
Speaker:	Oded Maler - Special Guest Lecture http://www-verimag.imag.fr/~maler/
Affiliation:	VERIMAG Research Lab, France
Host:	Seffi Naor

Time+Place:	Sunday 25/12/2016 10:30 Room 601 Taub Bld.
Title:	Shared-memory concurrency in programming languages: Problems, challenges, solutions
Speaker:	Ori Lahav - CS-Lecture - Note unusual room and hour https://people.mpi-sws.org/~orilahav/
Affiliation:	Max Planck Institute for Software Systems (MPI-SWS)

Time+Place:	Tuesday 27/12/2016 14:30 Room 337-8 Taub Bld.
Title:	Requirements for Tools for Hairy Requirements or Software Engineering Tasks
Speaker:	Daniel M. Berry - COLLOQUIUM LECTURE https://cs.uwaterloo.ca/~dberry/
Affiliation:	University of Waterloo
Host:	Yuval Filmus

---

January 2017

Time+Place:	Tuesday 03/01/2017 10:30 Room 601 Taub Bld.
Title:	Learning to act from observational data
Speaker:	Uri Shalit - CS-Lecture - Note unusual hour and place http://www.cs.nyu.edu/~shalit/
Affiliation:	Courant Institute of Mathematical Sciences, New York University

Time+Place:	Tuesday 03/01/2017 14:30 Room 337-8 Taub Bld.
Title:	On Artificial Olfaction, and How to Test For It
Speaker:	David Harel - COLLOQUIUM LECTURE http://www.wisdom.weizmann.ac.il/~dharel/
Affiliation:	Dept. of Computer Science and Applied Mathematics, Weizmann Institute
Host:	Yuval Filmus

Time+Place:	Thursday 05/01/2017 10:30 Room 337 Taub Bld.
Title:	Graph Algorithms for Distributed Networks
Speaker:	Merav Parter - CS-Lecture - NOTE UNUSUAL HOUR http://people.csail.mit.edu/parter/
Affiliation:	MIT - EE and CS Dept.

Time+Place:	Sunday 08/01/2017 10:30 Room 601 Taub Bld.
Title:	Hardness in P
Speaker:	Amir Abboud - CS-LECTURE https://sites.google.com/site/amirabboud/
Affiliation:	Theory Group, Stanford University

Time+Place:	Thursday 12/01/2017 10:30 Room 601 Taub Bld.
Title:	How to Prove the Corretness of Computations
Speaker:	Ron Rothblum - CS-Lecture http://people.csail.mit.edu/ronr/
Affiliation:	M I T

Time+Place:	Tuesday 17/01/2017 14:30 Room 337-8 Taub Bld.
Title:	Antibiotic resistance: machine learning to the rescue
Speaker:	Roy Kishony - COLLOQUIUM LECTURE http://biology.technion.ac.il/?cmd=staff.47&act=read&id=267&page_id=199
Affiliation:	Department of Biology, Technion
Host:	Yuval Filmus

Time+Place:	Thursday 19/01/2017 10:30 Room 601 Taub Bld.
Title:	Achieving Scalable Formal Verification through Generalization and Abstraction
Speaker:	Yakir Vizel - CS-Lecture http://www.cs.technion.ac.il/~yvizel/
Affiliation:	Princeton University

Time+Place:	Monday 23/01/2017 10:30 Room 601 Taub Bld.
Title:	Robust and Simple Market Design
Speaker:	Inbal Talgam Cohen - CS-Lecture http://www.cs.huji.ac.il/~italgam/
Affiliation:	HUJI and TAU

---

Fabruary 2017

Time+Place:	Monday 20/02/2017 14:30 Room 337 Taub Bld.
Title:	Class invariants: old concept and new results
Speaker:	Bertrand Meyer - GUEST LECTURE - Note unusual day http://se.ethz.ch/~meyer/
Affiliation:	Professor of Software Engineering, ETH Zurich
Host:	David H. Lorenz

---

April 2017

Time+Place:	Tuesday 04/04/2017 14:30 Room 337 Taub Bld.
Title:	Modularity, classification and networks in analysis of big biomedical data
Speaker:	Ron Shamir - COLLOQUIUM LECTURE http://www.cs.tau.ac.il/~rshamir/
Affiliation:	Tel-Aviv Univeristy
Host:	Yuval Filmus

Time+Place:	Tuesday 25/04/2017 14:30 Room 337 Taub Bld.
Title:	''Blind'' Visual Inference
Speaker:	Michal Irani - COLLOQUIUM LECTURE http://www.weizmann.ac.il/math/irani/
Affiliation:	Weizmann Institute, Dept. of CS and App. Math.
Host:	Yuval Filmus

---

May 2017

Time+Place:	Tuesday 16/05/2017 14:30 Room 337 Taub Bld.
Title:	Quantum computation: A computational lens on quantum physics
Speaker:	Dorit Aharonov - COLLOQUIUM LECTURE http://www.cs.huji.ac.il/~doria/
Affiliation:	Hebrew University, Dept. of Computer Science and Engineering
Host:	Yuval Filmus

---

June 2017

Time+Place:	Tuesday 06/06/2017 14:30 Room 337 Taub Bld.
Title:	Memory-Efficient Algorithms for Finding Needles in Haystacks
Speaker:	Adi Shamir - COLLOQUIUM LECTURE https://en.wikipedia.org/wiki/Adi_Shamir
Affiliation:	Weizmann Institute
Host:	Yuval Filmus

Time+Place:	Sunday 11/06/2017 13:30 Room 337 Taub Bld.
Title:	Accelerating Multidimensional NMR Spectroscopy by Compressed Sensing of Hypercomplex FTs
Speaker:	David L. Donoho - SPECIAL GUEST LECTURE - Note unusual hour https://statweb.stanford.edu/~donoho/
Affiliation:	Stanford University
Host:	Michael Elad

Time+Place:	Tuesday 13/06/2017 14:30 Room 337 Taub Bld.
Title:	Effective deductive verification of safety of distributed protocols in unbounded systems
Speaker:	Mooly Sagiv - COLLOQUIUM LECTURE - RESCHEDULED https://www.cs.tau.ac.il/~msagiv/
Affiliation:	Tel-Aviv University, School of Computer Science
Host:	Yuval Filmus

Time+Place:	Wednesday 28/06/2017 11:30 Room 337 Taub Bld.
Title:	Probabilistic Reasoning Meets Heuristic Search
Speaker:	Rina Dechter - SPECIAL GUEST LECTURE - Note unusual day and time http://www.ics.uci.edu/~dechter/
Affiliation:	Donald Bren School of Information and Computer Sciences, UC Irvine
Host:	Benny Kimelfeld

---

July 2017

Time+Place:	Tuesday 04/07/2017 14:30 Room 337 Taub Bld.
Title:	IBM Quantum Experience: Prospects for universal quantum computing in the marketplace
Speaker:	Yehuda Naveh - SPECIAL GUEST LECTURE http://researcher.ibm.com/researcher/view.php?person=il-NAVEH
Affiliation:	IBM Haifa Reserch Lab
Host:	Tal Mor

---

November 2017

Time+Place:	Tuesday 07/11/2017 14:30 Room 337 Taub Bld.
Title:	Complexity-Theoretic Foundations of Quantum Supremacy Experiments
Speaker:	Scott Aaronson - COLLOQUIUM LECTURE https://www.cs.utexas.edu/directory/scott-aaronson
Affiliation:	University of Texas, Austin, Computer Science
Host:	Yuval Filmus

Time+Place:	Monday 13/11/2017 12:30 Room 337 Taub Bld.
Title:	Explaining the Success of AdaBoost and Random Forests as Interpolating Classifiers
Speaker:	Abraham (Adi) Wyner - SPECIAL GUEST LECTURE - TECHNION MACHINE LEARNING SEMINAR https://statistics.wharton.upenn.edu/profile/ajw/
Affiliation:	University of Pennsylvania's Wharton School
Host:	Ran El-Yaniv

Time+Place:	Tuesday 21/11/2017 14:30 Room 337 Taub Bld.
Title:	Information Theory of Deep Learning
Speaker:	Naftali Tishby - COLLOQUIUM LECTURE http://naftali-tishby.strikingly.com/
Affiliation:	Hebrew University of Jerusalem
Host:	Yuval Filmus

Time+Place:	Sunday 26/11/2017 10:30 Room 401 Taub Bld.
Title:	Inverse Problems and Unsupervised Learning with applications to Cryo-Electron Microscopy (cryo-EM)
Speaker:	Roy Lederman - CS-Lecture https://roy.lederman.name/
Affiliation:	Princeton University

---

December 2017

Time+Place:	Tuesday 05/12/2017 14:30 Room 337 Taub Bld.
Title:	Unstructured Parallelism Considered Harmful -- Improving Software Reliability and Performance through Structured Parallelism
Speaker:	Prof. Vivek Sarkar - COLLOQUIUM LECTURE https://www.scs.gatech.edu/people/12928/vivek-sarkars
Affiliation:	Stephen Fleming Chair for Telecommunications, Georgia Institute of Technology
Host:	Eran Yahav

Time+Place:	Monday 18/12/2017 10:30 Room 601 Taub Bld.
Title:	Interplays between Machine Learning and Optimization
Speaker:	Tomer Koren - CS-Lecture https://tomerkoren.github.io/
Affiliation:	Google, Mountain View

Time+Place:	Tuesday 19/12/2017 14:30 Room 337 Taub Bld.
Title:	Faster and Simpler Distributed CONGEST-Algorithms for Testing and Correcting Graph Properties
Speaker:	Guy Even - COLLOQUIUM LECTURE http://hyde.eng.tau.ac.il/
Affiliation:	Dept. of Electrical Engineering-Systems, Tel-Aviv University
Host:	Yuval Filmus

Time+Place:	Thursday 21/12/2017 10:30 Room 601 Taub Bld.
Title:	Overcoming Intractability in Learning
Speaker:	Roi Livni - CS-Lecture http://www.cs.princeton.edu/~rlivni/
Affiliation:	Princeton University, CS Dept.

Time+Place:	Thursday 28/12/2017 14:30 Room 337 Taub Bld.
Title:	Exact Learning in Data-driven Systems
Speaker:	Dana Drachsler Cohen - SPECIAL GUEST LECTURE http://www.srl.inf.ethz.ch/dana.php
Affiliation:	Dept. of Computer Science at ETH Zurich.
Host:	Eran Yahav

---

January 2018

Time+Place:	Thursday 04/01/2018 10:30 Room 601 Taub Bld.
Title:	Evolving hardware and operating system interfaces through programmability
Speaker:	Nadav Amit - CS-Lecture https://research.vmware.com/researchers/nadav-amit
Affiliation:	VMware's Research Group, Palo Alto, Calif.

Time+Place:	Tuesday 09/01/2018 10:30 Room 601 Taub Bld.
Title:	Cryptography Outside the Black Box
Speaker:	Omer Paneth - CS-Lecture http://people.csail.mit.edu/omerpa/
Affiliation:	M I T - Cryptography group

Time+Place:	Tuesday 09/01/2018 14:30 Room 337 Taub Bld.
Title:	Bridging the Gap between End-users and Knowledge Sources: Discovery, Selection and Utilization
Speaker:	Yael Amsterdamer - COLLOQUIUM LECTURE http://u.cs.biu.ac.il/~amstery/
Affiliation:	Department of Computer Science, Bar Ilan University
Host:	Yuval Filmus

Time+Place:	Wednesday 10/01/2018 10:30 Room 601 Taub Bld.
Title:	Computational Challenges and Algorithms in Planning for Robotic Systems
Speaker:	Oren Salzman - CS-Lecture https://www.ri.cmu.edu/ri-people/oren-salzman/
Affiliation:	Carnegie Mellon University

Time+Place:	Tuesday 16/01/2018 14:30 Room 337 Taub Bld.
Title:	Personalization is a Two-Way Street
Speaker:	Ronny Lempel - COLLOQUIUM LECTURE
Affiliation:	Outbrain
Host:	Yuval Filmus

Time+Place:	Tuesday 23/01/2018 10:30 Room Auditorium 2 Taub Bld.
Title:	On the Expressive Power of ConvNets and RNNs as a Function of their Architecture
Speaker:	Amnon Shashua - COLLOQUIUM LECTURE - NOTE UNUSUAL TIME AND PLACE https://en.wikipedia.org/wiki/Amnon_Shashua
Affiliation:	Hebrew University; CEO & CTO, Mobileye; Senior Vice President, Intel Corporation
Host:	Ron Kimmel

Time+Place:	Thursday 25/01/2018 10:30 Room 601 Taub Bld.
Title:	Processing Human Language with Recurrent Neural Networks and Multiple Training Signals
Speaker:	Yoav Goldberg - CS-Lecture https://www.cs.bgu.ac.il/~yoavg/uni/
Affiliation:	Computer Science Department, Bar-Ilan University

---

March 2018

Time+Place:	Tuesday 27/03/2018 10:30 Room 601 Taub Bld.
Title:	When Codes for Storage Systems Meet Storage Systems
Speaker:	Gala Yadgar - CS-Lecture http://gala.cswp.cs.technion.ac.il/
Affiliation:	Computer Science Department, Technion

Time+Place:	Tuesday 27/03/2018 14:30 Room 337 Taub Bld.
Title:	Serializability Reasoning for Eventual Consistency
Speaker:	Dimitar Dimitrov - GUEST LECTURE https://www.srl.inf.ethz.ch/dimitar.php
Affiliation:	ETH Zurich
Host:	Eran Yahav

---

April 2018

Time+Place:	Tuesday 10/04/2018 14:30 Room 337 Taub Bld.
Title:	MAGIC SQUARES WONDER CUBES and OTHER SAME SUM OBJECTS
Speaker:	Prof. Emeritus Azaria Paz - Distinguished Guest Lecture http://www.cs.technion.ac.il/people/paz/
Affiliation:	Computer Science, Technion
Host:	Yuval Filmus

Time+Place:	Tuesday 24/04/2018 14:30 Room 337 Taub Bld.
Title:	1+1=3: Combining Object Storage with Other Data Services
Speaker:	Michael Factor - COLLOQUIUM LECTURE https://researcher.watson.ibm.com/researcher/view.php?person=il-FACTOR
Affiliation:	IBM Research - Haifa
Host:	Yuval Filmus

---

May 2018

Time+Place:	Tuesday 01/05/2018 14:30 Room 337 Taub Bld.
Title:	Genetics media
Speaker:	Yaniv Erlich - COLLOQUIUM LECTURE - RESCHEDULED FROM 10/4/18 http://TeamErlich.org
Affiliation:	Computer Science, Columbia University and Chief Science Officer, MyHeritage
Host:	Yuval Filmus

Time+Place:	Tuesday 29/05/2018 14:30 Room 337 Taub Bld.
Title:	Accelerating Innovation Through Analogy Mining
Speaker:	Dafna Shahaf - COLLOQUIUM LECTURE http://www.cs.huji.ac.il/~dshahaf/
Affiliation:	School of Computer Science and Engineering, Hebrew University
Host:	Yuval Filmus

---

June 2018

Time+Place:	Tuesday 05/06/2018 14:30 Room 337 Taub Bld.
Title:	Matching Visual Data
Speaker:	Shai Avidan - COLLOQUIUM LECTURE http://www.eng.tau.ac.il/~avidan/
Affiliation:	Faculty of Engineering, Tel-Aviv University
Host:	Yuval Filmus

Time+Place:	Tuesday 12/06/2018 14:30 Room 337 Taub Bld.
Title:	Privacy, and Why You Should Care
Speaker:	Katrina Ligett - COLLOQUIUM LECTURE http://www.cs.huji.ac.il/~katrina/index.html
Affiliation:	School of Computer Science and Engineering, Hebrew University
Host:	Yuval Filmus

Time+Place:	Tuesday 26/06/2018 14:30 Room 337 Taub Bld.
Title:	Real-time Learning using Core-Sets: Autonomous Drones for Rami Levy
Speaker:	Dan Feldman - COLLOQUIUM LECTURE http://people.csail.mit.edu/dannyf/
Affiliation:	Computer Science Dept., Haifa University
Host:	Yuval Filmus

---

November 2018

Time+Place:	Tuesday 06/11/2018 14:30 Room 337 Taub Bld.
Title:	Learning-Driven Network Protocols
Speaker:	Michael Schapira http://www.cs.huji.ac.il/~schapiram/index.html
Affiliation:	School of Computer Science and Engineering, Hebrew University
Host:	Roy Schwartz

Time+Place:	Tuesday 13/11/2018 14:30 Room 337 Taub Bld.
Title:	Facing old new frontiers in visual object recognition using deep learning
Speaker:	Daphna Weinshall http://www.cs.huji.ac.il/~daphna/
Affiliation:	School of Computer Science and Engineering, Hebrew University
Host:	Roy Schwartz

---

December 2018

Time+Place:	Thursday 13/12/2018 10:30 Room 337 Taub Bld.
Title:	Beyond SGD: Data Adaptive Methods for Machine Learning
Speaker:	Kfir Levy - CS-Lecture https://las.inf.ethz.ch/people/kfir-levy
Affiliation:	Institute for Machine Learning at ETH Zurich

Time+Place:	Thursday 20/12/2018 10:30 Room 337 Taub Bld.
Title:	Towards Interpretable Deep Learning for Natural Language Processing
Speaker:	Roy Schwartz - CS-Lecture https://homes.cs.washington.edu/~roysch/
Affiliation:	University of Washington and the Allen institute for AI.

Time+Place:	Thursday 27/12/2018 10:30 Room 601 Taub Bld.
Title:	Certifiable Algorithms in Automated Verification.
Speaker:	Shaull Almagor - CS-Lecture https://shaull.github.io/
Affiliation:	Oxford University

Time+Place:	Monday 31/12/2018 10:30 Room 337 Taub Bld.
Title:	Deep Learning Models for Language: What they learn, where they fail, and how to make them more robust
Speaker:	Yonatan Belinkov - CS-Lecture http://people.csail.mit.edu/belinkov/
Affiliation:	Harvard School of Engineering and Applied Sciences (SEAS) and the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)

---

January 2019

Time+Place:	Tuesday 01/01/2019 14:30 Room 337 Taub Bld.
Title:	Toward human-centered programming language design
Speaker:	Joshua Sunshine http://www.cs.cmu.edu/~jssunshi/
Affiliation:	Institute for Software Research at Carnegie Mellon University
Host:	Roy Schwartz

Time+Place:	Sunday 06/01/2019 10:30 Room 601 Taub Bld.
Title:	When Existing Techniques Preserve Differential Privacy
Speaker:	Or Sheffet - CS-Lecture http://webdocs.cs.ualberta.ca/~osheffet/
Affiliation:	Department of Computing Science at the University of Alberta

Time+Place:	Tuesday 08/01/2019 10:30 Room 201 Taub Bld.
Title:	Natural Language Programming: Turning Texts into Executable Code
Speaker:	Reut Tsarfaty - GUEST LECTURE https://www.openu.ac.il/en/personalsites/ReutTsarfaty.aspx
Affiliation:	The ONLP lab, Faculty of Mathematics and Computer Science, The Open University of Israel
Host:	Eran Yahav

Time+Place:	Tuesday 15/01/2019 14:30 Room 337 Taub Bld.
Title:	Consolidating and Exploring Open Textual Knowledge
Speaker:	Ido Dagan - COLLOQUIUM LECTURE http://u.cs.biu.ac.il/~dagan/
Affiliation:	Department of Computer Science, Bar Ilan University
Host:	Roy Schwartz

---

Fabruary 2019

Time+Place:	Thursday 07/02/2019 14:30 Room 337 Taub Bld.
Title:	Distribution-free models of social and information networks
Speaker:	Prof. Tim Roughgraden - SPECIAL DISTINGUISHED LECTURE - note unusual date http://timroughgarden.org/
Affiliation:	Columbia University
Host:	Inbal Talgam-Cohen

---

March 2019

---

April 2019

Time+Place:	Tuesday 02/04/2019 14:30 Room 337 Taub Bld.
Title:	From Cognitive Biases to the Communication Complexity of Local Search
Speaker:	Shahar Dobzinski - COLLOQUIUM LECTURE https://sites.google.com/site/dobzin/
Affiliation:	Weizmann Institute, Applied Math and Computer Science Dept.
Host:	Yuval Filmus

Time+Place:	Tuesday 30/04/2019 14:30 Room 337 Taub Bld.
Title:	Computer Agents that Interact Proficiently with People
Speaker:	Sarit Kraus - COLLOQUIUM LECTURE http://u.cs.biu.ac.il/~sarit/
Affiliation:	Bar-Ilan University
Host:	Yuval Filmus

---

May 2019

Time+Place:	Tuesday 14/05/2019 14:30 Room 337 Taub Bld.
Title:	Some systems engineering problems and a little bit of theory
Speaker:	Eitan Bachmat - COLLOQUIUM LECTURE - RESCHEDULED https://www.cs.bgu.ac.il/~ebachmat/
Affiliation:	Ben-Gurion University
Host:	Yuval Filmus

Time+Place:	Tuesday 28/05/2019 14:30 Room 337 Taub Bld.
Title:	Deep Learning: Optimization, Generalization and Architectures
Speaker:	Amir Globerson - COLLOQUIUM LECTURE - RESCHEDULED http://www.cs.tau.ac.il/~gamir/
Affiliation:	Tel-Aviv University
Host:	Yuval Filmus

---

June 2019

Time+Place:	Tuesday 11/06/2019 14:30 Room 337 Taub Bld.
Title:	SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
Speaker:	Shahar Maoz - COLLOQUIUM LECTURE https://www.cs.tau.ac.il/~maozs/
Affiliation:	School of Computer Science, Tel-Aviv University
Host:	Yuval Filmus

Time+Place:	Sunday 16/06/2019 10:30 Room 601 Taub Bld.
Title:	Mitigating One-Sided Biases in Natural Language Understanding Datasets
Speaker:	Yonatan Belinkov - CS-Lecture http://people.csail.mit.edu/belinkov/
Affiliation:	Harvard School of Engineering and Applied Sciences (SEAS)

Time+Place:	Sunday 16/06/2019 14:30 Room 337 Taub Bld.
Title:	AI as an Accelerator to Great Scientific Research
Speaker:	Stuart Feldman - SPECIAL GUEST LECTURE https://schmidtfutures.com/person/stuart-feldman/
Affiliation:	Chief Scientist, Schmidt Futures
Host:	Danny Raz

Time+Place:	Tuesday 18/06/2019 14:30 Room 337 Taub Bld.
Title:	Multiscale Models for Image Classification and Physics with Deep Networks
Speaker:	Prof. Stephane Mallat - SPECIAL GUEST LECTURE https://en.wikipedia.org/wiki/St%C3%A9phane_Mallat
Affiliation:	College de France
Host:	Prof. Alfred Bruckstein

---

July 2019

Time+Place:	Sunday 14/07/2019 11:00 Room 301 Taub Bld.
Title:	Enumeration for MSO Queries on Trees via Circuits
Speaker:	Prof. Antoine Amarilli - SPECIAL GUEST LECTURE
Affiliation:	Telecom Paris engineering school
Host:	Prof. Benny Kimelfeld

---

November 2019

Time+Place:	Monday 04/11/2019 11:00 Room Auditorium 2 Taub Bld.
Title:	A calculus for brain computation
Speaker:	Prof. Christos Papadimitriou, Special Guest Talk, Harvey Prize Winner https://engineering.columbia.edu/faculty/christos-papadimitriou
Affiliation:	Computer Science Dept., Columbia University, New York, NY.
Host:	Seffi Naor

Time+Place:	Tuesday 05/11/2019 14:30 Room 337 Taub Bld.
Title:	Training Neural Networks: The Bigger the Better?
Speaker:	Ohad Shamir - COLLOQUIUM LECTURE http://www.wisdom.weizmann.ac.il/~shamiro/
Affiliation:	Weizmann Institute
Host:	Yuval Filmus

Time+Place:	Tuesday 12/11/2019 14:30 Room 337 Taub Bld.
Title:	Is there logic in software engineering?
Speaker:	Yuri Gurevich - COLLOQUIUM LECTURE https://web.eecs.umich.edu/~gurevich/
Affiliation:	University of Michigan
Host:	Assaf Schuster

---

December 2019

Time+Place:	Tuesday 03/12/2019 14:30 Room 337 Taub Bld.
Title:	Degree-Bounded Polymatroids, with Applications to the Many-Visits TSP
Speaker:	Matthias Mnich - COLLOQUIUM LECTURE http://www.tcs.cs.uni-bonn.de/doku.php?id=staff:matthiasmnich
Affiliation:	University of Bonn
Host:	Hadas Shachnai

Time+Place:	Tuesday 10/12/2019 14:30 Room 337 Taub Bld.
Title:	MPC Beyond the Generic Model - Private Intersection Analytics
Speaker:	Benny Pinkas - COLLOQUIUM LECTURE http://www.pinkas.net/
Affiliation:	Dept. of Computer Science, and Center for Research in Applied Cryptography and Cyber Security, Bar-Ilan University
Host:	Yuval Filmus

Time+Place:	Tuesday 17/12/2019 14:30 Room 337 Taub Bld.
Title:	Cryptographic Computations need Compilers
Speaker:	Madan Musuvathi - COLLOQUIUM LECTURE https://www.microsoft.com/en-us/research/people/madanm/
Affiliation:	Microsoft Research RiSE group
Host:	Erez Petrank

Time+Place:	Sunday 22/12/2019 10:30 Room 337 Taub Bld.
Title:	Behavioral Machine Learning
Speaker:	Nir Rosenfeld - CS-Lecture https://sites.google.com/g.harvard.edu/nirr//
Affiliation:	Harvard's School of Engineering and Applied Sciences (SEAS)

Time+Place:	Tuesday 24/12/2019 10:30 Room 337 Taub Bld.
Title:	Breaking and Fixing Real World Crypto
Speaker:	Eyal Ronen - CS-Lecture https://eyalro.net/
Affiliation:	KU Leuven's COSIC research group and Tel Aviv University's School of Computer Science

---

January 2020

Time+Place:	Thursday 02/01/2020 10:30 Room 337 Taub Bld.
Title:	Leveraging Programmable Switches for In-network Computing
Speaker:	Ran Ben Basat - CS-Lecture http://www.bbasat.com/
Affiliation:	Harvard University

Time+Place:	Sunday 05/01/2020 10:30 Room 337 Taub Bld.
Title:	Meaning Representation in Natural Language Tasks
Speaker:	Gabriel Stanovsky - CS-Lecture https://gabrielstanovsky.github.io/
Affiliation:	University of Washington and the Allen Institute for AI in Seattle

Time+Place:	Monday 06/01/2020 14:30 Room 337 Taub Bld.
Title:	SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Speaker:	Prof. Martin Monperrus - COLLOQUIUM LECTURE - NOTE UNUSUAL DAY https://www.linkedin.com/in/martin-monperrus-369300a4
Affiliation:	KTH Royal Institute of Technology, Sweden
Host:	Eran Yahav

Time+Place:	Sunday 12/01/2020 10:30 Room 337 Taub Bld.
Title:	Fundamental limits of modern machine learning and how to get around them
Speaker:	Yair Carmon - CS-Lecture http://web.stanford.edu/~yairc/
Affiliation:	Stanford University

Time+Place:	Monday 13/01/2020 10:30 Room 601 Taub Bld.
Title:	Verification of distributed protocols using decidable logics
Speaker:	Oded Padon - CS-Lecture https://cs.stanford.edu/~padon/
Affiliation:	Stanford University

Time+Place:	Wednesday 15/01/2020 10:30 Room 601 Taub Bld.
Title:	Coding for Emerging Technologies
Speaker:	Ohad Elishco - CS-Lecture https://sites.google.com/view/ohad-elishco/home
Affiliation:	Department of Electrical Engineering, University of Maryland at College Park

Time+Place:	Thursday 16/01/2020 10:30 Room 337 Taub Bld.
Title:	Reliability, Equity, and Reproducibility in Modern Machine Learning
Speaker:	Yaniv Romano - CS-Lecture https://sites.google.com/view/yaniv-romano/home
Affiliation:	Department of Statistics at Stanford University

---

March 2020

Time+Place:	Tuesday 31/03/2020 14:30 Room 337 Taub Bld.
Title:	Hypernetworks and a New Feedback Model
Speaker:	Lior Wolf - COLLOQUIUM LECTURE - CANCELLED http://www.cs.tau.ac.il/~wolf/
Affiliation:	School of Computer Science, Tel-Aviv University
Host:	Yuval Filmus

---

April 2020

Time+Place:	Tuesday 07/04/2020 14:30 Room 337 Taub Bld.
Title:	Algorithms for Two-Player Turn-Based Stochastic Games
Speaker:	Uri Zwick - COLLOQUIUM LECTURE - CANCELLED
Affiliation:	Dept. of Computer Science - Tel-Aviv University
Host:	Yuval Filmus

---

May 2020

Time+Place:	Tuesday 05/05/2020 14:30 Room 337 Taub Bld.
Title:	Second-order Optimization for Machine Learning, Made Practical
Speaker:	Tomer Koren - COLLOQUIUM LECTURE - CANCELLED https://tomerkoren.github.io/
Affiliation:	School of Computer Science at Tel Aviv University
Host:	Yuval Filmus