III: Corrigibility of Agents

The third meeting took place on the 10th of April at 14:15 in room 0006 at the Faculty of Mathematics and Computer Science of the Jagiellonian University. Krzysztof Galias was speaking about in-use modification of agents based on the paper Corrigibility. The recording (in Polish) is available below, although it cuts off a bit too early.

II: Cooperation in the Open-source Prisoner’s Dilemma

The second meeting took place on the 3rd of April at 14:00 in room 0006 at the Faculty of Mathematics and Computer Science of the Jagiellonian University. Tomek Kisielewski was speaking about cooperation between agents due to an application of Löb’s theorem based on the papers Robust Cooperation in the Prisoner’s Dilemma: Program Equilibrium via Provability Logic and Parametric Bounded Löb’s Theorem and Robust Cooperation of Bounded Agents. The recording (in Polish) is available below.