LOGIKSEMINARIET STOCKHOLM-UPPSALA


Mizuhito Ogawa (JAIST) gives a seminar with the title


    Confluence of Term Rewriting Systems, brief history and recent progress


10.30 - 12.15 on Wednesday, September 29, in room 2214, building 2,
MIC, Polacksbacken, Uppsala

Abstract: Confluence and termination are two major target properties of 
rewrite systems. This talk briefly overviews the histroy of sufficient 
conditions for confluence of first-order term rewriting systems, and 
recent progress from our group will be introduced. (One appeared in IJCAR 
this July and another will come soon in IPL.)