(Rio de Janeiro, April 26, 2026)
(All times are in Brasilia Time, UTC-3)
Location: Room 208
Live video stream: Link
| 09:00 | Opening Remarks | |
| 09:05 | Invited Talk |
Emily McMilin
|
| 09:30 | Contributed Talk |
Oral: Enforcing Temporal Constraints for LLM Agents |
| 09:45 | Contributed Talk |
Oral: Computational Arbitrage in AI Model Markets |
| 10:00 | Coffee Break | |
| 10:30 | Invited Talk |
Aviral Kumar
|
| 11:00 | Poster Session 1 | |
| 12:00 | Lunch Break | |
| 13:00 | Invited Talk |
Federico Mora Rocha
|
| 13:30 | Invited Talk |
Gabriel Poesia
|
| 14:00 | Invited Talk |
Naman Jain
|
| 14:30 | Contributed Talk |
Oral: Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis |
| 14:45 | Contributed Talk |
Oral: Beaver: An Efficient Deterministic LLM Verifier |
| 15:00 | Coffee Break | |
| 15:30 | Contributed Talk |
Oral: Learning to Rank the Initial Branching Order of SAT Solvers |
| 15:45 | Contributed Talk |
Oral: Escaping Model Collapse via Synthetic Data Verification |
| 16:00 | Poster Session 2 | |
| 16:55 | Closing Remarks |