Andrew Kennedy | 20 Mar 10:05 2013
Picon

LOLA 2013: Call for Talk Proposals

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

          *** CALL FOR TALK PROPOSALS ***

                    LOLA 2013

    Syntax and Semantics of Low Level Languages

     Saturday 29th June 2013, New Orleans, Louisiana, USA

          A LICS 2013-affiliated workshop 
     http://research.microsoft.com/events/lola2013/

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

IMPORTANT DATES

Submission deadline     Friday    12th  April 2013
Author notification     Tuesday   30th  April 2013
Workshop                Saturday  29th  June  2013

SUBMISSION LINK

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

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
(Continue reading)


Gmane