Time

Location

Speaker

Title

March 11, 12:00

Bldng 37, Room 202

David Harel
(Host: Mira Balaban)

In Silico Biology, or On Comprehensive and Realistic Modeling

March 18, 12:00

Bldng 37, Room 202

Danny Vilenchik
(Host: Michal Ziv-Ukelson)

On satisfiable k-CNF formulas above the threshold

March 25, 12:00

Bldng 37, Room 202

Menachem Kojman
(Host: Department)

Implementing automorphisms of substructures

April 1, 12:00

Bldng 37, Room 202

Sivan Yogev
(Host: Michal Ziv-Ukelson)

Social Search and Discovery using a Unified Approach

April 8, 12:00

Bldng 37, Room 202

Gregory Gutin
(Host: Daniel Berend)

Extremal out-branchings and out-trees in digraphs

April 15, 12:00

No Seminar: Open Day

April 22, 12:00

Bldng 37, Room 202

No Seminar: Passover Vacation

April 29, 12:00

Bldng 37, Room 202

Yishai Feldman
(Host: Mira Balaban)

Tools for Design by Contract

May 6, 12:00

Bldng 37, Room 202

Raphael Yuster
(Host: Matya Katz)

Maximum matching in graphs with an excluded minor

May 13, 12:00

Bldng 37, Room 202

Zohar Yakhini
(Host: Michal Ziv-Ukelson)

Flexible designs and applications of microarrays

May 20, 12:00

Bldng 37, Room 202

Leonid Barenboim
(Host: Michael Elkin)

Efficient distributed Coloring and MIS algorithms on sparse graphs using Nash-Williams forests decomposition.

May 27, 12:00

Bldng 37, Room 202

Firas Swidan
(Host: Michal Ziv-Ukelson)

Reconstructing repeat-annotated phylogenetic trees

June 1, 12:00

Bldng 37, Room 202

Subir Gosh
(Host: Matya Katz)

Exploring Unknown Polygonal Environments with Discrete Visibility

June 2, 12:00

Bldng 37, Room 202

Eyal Amir
(Host: Ronen Brafman)

Reinventing Partially Observable Reinforcement Learning

June 3, 12:00

Bldng 37, Room 202

Yossi Gil
(Host: Mira Balaban)

Are We Ready for a Safer Construction Environment?

June 10, 12:00

Bldng 37, Room 202

Reuven Rubinstein
(Host: Daniel Berend)

The Cloning Method for Combinatorial Optimization, Counting and Rare Events Using Gibbs Sampler

June 17, 12:00

Bldng 37, Room 202

Guy Shani
(Host: Department)

Hierarchical Probabilistic Segmentation Of Software Traces

June 24, 12:00

Bldng 37, Room 202

Aryeh Kontorovich
(Host: Ronen Brafman)

A Universal Kernel for Learning Regular Languages

July 1, 12:00

Bldng 37, Room 202

Ronen Brafman
(Host: Department)

Planning for Loosely Coupled Distributed Systems

July 6, 11:00

Bldng 37, Room 202

Dan Berry
(Host: Mira Balaban)

Requirements Specifications as Grounded Theories

July 15, 12:00

Bldng 37, Room 202

Bob Constable
(Host: Klara Kedem)

tba

July 22, 12:00

Bldng 37, Room 202

Tamir Tuller
(Host: Michal Ziv-Ukelson)

Molecular evolution: models, hardness issues, and algorithms.

July 28, 14:00

Bldng 37, Room 202

Adi Akavia
(Host: Amos Beimel)

Locally & Obliviously Finding Significant Fourier Coefficients