SC^2 PROGRAM
Friday, August 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 134C: 1st invited talk and paper presentation
Chair:
Location: Taub 3
| 09:00 | Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? (abstract) |
| 10:00 | Cylindrical Algebraic Coverings for Quantifiers (abstract) PRESENTER: Gereon Kremer |
10:30-11:00Coffee Break
11:00-12:30 Session 137D: Paper presentations
Chair:
Location: Taub 3
| 11:00 | NP: SMT-Solving Combinatorial Inequalities (abstract) PRESENTER: Ali Kemal Uncu |
| 11:30 | Decidability of difference logics with unary predicates (abstract) PRESENTER: Baptiste Vergain |
| 12:00 | Automatic Deployment of Component-based Applications in the Cloud (abstract)  PRESENTER: Mădălina Erașcu |
12:30-14:00Lunch Break
Lunches will be held in Taub hall.
14:00-15:30 Session 138D: 2nd invited talk and paper presentation
Chair:
Location: Taub 3
| 14:00 | Computer algebra and automation in Lean's mathematical library (abstract) |
| 15:00 | Enumerating Projective Planes of Order Nine with Proof Verification (abstract) PRESENTER: Daniel Dallaire |
15:30-16:00Coffee Break
16:00-16:30 Session 139B: Paper presentation
Chair:
Location: Taub 3
| 16:00 | An SC-Square Approach to the Minimum Kochen–Specker Problem (abstract) PRESENTER: Zhengyu Li |