Symbolic Computation and Beyond (BB80)
General Information
Conference Date: 25/10/2022
Venue: RISC Institute, Hagenberg
Symposium on the Occasion of the 80th Birthday of RISC-founder Bruno Buchberger
Program (all times are CEST, i.e. GMT+2)
| 9:00 | - | 9:15 | Opening | Peter Paule | ||
| 9:15 | - | 12:00 | Symposium | Seminar Room Pond Hagenberg | ||
| 9:15 | 9:35 | Logico-Pluralistic Exploration of Mathematical Theories | Dana Scott, Christoph Benzmüller | |||
| 9:35 | 10:00 | The Innsbruck Years - First Steps towards Symbolic Computing | Peter Sutter | |||
| 10:00 | 10:25 | Changing Math Education | Franz Lichtenberger | |||
| Coffee | ||||||
| 10:45 | 11:10 | Computer Algebra for Differential Equations | Franz Winkler | |||
| 11:10 | 11:35 | Cooperative Aesthetics | Gerhard Funk | |||
| 11:35 | 12:00 | Hahn-Banach in Finance | Michael Kalkbrener | |||
| 12:00 | - | 13:30 | Lunch | Schlossrestaurant | ||
| 13:30 | - | 16:30 | Symposium | Seminar Room Pond Hagenberg | ||
| 13:30 | 13:55 | Heuristic Techniques for Natural Style Proofs in Elementary Analysis | Tudor Jebelean | |||
| 13:55 | 14:20 | The RISCAL Software ... or What I Learned at RISC on CS, Logic & Math | Wolfgang Schreiner | |||
| 14:20 | 14:45 | Theorema 2.0 in Fifteen Minutes | Wolfgang Windsteiger | |||
| Coffee | ||||||
| 15:15 | 15:40 | The RISC Library of Unification and Anti-Unification Algorithms | Temur Kutsia | |||
| 15:40 | 16:05 | Symbolic Computation for Software Analysis | Laura Kovacs | |||
| 16:05 | 16:30 | Computational Birthday Greetings | Stephen Wolfram |