IWIL-2015: Author Index

Author	Papers
A
Ahmed, Waqar	Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Atindehou, Mêton Mêton	A Method to Simplify Expressions: Intuition and Preliminary Experimental Results
B
Biere, Armin	Clausal Proof Compression
Blanco, Roberto	Defining the meaning of TPTP formatted proofs
Bury, Guillaume	Implementing Polymorphism in Zenon
C
Cauderlier, Raphaël	Implementing Polymorphism in Zenon
H
Halmagrand, Pierre	Implementing Polymorphism in Zenon
Hasan, Osman	Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Heule, Marijn	Clausal Proof Compression
K
Kaliszyk, Cezary	Improving Statistical Linguistic Algorithms for Parsing Mathematics
L
Le Charlier, Baudouin	A Method to Simplify Expressions: Intuition and Preliminary Experimental Results
Leino, Rustan	Well-founded Functions and Extreme Predicates in Dafny: A Tutorial
Li, Chu Min	On Reducing Clause DataBase in Glucose
Libal, Tomer	Defining the meaning of TPTP formatted proofs
M
Miller, Dale	Defining the meaning of TPTP formatted proofs
P
Protzenko, Jonathan	Functional Pearl: the Proof Search Monad
S
Schulz, Stephan	The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps
Sutcliffe, Geoff	The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps
T
Tahar, Sofiene	Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
U
Urban, Josef	Improving Statistical Linguistic Algorithms for Parsing Mathematics Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry
V
Veroff, Robert	Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry
Vyskocil, Jiri	Improving Statistical Linguistic Algorithms for Parsing Mathematics
X
Xiao, Fan	On Reducing Clause DataBase in Glucose
Xu, Ruchu	On Reducing Clause DataBase in Glucose