Event
Overcoming performance barriers: Efficient proof search in logical frameworks
Thursday, April 17, 2003 10:00
McConnell Engineering Building
3480 rue University, Montreal, QC, H3A 0E9, CA
Dr Brigitte Pientka, Carnegie Mellon University