Program for Monday, September 11th: Session View

SYNASC 2023: 25TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

PROGRAM AUTHORS KEYWORDS SLIDES

PROGRAM FOR MONDAY, SEPTEMBER 11TH: SESSION VIEW

Days:

View: with abstracts talk overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

09:00-09:20

09:20-10:10

Invited talk: Subtropical Solving (Thomas Sturm)

10:10-10:30

10:30-11:20

Invited talk: Generic Encodings and Static Analysis of Constructor Rewriting Systems (Horatiu Cirstea)

11:20-11:40

11:40-12:40

Theory of Computing & Logic and Programming

13:00-14:00

14:00-15:30

Tutorial: The TLA+ Language and Tools for Specifying and Verifying Systems (Stephan Merz)

15:30-15:50

15:50-17:30

Symbolic Computation (I) & Numerical Computing

15:50-17:50

18:00-20:00

Welcome cocktail

Disclaimer | Powered by EasyChair Smart Program