Computer Science Colloquia

In the new building. See directions from main gate.

For directions from Tel Aviv or from Yagur press: directions to the Technion.

This page describes the Computer Science Colloquia. They are distributed through email (colloq@cs.technion.ac.il) and through this page.

The colloquia are usually held on Tuesdays at 14:30 and on Thursdays at 14:30 at the Computer Science new Taub building, room 337-8 (Sometimes held on Sundays 14:30). (The new Taub Building is located near "Amado" and "Mosad Neeman".)

Last modified on: Wed May 17 09:59:26 IDT 2017 by: Hadas Heier (Coordinator: Yuval Filmus)

For past Colloquia press [ old ]


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: Tuesday 20/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 https://www.cs.tau.ac.il/~msagiv/
Affiliation: Tel-Aviv University, School of Computer Science
Host: Yuval Filmus

Your visit here is number
counter
this year