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