072002/213 Computation and Deduction

This is the course home page for Computation and Deduction, Winter 2007. More information coming soon.

The course teachers are:

• Andrzej Filinski, DIKU, N109, 3532 1407, andrzej@diku.dk
  
• Carsten Schürmann, ITU, 4C13, 7218 5282, carsten@itu.dk

The lectures and exercise sessions are currently scheduled as follows: 

• Tuesdays, 9:15-12:00 in D411, HCØ (Building D, 4th floor)
• Tuesdays, 13:15-16:00 in Aud. 9, HCØ (Balcony) / S125, DIKU