Siebel School Speakers Calendar

11 matches found

- 1:00 pm 4/5/2024
- 0216
Security Seminar: Falling Stars: How Reputation Systems Fail in Practice
- Seminar/Symposium
- 2:00 pm 4/5/2024
- Siebel 0218
Formally verifying the functional correctness of Path Oblivious RAM & Enhancing Coverage-Guided Fuzzing via Phantom Program
- Seminar/Symposium
- 2:00 pm 4/5/2024
- 1214 Siebel Center
Integrating Human Knowledge in Machine Learning Models and Explanations
- Seminar/Symposium
- 3:00 pm 4/5/2024
- Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3102
On Approximability of Satisfiable CSPs
- Seminar/Symposium
- 1:00 pm 4/18/2024
- Thomas M. Siebel Center for Computer Science SC 2405
Controlling (AI-based) Computing Systems
- Lecture
- 2:00 pm 4/19/2024
- 1214 Siebel Center
Integrating Human Knowledge in Machine Learning Models and Explanations
- Seminar/Symposium
- 2:00 pm 4/19/2024
- 0216 Siebel Center
Neural Abstract Interpretation & CodeMind: A Framework to challenge LLMs for Code Reasoning
- Ceremony/Service
- 11:00 am 4/22/2024
- Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3401
Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets
- Seminar/Symposium
- 2:00 pm 4/26/2024
- Siebel 2405
The End of Programming Is a New Beginning for Verification
- Seminar/Symposium
- 11:00 am 4/29/2024
- Siebel 3401
Parallel Derandomization for Chernoff-like Concentrations
- Seminar/Symposium
- 4:00 pm 4/30/2024
- Thomas M. Siebel Center for Computer Science SC 4102
Alex Hoover "Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs"
- Lecture