[TYPES/announce] LOLA 2011 -- call for contributed talks

[Zhong Shao]

============================================================

           *** CALL FOR CONTRIBUTED TALKS ***

                       LOLA  2011

      Syntax and Semantics of Low Level Languages

        Monday 20th June 2011, Toronto, Canada

             A LICS 2011-affiliated workshop 
            http://flint.cs.yale.edu/lola2011

============================================================

IMPORTANT DATES

Submission deadline     Friday  29th  April 2011
Author notification     Friday  13th  May   2011
Workshop                Monday  20th  June  2011

SUBMISSION LINK

The submissions will be made by easychair at
http://www.easychair.org/conferences/?conf=lola2011

DESCRIPTION OF THE WORKSHOP

It has been understood since the late 1960s that tools and
structures arising in mathematical logic and proof theory
can usefully be applied to the design of high level programming
languages, and to the development of reasoning principles for
such languages. Yet low level languages, such as machine code,
and the compilation of high level languages into a low level ones
have traditionally been seen as having little or no essential
connection to logic.

However, a fundamental discovery of this past decade has been
that low level languages are also governed by logical principles.