Dec. 11, 2023, 7:13 p.m.

You are cordially invited to the public defence of the doctoral dissertation of Mateusz Pyzik, titled Reflection of Continuation-Passing Style in Calculi of Delimited Control. The defense will take place on Friday, December 15 at 12:15pm, in room 25 of the Institute of Computer Science. The supervisor of the dissertation is Dariusz Biernacki and the reviewers are Jonathan Brachthäuser (Universität Tübingen), Yukiyoshi Kameyama (University of Tsukuba) and Sam Lindley (The University of Edinburgh).

The abstract of the dissertation (in Polish) and the reviews (in English) are available at the faculty webpage.