Seminarium poświęcone będzie najnowszym trendom dotyczącym teorii, projektowania i
implementacji językow programowania, a w jego ramach omawiane będą wybrane
wyniki zaprezentowane w ostatnich latach na wiodących konferencjach z
dziedziny języków programowania, m. in. POPL, PLDI, ICFP, ESOP, FOSSACS, OOPSLA, FSCD.
Studenci będą mieć pełną swobodę w wyborze publikacji, którą zechcą opracować, a jedynymi warunkami wstępnymi dla tego seminarium są podstawowa znajomość zagadnień związanych z formalną semantyką języków programowania i systemami typów oraz zainteresowanie tematyką języków programowania rozumianych jako obiekt studiów i badań.
