[FOM] workshop on termination 2006 in Seattle
weiermann at math.uu.nl
Tue Dec 6 09:39:06 EST 2005
from Aug 15 and Aug 16 in 2006 there will be a workshop on
termination in Seattle as satellite workshop for FloC.
The WST06 is directly after RTA (Aug 12 to 14).
A tentative Call For Papers is on the web:
I hereby would invite people from
this newsgroup who have interest
in termination topics to participate. The WST is
also intended for people working on proof and
recursion theoretic aspects of termination.
As PC member I will in particular
take care of non CS papers.
More information about the FOM