Jan-Christoph Kassing
CV
Publications
Talks
Teaching
Organized Workshops
Jan-Christoph Kassing
(Probabilistic) Program Verification, Rewriting, Termination
Follow
Kassing(at)cs.rwth-aachen.de
RWTH Aachen University
Aachen, Germany
Room 4209, Ahornstr. 55
Google Scholar
ORCID
ResearchGate
Github
LinkedIn
Organized Workshops
Below you can find a chronological list of all workshops I organized.
UnRAVeL Autumn Workshop 2023
November 16, 2023
25th Informal Workshop on Term Rewriting
June 28, 2023
