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