These techniques are collected in a mature tool with a modern IDE: http://sysma.imtlucca.it/tools/erode/ Due to the generality of ODEs, and to their use in engineering.
Speaker: Andrea Vandin
Organizer: Finn Gustafsson, IDA IT
There will be Coffee/tea & fruit in the break.
Free for members of IDA IT and DANSK IT