![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Computer Laboratory Automated Reasoning Group Lunches
Tuesdays at 1:00 pm in William Gates Building, Room SS03 , the Automated Reasoning Group holds an informal group meeting over lunch. For details please have a look at http://www.cl.cam.ac.uk/research/hvg/ARG_Lunches/.
Contact: William Denman
0 upcoming talks View 145 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.