iPrA Workshop on Interpolation

Tuesday, Jun 10, 2014

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.