Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Source URL: nsv2015.informatik.uni-freiburg.de

• Economy
• Computational science
• Numerical analysis
• Computer science
• Validation
• Electromagnetism
• Quantitative analyst
• Business

13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

PRAKTIKA UND HOSPITANZEN AM THEATER FREIBURG Stand: November 2017 Ein Praktikum am Theater ist spannend! Im Theater Freiburg melden sich daher jeden Tag viele Menschen, die Interesse daran

Source URL: media02.culturebase.org

Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg

Source URL: csl.sri.com

• Mathematics
• Theoretical computer science
• Mathematical logic
• Lemmas
• Model theory
• Interpolation
• Logic in computer science
• Craig interpolation
• Satisfiability modulo theories
• Farkas' lemma
• Quantifier elimination
• First-order logic

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

PuroVerde eG, Goethestr. 20, 79100 Freiburg Telefon: Fax: Vorstand: Leo Pröstler, Heiko Rock Aufsichtsratsvorsitzender: Ulrich Martin Drescher Genossenschaftsregister: GnR, Amtsgeric

Source URL: www.puroverde.de

12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• Computing
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

Satzung der PuroVerde eG mit dem Sitz in Freiburg im Breisgau Stand: 01. Juli 2017 PuroVerde eG | Goethestraße 20 | 79100 Freiburg | Amtsgericht Freiburg i. Br. GnR: 700078 | www.puroverde.de

Source URL: www.puroverde.de

Probabilistic Counterexamples Albert-Ludwigs-Universität Freiburg Ralf Wimmer Albert-Ludwigs-Universität Freiburg, Germany

Source URL: www.avacs.org

• Markov models
• Probability
• Markov processes
• Dynamic programming
• Markov decision process
• Stochastic control
• Markov chain
• Stochastic matrix
• Model checking