Computer Science Courses & EventsComputer Science Courses & Events10th International Conference on Formal Structures for Computation and DeductionDescriptionFSCD 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 *Workshop days can be added to your order on the next page
| |||||||||||||||||||||||||||||||||||||||||||||||||||
Footer Section
University of Birmingham, Edgbaston, Birmingham, B15 2TT, UKTel: +44 (0)121 414 3344 Tuesday, 16-Feb-2010 17:43:20 GMT
