Room 1 (The Amphitheatre)

LORIA Building - ground floor

Sessions

Session 1 (Sep 11 09:00-09:20) Opening
Session 2 (Sep 11 09:20-10:10) Invited talk: Subtropical Solving (Thomas Sturm)
Session 3 (Sep 11 10:30-11:20) Invited talk: Generic Encodings and Static Analysis of Constructor Rewriting Systems (Horatiu Cirstea)
Session 4 (Sep 11 11:40-12:40) Theory of Computing & Logic and Programming
Session 5 (Sep 11 14:00-15:30) Tutorial: The TLA+ Language and Tools for Specifying and Verifying Systems (Stephan Merz)
Session 6A (Sep 11 15:50-17:30) Symbolic Computation (I) & Numerical Computing
Session 7 (Sep 12 09:00-09:50) Invited talk: So the problem has poor complexity: what next? (James Davenport)
Session 8A (Sep 12 09:50-11:10) Special Session in honour of James Davenport (I)
Session 9A (Sep 12 11:30-12:50) Symbolic Computation (II)
Session 10 (Sep 12 14:00-14:50) Invited talk: The paradoxes and the infinite dazzled ancient mathematics and continue to do so today (Fairouz Kamareddine)
Session 11A (Sep 12 15:10-17:10) Special Session in honour of James Davenport (II)
Session 12 (Sep 13 09:00-09:50) Invited talk: Computing with neurons: SNP systems (Andrei Păun)
Session 13A (Sep 13 10:10-12:10) Artificial Intelligence (I)
Session 14 (Sep 13 14:00-15:30) Tutorial: Performance and Compliance Anomaly Detection (Gabriel Iuhasz)
Session 15A (Sep 13 15:50-17:30) Artificial Intelligence (II)
Session 16 (Sep 13 17:50-18:50) Distributed Computing
Session 17 (Sep 14 09:00-09:50) Invited talk: Random structures and patterns in spatio-temporal data: probabilistic modelling and statistical inference (Radu S. Stoica)
Session 18 (Sep 14 10:10-12:10) Artificial Intelligence (III)
Session 19 (Sep 14 12:30-12:50) Closing