Program

SCML-2026 is organized in conjunction with the SCDDE 2026 workshop.

Confirmed invited speakers:

Alex Best: Reinforcement Learning for Theorem Proving
Harmonic, Palo Alto, USA.
Bruno Buchberger: Vibe Coding, Vibe Proving, Vibe Mathematics …?
Johannes Kepler University Linz, Austria.
Martin Charles Golumbic: 36 Years of AI and Math
University of Haifa, Israel.
Cezary Kaliszyk: Formalization and Automated Reasoning in the Age of LLMs
University of Melbourne, Australia.
Ido Kaminer: From π to QFT: Symbolic Discovery at Scale
Technion - Israel Institute of Technology, Israel.
Hiroshi Kera: Computational Algebra with Transformers: What Deep Learning Adds to Computational Algebra
Chiba University, Japan.
Michael Kohlhase: Machine Learning in Symbolic Computation - A Skeptical Perspective
Friedrich-Alexander Universität Erlangen-Nürnberg, Germany.
Martina Seidl: Reason with SAT For Rule Learning
Johannes Kepler University Linz, Austria.
Juan Esteban Suarez: Learning-Based Complexity of PDE Solutions
Ludwig-Maximilians-Universität München, Germany
Josef Urban: Alien Codes and Their Automated and Human Explanations
Czech Technical University in Prague, Czech Republic.
Stephen Wolfram: Getting Math from the Computational Universe
Wolfram Research, Champaign, USA.

The (preliminary) structure of the program is as follows:

Monday, July 6 Tuesday, July 7 Wednesday, July 8 (joint with SCDDE) Thu-Fri, July 9-10
8:30-9:00
Registration		 8:30-9:00
Registration		 8:30-9:00
Registration		 SCDDE 2026
9:00-10:00
Morning Session I		 9:00-10:00
Morning Session I		 9:00-10:00
Morning Session I		 SCDDE 2026
10:00-10:30
Coffee Break		 10:00-10:30
Coffee Break		 10:00-10:30
Coffee Break		 SCDDE 2026
10:30-12:00
Morning Session II		 10:30-12:00
Morning Session II		 10:30-12:00
Morning Session II		 SCDDE 2026
12:00-14:00
Lunch		 12:00-14:00
Lunch		 12:00-14:00
Lunch		 SCDDE 2026
14:00-15:00
Afternoon Session		 14:00-15:00
Afternoon Session I		 14:00-15:00
Afternoon Session I		 SCDDE 2026
15:00-15:30
Coffee Break		 15:00-15:30
Coffee Break		 15:00-15:30
Coffee Break		 SCDDE 2026
15:30-17:00
Hagenberg Tour		 15:30-17:00
Afternoon Session II		 15:30-17:00
Afternoon Session II		 SCDDE 2026
Joint Conference Dinner

The final version of the program with all details (invited talks, submitted presentations, discussion rounds, etc.) will be announced in time.

Please consider subscribing to the SCML Mailing List in order to stay informed about the SCML-2026 conference.