Skip navigation
The Australian National University

COMP3710 Semester Projects

Luke English and Anthony Voutas (ANU)

LOGIC AND COMPUTATION SEMINAR Semester Projects Presentation

DATE: 2012-06-05
TIME: 15:30:00 - 16:30: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:
Semester project (COMP3710) presentations:

15.30 - 16.00: Luke English. Proof Theory for Tense Logics.

16:00 - 16.30: Anthony Voutas. Category Theory and Computational Logic.


BIO:



Updated:  31 May 2012 / Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.