[TYPES/announce] LOLA 2011 -- Final Call for Contributed Talks (Deadline: April 29th)

[Zhong Shao]

[The final version of CFP for LOLA 2011 with updated information 
 about the invited speaker and the instructions for submission.]

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

       *** FINAL 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

INVITED SPEAKER

Paul-André Melliès (CNRS & Université Paris Diderot)

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.