Hearing: Professorship “Symbolic Computation”
General Information
Conference Date: 28/06/2021 - 30/06/2021
The public presentations of the candidates will take place online via Zoom:
https://jku.zoom.us/j/93221173586?pwd=OThvTXNENlBjbWtRWTd1MnRmV3BaUT09
Meeting-ID: 932 2117 3586
Passwort: 349857
The privacy policy, terms of use, and assistance can be found at https://help.jku.at/im/en/it-systeme/videokonferenz-mit-zoom
Public presentations of the candidates:
Monday, June 28:
Speaker 1
9:00 - 9:50: scientific presentation incl. 10 min discussion
Title: Symbolic computation through the holonomic looking-glass
9:50 - 10:05: teaching presentation* incl. 5 min discussion
Speaker 2
10:15 - 11:05: scientific presentation incl. 10 min discussion
Title: Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics
11:05 - 11:20: teaching presentation* incl. 5 min discussion
Speaker 3
15:00-15:50: scientific presentation incl. 10 min discussion
Title: Symbolic computation for ODEs with parameters
15:50-16:05: teaching presentation* incl. 5 min discussion
Tuesday, June 29:
Speaker 4
9:00 - 9:50: scientific presentation incl. 10 min discussion
Title: Solving symbolic constraints (approximately)
9:50 - 10:05: teaching presentation* incl. 5 min. discussion
Speaker 5
10:15 - 11:05: scientific presentation incl. 10 min discussion
Title: Torsion, Localization and Closure
11:05 - 11:20: teaching presentation* incl. 5 min. discussion
Wednesday, June 30:
Speaker 6
9:00 - 9:50: scientific presentation incl. 10 min discussion
Title: Symbolic Computation and Special Functions
9:50 - 10:05: teaching presentation* incl. 5 min. discussion
Speaker 7
10:15 - 11:05: scientific presentation incl. 10 min discussion
Title: Positive solutions of generalized polynomial systems with real exponents and chemical reaction networks
11:05 - 11:20: teaching presentation* incl. 5 min. discussion
Speaker 8
11:30 - 12:20: scientific presentation incl. 10 min discussion
Title: Symbolic Summation in Difference Rings and Challenging Applications
12:20 - 12:35: teaching presentation* incl. 5 min. discussion
* theme for teaching presentations: "Groebner bases" (intended audience: Master's level course)