10th International Conference on Formal Structures for Computation and DeductionInfo Location Attendee Categories Additional Items Contact Event Information
DescriptionFSCD covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. The workshop days consist of the following events: * Monday 14 July: UNIF, HOR, WiL * Saturday 19 July: LFMTP, IFIP-WG1.6, TLLA, GALOP * Sunday 20 July: WPTE, TLLA, GALOP
Event Location
Attendee Categories(Non-student) Conference only
Additional Items(Non-student) Conference only – Workshop Options
ContactFor any queries please contact Dr Paul Levy: Telephone: 0121 4144792 Email: P.B.Levy@bham.ac.uk If you have a disability, specific access requirements or any special dietary requirements we need to be made aware of please contact the organisers | |||||||||||||||
Footer Section
University of Birmingham, Edgbaston, Birmingham, B15 2TT, UKTel: +44 (0)121 414 3344 Tuesday, 16-Feb-2010 17:43:20 GMT
