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 • 14:05 - 14:55
CP meets Verification Workshop
    See presentations
  • 14h05-14h30: Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers, Zakaria Chihani
  • 14h30-14h55: On Finding program input values maximizing the rounding-off error, Mohammed Said Belaid, Claude Michel, Yahia Lebbah, Michel Rueher

avatar for Claude Michel

Claude Michel

laboratoire I3S

Monday September 5, 2016 14:05 - 14:55
B202 Bosco building

Attendees (2)