tau_logo
cs.tau.ac.il

CS Colloquium 2014-2015

Coordinator: Prof. Ronitt Rubinfeld

Place: Schreiber 6 / Schreiber 309
Time: 10:45 gathering, cookies and coffee
11:00-12:00 colloquium talk


-
Date Speaker Video Title

October 26 2014
11:15 - 12:15

Yossef Oren

A Cyber-Physical Security Salami Sandwich

Novmber 9 2014
11:15 - 12:15

Rotem Oshman

The Communication Complexity of Distributed Subgraph Detection

November 17 2014 Special Date!!!
11:15 - 12:15

Tom Henzinger IST Austria

From Boolean to Quantitative Methods in Formal Verification

November 30 2014, Special time!!
10:45-12:00

Schreiber 6!

Shai Carmi

Genomic Segment Sharing: Theory, Demographic Inference, and Implications for Ashkenazi Jewish Genetics

December 7 2014

Special time!!
10:45-12:00

Schreiber 6!

Sigal Oren video

An Algorithmic Approach for Analyzing Social Phenomena

December 14 2014 Schreiber 6
11:00 - 12:00

Jonathan Berant video

Scalable algorithms for translating natural language to logical form

December 18 2014 Thurs 309

Special time!!
13:00- 14:00

Dina Schneidman video

Computational methods for Integrative Structural Biology

December 25 2014 Thurs 309

Special time!!
13:00- 14:00

Sharon Shoham video

Tackling the State Explosion Problem in Model Checking

December 28 2014

Schreiber 6
11:00 - 12:00

Omri Abend video

Machine-Learning the Hidden Universal Semantics of Natural Languages Omri Abend

January 4 2015

Schreiber 6
11:00 - 12:00

Yuval Filmus video

Fast matrix multiplication: Limitations of the Coppersmith-Winograd approach

January 8 2015

Thurs 309

Special time!!

13:00- 14:00

Gillat Kol video

Exponential Separation of Information and Communication

January 11 2015

Schreiber 6
11:00 - 12:00

Edith Cohen

Scalable mining of massive networks: Distance-based Centrality, Similarity, and Influence

January 18 2015

Schreiber 6
11:00 - 12:00

Guy Rothblum

How to Verify Computations without Reexecuting Them

February 1 2015

Schreiber 6
11:00 - 12:00

Yoav Artzi

Situated Learning and Understanding of Natural Language

March 15 2015
Schreiber 6
11:00 - 12:00
Yoram Moses

Principles of Coordination in Multi-agent Systems

March 22 2015
Schreiber 6
11:00 - 12:00
Eli Gafni

Better Late (40 years late!) Than Never: Monday Morning Quarterbacking the Coordinated-Attack Problem

March 29 2015
Schreiber 6
11:00 - 12:00
Yoav Goldberg

Demystifying Neural Word Embeddings

April 12 2015
Schreiber 6
11:00 - 12:00
Sarit Kraus

Computer Agents that Interact Proficiently with People

April 19 2015
Schreiber 6
11:00 - 12:00
Meni Rosenfeld

Bitcoin - 21st Century Money

April 26 2015
Schreiber 6
11:00 - 12:00

Amir Ban

Dynamics of Reputation Systems

May 10 2015
Schreiber 6
11:00 - 12:00

Nir Shavit

High Throughput Connectomics: The Challenges of Building a Brain-Scope

May 17 2015
Schreiber 6
11:00 - 12:00

Bob Hinden

My Journey on the Internet

May 31 2015
Schreiber 6
11:00 - 12:00

Tammy Raviv

Morphology-Guided Graph Search for Untangling Objects

June 7 2015
Schreiber 6
11:00 - 12:00

Moshe Cohen

Computational perspectives in knot theory

June 14 2015

Schreiber 6
11:15 - 12:15

Gal Kaminka

No robot is an island, no team an archipelago

June
11:15 - 12:15


13:15 - 14:15


11:15 - 12:15

 

 

CS Colloquium, 2013 - 2014

CS Colloquium, 2012 - 2013

CS Colloquium, 2011 - 2012

CS Colloquium, 2010 - 2011
CS Colloquium, 2009 - 2010
CS Colloquium, 2008 - 2009
CS Colloquium, 2007 - 2008
CS Colloquium, 2006 - 2007
CS Colloquium, 2005 - 2006


Valid HTML 4.01 Transitional

© Copyright 2008 Tel Aviv University All rights reserved.

 
tau.ac.il cs.tau.ac.il cs.tau.ac.il