Lecture
WHAT:
Automated Reasoning
HOSTED BY:
Dr. Volker Haarslev (Comp. Science - Concordia) & Dr. Monty Newborn (Comp.
Science - McGill)
WHEN:
Monday, March 29, 2004, 18:30 PM-21:30 PM EST
WHERE:
Concordia University, 1455 de Maisonneuve W., SGW Campus, Room H-110
SUMMARY:
Please try to arrive
slightly earlier
(18:15).
Between speakers, there will be a short break for refreshments. There is no
admission charge to this event, it is free for all to attend.
For details, contact
behrouz.bayat@sympatico.ca
DEC Lab Home
Last Updated April 6, 2004
|