Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria

Source URL: csl.sri.com

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Model theory
• Semantics
• Philosophical logic
• First-order logic
• FO
• Quantifier
• Constructible universe
• Interpretation

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

EUR 50M in growth capital for European Fintech founders Vienna, ; In a partnership with Raiffeisen Bank International and UNIQA Insurance Group, Speedinvest f will provide EUR 50M in funding for Late-Seed and Se

Source URL: www.elevator-ventures.com

• Finance
• Financial markets
• Financial technology
• Uniqa Insurance Group

PDF Document

Source URL: www.rd-foundation-vienna.org

PDF Document

Source URL: 2018.vienna.wordcamp.org

PDF Document

Source URL: 2018.vienna.wordcamp.org

PDF Document

Source URL: 2018.vienna.wordcamp.org

DOCX Document

Source URL: www.rd-foundation-vienna.org

PDF Document

Source URL: www.rd-foundation-vienna.org