ParamSAT

Speakers

Confirmed speakers

• Carlos Ansótegui
• Armin Biere
• Eduard Eiben
• Johannes Fichte
• Gregory Gutin
• Iyad Kanj
• Markus Kirchweger
• Sebastian Ordyniak
• Daniel Paulusma
• M. S. Ramanujan
• Andre Schidler
• Stefan Woltran
• P. R. Vaidyanathan

Potential speakers

• Ronald de Haan
• Marijn Heule
• Eun Jung Kim