December 6-8, 2018
IIIT Hyderabad, India
IIIT Hyderabad Campus, by , under Creative Commons license.
December 6 - Day 1
|
8:15-9:25
|
Registration |
|---|---|
|
9:25-9:30
|
Inauguration |
|
9:30-11:00
|
SAT and SMT Solvers - A foundational Perspective 1Prof. Vijay Ganesh |
|
11:00-11:30
|
Tea/Coffee break |
|
11:30-13:00
|
SAT and SMT Solvers - A foundational Perspective 2Prof. Vijay Ganesh |
|
13:00-14:30
|
Lunch |
|
14:30-15:30
|
CrystalBall: Gazing in the Black Box of SAT SolvingProf. Kuldeep Meel |
|
15:30-16:00
|
Tea/Coffee break |
|
16:00-17:30
|
Hands-on Session |
December 7 - Day 2
|
9:30-11:00
|
Automated Verification of Programs and Networks using SAT/SMT 1Prof. Aarti Gupta |
|---|---|
|
11:00-11:30
|
Tea/Coffee break |
|
11:30-13:00
|
Automated Verification of Programs and Networks using SAT/SMT 2Prof. Aarti Gupta |
|
13:00-14:30
|
Lunch |
|
14:30-15:00
|
Formal Methods for Robust Cyber Physical Control SystemsProf. Soumyajit Dey |
|
15:00-15:30
|
SMT in timed automata reachabilityProf. B. Srivatsan |
|
15:30-15:45
|
TCS PresentationTCS |
|
15:45-16:10
|
Tea/Coffee break |
|
16:10-17:30
|
Hands-on Session |
|
19:00-22:00
|
Banquet Dinner |
December 8 - Day 3
|
9:30-11:00
|
Modeling and Verification of Security Properties of Hardware and Software System 1Prof. Pramod Subramanyan |
|---|---|
|
11:00-11:30
|
Tea/Coffee break |
|
11:30-13:00
|
Modeling and Verification of Security Properties of Hardware and Software System 2Prof. Pramod Subramanyan |
|
13:00-14:30
|
Lunch |
|
14:30-15:30
|
Synthesizing Loop Invariants Using Max-Strategy IterationProf. Mandayam Srivas |
|
15:30-15:45
|
Towards Formalizing Polyhedral CompilationSiddharth Bhat |
|
15:45-15:50
|
Vote of ThanksOrganizers |
|
15:50-16:20
|
Tea/Coffee break |
|
16:20-17:30
|
Hands-on Session |
Contact
Tweet to us at @satsmtschool
If you have any questions, please contact us via e-mail at: indian.satsmt.school@gmail.com