Seminarium wydziałowe
W imieniu Dziekana Wydziału serdecznie zapraszamy pracowników oraz studentów na seminarium wydziałowe, które odbędzie się we wtorek 27 lutego o godz. 12:30 w Instytucie Informatyki w sali 119.
Prelegentem będzie Maciej Piróg, adiunkt w Instytucie Informatyki UWr (absolwent naszych studiów informatycznych, doktorat na Oksfordzie, postdoc w KU Leuven), który prowadzi badania w obszarze semantyki formalnej języków programowania, wykorzystując metody algebry uniwersalnej w opisie tzw. efektów obliczeniowych. Wygłosi on wykład pt.
Algebry szyte na miarę efektów.
Przed wykładem o 12:00 Dziekan zaprasza na ciasto i kawę.