This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, September 5 • 09:35 - 10:00
CP meets Verification Workshop
    See presentations
  • 09h35-10h00: Mixing Polyedra and Boxes Abstract Domain for Constraint Solving, Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, Antoine Miné.

avatar for Marie Pelleau

Marie Pelleau

UPMC - Lip6

Monday September 5, 2016 09:35 - 10:00
B202 Bosco building

Attendees (3)