From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A3477BC57 for ; Wed, 14 Apr 2010 22:23:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEBAAPBxUuDa3PXkWdsb2JhbAAumyoVAQEBAQkLCgcRBhYGpSyYf4UNBA X-IronPort-AV: E=Sophos;i="4.52,206,1270418400"; d="scan'208";a="48497476" Received: from smtp.microsoft.com ([131.107.115.215]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 14 Apr 2010 22:23:52 +0200 Received: from TK5EX14CASC130.redmond.corp.microsoft.com (157.54.52.9) by TK5-EXGWY-E802.partners.extranet.microsoft.com (10.251.56.168) with Microsoft SMTP Server (TLS) id 8.2.176.0; Wed, 14 Apr 2010 13:23:49 -0700 Received: from TK5EX14MBXC138.redmond.corp.microsoft.com ([169.254.6.38]) by TK5EX14CASC130.redmond.corp.microsoft.com ([157.54.52.9]) with mapi; Wed, 14 Apr 2010 13:23:48 -0700 From: Nick Benton To: "caml-list@yquem.inria.fr" Subject: LOLA 2010 -- final call for contributed talks Thread-Topic: LOLA 2010 -- final call for contributed talks Thread-Index: Acrb3HLCOzDgpPM5R3OW81dFwB9BfQAGUr7gAAA1H5A= Date: Wed, 14 Apr 2010 17:19:48 +0000 Message-ID: <829B73AE2485A845AD2F3EEA8C98E2381416F28D@TK5EX14MBXC138.redmond.corp.microsoft.com> Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; syntax:01 semantics:01 lics:01 compilation:01 logics:01 pointers:01 semantics:01 categorical:01 lics:01 compilation:01 existential:01 kripke:01 recursive:01 synthesis:01 synthesis:01 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *** FINAL CALL FOR CONTRIBUTED TALKS *** LOLA 2010 Syntax and Semantics of Low Level Languages Friday 9th July 2010, Edinburgh, UK A LICS 2010-affiliated workshop at FLoC 2010 http://lola.pps.jussieu.fr/ **NEW** Invited speakers: G=E9rard Berry, Alex Simpson **NEW** Invited tutorial: Dan Ghica **NOTE** Submission deadline is earlier than in first call =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IMPORTANT DATES Submission deadline Monday 19th April 2010 ** REVISED (EARLIER) ** Author notification Saturday 1st May 2010 Workshop Friday 9th July 2010 SUBMISSION LINK The submissions will be made by easychair at http://www.easychair.org/confe= rences/?conf=3Dlola2010 DESCRIPTION OF THE WORKSHOP It has been understood since the late 1960s that tools and structures arisi= ng in mathematical logic and proof theory can usefully be applied to the de= sign of high level programming languages, and to the development of reasoni= ng principles for such languages. Yet low level languages, such as machine = code, and the compilation of high level languages into a low level ones hav= e traditionally been seen as having little or no essential connection to lo= gic. However, a fundamental discovery of this past decade has been that low leve= l languages are also governed by logical principles. >>From this key observation has emerged an active and fascinating new researc= h area at the frontier of logic and computer science. The practically-motivated design of logics reflecting the structure of low = level languages (such as heaps, registers and code pointers) and low level = properties of programs (such as resource usage) goes hand in hand with the = some of the most advanced contemporary researches in semantics and proof th= eory, including classical realizability and forcing, double orthogonality, = parametricity, linear logic, game semantics, uniformity, categorical semant= ics, explicit substitutions, abstract machines, implicit complexity and sub= linear programming. The LOLA workshop, affiliated with LICS, will bring together researchers in= terested in the various aspects of the relationship between logic and low l= evel languages and programs. Topics of interest include, but are not limited to: - Typed assembly languages - Certified compilation - Proof-carrying code - Program optimization - Modal logic and realizability in machine code - Realizability and double orthogonality in assembly code, - Implicit complexity, sublinear programming and Turing machines - Parametricity, modules and existential types - General references, Kripke models and recursive types - Closures and explicit substitutions - Linear logic and separation logic - Game semantics, abstract machines and hardware synthesis - Monoidal and premonoidal categories, traces and effects INVITED SPEAKERS - G=E9rard Berry (INRIA Sophia)=20 "What could be the right balance between abstract and fine-grain computa= tional properties?" - Alex Simpson (LFCS, Edinburgh University)=20 TBA INVITED TUTORIALS (preliminary) - Dan Ghica (University of Birmingham)=20 Game Semantics and Hardware Synthesis PROGRAMME COMMITTEE * Amal Ahmed (Indiana University) * Nick Benton (MSR Cambridge, co-chair) * Lars Birkedal (IT University of Copenhagen) * Dan Ghica (University of Birmingham) * Paul-Andre Mellies (CNRS & University Paris Diderot, co-chair) * Fran=E7ois Pottier (INRIA Rocquencourt) * Ulrich Schoepp (LMU Munich) * Hayo Thielecke (University of Birmingham) SUBMISSION INSTRUCTIONS LOLA is an informal workshop aiming at a high degree of useful interaction = amongst the participants, welcoming proposals for talks on work in progres= s, overviews of larger programmes, position presentations and short tutoria= ls as well as more traditional research talks describing new results. The programme committee will select the workshop presentations from submitt= ed proposals, which may take the form either of a short abstract or of a lo= nger (published or unpublished) paper describing completed work. The submissions should be made by easychair at http://www.easychair.org/con= ferences/?conf=3Dlola2010