Logic-ml March 2012

9 participants
14 discussions

CFP: 第89回プログラミング研究会発表募集
by Takahito Aoto 07 Mar '12

07 Mar '12

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りて2012年度第1回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2012年6月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は4月20日(投稿締切は5月18日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第89回プログラミング研究会(PRO-2012-1)発表募集日程: 2012年6月21日(木)・22日(金) 会場: 小樽市民センター　　　〒047-0031 小樽市色内2丁目13番5号　　　 JR小樽駅より徒歩5分発表申込締切:　　　　 2012年4月20日(金) 投稿論文原稿提出締切: 2012年5月18日(金) 申込先: 花井亮 (東京大学) E-mail: hanai [at] jsk.t.u-tokyo.ac.jp 案内ページ: http://www.jsk.t.u-tokyo.ac.jp/pro-2012-1/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい． --- 青戸等人東北大学電気通信研究所 http://www.nue.riec.tohoku.ac.jp/user/aoto/

1 0

IWC 2012: Second Call for Papers
by Nao Hirokawa 07 Mar '12

07 Mar '12

合流性 (チャーチ・ロッサ性) に関するワークショップ IWC 2012 の投稿期限延長をお知らせ致します。IWC 2012 は名古屋で行われます RTA 2012 に併設されるワークショップです。ご投稿・ご参加を検討して頂ければ幸いです。廣川　直（北陸先端科学技術大学院大学） ====================================================================== Second Call for Papers (* extended deadline *) IWC 2012 1st International Workshop on Confluence 29 May 2012, Nagoya, Japan, collocated with RTA 2012 http://cl-informatik.uibk.ac.at/events/iwc-2012/ ====================================================================== Recently there is a renewed interest in confluence research, resulting in new techniques, tool support as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is collocated with the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012). During the workshop the 1st Confluence Competition (CoCo 2012) http://coco.nue.riec.tohoku.ac.jp/2012/ takes place. IMPORTANT DATES: * submission March 26, 2012 (extended) * notification April 9, 2012 * final version April 30, 2012 * workshop May 29, 2012 TOPICS: The workshop solicits short papers/extended abstracts on the following topics: * confluence and related properties (unique normal forms, commutation, ground confluence) * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence ORGANISING COMMITTEE: * Nao Hirokawa JAIST * Aart Middeldorp University of Innsbruck * Naoki Nishida Nagoya University PROGRAM COMMITTEE: * Takahito Aoto Tohoku University * Nao Hirokawa JAIST (co-chair) * Aart Middeldorp University of Innsbruck (co-chair) * Femke van Raamsdonk VU University Amsterdam * Aaron Stump The University of Iowa * Rakesh M. Verma University of Houston SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. In addition, we plan to distribute a printed version of the proceedings at the workshop. The page limit for papers is 5 pages in EasyChair style. Submission will be via EasyChair at https://www.easychair.org/account/signin.cgi?conf=iwc2012

1 0

[開催案内] 情報処理学会第88回プログラミング研究発表会(3/15-16)
by Keisuke Nakano 02 Mar '12

02 Mar '12

＊＊＊＊複数受け取られた場合はご容赦ください＊＊＊＊この場を借りまして，情報処理学会第88回プログラミング研究発表会開催のご案内をさせて頂きます．日程は3月15日-16日で，場所は産総研つくばセンターです．皆様のご参加をお待ちしております．また，3月15日の研究会終了後には懇親会を予定しております．参加希望者はあわせて出席予定をお知らせ下さい． -------- To: y.oiwa <at> aist.go.jp Subject: PRO88参加予定第88回PRO研究会に出席します． (↓どちらかを消して下さい) 3月15日の懇親会に参加します． 3月15日の懇親会に参加しません．御名前: 御所属: -------- 懇親会への参加申込は3/9(金)までにお願いします．最新情報は下記ページに掲示されますのでご確認ください． http://millsmess.cs.uec.ac.jp/pro/2011-5/ 担当：中野圭介(電通大)，大岩寛(産総研) ---------------- 第88回プログラミング研究会 (PRO-2011-5) 日程: 2012年 3月 15日(木)・16日(金) 場所: 産業技術総合研究所つくば中央共用講堂中会議室〒305-8561　茨城県つくば市東1-1-1　中央第1 つくばエクスプレス線つくば駅からバス約20分 ---------------- プログラム 2012/03/15 (木) 10:30 - 11:15 (1) 対話を媒介する型を用いた非正格純粋関数プログラミング ○山下伸夫 (電気通信大学) 11:15 - 12:00 (2) MWF/MNWFに基づくFTAとSpec Patternsによるモデル検査式の導出 ○加藤淳 (慶應義塾大学) 松本充広 (有人宇宙システム) 春山真一郎 (慶應義塾大学) 12:00 - 13:15 休憩 13:15 - 14:00 (3) エンドユーザがプログラム可能なWikiエンジン ○横山哲郎 (南山大学) 14:00 - 14:45 (4) DJS: A distributed object library for Server-WebBrowser communication ○Eki Ko (東京大学) Koichi Sasada (東京大学) 14:45 - 14:55 休憩 14:55 - 15:40 (5) 日本語プログラミングによるプログラムの可読性の評価 ○馬場祐人 (早稲田大学) 筧捷彦 (早稲田大学) 15:40 - 16:25 (6) Ruby オブジェクトの効率的なプロセス間転送・共有機構の設計と実装 ○中川博貴 (東京大学) 笹田耕一 (東京大学) 16:25 - 16:40 CS領域奨励賞授与式および拡大運営委員会 18:20 - 20:50 懇親会 2012/03/16 (金) 10:30 - 11:15 (7) May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics ○渡辺敬介 (京都大学) 西村進 (京都大学) 11:15 - 12:00 (8) 部分冗長除去に基づく実践的な大域命令スケジューリング ○及川亮太郎 (東京理科大学) 滝本宗宏 (東京理科大学) 12:00 - 13:15 休憩 13:15 - 14:00 (9) 定理証明支援系Coqへの対話的修正機構の導入 ○森口草介 (東京工業大学) 渡部卓雄 (東京工業大学) 14:00 - 14:45 (10) 限定継続命令shift/reset付きλ計算の評価器の抽出 ○廣田知子 (お茶の水女子大学) 浅井健一 (お茶の水女子大学) 14:45 - 14:55 休憩 14:55 - 15:40 (11) UNICOEN: 複数プログラミング言語対応のソースコード処理フレームワーク ○坂本一憲 (早稲田大学) 大橋昭 (早稲田大学) 太田大地 (ACCESS) 鷲崎弘宜 (早稲田大学) 深澤良彰 (早稲田大学) 15:40 - 16:25 (12) Join Token --- ゲームオブジェクトのイベント処理のための記述機構 ○西森丈俊 (筑波大学) 久野靖 (筑波大学)

1 0

CFP: HOR 2012
by Makoto Hamana 01 Mar '12

01 Mar '12

皆様、高階書換え系のワークショップ HOR'12 のご案内です。 6月のRTA'12に併設開催予定で、今年で6回目となります。バリバリの書換え研究から、証明支援系やプログラミング言語への応用まで、高階書換えに関係する論文を広く募集いたします。今年はさらにすでに発表された論文の発表枠も設け、盛上げたく思っておりますので、ぜひ投稿をご検討ください。なおポストプロシーディングスは、EPTCSから出版予定です。 -- 浜名誠/群馬大学 ===================================================================== Call for papers 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: * Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, using some notions of higher-order rewriting. * Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory, for higher-order rewriting. * Frameworks: graph rewriting, net rewriting, comparisons of different formats. * Implementation: explicit substitution, rewriting tools, compilation techniques. * Semantics: semantics of higher-order rewriting, higher-order abstract syntax, categorical rewriting. Important dates --------------- Paper submission: March 19, 2012 Notification: April 20, 2012 Final version: May 10, 2012 Workshop: June 2, 2012 Submissions ----------- Two categories of papers are solicited: - Category A: Extended abstracts of new results, describing work in progress, or problems in higher-order rewriting. - Category B: Short versions of recently published or submitted elsewhere articles on higher-order rewriting. Papers in this category are for presentation only, and not considered as candidates for the post-workshop proceedings. Papers in both categories should be between 2 and 5 pages, and should note the category (either A or B). Papers are formatted according to EPTCS style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness and usefulness. Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp. Proceedings ----------- The proceedings of HOR 2012 will be made available on the HOR 2012 web page, and a printed version will be distributed at the workshop. Post-workshop proceedings of extended abstracts of selected contributions is planned to be published as a volume of EPTCS. Program Committee ------------------- Andreas Abel (Ludwig-Maximilians-University Munich, Germany) Frederic Blanqui (INRIA, France) Makoto Hamana (Gunma University, Japan) (chair) Stefan Kahrs (University of Kent, UK) Fer-Jan de Vries (University of Leicester, UK) Program and Organizing Chair ---------------------------- Makoto Hamana (Gunma University, Japan)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2012