[TYPES] CFP: KAZAM workshop
H.Thielecke at cs.bham.ac.uk
Wed Feb 16 17:04:56 EST 2005
APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM)
17 May 2005
(co-located with MFPS XXI)
Krivine's abstract machine has been rediscovered many times and in many
settings. The aim of the KAZAM workshop is to bring together researchers
interested in the line of work started by the Krivine machine, with
particular emphasis on the Zinc abstract machine. Presentations can be
either formal, informal, or experimental, as long as they are insightful
and shed light on the Krivine machine or a variant of it.
For more details, please see: http://www.cs.bham.ac.uk/~hxt/kazam/.
More information about the Types-list