I will be giving two brief talks, the abstracts are as follows:

Solving Łukasiewicz mu-terms.

The Łukasiewicz mu-calculus was introduced by Matteo Mio and Alex Simpson. It is an extension of Łukasiewicz logic with scalar multiplication and least and greatest fixed-point operators for monotone formulas. Given a term one wants to know the values denoted by the variables denoting fixed points. Mio and Simpson gave two procedures for this problem but in each case the worst case bound is extremely high. In this brief talk I will outline an algorithm that is single exponential in terms of the size of a term.

Photographing LFCS.

After Alex Simpson’s farewell talk at LFCS lunch we all went outside for some group photographs. I will present the photographs, discuss briefly the preferred conditions for making them, their post processing and printing.