Local Information

CADE 2017


This is the list of our confirmed speakers (in alphabetical order)
From parallel theorem proving to parallel SAT-solving and back
Maria Paola Bonacina (Università degli Studi di Verona)
Parallel Answer Set Programming
Andrea Formisano (Università di Perugia)
Solving very hard problems: Cube-and-Conquer, a hybrid SAT solving method
Marijn Heule (University of Texas at Austin)
Parallel Model-based Diagnosis on Multi-Core Computers
Dietmar Jannach (TU Dortmund)
Concurrent Data Structures for Multi-Core Model Checking
Alfons Laarman (Universiteit Leiden)
Parallel QBF Solving: State of the Art Techniques and Future Perspectives
Florian Lonsing (TU Wien)
P3: Model Checking using distributed PDR
Matteo Marescotti (Università della Svizzera italiana)
Harnessing over a Million CPU Cores to Solve a Single Hard Mixed Integer Programming Problem on a Supercomputer
Yuji Shinano (Zuse Institute Berlin)
Carsten Sinz (Karlsruhe Institute of Technology)