Logic-ml January 2011

logic-ml@fos.kuis.kyoto-u.ac.jp

11 participants
15 discussions

PPL2011（3月＠北海道），ポスター・デモ発表募集および参加登録開始のお知らせ
by Kiyokuni Kawachiya 31 Jan '11

31 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．参加登録ページがオープンしました． http://www.info.kochi-tech.ac.jp/ppl2011/registration.html 参加ご希望の方は説明をお読みの上，2/25(金)までに登録をお願いいたします．また，カテゴリ３（ポスター・デモ発表）の申込締切が，一週間後の2/7(月)に迫っております．こちらにも奮ってご応募ください． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

Second Call for Papers: MOL 12 Tokyo
by Makoto Kanazawa 31 Jan '11

31 Jan '11

--------------------- PLEASE POST --------------------- Second Call for Papers 12th Meeting on Mathematics of Language Tokyo, September 5–7, 2011 http://sites.google.com/site/mol12tokyo/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held at the National Center of Sciences in Tokyo from September 5 through 7, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: March 22, 2011 • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 5-7, 2011 Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (Chair) • Ryo Yoshinaka

1 0

「数学の哲学」研究集会２月１０日ー１１日のお知らせ
by Mitsuhiro Okada 28 Jan '11

28 Jan '11

PHILOSOPHY OF MATHEMATICS Feb 10th-11th, 2011 (Preliminary Announcement) 「数学の哲学の現在」シンポジウム 2011年2月10日―11日主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター計算機科学，論理学，分析哲学，現象学，意識科学などの異なるフィールドで数学の哲学を研究しておられる研究者が集まり，次のような公開研究集会の開催を予定しています． The purpose of this meeting is to bring together researchers from different fields to discuss the resent state of philosophy of mathematics. （また、２月２４日ー２５日にFormal Ontologyの哲学と論理に関する研究会を、また２６日に数学基礎論の哲学に関する研究会を同一会場で予定しております。追ってご案内させていただきます。We also plan to have a Formal Ontology meeting on 24-25th and a Philosophy of the foundations of Mathematics meeting on 26th; to be announced shortly.) *日時:* 2011年2月10日午後1時 -- 11日午後5時 *Date:* Feb 10, 2011 (13pm) -- Feb 11 (17pm) *場所:* 慶應義塾大学三田キャンパス東館6階 G-Sec Lab *Place:* G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University http://abelard.flet.keio.ac.jp/pom11/ 参加自由ですが会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします．登録先はこちらです． https://abelard.flet.keio.ac.jp/pom11/registration.html 招待講演者は次の方を含みます． The main foreign guest speakers include: *講演者:* Henk Barendregt (オランダニーメゲン Radboud University, Foundations of Mathematics and Computer Science 講座長) *タイトル:* “Philosophy of mathematics, computer mathematics and lambda calculus” *講演者* Mirja Hartimo (フィンランド，ヘルシンキ大学) *タイトル* Husserl’s Philosophy of Mathematics *講演者* Mathieu Marion (カナダ，ケベック大学モントリオール校) *タイトル* Wittgenstein and Philosophy of Mathematics *講演者* Mark van Atten (フランス，パリ科学史科学哲学研究所) *タイトル* Intuitionism as phenomenology: a critique of Rota また国内ゲストはつぎの方たちを含みます．Other guest speakers include: 佐藤雅彦先生 (京都大学) “Formalization of mathematics” 矢田部俊介先生 (産業総合研究所) “Truth theories and co-induction” また，第一日目のプログラム終了時に懇親会 (参加自由) を予定しています． The (tentative) PROGRAM: 2月10日 (Feb 10th. The first Day) *13:00* Henk Barendregt “Philosophy of mathematics, computer mathematics and lambda calculus” *13:30* Discussion and short break *14:30* Mirja Hatimo “Husserl’s Philosophy of mathematics” *15:30* Discussion and short break *16:00* Mathieu Marion “Wittgenstein and Philosophy of Mathematics (tentative)” *17:00* Discussion and short break *18:00* Reception Party at Chuugoku Hanten Restaurant near (a few minutes walk distance from) the conference site/EAST GATE of the Mita Campus (Free for participation) 懇親会 (於中国飯店 <http://www.chuugokuhanten.com/>) 参加自由無料です． 2月11日 (Feb 11th. The second Day) *10:00* Masahiko Sato (Kyoto University) “Formalization of mathematics” *11:00* Discussion and short break *11:30* Lunch Break *13:00* Mark Van Atten “Intuitionism as phenomenology: a critique of Rota” *14:00* Discussion and short break *14:30* Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology, Collaborate Research Team for Verification) “Truth theories and co-induction (tentative)” *15:30* Discussion and short break *16:00* Mitsuhiro Okada (Keio University) “Some Remarks on Equational theories in the early foundational studies of Hilbert and Husserl and Concluding discussions” And Concluding Discussion *17:00* End of the Meeting 参加自由ですが，会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします。登録先はこちらです。 https://abelard.flet.keio.ac.jp/pom11/registration.html この会議は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンターの主催で行われます． Organized by the Open Research Centre for Logic and Formal Ontology, Keio University. ------------------------------------------------------------------------ Organizing Committee: Mitsuhiro Okada (Keio University) Ryo Takemura (Keio University) Yutaro Sugimoto (Keio University) ------------------------------------------------------------------------ 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所:東京都港区三田2-15-45 TEL:03-3453-4511 (内線23847) E-Mail: logic[AT]abelard.flet.keio.ac.jp なお，セミナーの最新の情報は以下のページに掲示する予定です． http://abelard.flet.keio.ac.jp/pom11/ ------------------------------------------------------------------------ /This document was translated from L^A T_E X by //H//^E //V//^E //A/ <http://hevea.inria.fr/index.html>/./

1 0

$B=u65$N8xJg$N$*CN$i$;(B
by Hasegawa Masahito 27 Jan '11

27 Jan '11

$B3'MM(B $B!J=EJ#$7$F$*<u$1<h$j$N@a$O$4MF<O2<$5$$!K(B $B5~ETBg3X?tM}2r@O8&5f=j$G$O!"8=:_!"=u65<c43L>$N8xJg$r9T$J$C$F$*$j$^$9!#(B $B7W;;5!2J3X$d?tM}O@M}3X$r4^$a$??tM}2J3X4XO"J,Ln$+$i$N1~Jg$r4?7^CW$7$^$9!#(B $B8xJg$N>\:Y$K$D$$$F$O!"8&5f=j%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/ja/index.html $B$h$j$4Mw2<$5$$!#(B $B$^$?!"?tM}2r@O8&5f=j$N7W;;5!2J3XJ,Ln$N9=@.0w$H8&5f3hF0FbMFEy$K$D$$$F$O(B http://www.kurims.kyoto-u.ac.jp/~cs/ $B$r$4Mw2<$5$$!#$I$&$>$h$m$7$/$*4j$$CW$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Email: hassei at kurims.kyoto-u.ac.jp URL: http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html

1 0

1st CFP- THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III)
by Yuping Shen 26 Jan '11

26 Jan '11

*************************************************************************** CALL FOR PAPERS THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III) Guangzhou, China, October 10-13, 2011 URL: http://www.golori.org/lori2011/ *************************************************************************** LORI-III THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION October 10 - 13, 2011 Guangzhou, China CALL FOR PAPERS We invite submissions of contributed paper bearing on any of the broad themes of the LORI workshop series, including knowledge acquisition, use, and management, information exchange, rational action, and rational interaction. Specific topics of interest include but are not limited to: * semantic models for knowledge, for belief, and for uncertainty * dynamic logics of knowledge, information flow, and action * logical analysis of the structure of games * belief revision, belief merging * logics and preferences, compact preference representation * logics of intentions, plans, and goals * logics of probability and uncertainty * logical approaches to decision making and planning * argument systems and their role in interaction * norms, normative interaction, and normative multiagent systems * logical and computational approaches to social choice Papers can be submitted on the Easychair site for the conference and should be no longer than 4,000 words (approximately 12 double spaced pages). PUBLICATION INFORMATION A LNCS Proceedings Volume containing all accepted papers will be available at the workshop. *************************************************************************** Tentative dates Submission Deadline: June 1, 2011 Notification: July 1, 2011 Final version due: August 10, 2011 Conference: October 10 - 13, 2011 ***************************************************************************

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru KADA 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Workshop on Logic and Computation: 2月8,9日金沢市能楽美術館
by hirokawa＠jaist.ac.jp 21 Jan '11

21 Jan '11

logic-ml の皆様 JAISTの廣川と申します。2月に金沢市で行われます論理と計算に関するワークショップのご案内を申し上げます。 -------------------------------------------------------------------------------------- Workshop on Logic and Computation February 8–9, Kanazawa http://www.jaist.ac.jp/is/labs/ogawa-lab/wlc11.html -------------------------------------------------------------------------------------- The workshop aims at promoting interactions among logicians from proof theory, computability, and rewriting. Several internationally renowned scientists will participate and contribute talks on recent developments. We welcome participants from all areas and all levels, but due to space restrictions in the venue, the Kanazawa Noh Museum, we kindly ask to contact the organizers at preining(a)jaist.ac.jp beforehand. The tentative program is as follows: February 8: 10:00-11:00 Ulrich Berger (Swansea, UK) Extraction of verified algorithms in exact real arithmetic 11:00-11:20 Break 11:20-12:00 Monika Seisenberger (Swansea, UK) Program Extraction from Constructive and Classical Proofs: Higman's Lemma 12:00-13:50 Lunch break 13:50-14:30 Guillaume Bonfante (Nancy, France) Comparing implicit characterization by program transformations 14:30-15:10 Masahiko Sato (Kyoto, Japan) Formalization of Mathematics 15:10-15:30 Break 15:30-16:10 Christian Fermüller (Vienna, Austria) Parallel Dialogue Games and Hypersequents for Intermediate Logics 16:10-16:50 Nao Hirokawa (Nomi, Japan) Rewriting Techniques in Complexity Analysis February 9: 10:00-11:00 Constantine Tsinakis (Nashville, USA) The Finite Embeddability Property for Algebras of Logic 11:00-11:20 Break 11:20-12:00 Dominik Klein (Nomi, Japan) Maximal Completion 12:00-13:50 Lunch break 13:50-14:30 Matthias Baaz (Vienna, Austria) Epsilon-calculus for non-classical logics 14:30-15:10 Agata Ciabattoni (Vienna, Austria) Power and limits of analytic calculi: towards a systematic proof theory for nonclassical logics 15:10-15:30 Break 15:30-16:10 Norbert Preining (Nomi, Japan) Satsifiability in Gödel Logics 16:10-16:50 Kazushige Terui (Kyoto, Japan) Church => Scott = Ptime: an application of resource sensitive realizability Closing -- 廣川　直　（北陸先端科学技術大学院大学）

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru Kada 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

研究集会：証明論と計算論の数理科学への展開
by YOKOYAMA Keita 20 Jan '11

20 Jan '11

皆様，この度以下のように、東北大学と北陸先端科学技術大学院大学の共催で研究集会を開催することとなりました。奮ってご参加ください．研究集会名：　証明論と計算論の数理科学への展開日時：　平成23年2月21日（月）〜2月24日（木） 20日（日）　チェックイン・受付 21日（月）　午前 problem session 1 21日（月）　午後〜23日（水）　午前 main sessions 23日（水）　午後 student session 24日（木）　午前 problem session 2 場所：　秋保温泉　岩沼屋（仙台市） http://www.iwanumaya.co.jp/ Organizers:　田中一之、石原　哉 Local organizers:　山崎武、Sam Sanders、江口直日、横山啓太研究集会の詳細につきましては以下のホームページを御覧ください． (随時更新されます．) http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ 会場の大きさの関係上，参加される方は事前に以下のフォームにて申し込みを御願いいたします．短い期間で恐縮ですが，1月31日を締め切りとさせていただきます．岩沼屋への宿泊をご希望の方は併せてお申し込みください． ---------------------------------------------- 申込フォーム氏名：所属：所属機関住所：〒電話番号：メールアドレス：参加希望宿泊なしの場合：21日/22日/23日/24日 ※宿泊なしの参加の場合，1日につき1000円程度の参加費(会場使用料)をお願いいたします．宿泊を希望する場合：　日から　日まで　泊　日．(20日から24日の期間のうち) ※宿泊の際の料金は以下の通りです．学生部屋(和室大部屋)：8000円/1泊2食，相部屋(和室)：10000円/1泊2食，個室(洋室シングル)：12000円/1泊2食 (いずれも予定，人数により変更の可能性があります．また，室数の関係からご希望に添えない場合がございます，あらかじめご了承ください．) 上記料金は，1泊につき夕・朝食に加え期間中の会場使用料を含みます．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 0

PPL2011（2011年3月＠北海道），カテゴリ２および３の締切が間近です
by Kiyokuni Kawachiya 18 Jan '11

18 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．カテゴリ２とカテゴリ３はまだ申し込みが可能ですので，奮ってご応募ください．カテゴリ２（国外既発表論文）発表申込締切：1月24日(月) ※ 例年より早いのでご注意ください．カテゴリ３（ポスター・デモ発表）発表申込締切：2月 7日(月) なお，ワークショップへの参加申込は，1/21ごろから受付を開始する予定です． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年1月24日(月) 　※ カテゴリ２の申込締切が例年より早くなっていますのでご注意ください．原論文（ページ数不問，PostScriptもしくはPDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月1日(火) 最終原稿提出締切：2011年2月14日(月) (注) カテゴリ２の申込締切が例年より早くなっています．２月初旬に採否が決定する国際会議については，あらかじめ別途，下記問い合わせ先までご相談ください． (注) Abstractは申込時点ではテキスト形式でお送りください．採択された場合の最終版はWebページに掲載の推奨スタイルファイルを使ったPDFがのぞましいです．カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2011