Andrzej Tarlecki

2011/12 teaching at MIM UW

• Course: Semantics and Verification of Programs
• Course: Universal algebra and category theory
• Seminar: SLIWOWICA

Sorry, all information on courses and seminars in the past years accidentally disappeared... :-(