[ Please distribute, apologies for multiple postings. ]
==
LOPSTR 2016: 2nd Call for Papers
==
26th International Symposium
CALL FOR PAPERS
14th ACM/IEEE International Conf. on Formal Methods and Models for System Design
(MEMOCODE 2016)
Indian Institute of Technology, Kanpur, India, November 18-20, 2016
http://memocode.irisa.f
I think modern machinery would probably make a mechanisation that old seem
extremely long-winded and painful. Even if you found the material, which seems
unlikely, it might not be that helpful. Papers describing it would probably be
good to read though...
Michael
On 24 May 2016, at 23:34, Ch
Due to several requests, the paper submission deadline has been
extended to
June 13, 2016 AoE (Anywhere on Earth).
Registering paper title and abstract before the submission deadline is
optional but encouraged.
