VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Beckert, Bernhard	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Bormer, Thorsten	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
F
Fallenstein, Benja	Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system?
G
Gore, Rajeev	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
H
Hähnle, Reiner	Introducing a Sound Deductive Compilation Approach
J
Ji, Ran	Introducing a Sound Deductive Compilation Approach
K
Kirsten, Michael	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
M
Meumann, Thomas	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
S
Schmitt, Peter	Typed First-Order Logic
Schürmann, Carsten	Chasing the Perfect Specification
Soares, Nate	Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system?
U
Ulbrich, Mattias	Typed First-Order Logic

Disclaimer | Powered by EasyChair Smart Program