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
Johannes Kepler University Linz, Austria.
Martin Charles Golumbic: 36 Years of AI and Math
University of Haifa, Israel.
Cezary Kaliszyk
University of Melbourne, Australia.
Ido Kaminer
Technion - Israel Institute of Technology, Israel.
Hiroshi Kera: Computational Algebra with Transformers: What Deep Learning Adds to Computational Algebra
Chiba University, Japan.
Michael Kohlhase
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
Czech Technical University in Prague, Czech Republic.

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.