Zajęcia dydaktyczne

Semestr letni 2009/10

• Programowanie (wykład i ćwiczenia na poziomie rozszerzonym)
• Seminarium: Języki programowania - nowe osiągnięcia i trendy
• Kurs języka Erlang (pracownia)

Niektóre wykłady z poprzednich lat

• Wprowadzenie do systemu Twelf (mini-wykład i pracownia)
• Semantyka języków programowania (zima 2008)
• Obliczenia i wnioskowanie w systemie Coq (lato 2008)
• Języki programowania i kontynuacje (zima 2007)