Logic-ml November 2012

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

16 participants
21 discussions

PPL2013論文募集
by Shinya Katsumata 01 Dec '12

01 Dec '12

（重複の場合はご容赦ください．）東京工業大学の権藤と京都大学の勝股と申します．来年3月に福島県会津若松東山温泉で開催される第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) のご案内（2回目）です．みなさまのご投稿，ご参加をお待ちしております．論文投稿・発表申込方法の詳細と招待講演者の情報を追加いたしました．カテゴリ1はeasy chairを通して，カテゴリ2, 3は下記投稿用メールアドレスまでお申込ください． -------------------------------------------------------------------------- 第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013） http://www.pllab.riec.tohoku.ac.jp/ppl2013/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2013年3月4日(月)〜3月6日(水) 会場: 福島県会津若松東山温泉「御宿東鳳」http://www.onyado-toho.co.jp/ PPL2013は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2013参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ１で発表された研究のうち，PPL2013プログラム委員会として優れていると認めるものは，PPL2013終了後（2013年4月下旬予定），「コンピュータソフトウェア」誌PPL2013推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） ------------------------------------------ ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申込多数の場合は抽選によって採否を決定する可能性があります．なお，PPL2013 ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 鍋島英知 (山梨大学) 村主崇行 (京都大学) 以上のお二方の招待講演を予定しています． ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．カテゴリ１（国内外未発表論文） ------------------------------ 投稿手続きは二段階です．発表申込を行った上で論文提出を行って下さい．発表申込先： https://www.easychair.org/conferences/?conf=ppl2013 発表申込締切：2012年12月21日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語200 words程度）を提出してください．論文提出締切：2013年1月11日(金) 17:00 (JST) 10ページ程度（最大15ページ）の論文（英語もしくは日本語，PDF形式）を提出して下さい．採否通知：2013年2月4日(月) 最終原稿提出締切：2013年2月15日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ１への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記して下さい．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ２（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議または学術雑誌等の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込先： submit-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい）発表申込締切：2013年1月23日(水) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．採否通知：2013年2月4日(月) 最終原稿提出締切：2013年2月15日(金) 17:00 (JST) カテゴリ３（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行なわずに募集いたします．デモを行なう場合は，発表概要においてその旨をご説明ください．発表申込先： submit-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい）発表申込締切：2013年2月6日(水) 17:00 (JST) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．採否通知：2013年2月15日(金) 問い合わせ先：oc-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい） ====================================================================== プログラム委員会青木利晃 (北陸先端科学技術大学院大学) 青谷知幸 (北陸先端科学技術大学院大学) 天野俊一 (IBM東京基礎研究所) 磯部祥尚 (産業技術総合研究所) 岩見宗弘 (島根大学) 角谷良彦 (東京大学) 勝股審也 (京都大学) [プログラム共同委員長] 小宮常康 (電気通信大学) 権藤克彦 (東京工業大学) [プログラム共同委員長] 田浦健次朗 (東京大学) 高田喜朗 (高知工科大学) 田辺良則 (国立情報学研究所) 中田景子 (Institute of Cybernetics at Tallinn University of Technology) 中野圭介 (電気通信大学) 長谷部浩二 (筑波大学) 番原睦則 (神戸大学) 松崎公紀 (高知工科大学) 実行委員会上野雄大 (東北大学電気通信研究所) [実行委員長] 鵜川始陽 (電気通信大学) [実行副委員長] 勝股審也 (京都大学) [プログラム共同委員長] 権藤克彦 (東京工業大学) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

Talk by Kazushige Terui (11:00-, 29 Nov)
by Shinya Katsumata 28 Nov '12

28 Nov '12

京都大学数理解析研究所の勝股です。 11月29日11:00から、当研究所の照井一成氏が以下の講演をいたしますので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 29 Nov, 2012 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Kazushige Terui (RIMS, Kyoto University) Title: Herbrand's theorem via hypercanonical extensions Abstract: よく知られているエルブランの定理を代数的に捉えたい。そのために古典論理のみならず、部分構造論理一般について考える。（様相などの単調／反単調な演算子を追加してもよい。たとえば直観主義論理、単調様相論理、線形論理、ファジー論理など）。 Lをそのような命題論理とし、その最小述語拡大をQLとすると、QLについてエルブランの定理が成り立つための代数的十分条件として、Lに対応する代数のクラスがコンパクトな完備化について閉じていることが挙げられる。そのような完備化の代表例はストーン双対性に基づくものであり、その一般化は正準拡大（canonical extensions）と呼ばれ広く研究されている。しかし部分構造論理の観点から興味深い代数のクラスの多くは、正準拡大について閉じているかどうか定かではない。そこで本講演では、新たなコンパクト完備化として超正準拡大（hypercanonical extensions）を導入する。これは非古典論理証明論における「シークエント計算⇒超シークエント計算」という発想に基づいて正準拡大を一般化したものである。それによりゲーデル＝ダメット論理、monoidal t-norm logicをはじめとする多くの論理についてエルブランの定理が系統的に成り立つことを示す。（今年度MLGにおける講演と同内容）

1 0

【訂正】Computability Theory and Foundations of Mathematics (CTFM)
by Naohi Eguchi 26 Nov '12

26 Nov '12

Logic-ml の皆様，先日ご案内しました計算可能性，逆数学等に関する研究会 Computability Theory and Foundations of Mathematics (CTFM) (2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス) http://sendailogic.math.tohoku.ac.jp/CTFM/ につきまして，講演申し込み締め切りが2013年12月18日となっていましたが*2012年*12月18日(火)の誤りでした．訂正してお詫び申し上げます．江口直日　(CTFM プログラム委員) 問い合わせ先　CTFM(a)math.tohoku.ac.jp ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20, 2013) http://sendailogic.math.tohoku.ac.jp/CTFM/ ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is a successor workshop to Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics (February 20 - 23, 2012, Tokyo, Japan). -------------------------------------------- Deadline of Submission for Presentations: December 18, 2013 /*2012*/ -------------------------------------------- Invited Speakers: Chi Tat Chong (National University of Singapore) Erik Palmgren (Stockholm University) Michael Rathjen (University of Leeds) Helmut Schwichtenberg (LMU Munich) Stephen G. Simpson (Pennsylvania State University) Yang Yue (National University of Singapore) Wu Guohua (Nanyang Technological University) -------------------------------------------- Programme Committee: Toshiyasu Arai (Chiba) Naohi Eguchi (Tohoku) Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology) Sam Sanders (Ghent) Kazuyuki Tanaka (Tohoku, Co-chair) Andreas Weiermann (Ghent, Co-chair) Takeshi Yamazaki (Tohoku) Keita Yokoyama (Tokyo Institute of Technology) --------------------------------------------

1 0

Postdoc positions, Tokyo/Kyoto, Computation Theory
by Akitoshi Kawamura 26 Nov '12

26 Nov '12

皆様東京大学の河村と申しますメーリングリストをお借りして新学術領域研究「計算限界解明」（代表：渡辺治）の研究員の公募（締切12月20日）について御案内させて頂きます計算量理論の諸問題への挑戦を目標とする研究領域ですがウェブページにありますように数理論理学的手法も中心テーマの一つでございます国内外を問わず皆様の周りの方々に広くお知らせ頂ければ幸いです -- 河村彰星東京大学大学院情報理工学系研究科コンピュータ科学専攻　助教 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html ％％％％％％％％％％％％％％％％％％％％％％％％％％％ポスドク募集文部科学省科学研究費補助金新学術領域研究　「多面的アプローチの統合による計算限界の解明」代表者：渡辺治 (東京工業大学） http://www.al.ics.saitama-u.ac.jp/elc/ では、下記のように4名の研究員を募集いたします。国際公募する予定で英語での文章しかございませんが、ご容赦下さい。よろしくお願いいたします。 --------------------------------------------------------------------- Two-year post-doctoral positions, Tokyo and Kyoto, Computation Theory --------------------------------------------------------------------- http://www.al.ics.saitama-u.ac.jp/elc/en/?pd The newly established Center for Exploring the Limits of Computation (CELC, Tokyo, Japan) seeks applications for four post-doctoral fellow positions in Computational Complexity Theory and related areas. The appointments are for two years starting in April 2013 (or as soon as possible). A monthly salary of approximately 350,000 Japanese yen plus a research allowance will be offered. Applicants should hold a PhD in theoretical computer science or related fields (or be expected to do so by July 2013). Two of the fellows will be based at the Tokyo site (Tokyo Institute of Technology and the CELC) and two at the Kyoto site (Kyoto University). Collaboration with other research groups of the ELC project (including visits for several months) will be encouraged and supported. Applications should include * a curriculum vitae, * list of publications, * a research statement, and * three letters of referees (to be sent directly from the referees). Applications and letters of referees should be sent via email to elc-pd-application(a)is.titech.ac.jp. Priority will be given to applications received by December 20, 2012. Applicants may be invited to an interview in early 2013 (the travel expenses will be covered). --------- About ELC --------- Exploring the Limits of Computation (ELC) is a five-year research project funded by the Japanese Ministry of Education, Culture, Sports, Science and Technology. Project Title (formal): A multifaceted approach toward understanding the limitations of computation Short Title: Exploring the Limits of Computation (ELC) Project Term: 2012.7 - 2017.3 Researchers have proposed various techniques for investigating the limits of computation, many of which have been sharpened in depth during the last two decades. We may soon be entering the stage of expecting some big breakthrough results toward understanding the limits of computation. In this project, we investigate these techniques and relationships among them with the goal of finding the next steps toward a big breakthrough. We propose the following three lines of research, each of which will be conducted by three core research groups (i.e., nine core research groups altogether). A. Team for pushing the current frontier of research on the limits of computation. B. Team for investigating the limits of computation by using various algorithmic/optimization techniques (even by using supercomputers). C. Team for introducing new approaches to and interpretations of the existing techniques for investigating the limits of computation. We also create a research center (CELC) in Tokyo for investigating computational complexity theory by stimulating worldwide collaborations among researchers based on our core research groups, hosting short/long term visitors and postdoctoral researchers, and organizing various meetings and workshops. We welcome researchers working on subjects related to computational complexity theory to join us for various occasions. Project webpage http://www.al.ics.saitama-u.ac.jp/elc/en/

1 0

2012年数学基礎論若手の会・プログラム
by Kazushige TERUI 23 Nov '12

23 Nov '12

みなさま＃投稿に失敗したようなので再投稿させていただきます。＃万が一複数お受け取りされましたらご容赦ください。明日から行われる数学基礎論若手の会のプログラムをご案内させていただきます。宿泊・食事は締め切りましたが、聴講や懇親会のみの参加は今からでも歓迎です。どうぞよろしくお願いします。照井日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html プログラム 11月23日（金） 14:15 - 14:30 開会 14:30 - 15:30 宮部賢志（京都大学）独立性定理とRadon-Nikodym微分 15:45 - 16:45 松田直祐（千葉大学）　　　　　　　古典論理と直観主義論理の汎用性 17:00 - 17:15 静馬荘司（関西大学）奇数の完全数について 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月24日（土） 07:45 - 朝食 09:00 - 10:00 依岡輝幸（静岡大学）巨大基数公理と連続体濃度 - 巨大基数を使わない解説 10:15 - 11:15 井澤昇平（東北大学）代数系の圏入門 11:30 - 12:30 滝坂透（京都大学） The word problem on Grigorchuk groups 12:30 - 昼食 14:00 - 15:00 木原貴行（北陸先端科学技術大学院大学）次数の理論の実解析学への応用 15:15 - 16:15 柳川信（筑波大学） Galois group and its application to Kueker conjecture 16:30 - 17:30 縫田光司（産業技術総合研究所）暗号分野では証明不可能性をどのように証明するか 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月25日（日） 07:45 - 朝食 09:00 - 10:00 田中勇一（筑波大学）アルゴリズム的ランダムネスによるモンテカルロ・メソッドについて 10:15 - 11:15 松尾亮太（名古屋大学）戦略的論理式でのゲーム理論の研究 11:30 - 12:30 酒井拓史（神戸大学） TBA 12:30 - 12:45 閉会 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

2012年数学基礎論若手の会・プログラム
by Kazushige TERUI 22 Nov '12

22 Nov '12

みなさま明日から行われる数学基礎論若手の会のプログラムをご案内させていただきます。宿泊・食事は締め切りましたが、聴講や懇親会のみの参加は今からでも歓迎です。どうぞよろしくお願いします。照井日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html プログラム 11月23日（金） 14:15 - 14:30 開会 14:30 - 15:30 宮部賢志（京都大学）独立性定理とRadon-Nikodym微分 15:45 - 16:45 松田直祐（千葉大学）　　　　　　　古典論理と直観主義論理の汎用性 17:00 - 17:15 静馬荘司（関西大学）奇数の完全数について 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月24日（土） 07:45 - 朝食 09:00 - 10:00 依岡輝幸（静岡大学）巨大基数公理と連続体濃度 - 巨大基数を使わない解説 10:15 - 11:15 井澤昇平（東北大学）代数系の圏入門 11:30 - 12:30 滝坂透（京都大学） The word problem on Grigorchuk groups 12:30 - 昼食 14:00 - 15:00 木原貴行（北陸先端科学技術大学院大学）次数の理論の実解析学への応用 15:15 - 16:15 柳川信（筑波大学） Galois group and its application to Kueker conjecture 16:30 - 17:30 縫田光司（産業技術総合研究所）暗号分野では証明不可能性をどのように証明するか 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月25日（日） 07:45 - 朝食 09:00 - 10:00 田中勇一（筑波大学）アルゴリズム的ランダムネスによるモンテカルロ・メソッドについて 10:15 - 11:15 松尾亮太（名古屋大学）戦略的論理式でのゲーム理論の研究 11:30 - 12:30 酒井拓史（神戸大学） TBA 12:30 - 12:45 閉会 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

「NII湘南会議」の企画募集のご案内
by Soichiro Hidaka 21 Nov '12

21 Nov '12

logic-mlの皆様、国立情報学研究所のと申します。本メーリングリストをお借りして、国立情報学研究所の主催で、アジアにおける最初のダグスツールスタイル・セミナーとなる「NII湘南会議」の企画募集をご案内させて頂きたいと思います。 NII湘南会議は、情報学の分野で世界的にトップレベルの研究者が一堂に会し、叡智を分け合う場を提供します。会議は、毎月開催し、成田国際空港からもアクセスのよい湘南国際村センターにて行われます。富士山をバックに、湘南海岸を眼下に見下ろす景観が楽しめます。詳しくは、リーフレット http://www.nii.ac.jp/shonan/wp-content/uploads/2010/08/smtg_low.pdf もしくは本メールの後半の英文企画募集のほか、下記webサイトをご参照下さい。 http://www.nii.ac.jp/shonan/ (英文) http://www.nii.ac.jp/about/international/shonanmtg/ (和文概要) 企画は随時受付けておりますが、年に3回締切りがあり、次の締切りは 12月15日となっております。是非ご検討いただければ幸いです。 ---- NII SHONAN MEETINGS: CALL FOR PROPOSAL (1) Objective NII Shonan Meetings, following the well-known Dagstuhl Seminars, aim to promote informatics and informatics research at an international level, by providing yet another world's premier venue for world-class scientists, promising young researchers, and practitioners to come together in Asia to exchange their knowledge, discuss their research findings, and explore a cutting-edge informatics topics. The meetings are held in Shonan Village Center (near Tokyo), which offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. The friendly and open atmosphere is to promote a culture of communication and exchange among the meeting participants. The NII International Meetings are managed by National Institute of Informatics (NII) in Japan. (2) Scope and Style NII Shonan Meetings follow the style of the Dagstuhl Seminars. A meeting usually lasts for four days (Monday to Thursday) or shorter. It is initiated by at most three organizers (one from Asia), established leaders in their field, representing the different communities invited to the Seminar, preferably from different institutions. NII invites on their behalf about 25 to 35 researchers of international standing from academia and industry. Like Dagstuhl Seminars, an NII Shonan Meeting typically does not come with a fixed program. Instead, the pace and the program are guided by topics and presentations that evolve through discussions. In particular, NII does not require participants to submit a paper for presentation, or to give a presentation at all. On the contrary, NII encourages to present new ideas and work in progress. All administrate work of a meeting will be supported by the NII team in the preparation phase and during the seminars themselves, so that the organizers can focus on choosing research topics and selecting active researchers for the meeting. (3) Proposal Submissions NII invites international standing scientists to submit proposals for international meetings (with about 25-35 participants) on any topics of informatics. The proposal should clearly motivate the topic of your seminar and include the following items: - Meeting Title - Organizers (at most three, 1-page CV for each) - Proposed Dates for the Meeting - Description of the Meeting (1-2 pages, in English) - Invitation list (Position/First Name/Middle Name/Last Name/Affiliation/Email/Gender/URL/research list) The proposal should be submitted via the following EasyChair page: http://www.easychair.org/conferences/?conf=nim1 The proposal will be reviewed by the Academic Committee. Once the proposal is approved, our staff will help to organize the seminar. We welcome proposal submission anytime through a whole year, although submission is closed in June 15th, September 15th and December 15th. Notification of acceptance is only made after about 40 days of each closing day. (4) Locations and Expenses The meetings are held in Shonan Village Center (near Tokyo), whose nearest train station can be accessed by a direct train from Narita International Airport, and offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. http://www.shonan-village.co.jp/svc/ The following rates cover overnight accommodation (single room) and full board (breakfast, lunch, and dinner) per day: - Meeting organizers: free - Participants from academia: 8,000 Yen/day - Participants from industry: 15,000 Yen/day - Accompanied persons to participants: 7,500 Yen/day (Meal charge is not included.) (5) Organization Organization Committee: Yoh'ichi Tohkura (NII): Chair Zhenjiang Hu (NII) Akiko Aizawa (NII) Hiroshi Hosobe (NII) Hiroyuki Kato (NII) Soichiro Hidaka (NII) Academic Committee: Zhenjiang Hu (NII): Chair Akiko Aizawa (NII) Ken'ichi Kawarabayashi (NII) Masaru Kitsuregawa (Univ. of Tokyo) Jeff Kramer (Imperial College London) Katsumi Inoue (NII) Kae Nemoto(NII) Bashar Nuesibeh (Lero/Open Univ.) Yoichi Sato (Univ. of Tokyo) Shin'ichi Satoh (NII) Satoshi Sekine (New York Univ./Rakuten Inst. of Tech.) Akihiko Takano (NII) (6) Inquiry Should you have any questions, please feel free to contact us by sending an email to shonan(a)nii.ac.jp More information about NII Shonan Meetings is available at the following website: http://www.nii.ac.jp/shonan/ 国立情報学研究所アーキテクチャ科学研究系助教日高宗一郎総合研究大学院大学複合科学研究科情報学専攻併任博士(工学) hidaka(a)nii.ac.jp http://research.nii.ac.jp/~hidaka 〒101-8430 東京都千代田区一ツ橋2-1-2 学術総合センタービル内 TEL:03-4212-2586(直)/03-4212-2000(代) 内線2586 FAX:03-4212-2120

1 0

QIT27のご案内
by NISHIMURA Harumichi 21 Nov '12

21 Nov '12

logic-mlの皆様，名古屋大学の西村と申します．QIT27のご案内を世話人に代わって投稿させていただきます．私のミスですでに締切を過ぎてしまってからのご案内で大変申し訳ございません．当日参加は可能ですのでもし興味を持たれましたらご参加いただければ幸いです．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ====================================================== 第27回量子情報技術研究会 (QIT27) 日時：2012年11月27日(火)〜28日(水) 会場：慶應義塾大学日吉キャンパス来往舎シンポジウムスペース（〒223-8521 神奈川県横浜市港北区日吉 4-1-1） ====================================================== 情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と、そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表、聴講を募集致します。奮ってご参加ください。主催：電子情報通信学会量子情報技術時限研究専門委員会（委員長北川勝浩大阪大）共催：応用物理学会量子エレクトロニクス研究会, 慶應義塾先導研スピントロニクス研究センター定員：150名招待講演： John J. L. Morton 氏（University of Oxford） Kurt Jacobs 氏（University of Massachusetts Boston）発表募集分野（申込状況によっては査読可能性あり）：量子情報、量子計算、量子暗号など広く量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、およびその他関連分野 11月27日（火）に懇親会を開催いたします。参加費：一般5,000円、学生1,000円（2012年11月13日（火）迄の銀行振込。) 当日会場支払いは一般6,000円、学生2,000円学生限定の当日受付聴講料金：1,000円（予稿集は含まれません。事前手続きは不要です。）懇親会費：一般4,500円、学生3,000円（2012年11月13日（火）迄の銀行振込。）当日会場支払いは一般5,000円、学生3,500円締め切り【口頭講演申込】 2012年10月12日（金）【ポスター講演申込】 2012年10月26日（金）【PDF原稿提出】 2012年11月5日（月）【参加登録】web 経由 2012年11月9日（金）講演を申し込まれた方も参加登録をお願いします。【参加費懇親会費銀行振り込み】2012年11月13日（火）世話人山本直樹（慶應義塾大学理工学部）古池達彦（慶應義塾大学理工学部）伊藤公平（慶應義塾大学理工学部） Rodney Van Meter （慶應義塾大学環境情報学部）問い合わせ先：qit27(a)appi.keio.ac.jp

1 0

Kobe Colloquium on Logic, Statistics and Informatics, Nov. 22 and 26, 2012 (minicourse)
by Joerg Brendle 20 Nov '12

20 Nov '12

Kobe Colloquium on Logic, Statistics and Informatics (minicourse) 以下の要領でコロキウム（ミニコース）を開催します。日時：2012年11月22日（木）15:10-16:40 と2012年11月26日（月）13:20-14:50 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Boban Velickovic (Universite de Paris 7, Paris, France) ======================================================================== 題目：Iteration of semiproper forcing revisited アブストラクト：Recently Neeman introduced a new technique of iterating proper forcing by using finite chains of elementary submodels as side conditions. We present an extension and refinement of this method which can be used to iterate a larger class of forcing notions. We also discuss some possible generalizations and open problems. ======================================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Computability Theory and Foundations of Mathematics (CTFM)
by Naohi Eguchi 19 Nov '12

19 Nov '12

研究会のご案内以下の要領で計算可能性，逆数学等に関する研究会 Computability Theory and Foundations of Mathematics (CTFM) (2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス) を開催いたします．幅広い分野から多くの方々の参加をお待ちいたします． CTFM プログラム委員一同 CTFM(a)math.tohoku.ac.jp ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20, 2013) http://sendailogic.math.tohoku.ac.jp/CTFM/ ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is a successor workshop to Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics (February 20 - 23, 2012, Tokyo, Japan). -------------------------------------------- Deadline of Submission for Presentations: December 18, 2013 -------------------------------------------- Invited Speakers: Chi Tat Chong (National University of Singapore) Erik Palmgren (Stockholm University) Michael Rathjen (University of Leeds) Helmut Schwichtenberg (LMU Munich) Stephen G. Simpson (Pennsylvania State University) Yang Yue (National University of Singapore) Wu Guohua (Nanyang Technological University) -------------------------------------------- Programme Committee: Toshiyasu Arai (Chiba) Naohi Eguchi (Tohoku) Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology) Sam Sanders (Ghent) Kazuyuki Tanaka (Tohoku, Co-chair) Andreas Weiermann (Ghent, Co-chair) Takeshi Yamazaki (Tohoku) Keita Yokoyama (Tokyo Institute of Technology) --------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2012