Ben-Gurion University, Department of Computer Science

Computer Science Seminar, Fall 2007/8

 

CS seminars usually take place on Tuesdays at noon, room 202 of building 37.

 

Previous years: 2005/6, 2006/7

 

Organizer: Danny Barash

 

 

Time

Location

Speaker

Title

Oct. 17, 12:00

Bldng 37, Room 202

Paz Carmi
(Host: Department)

Colorful Geometric Spanners

Oct. 23, 12:00

Bldng 37, Room 202

Dan Raviv
(Host: Barash)

Symmetries of Non-Rigid Shapes

Oct. 30, 12:00

Bldng 37, Room 202

Roie Zivan
(Host: Department)

Dynamic Ordering for Asynchronous Backtracking on DisCSPs

Nov. 6, 12:00

Bldng 37, Room 202

Guy Kindler
(Host: Beimel)

Understanding Parallel Repetition Requires Understanding Foams

Nov. 13, 12:00

Bldng 37, Room 202

Mike Codish
(Host: Department)

Proving Termination with (Boolean) Satisfaction

Nov. 20, 12:00

Bldng 37, Room 202

Hadas Kress-Gazit
(Host: Shapiro)

Finding Nemo: Translating Reactive Tasks to Reactive Controllers

Nov. 27, 12:00

Bldng 37, Room 202

Shai Avidan
(Host: Ben-Shahar)

Seam Carving for Content-Aware Image Resizing

Dec. 4, 12:00

Bldng 37, Room 202

Dan Halperin
(Host: Kedem)

A Decade of CGAL Arrangements and Applications

Dec. 11, 12:00

Bldng 37, Room 202

Liad Blumrosen
(Host: Nissim)

Can Simple Markets Achieve Good Results?

Dec. 18, 12:00

Bldng 37, Room 202

Liam Roditty
(Host: Elkin)

Networks and Computational Geometry New Results and Future Directions

Dec. 25, 12:00

Bldng 37, Room 202

Daniel Freedman
(Host: Ben-Shahar)

Manifold Reconstruction, Quantitative Homology, PDEs, Graph Cuts: Some Recent Results in Computer Vision and Computational Geometry

Dec. 26, 12:00

Bldng 37, Room 202

Leah Bar
(Host: Ben-Shahar)

Variational Image Restoration

Dec. 26, 14:00

Bldng 37, Room 202

Moshe Vardi
(Host: Dolev)

From Lowenheim to PSL and SVA

Dec. 31, 12:00

Bldng 37, Room 202

Anat Eyal
(Host: Gudes)

Querying and Monitoring Business Processes

Jan. 1, 12:00

Bldng 37, Room 202

Michael Zuker
(Host: Barash)

Computational Methods for RNA Secondary Structure Determination

Jan. 7, 14:00

Bldng 37, Room 202

Dan Gutfreund
(Host: Beimel)

Worst-Case Complexity vs. Average-Case Complexity

Jan. 8, 12:00

Bldng 37, Room 202

Amir Globerson
(Host: Brafman)

Making Large Problems Seem Small: Convex Duality in Learning and Inference

Jan. 8, 16:00

Bldng 37, Room 202

Ken Birman
(Host: Dolev)

Live Distributed Objects

Jan. 10, 11:00

Bldng 37, Room 202

Koby Crammer
(Host: Brafman)

Learning From Related Sources

Jan. 15, 12:00

Bldng 37, Room 202

Eran Segal
(Host: Barash)

Quantitative Models for Chromatin and Transcription Regulation

Jan. 22, 12:00

Bldng 37, Room 202

John Zeleznikow
(Host: Balaban)

Developing Fair Negotiation Support Systems

Jan. 28, 14:00

Bldng 37, Room 202

Barton Miller
(Host: Dolev)

A Framework for Binary Code Analysis and Static and Dynamic Patching

Jan. 29, 12:00

Bldng 37, Room 202

Peter F. Stadler
(Host: Barash)

What We Shouldn't Ignore When Studying Gene Regulation

Feb. 5, 12:00

Bldng 37, Room 202

Ofer Neiman
(Host: Elkin)

Local Embedding of Metric Spaces

Feb. 12, 12:00

Bldng 37, Room 202

Kobbi Nissim
(Host: Department)

Smooth Sensitivity and Sampling in Private Data Analysis