Computer Algebra in the Age of TypesThe workshop will take place on Friday the 17th of August 2018.
Computer algebra, being one of the oldest computational disciplines, keeps growing rapidly. Most code is available as open source software: Constructive code tends to be written in very weakly typed systems like Python (notably Sage), GAP, C, or C++. Formal systems naturally carry strong typing and formal proof tools.
There is still, somewhat surprisingly, very little connection between the two disciplines, though many attempts have been made to bridge the gap by devising new systems that incorporate strong typing, proof assistants, and powerful (bespoke) programming languages.
This workshop advocates a slightly different approach: For modern computational mathematics to thrive we want to promote the use of types to
Topics of Interest
Invited speakersKeynote Lecture by Professor Michael Kohlhase (FAU Erlangen-Nürnberg)
Submissions are welcome for papers, software presentations, and posters. Contributors should submit a short abstract (no more than 4 pages) through EasyChair. It is expected that at least one author of each accepted submission is present at the workshop to give a presentation.
Programme Committee (TBC)
11th Conference on Intelligent Computer Mathematics
August 13-17, 2018
RISC, Hagenberg, Austria
- accepted papers online
- registration open
- program overview online
- deadline extended: April 22 (abstract), April 29 (paper)
- 6 workshops accepted
- 3 invited speakers
- CfP and CfW available
- PC completed
- Initial Webpage Online