Special sessions

  • 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.