The automatic reduction of ordinary differential equations, obtaining publications in some of the best venues in computer science and beyond. 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
* ANYONE CAN JOIN - Most of IDA's events are open to everyone, but you must have an IDA user profile in order to participate. It's free and non-binding - create a user profile now. As a member of IDA, you get a discount on many of our events, so please sign in with your member login when you sign up for an event. Read more about the benefits of an IDA membership here.