Siebel School Speakers Calendar

11 matches found

Security Seminar: Falling Stars: How Reputation Systems Fail in Practice

1:00 pm 4/5/2024

0216
- Seminar/Symposium
Formally verifying the functional correctness of Path Oblivious RAM & Enhancing Coverage-Guided Fuzzing via Phantom Program

2:00 pm 4/5/2024

Siebel 0218
- Seminar/Symposium
Integrating Human Knowledge in Machine Learning Models and Explanations

2:00 pm 4/5/2024

1214 Siebel Center
- Seminar/Symposium
On Approximability of Satisfiable CSPs

3:00 pm 4/5/2024

Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3102
- Seminar/Symposium
Controlling (AI-based) Computing Systems

1:00 pm 4/18/2024

Thomas M. Siebel Center for Computer Science SC 2405
- Lecture
Integrating Human Knowledge in Machine Learning Models and Explanations

2:00 pm 4/19/2024

1214 Siebel Center
- Seminar/Symposium
Neural Abstract Interpretation & CodeMind: A Framework to challenge LLMs for Code Reasoning

2:00 pm 4/19/2024

0216 Siebel Center
- Ceremony/Service
Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets

11:00 am 4/22/2024

Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3401
- Seminar/Symposium
The End of Programming Is a New Beginning for Verification

2:00 pm 4/26/2024

Siebel 2405
- Seminar/Symposium
Parallel Derandomization for Chernoff-like Concentrations

11:00 am 4/29/2024

Siebel 3401
- Seminar/Symposium
Alex Hoover "Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs"

4:00 pm 4/30/2024

Thomas M. Siebel Center for Computer Science SC 4102
- Lecture