Events

Date: 15 November 2024   Time: 15:00 - 17:00

Location: Peter Landin 4.24

A sequence of introductory talks:

Optimus orator Paulo Oliva volunteered to give a talk about:
""computational interpretations of non-constructive (classical) reasoning (logic)" - how backtracking, learning, or call-cc has been used to assign programs to proofs that use proof-by-contradiction or the law-of-excluded-middle."

If there is time Pasquale Malacaria will give an informal talk on game theory and a recent work where he approached the problem of dealing with uncertainty about values in security games (this will involve talking about minimax regret and geometric mean).

The seminar will be followed by a social event at which all are welcome.