Personal tools
You are here: Home Events Lab Lunch by Kyriakos Kalorkoti

Lab Lunch by Kyriakos Kalorkoti

— filed under:

Two Brief Talks: Solving Łukasiewicz mu-terms, and Photographing LFCS.

What
  • Lab Lunch
When Apr 07, 2015
from 01:00 PM to 02:00 PM
Add event to calendar vCal
iCal

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.

Document Actions