
Lab Lunch by Kyriakos Kalorkoti
—
filed under:
Lab Lunch
Two Brief Talks: Solving Łukasiewicz muterms, and Photographing LFCS. I will be giving two brief talks, the abstracts are as follows:
Solving Łukasiewicz muterms.
The Łukasiewicz mucalculus was introduced by Matteo Mio and Alex Simpson. It is an extension of Łukasiewicz logic with scalar multiplication and least and greatest fixedpoint 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. Document Actions 
