- Software verification – an industry approach
- Software engineering
- Automated proving
Special sessions will be dedicated also to related topics like modeling, security or concurrent processing, depending on the number of submissions.
A panel will be dedicated to the issues raised by local IT firms and the Timisoara IT Park startup.