Delta-complete decision procedures and hands-on tutorial

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

• Damien Zufferey, MIT, USA
• Tuesday 20 September 2016, 15:45-16:30
• 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)

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.