LOGIKSEMINARIET STOCKHOLM-UPPSALA

Kim Solin, från Filosofiska institutionen, Uppsala universitet, ger ett
seminarium med titeln

   Applications of Modified Semirings

kl 10.30 - 12.15, onsdagen den 17 mars i sal Å64119 (plan 4, hus 6, 
Ångströmlaboratoriet, Uppsala).


Abstract: In this talk I present some applications of semirings that have 
been modified to serve a particular purpose. These applications include 
reasoning about programs and reasoning about epistemic notions. I conclude 
by presenting two open problems.