Talks

Towards a better distributed security framework - reconciling Universal Composability and the Pi Calculus.

Andrew Miller - University of Maryland

Label Cover Instances with Large Girth and the Hardness of Approximating Spanners

1:00 pm

- 2:00 pm

CATS

Michael Dinitz - Johns Hopkins University

3120 Computer Science Instructional Center (CSI)

2:00 pm

- 4:00 pm

4424A A.V. Williams Building (AVW)

PhD Defense: Visual Computing Tools for Studying Micro-Scale Diffusion

Sujal Bista

Monday, April 21, 2014

12:30 pm

- 2:30 pm

PhD Defense: Shrink-Wrapped Security: Tightly Coupling Situation and Security

Gleneesha Williams

David Walker - Professor of Computer Science, Princeton University

2:00 pm

- 3:00 pm

PL Reading Group

The Frenetic Project: Declarative Languages for Programming Networks

4:00 pm

- 5:00 pm

0112 Chemistry Building (CHM)

TBA

Sergey Bezrukov - NIH

Tuesday, April 22, 2014

10:00 am

-11:30 am

MS Defense: Analysis of a Semi-Supervised Learning Approach to Intrusion Detection

Benjamin Klimkowski

11:00 am

-12:00 pm

Rethinking the application-database interface

Avin Cheung - MIT

4:00 pm

- 5:00 pm

Bring Your Own Bioinformatics: Prediction of functional variants using SnpEff/SnpSift

Will Gammerdinger - BISI/BEES

3101 Biosciences Research Building (BRB)

Wednesday, April 23, 2014

9:00 am

-10:30 am

4424 A.V. Williams Building (AVW)

PhD Proposal: Manipulation Action Understanding: From Alpha towards Omega

Yezhou Yang

11:00 am

-12:00 pm

CLIP

Large-scale paraphrasing for natural language understanding and generation

Chris Callison-Burch - Penn

CBG/Computational Biology Seminars

12:00 pm

- 1:00 pm

Using Controls for the Normalization of RNA-Seq Data

Sandrine Dudoit - Division of Biostatistics, School of Public Health, and Department of Statistics

1103 Biosciences Research Building (BRB)

Thursday, April 24, 2014

3:00 pm

- 4:30 pm

3258 A.V. Williams Building (AVW)

PhD Proposal: Rich and Efficient Visual Data Representation

Mohammad Rastegari

3:30 pm

- 4:30 pm

TBA

TBA - University of Maryland

4:00 pm

- 5:30 pm

PhD Proposal: Measuring and Analyzing Infant Movement with Focus on Developmental Disorders

Leonardo Claudino

4424 A.V. Williams Building (AVW)

5:00 pm

- 6:30 pm

PhD Proposal: Using Computer Vision and Wearable Computing to Assist Visually Impaired Users

Brandyn White

3165 A.V. Williams Building (AVW)

Friday, April 25, 2014

11:00 am

-12:00 pm

Conceptually-Simpler Program Obfuscation

Daniel Apon - UMD

11:00 am

-12:30 pm

PhD Proposal: Synthesis-Aided Symbolic Execution for Event-Driven Frameworks

Jinseong Jeon

Undergraduate Friday Afternoon Research Series

3:30 pm

- 4:30 pm

Dr. V.S. Subrahmanian

3117 Computer Science Instructional Center (CSI)

3:30 pm

- 4:30 pm

Undergraduate Friday Afternoon Research Series

Behaviors, Models, Forecasts

Dr. V.S. Subrahmanian

3117 Computer Science Instructional Center (CSI)

Monday, April 28, 2014

2:00 pm

- 3:30 pm

PhD Proposal: Collaborative Testing Across Shared Software Components

Teng Long

4:00 pm

- 5:00 pm

Noémie Elhadad - Columbia University

No Biophysics Seminar Held Today

No speaker yet

Wednesday, April 30, 2014

11:00 am

-12:00 pm

CLIP

Summarizing the patient record at the point of care

11:30 am

- 1:00 pm

PhD Proposal: Real-Time Querying and Analytics on Large Dynamic Graphs

Jayanta Mondal

Thursday, May 1, 2014

10:00 am

-11:30 am

PhD Proposal: Reducing the Cost of Big Data Analytics in the Cloud

Abdul Quamar

3:30 pm

- 4:30 pm

TBA

TBA - University of Maryland

Rakesh Vohra - Department of Economics & Department of Electrical and Systems Engineering, University of Pennsylvania

Friday, May 2, 2014

1:00 pm

- 2:00 pm

CATS

One-Sided Matching with Limited Complementarities

1115 Computer Science Instructional Center (CSI)

Monday, May 5, 2014

4:00 pm

- 5:00 pm

0112 Chemistry Building (CHM)

TBA

Orit Lavi - NIH

Thursday, May 8, 2014

3:30 pm

- 4:30 pm

TBA

TBA - University of Maryland

Friday, May 9, 2014

11:00 am

-12:00 pm

Muhammad Naveed - University of Illinois at Urbana-Champaign

Dynamic Searchable Encryption via Blind Storage

Thursday, May 15, 2014

3:30 pm

- 4:30 pm

TBA

TBA - University of Maryland

Friday, May 16, 2014

11:00 am

-12:00 pm

TRUESET: Nearly Practical Verifiable Set Operations

Ahmed Kosba - University of Maryland