VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abdulla, Parosh Aziz	Towards Craig Interpolation for String Constraints
Albarghouthi, Aws	Specification Synthesis via Generalized Abduction
Atig, Mohamed Faouzi	Towards Craig Interpolation for String Constraints
C
Chechik, Marsha	Specification Synthesis via Generalized Abduction
Chen, Yu-Fang	Towards Craig Interpolation for String Constraints
D
Dillig, Isil	Specification Synthesis via Generalized Abduction
E
Een, Niklas	Interpolants in Two-Player Games
F
Franconi, Enrico	Interpolation and Domain Independence applied to Databases
Fränzle, Martin	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
G
Grumberg, Orna	SAT-Based Model Checking with Interpolation
Guagliardo, Paolo	Interpolation and Domain Independence applied to Databases
Gurfinkel, Arie	Specification Synthesis via Generalized Abduction Interpolation from Clausal Proofs
H
Hofferek, Georg	Tree-based Modular SMT Solving
Holik, Lukas	Towards Craig Interpolation for String Constraints
K
Kerhet, Volha	Interpolation and Domain Independence applied to Databases
Koopmann, Patrick	Resolution Based Uniform Interpolation for Expressive Description Logics
Kovacs, Laura	Discussions Concluding discussions
L
Legg, Alexander	Practical CNF Interpolants Via BDDs Interpolants in Two-Player Games
M
Mahdi, Ahmed	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
McMillan, Kenneth	Interpolation Strategies
N
Narodytska, Nina	Practical CNF Interpolants Via BDDs Interpolants in Two-Player Games
Ngo, Nhung	Interpolation and Domain Independence applied to Databases
O
Oh, Chanseok	Fault Localization using Interpolation
P
Pudlak, Pavel	Feasible Interpolation in Proof Systems based on Integer Linear Programming
R
Rezine, Ahmed	Towards Craig Interpolation for String Constraints
Rocchetto, Marco	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
Ruemmer, Philipp	Towards Craig Interpolation for String Constraints
Ryzhyk, Leonid	Practical CNF Interpolants Via BDDs Interpolants in Two-Player Games
S
Schadler, Georg	Tree-based Modular SMT Solving
Schäf, Martin	Fault Localization using Interpolation
Schmidt, Renate A.	Resolution Based Uniform Interpolation for Expressive Description Logics
Schwartz-Narbonne, Daniel	Fault Localization using Interpolation
Stenman, Jari	Towards Craig Interpolation for String Constraints
T
Toman, David	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
V
Viganò, Luca	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
Vizel, Yakir	Interpolation from Clausal Proofs
Volpe, Marco	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
W
Weddell, Grant	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
Weissenbacher, Georg	Discussions Concluding discussions
Wernhard, Christoph	Application Patterns of Projection/Forgetting
Wies, Thomas	Fault Localization using Interpolation
Wolter, Frank	Interpolation in Description Logic: A Survey

Disclaimer | Powered by EasyChair Smart Program