From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id BC94FBC48 for ; Tue, 5 Apr 2005 17:45:12 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j35FjCiZ024663 for ; Tue, 5 Apr 2005 17:45:12 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA01289 for ; Tue, 5 Apr 2005 17:45:12 +0200 (MET DST) Received: from cs.rice.edu (cs.rice.edu [128.42.1.30]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j35FjBcb017511 for ; Tue, 5 Apr 2005 17:45:11 +0200 Received: from localhost (calypso.cs.rice.edu [128.42.1.127]) by cs.rice.edu (Postfix) with ESMTP id D37544A9B9 for ; Tue, 5 Apr 2005 10:45:10 -0500 (CDT) Received: from cs.rice.edu ([128.42.1.30]) by localhost (calypso.cs.rice.edu [128.42.1.127]) (amavisd-new, port 10024) with LMTP id 01396-01-76 for ; Tue, 5 Apr 2005 10:45:10 -0500 (CDT) Received: by cs.rice.edu (Postfix, from userid 18281) id 58A424A9B3; Tue, 5 Apr 2005 10:45:10 -0500 (CDT) Date: Tue, 5 Apr 2005 10:45:10 -0500 From: Kedar Swadi To: caml-list@inria.fr Subject: CFP: The Second MetaOCaml Workshop Message-ID: <20050405154509.GB13528@cs.rice.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=unknown-8bit Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.4.2i X-Virus-Scanned: by amavis-2.2.1 at cs.rice.edu X-Miltered: at concorde with ID 4252B288.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4252B287.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cfp:01 metaocaml:01 metaocaml:01 multi-stage:01 ocaml:01 staging:01 statically:01 semantics:01 compilation:01 rtcg:01 debugging:01 staging:01 annotations:01 haskell:01 outcomes:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [Apologies for cross-postings. Please forward to interested colleagues] CALL FOR PAPERS =============== The Second MetaOCaml Workshop http://www.metaocaml.org/workshop05 To be held at GPCE'05 (Wednesday Sep 28, 2005, Tallinn, Estonia) MetaOCaml is a multi-stage extension of the widely used functional programming language OCaml. It provides a generic core for expressing macros, staging, and partial evaluation. As such, it also provides unique support for building aspect weavers in a statically typed setting. The workshop is a forum for discussing experience with using MetaOCaml as well as possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, and implementation of MetaOCaml. The workshop welcomes reports on * novel applications (especially interpreters and aspect weavers), * extensions (macros, new language constructs, offshoring translations), * implementation techniques (compilation, RTCG), support (debugging, profiling), * educational use, * basic theory (staging annotations, static typing, static analysis, environment classifiers, etc). Each submission will be reviewed by at least three members of the Program Committee (PC). The PC will work to provide detailed and constructive comments to the authors. The workshop will only have informal proceedings, and is intended to be close in spirit to the Haskell, ML, and Scheme workshops. Based on author requests and PC decisions, authors will be given either 25-minute or 15-minute slots to present their ideas, either of which will be followed by 15 minutes of questions and discussion. At the end of the workshop, one hour will be allocated to an open discussion to review the outcomes of the meeting, and to discuss future challenges and directions for MetaOCaml. Submission: For uniformity, authors are encouraged to use the latest ACM SIGS conference style file (option 1). We also request that submissions be limited to 12 pages in this style. We ask that papers be submitted in PDF or Postscript forms through the online submission page at http://metaocaml.cs.rice.edu/submit.html. Important Dates: Submission deadline: June 13, 2005 until midnight GMT (Please use online form at http://www.metaocaml.org/workshop05) Notification of acceptance: July 11, 2005 Final versions posted at the workshop sites: October 20, 2005 Related Tutorial: A tutorial on Multi-stage Programming in MetaOCaml is also co-located at GPCE '05, and will be held one day before the workshop, on Tuesday, 27 September, 2005, details of which will be found at http://www.metaocaml.org/tutorial05 Registration: Registration for the workshop is part of registering for GPCE'05. The event is co-located with TFP 2005 and ICFP 2005, which already provides housing and transportation information. Program Committee: Cristiano Calcagno Imperial College Rowan Davies University of Western Australia Ralf Hinze Universität Bonn Oleg Kiselyov FNMOC, Monterey, CA, USA Xavier Leroy INRIA, Paris Emir Pasalic Rice University Jeremy Siek Indiana University, Bloomington Yannis Smaragdakis Georgia Tech Kedar Swadi Rice University (Chair) Walid Taha Rice University Stephanie Weirich University of Pennsylvania Hongwei Xi Boston University