RISC RISC Research Institute for Symbolic Computation  

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:

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