Supratik Chakraborty
Supratik Chakraborty
Affiliation: Indian Institute of Technology Bombay
Affiliation: IIT Bombay
Talks
(ModRef)
Computing Gadgets · Session 3: Automated Generation and Reformulation
(KR)
Knowledge Compilation for Quantification in Alternating Automata · Knowledge compilation
(KR)
On-the-fly LTLf Synthesis under Partial Observability · Planning
(SAT)
Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions · Session H: QBF Proofs & Dependencies
(AR4Space)
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models · Session 1
(MC)
Knowledge Compilation for Boolean and Presburger Functional Synthesis · Proof Logging and Knowledge Compilation
(MC)
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic · Weighted Counting over Theories and First-Order Structures
(SYNT)
Session Chair — Program Synthesis
(CAV)
Session Chair — Hardware Verification
(CAV)
Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions · Program Analysis Session
(IJCAR)
Program Synthesis for Non-Linear Real Arithmetic: Beyond Realizable Specifications · Refined Logics & Proofs, Hyperproperties & Synthesis
Pages in this Program
Program
Program on Sunday, 19 July 2026
ModRef on Sunday, 19 July 2026
ModRef Program
Program on Monday, 20 July 2026
KR on Monday, 20 July 2026
KR Program
Program on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
Program on Wednesday, 22 July 2026
SAT on Wednesday, 22 July 2026
SAT Program
Program on Saturday, 25 July 2026
AR4Space on Saturday, 25 July 2026
AR4Space Program
MC on Saturday, 25 July 2026
MC Program
SYNT on Saturday, 25 July 2026
SYNT Program
Program on Sunday, 26 July 2026
CAV on Sunday, 26 July 2026
CAV Program
Program on Tuesday, 28 July 2026
CAV on Tuesday, 28 July 2026
Program on Wednesday, 29 July 2026
IJCAR on Wednesday, 29 July 2026
IJCAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑