by haavardj | Apr 19, 2018 | news
We are experiencing some technical difficulties with our registration provider. Accepted participants will receive information about registration as soon as the bugs are sorted out (formal methods has been suggested). We are sorry for any inconveniences.
by haavardj | Apr 4, 2018 | news
Due to the extended submission deadline, we have updated the notification and registration dates. Please check the front page for updated dates.
Recent Comments