Marc Moreno Maza

  1. Title:
    Limit Points of Constructible Sets

    Speaker:

    Link:

  2. Title:
    Quantifier Elimination, Polyhedral Computations and their Applications to the Parallelization of Computer Programs

    Speaker:

    Link: