iPRA Program

IPRA PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:45-13:00 Session 66AV: Invited Talk by Orna Grumberg and Regular Talks

Chair:

Georg Weissenbacher

Location: FH, Seminarraum 101A

10:45	Orna Grumberg SAT-Based Model Checking with Interpolation (abstract)
12:00	Niklas Een, Alexander Legg, Nina Narodytska and Leonid Ryzhyk Interpolants in Two-Player Games (abstract)
12:30	Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne and Thomas Wies Fault Localization using Interpolation (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 75AW: Invited Talk by Pavel Pudlak, Discussions

Chair:

Georg Weissenbacher

Location: FH, Seminarraum 101A

14:30	Pavel Pudlak Feasible Interpolation in Proof Systems based on Integer Linear Programming (abstract)
15:45	Laura Kovacs and Georg Weissenbacher Discussions (abstract)

16:00-16:30Coffee Break

16:30-19:00 Session 79A: VSL Joint Award Ceremony 1

Chair:

Matthias Baaz

Location: MB, Kuppelsaal

16:30	Kurt Gödel Research Prize Fellowships Program Foundations and Technology Competitions Award Ceremony (abstract)
17:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 1 (abstract)
18:15	Helmut Veith FLoC Closing Week 1 (abstract)

16:30-18:00 Session 80N: iPrA Regular talks

Chair:

Isil Dillig

Location: FH, Seminarraum 101A

16:30	David Toman and Grant Weddell On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract) (abstract)
17:00	Christoph Wernhard Application Patterns of Projection/Forgetting (abstract)
17:30	Ahmed Mahdi and Martin Fränzle Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems (abstract)

Friday, July 18th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:15 Session 87G: Invited Talk by Frank Wolter

Chair:

Georg Weissenbacher

Location: FH, Seminarraum 101A

09:00

Frank Wolter

Interpolation in Description Logic: A Survey (abstract)

Thursday, July 17th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

21:00-23:59 Session 89: VSL Student Reception 1

Location: Transporter

Friday, July 18th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:45-13:00 Session 90AY: iPrA Regular Talks

Chair:

Arie Gurfinkel

Location: FH, Seminarraum 101A

10:45	Patrick Koopmann and Renate A. Schmidt Resolution Based Uniform Interpolation for Expressive Description Logics (abstract)
11:15	Alexander Legg, Nina Narodytska and Leonid Ryzhyk Practical CNF Interpolants Via BDDs (abstract)
11:45	Enrico Franconi, Paolo Guagliardo, Volha Kerhet and Nhung Ngo Interpolation and Domain Independence applied to Databases (abstract)
12:15	Georg Schadler and Georg Hofferek Tree-based Modular SMT Solving (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 96AY: iPrA Regular Talks

Chair:

Thomas Wies

Location: FH, Seminarraum 101A

14:30	Marco Rocchetto, Luca Viganò and Marco Volpe Using Interpolation for the Verification of Security Protocols (Extended Abstract) (abstract)
15:00	Kenneth McMillan Interpolation Strategies (abstract)
15:30	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Ruemmer and Jari Stenman Towards Craig Interpolation for String Constraints (abstract)

16:00-16:30Coffee Break

16:30-18:00 Session 99AU: iPrA Regular Talks, Discussions, Closing

Chair:

Georg Weissenbacher

Location: FH, Seminarraum 101A

16:30	Aws Albarghouthi, Isil Dillig, Arie Gurfinkel and Marsha Chechik Specification Synthesis via Generalized Abduction (abstract)
17:00	Yakir Vizel and Arie Gurfinkel Interpolation from Clausal Proofs (abstract)
17:30	Laura Kovacs and Georg Weissenbacher Concluding discussions (abstract)