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: Mon Jan 16 12:08:26 IST 2017 by: Hadas Heier (Coordinator: Yuval Filmus)

For past Colloquia press [ old ]


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

Your visit here is number
counter
this year