Talks

Tom Goldstein - University of Maryland

Understanding optimization in neural networks

2117 A.V. Williams Building (AVW)

12:00 pm

-12:45 pm

PSC 2136 Physical Sciences Complex (PSC)

Modular Architectures for Quantum Systems

Zachary Eldredge - JQI and QuICS

1:00 pm

- 2:00 pm

Crypto Reading Group

On dual lattice attacks against small-secret LWE and parameter choices in HElib and SEAL

Huijing Gong - UMD

Wednesday, September 26, 2018

1:00 pm

- 2:00 pm

PLunch: Repairing Decision-Making Programs Under Uncertainty

Kesha Hietala

Derek Dreyer - Max Planck Institute for Software Systems (MPI-SWS)

Friday, September 28, 2018

11:00 am

-12:00 pm

CS Department ⋅ PL Reading Group

RustBelt: Logical Foundations for the Future of Safe Systems Programming

2117 Computer Science Instructional Center (CSI)

12:00 pm

-12:45 pm

Electromagnetically induced transparency in inhomogeneously broadened solid-state systems

Haoquan Fan - Army Research Laboratory and JQI

PSC 2136 Physical Sciences Complex (PSC)

2:00 pm

- 3:30 pm

ISR

ISR Seminar: Applied Category Theory: Mathematics for Interdisciplinary systems modeling

David Spivak - Massachusetts Institute of Technology

1146 A.V. Williams Building (AVW)

Monday, October 1, 2018

1:00 pm

- 3:00 pm

PhD Defense: Genome assembly and variant detection using emerging sequencing technologies and graph based methods

Jay Ghurye

3118 Biosciences Research Building (BRB)

Wednesday, October 3, 2018

11:00 am

-12:00 pm

3258 A.V. Williams Building (AVW)

CLIP Computing Infrastructure News

Bahar Azami - UMIACS

11:00 am

-12:30 pm

PSC 3150 Physical Sciences Complex (PSC)

TBA

Quntao Zhuang - UC Berkeley

1:00 pm

- 2:00 pm

PLunch: Program Synthesis using Conflict-Driven Learning

Sankha Guria

Michele Gelfand, Thomas Friedman - UMD Psychology; collaborative researcher with Dana Nau (CS/ISR)

Thursday, October 4, 2018

4:00 pm

- 5:00 pm

ISR

Michele Gelfand in Conversation with Thomas Friedman

Samuel Riggs IV Alumni Center

Friday, October 5, 2018

11:00 am

-12:00 pm

Alan Frieze - Carnegie Mellon University

Topics in Markov Chains

2117 Computer Science Instructional Center (CSI)

Monday, October 8, 2018

1:30 pm

- 2:30 pm

Grigory Fedyukovich - Princeton University

Synthesizing Proofs for Program Verification

Wednesday, October 10, 2018

11:00 am

-12:00 pm

TBA

Ferhan Ture - Comcast

11:00 am

-12:30 pm

PSC 1136 Physical Sciences Complex (PSC)

Recovering quantum gates from few average gate fidelities

Ingo Roth - Freie Universitaet Berlin

1:00 pm

- 2:00 pm

PLunch: A data-driven CHC solver

Ben Mariano

Friday, October 12, 2018

1:00 pm

- 2:00 pm

Crypto Reading Group

Quantum-Secure Message Authentication Codes

Daniel Apon - NIST

Wednesday, October 17, 2018

11:00 am

-12:00 pm

Daniel Gildea - University of Rochester

TBA

Friday, October 19, 2018

1:00 pm

- 2:00 pm

Crypto Reading Group

Quantum-Secure Message Authentication Via Blind-Unforgeability

Gorjan Alagic - QuICS-UMD / NIST

Wednesday, October 24, 2018

11:00 am

-12:00 pm

B. Aditya Prakash - Virginia Tech

TBA

3258 A.V. Williams Building (AVW)

Tuesday, November 6, 2018

10:00 am

-12:00 pm

3450 A.V. Williams Building (AVW)

PhD Defense: Planetary Scale Data Storage

Benjamin Bengfort

Wednesday, November 7, 2018

11:00 am

-12:00 pm

Grace Hui Yang - Georgetown University

TBA

Friday, November 9, 2018

1:00 pm

- 2:00 pm

Alex Psomas - Carnegie Mellon University

TBD

Wednesday, November 14, 2018

11:00 am

-12:00 pm

Ndapa Nakashole - University of California, San Diego

TBA

11:00 am

-12:30 pm