Nonlinear real arithmetic and delta-satisfiability

Add to your list(s) Download to your calendar using vCal

• Paolo Zuliani, Newcastle, UK
• Tuesday 20 September 2016, 14:30-15:45
• Lecture Theatre 2, Computer Laboratory.

If you have a question about this talk, please contact Pietro Lio.

International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016)

International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016)

https://www.cl.cam.ac.uk/events/cmsb2016/workshop.html

This talk is part of the CL-CompBio series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Lecture Theatre 2, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.