shelarcy
shela****@gmail*****
2008年 2月 20日 (水) 14:46:36 JST
** 重複ご容赦ください ** フリーランスの木戸崇裕 a.k.a shelarcyです。 Oleg Kiselyov氏の来日に合わせて、4月13日に様々な分野での継続(continuation) について語り合うことを目的とした、Continuation Fest（継続祭り）という ワークショップを開催するとのことですので転送します。 学生や一般の方々も来られるよう、それほど形式ばらない（informalな）形で行 いたいということですので、興味のある方はお気楽にご参加ください。 ------- Forwarded message ------- From: oleg****@okmij***** To: haske****@haske***** Subject: [Haskell] CFP: Continuation Fest 2008 Date: Wed, 20 Feb 2008 09:50:23 +0900 Call for Talk Proposals Continuation Fest 2008 April 13, Tokyo, Japan http://logic.cs.tsukuba.ac.jp/~kam/Continuation2008/ Continuations are used, and constantly re-discovered, in web programming, logic, event-based concurrency, linguistics, transactional systems, optimization, program generation and verification. Programming language systems -- including Scheme, OCaml, Ruby, Python, Haskell, Coq -- are (re-)implementing continuations, generators, iterators and related control structures. Continuations are also being studied for their own sake. We call for an informal gathering of people working in all these areas -- language designers, users, and researchers who study or use continuations in academic or practical work or as a hobby. The goal is to exchange ideas, terminology, new results, experience reports, works in progress, open problems, and friendly feedback -- as well as meet each other and strengthen the community. We plan a combination of 7-8 broadly accessible talks and 1-2 invited talks, with plenty of breaks for socializing and informal conversations. An evening event is planned. Participants are invited to submit working notes, source files, and abstracts for distribution to the attendees, but as the workshop has no formal proceedings, contributions may still be submitted for publication elsewhere. We solicit talk proposals, about 2 paragraphs long. The proposal should include the desired talk duration and be emailed to CF200****@logic***** The proposals will be evaluated by the Program Committee, who also would advise the authors on the duration of the talk and on making it as accessible as possible. The topics of interest include, but are not at all limited to: -- descriptions of uses of continuations in program generation, linguistics, proof theory, model checking, -- system demonstrations -- libraries using continuations, such as generators -- verifying programs that use continuations explicitly or implicitly (exceptions, concurrency, backtracking) -- type systems of continuations and their formalizations -- open problems Important dates: March 31, 2008: The deadline for the talk proposals April 13, 2008: The Fest Program committee: Chris Barker (New York) Shiro Kawai (Scheme Arts) Oleg Kiselyov (FNMOC) Chung-chieh Shan (Chair, Rutgers) Taiichi Yuasa (Kyoto) Organizing Committee: Kenichi Asai (Ochanomizu) Yukiyoshi Kameyama (Chair, Tsukuba) Inquiries: CF200****@logic***** -- shelarcy <shelarcy hotmail.co.jp> http://page.freett.com/shelarcy/
