Semester Project Presentations
Anthony Voutas and Joshua Komer-Godsiff (ANU)
LOGIC AND COMPUTATION SEMINARDATE: 2012-11-07
TIME: 15:00:00 - 16:00:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Final presentations for L&C semester projects (COMP3006/COMP3710)
15:00 - 15:30. Anthony Voutas. A survey on notions of bisimulation in the pi-calculus.
15:30 - 16:00. Joshua Komer-Godsiff. Implementing an Iterative First-Order Logic Theorem Prover.
