[TYPES] CFP: KAZAM workshop

Hayo Thielecke 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
                           Birmingham, UK

                     (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 mailing list