Vienna Center for Logic and Algorithms

The Vienna Center for Logic and Algorithms congratulates the winners of the

VCLA International Student Awards 2014

Outstanding Master Thesis Award   

  • Kuldeep S. Meel, Rice University, Sampling Techniques for Boolean Satisfiability
  • Luke Schaeffer, University of Waterloo, Deciding Properties of Automatic Sequences
  • Sophie Spirkl, University of Bonn, Boolean Circuit Optimization

Outstanding Undergraduate Research Award 

  • Pablo Muñoz, University of Chile, New Complexity Bounds for Evaluating CRPQs with Path Comparisons

 

The call for the 2015 awards is now available. 

The call of the 2014 edition is archived here.