Quantifier Elimination, Polyhedral Computations and their Applications to the Parallelization of Computer Programs
Speaker:
Marc Moreno Maza
Date and Time:
Saturday, October 3, 2015 - 9:30am
Location:
Fields Institute, Room 230
