Program for Monday, September 12th: Session View

SYNASC2022: 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

PROGRAM AUTHORS KEYWORDS SLIDES

PROGRAM FOR MONDAY, SEPTEMBER 12TH: 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:50

Tutorial: Quantified Boolean Formulas - Martina Seidl

11:10-12:00

Invited talk: Reasoning with SAT and Beyond - Martina Seidl

13:30-15:10

Symbolic Computation Session (1)

15:30-16:50

Symbolic Computation Session (2) + Numerical Computing Session

15:30-16:50

Workshop on Natural Computing and Applications

17:10-19:10

Special Session on Symbolic Regression

17:10-18:30

Special Session for PhD students (1)

18:30-18:50

Special Session on Advances in Distributed, Secure and Scalable Algorithms for Blockchain Technology

10:50-11:10 Coffee Break

12:00-13:30 Lunch Break

15:10-15:30 Coffee Break

16:50-17:10 Coffee Break

19:00-20:00 Wellcome Party

Disclaimer | Powered by EasyChair Smart Program