From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1BBcOPF031637 for ; Sat, 11 Feb 2012 12:38:24 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkEBAHxSNk/RVdK2mGdsb2JhbABEFq19gVIIIgEBAQEBCAkNBxQnggsCCSMBASYSJV0SAQUBSQ6HY5tNCoo5hCgBjWsHi04hAQQJARIEAwQEBw4GAQMEBAENhBACAw8QAgYHD4NDlTaOJT2EBA X-IronPort-AV: E=Sophos;i="4.73,401,1325458800"; d="scan'208";a="130971833" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Feb 2012 12:38:19 +0100 Received: by iaeo4 with SMTP id o4so2438435iae.27 for ; Sat, 11 Feb 2012 03:38:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; bh=t7cyTI/GI7Gehj85C+w+AdiJ6/NZdpbr18dlwxaobsw=; b=WAawdv80bR3dOkH8UEAq+fNaDCjj17eohCC+86Y/TIT7DEapvJtxLVUFft5xDOqp07 b8kfAq47EM30p++N/hvjpUWiXFTE8BNcz6+tSSVbMYGJoZFxYw+OFr4WVfRuWsWvntkw aeLFt6rnrReC5Is882ZmXwsPDpSXzzkPthCYc= MIME-Version: 1.0 Received: by 10.50.36.230 with SMTP id t6mr16715579igj.5.1328960298060; Sat, 11 Feb 2012 03:38:18 -0800 (PST) Received: by 10.50.77.196 with HTTP; Sat, 11 Feb 2012 03:38:18 -0800 (PST) Date: Sat, 11 Feb 2012 13:38:18 +0200 Message-ID: From: Florin Craciun To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs CALL FOR PAPERS 14th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2012) (co-located with ECOOP and PLDI) Beijing China June 12, 2012 http://www.comp.nus.edu.sg/~ftfjp OVERVIEW Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: - formal techniques for Java, C#, Scala or similar languages - specification techniques and interface specification languages - specification of software components and library packages - automated checking and verification of program properties - verification logics - language semantics - type systems - dynamic linking and loading - security CALL FOR CONTRIBUTIONS Contributions (of up to 6 pages in the ACM 2-column style) are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions need not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We particularly welcome contributions that simply suggest good topics for discussion at the workshop, or raise issues that you feel deserve the attention of the research community. Contributions will be formally reviewed, for originality, relevance, and the potential to generate interesting discussions. Accepted papers will be published in the ACM Digital Library. In addition, depending on the nature of the contributions, we may organize a special journal issue as a follow-up to the workshop, as has been done for some of the previous FTfJP workshops. Contributions must be in English, in pdf format, and are limited to 6-pages in ACM 2-column style. Papers must be submitted electronically via Easy Chair at: https://www.easychair.org/conferences/?conf=ftfjp2012 Any PC member, other than the chair, may be an author or co-author on any paper submitted for consideration but will be excluded from any evaluation or discussion of the paper. IMPORTANT DATES abstract submission: 16 March 2012 (anywhere on Earth) full paper submission: 25 March 2012 (anywhere on Earth) notification: 29 April 2012 camera-ready paper: 12 May 2012 conference date: 12 June 2012 PROGRAM COMMITTEE Aditya Nori, Microsoft Research India Aquinas Hobor, National University of Singapore, (co-chair) Atsushi Igarashi, Kyoto University, Japan Florin Craciun, Babes Bolyai University, Romania Hoang Truong, Vietnam National University, Vietnam Jens Palsberg, University of California, USA Jesper Bengtson, IT-University of Copenhagen, Denmark Jianjun Zhao, Shanghai Jiaotong University, China John Boyland, University of Wisconsin-Milwaukee, USA Jules Villard, Queen Mary, University of London, UK Sophia Drossopoulou, Imperial College London, UK Thomas Wies, New York University, USA Tyng-Ruey Chuang, Academia Sinica, Taiwan Wei-Ngan Chin, National University of Singapore, (co-chair) Zongyan Qiu, Peking University, China