RISC JKU

The RISC Algorithm Language (RISCAL)

[Back to RISCAL Main Page]

See below for a video presentation on RISCAL.

Click to watch video (MP4, best viewed in 1920x1080 full-screen mode)
Click to download PDF with embedded Flash animations (needs Adobe Acrobat Reader and Flash Player)
Click to download plain PDF for printing


Further slide presentations on RISCAL:

A Temporal Logic Extension of the RISCAL Model Checker
Informatics'2022, 2022 IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23, 2022.
The RISCAL Software - or What I Learned at RISC on CS, Logic & Math
Invited talk at BB80, Symbolic Computation and Beyond, Symposium on the Occasion of the 80th Birthday of RISC-founder Bruno Buchberger, Hagenberg, Austria, October 25, 2022.
Implementation Techniques for Mathematical Model Checking
Invited talk at SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 14, 2022.
Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker
Invited talk at MTF 2022, Model Theoretic Logics and their Frontiers, Alfréd Rényi Institute of Mathematics, Budapest, Hungary, World Logic Day 2022, January 15, 2022.
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8, 2021.
Mathematical Model Checking for Computer Science Education
Invited talk at ICAI 2020, 11th International Conference on Applied Informatics, Eger, Hungary, January 30, 2020.
Logic and Semantic Technologies for Computer Science Education
Invited talk at Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20, 2019.
Logic as a Path to Enlightenment (Work in Progress Report)
CME-EI 2018, Hagenberg, Austria, August 17, 2018.
Validating Mathematical Theories and Algorithms with RISCAL
CICM 2018, Hagenberg, Austria, August 15, 2018.
Implementing Logic by Semantics: The RISCAL Approach to Automating Program Reasoning over Finite Domains
Technical University of Kosice, Slovakia, March 28, 2018.
Semantic Technologies for CS Education
Technical University of Kosice, Slovakia, July 11, 2017.


Wolfgang Schreiner
Last modified: March 28, 2018