Advanced Course at ESSLLI 2023
Together with Alessio Mansutti, I will deliver an advanced course “Linear arithmetic theories: algorithms and applications” at ESSLLI 2023. This course has been selected as an EACSL sponsored course.
Together with Alessio Mansutti, I will deliver an advanced course “Linear arithmetic theories: algorithms and applications” at ESSLLI 2023. This course has been selected as an EACSL sponsored course.