iPrA Workshop on Interpolation

Laura Kovács and Georg Weissenbacher are the organizers of the second workshop on Craig interpolation and its applications. After a very successful first edition of the workshop in St. Petersburg in 2013 (co-located with the CAV conference, which was also organized by the Forsyte group), the second workshop has an even stronger focus on bringing researchers from different communities together: the workshop features three distinguished invited speakers from the fields of complexity theory, description logics, and verification, and 14 talks on theoretical aspects of interpolation as well as applications in decision procedures, game theory, synthesis, verification, and description logics.

Latest News

Helmut Veith Stipend Award Ceremony

The Vice Rector for Academic Affairs of TU Wien, Kurt Matyas, will award the scholarship recipient of the Helmut Veith Stipend at the award ceremony on Friday, April 06, 2018 in the Kontaktraum, starting at 17:05.

Continue reading

Helmut Veith Stipend 2017

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Full news archive