DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 09:00 - 09:40 at SPLASH-III - 6 Chair(s): Mihaela Sighireanu
Thu 19 Nov 2020 21:00 - 21:40 at SPLASH-III - 6 Chair(s): Mihaela Sighireanu
preprint (sas20.pdf)120KiB

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:00
6SAS at SPLASH-III +12h
Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay
09:00
40m
Talk
Polynomial Invariants for Affine ProgramsInvited Talk
SAS
I: James Worrell University of Oxford
File Attached
09:40
20m
Research paper
Termination of Polynomial Loops
SAS
Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University
Pre-print Media Attached File Attached
21:00 - 22:00
6SAS at SPLASH-III
Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay
21:00
40m
Talk
Polynomial Invariants for Affine ProgramsInvited Talk
SAS
I: James Worrell University of Oxford
File Attached
21:40
20m
Research paper
Termination of Polynomial Loops
SAS
Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University
Pre-print Media Attached File Attached