<div dir="ltr"><div>CALL FOR TALK PROPOSALS</div><div><br></div><div><br></div><div>LOLA 2017: Syntax and Semantics of Low-Level Languages</div><div>==============================<wbr>========================</div><div>Monday, 19 June 2017, Reykjavik, Iceland</div><div>A satellite workshop of LICS 2017</div><div><a href="http://events.cs.bham.ac.uk/lola2017/" target="_blank">http://events.cs.bham.ac.uk/<wbr>lola2017/</a></div><div><br></div><div><br></div><div>Important Dates</div><div>---------------</div><div><br></div><div>- Abstract submission: Wednesday, 19 April 2017</div><div>- Author notification: Monday, 1 May 2017</div><div>- Workshop: Monday, 19 June 2017</div><div><br></div><div><br></div><div>Invited Speakers</div><div>----------------</div><div><br></div><div>- TBD</div><div><br></div><div>Context</div><div>-------</div><div><br></div><div>Since the late 1960s it has been known that tools and structures</div><div>arising in mathematical logic and proof theory can usefully be applied</div><div>to the design of high-level programming languages, and to the</div><div>development of reasoning principles for such languages. Yet low-level</div><div>languages, such as machine code, and the compilation of high-level</div><div>languages into low-level ones have traditionally been seen as having</div><div>little or no essential connection to logic.</div><div><br></div><div>However, a fundamental discovery of this past decade has been that</div><div>low-level languages are also governed by logical principles. From this</div><div>key observation has emerged an active and fascinating new research</div><div>area at the frontier of logic and computer science. The practically-</div><div>motivated design of logics reflecting the structure of low-level</div><div>languages (such as heaps, registers and code pointers) and low-level</div><div>properties of programs (such as resource usage) goes hand in hand with</div><div>some of the most advanced contemporary research in semantics and proof</div><div>theory, including classical realizability and forcing, double</div><div>orthogonality, parametricity, linear logic, game semantics,</div><div>uniformity, categorical semantics, explicit substitutions, abstract</div><div>machines, implicit complexity and resource bounded programming.</div><div><br></div><div>The LOLA workshop, affiliated with LICS 2017, will bring together</div><div>researchers interested in the relationships and connections between</div><div>logic and low-level languages and programs. Topics of interest</div><div>include, but are not limited to:</div><div><br></div><div>- Typed assembly languages</div><div>- Certified assembly programming</div><div>- Certified and certifying compilation</div><div>- Relaxed memory models</div><div>- Proof-carrying code</div><div>- Program optimization</div><div>- Modal logic and realizability in machine code</div><div>- Realizability and double orthogonality in assembly code</div><div>- Parametricity, modules and existential types</div><div>- General references, Kripke models and recursive types</div><div>- Continuations and concurrency</div><div>- Resource analysis and implicit complexity</div><div>- Closures and explicit substitutions</div><div>- Linear logic and separation logic</div><div>- Game semantics, abstract machines and hardware synthesis</div><div>- Monoidal and premonoidal categories, traces and effects</div><div><br></div><div><br></div><div>Submission</div><div>----------</div><div><br></div><div>LOLA is an informal workshop aiming at a high degree of useful</div><div>interaction amongst the participants, welcoming proposals for talks on</div><div>work in progress, overviews of larger research programs, position</div><div>presentations, and short tutorials, as well as more traditional</div><div>research talks describing new results.</div><div><br></div><div>The program committee will select the workshop presentations from</div><div>submitted talk proposals, which may take the form either of a *two</div><div>page abstract* or of a longer (published or unpublished) paper</div><div>describing completed work.</div><div><br></div><div>Authors are invited to submit their contribution by April 28, 2017.</div><div>Abstracts must be written in English and be submitted as a single PDF</div><div>file at</div><div>[EasyChair](<a href="https://www.easychair.org/conferences/?conf=lola2017" target="_blank">https://www.<wbr>easychair.org/conferences/?<wbr>conf=lola2017</a>).</div><div><br></div><div>Submissions will undergo a lightweight review process and will be</div><div>judged on originality, relevance, interest and clarity. Submission</div><div>should describe novel works or works that have already appeared</div><div>elsewhere but that can stimulate the discussion between different</div><div>communities at the workshop.</div><div><br></div><div>The workshop will not have formal proceedings and is not intended to</div><div>preclude later publication at another venue.</div><div><br></div><div>Program Committee</div><div>-----------------</div><div><br></div><div>- Beniamino Accattoli, INRIA</div><div>- Michael Greenberg, Pomona College</div><div>- Patricia Johann, Appalachian State University</div><div>- Ohad Kammar, University of Oxford</div><div>- Matija Pretnar, University of Ljubljana (co-chair)</div><div>- Nikos Tzevelekos, Queen Mary University of London</div><div>- Noam Zeilberger, University of Birmingham (co-chair)</div></div>