- Logic-ml - fos.kuis.kyoto-u.ac.jp

Workshop on Linear Logic (Program Available)
by Kazushige TERUI 23 Oct '11

23 Oct '11

皆様線型論理関連ワークショップ（１１月７日−１１日、京都大学）について、暫定プログラムができましたのでご案内させていただきます。人数把握のため、参加ご希望の方は添付の参加フォームをお送りいただけると助かります（当日参加も可）。 ※北白川学舎（RIMS宿泊施設）に１室空きがあります（バス・トイレ共用）。　ご希望の方はご連絡ください。 -------------------- Workshop on Linear Logic (Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity) * Date: 7th - 11th, November (11th reserved for free discussion) * Location: Room 110, Faculty of Science Building No.3, Kyoto University 京都大学理学部３号館１１０号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_n.htm ※数理解析研究所ではありませんのでご注意ください。 * Workshop Dinner 18:00-, 9th November. (cost: around 4,000 - 5,000yen) ※参加ご希望の方はなるべく事前に下記フォームにてお知らせください。 * Organizers Michele Basaldella: mbasalde(a)kurims.kyoto-u.ac.jp Kazushige Terui: terui(a)kurims.kyoto-u.ac.jp Claudia Faggian * Program (tentative) 7th November (Monday) 10:00-10:15 Opening 10:15-11:00 Masahito Hasegawa (Kyoto Univ.) TBA 11:00-11:30 Shin'ya Katsumata (Kyoto Univ.) Relating Computational Effects by TT-Lifting 13:00-14:30 Jean-Yves Girard (IML, Marseille) Lecture I 14:45-15:30 Masahiro Hamano (PRESTO, JST) A Geometry of Interaction for Polarized Linear Logic 15:45-16:30 Thomas Seiller (IML, Marseille) Graphs of Interaction 16:30-17:15 Jonas Frey (PPS, Paris) Characterizing Realizability Toposes 8th (Tuesday) 9:30-11:00 Jean-Yves Girard Lecture II 11:15-12:00 Claudia Faggian (PPS, Paris) Geometry of Interaction and Quantum Circuits (joint work with Ugo Dal Lago) 12:00-12:30 Kazuyuki Asada (National Institute of Informatics) Bidirectional Transformation and Int Construction 14:00-15:00 Stefano Guerrini (invited: LIPN, Paris) Jumps and Boxes 15:15-16:00 Michele Basaldella (Kyoto Univ.) Dilators: a Gentle Introduction 16:00-16:45 Etienne Duchesne (LIPN, Paris) TBA 9th (Wednesday) 9:30-11:00 Jean-Yves Girard Lecture III 11:15-12:00 Nao Hirokawa (JAIST) Runtime Complexity Analysis and Rewriting Techniques 12:00-12:30 Naohi Eguchi (Tohoku Univ.) Term-rewriting Approaches to Implicit Computational Complexity 14:00-15:00 Ugo Dal Lago (invited: Univ. Bologna) Measuring, Computing and Constraining: Three Ways to Exploit GoI in Implicit Complexity. 15:15-16:00 Michele Pagani (LIPN, Paris) The Computational Meaning of Probabilistic Coherence Spaces (joint work with Thomas Ehrhard and Christine Tasson) 16:00-16:45 Rene Vestergaard (JAIST) Towards a Geometry of Regulation 18:00- Workshop Dinner 10th (Thursday) 9:30-11:00 Jean-Yves Girard Lecture IV 11:15-12:15 Marco Gaboardi (invited: Univ. Pennsylvania) Linear Types for Function Sensitivity 13:45-14:30 Damiano Mazza (LIPN, Paris) Metrics on lambda-terms 14:30-15:00 Marc Bagnol (IML, Marseille) Cycles and Traces: On the Meaning of Syntaxe Transcendantale's Duality 15:15-15:45 Guillaume Munch-Maccagnoni (PPS, Paris) What can polarisation do for the proofs-as-programs correspondence? 15:45- Free Slots 11th (Friday) 9:30- Open Discussion ------------------------------------- 参加申し込みフォーム１．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．９日の懇親会に参加する・しない -------------------------------------- ------------------------------------------ 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

IWC 2012 & CoCo 2012: First Call for Papers and Provers
by Nao Hirokawa 21 Oct '11

21 Oct '11

来年、名古屋で行われます RTA 2012 において、合流性 (チャーチ・ロッサ性) に関する第1回国際ワークショップ IWC 2012 と合流性自動証明のコンペティション CoCo 2012 が開催されます。最近は型安全が合流性により証明されるなど、興味深い応用が登場し始めています。投稿・参加を検討して頂けましたら幸いです。廣川　直（北陸先端科学技術大学院大学） This is a joint call for papers and provers for IWC 2012 and CoCo 2012. ====================================================================== First Call for Papers 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) takes place. IMPORTANT DATES: * submission March 6, 2012 * notification March 20, 2012 * final version April 3, 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 LIPIcs style. Submission will be via EasyChair at https://www.easychair.org/account/signin.cgi?conf=iwc2012 ====================================================================== First Call for Provers CoCo 2012 1st Confluence Competition http://coco.nue.riec.tohoku.ac.jp/2012/ ====================================================================== Recently, several new implementations of confluence proving/disproving tools are reported and interest for proving/disproving confluence "automatically" has been grown. CoCo aims to foster the development of techniques for proving/disproving confluence automatically by setting up a dedicated and fair confluence competition among confluence proving/disproving tools. The 1st Confluence Competition (CoCo 2012) runs during the 1st International Workshop on Confluence (IWC 2012), which is collocated with the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) at Nagoya University, Japan. In this competition a category for first-order term rewrite systems will be run. Other categories (e.g., higher-order) will be considered if there are tools and problems. IMPORTANT DATES: * registration April 1 - May 15, 2012 * tool submission May 1 - May 15, 2012 * competition May 29, 2012 REGISTRATION/SUBMISSION: Registration and tool submission will be via the email address: coco-sc [AT] jaist.ac.jp Tools must be able to read input files written in the old TPDB format. The output of the tools must contain an answer in the first line followed by some proof argument understandable for human experts. Valid answers are YES (the input is confluent) and NO (the input is not confluent). Every other answer is interpreted as the tool could not determine the status of the input. For more information including competition rules, see http://coco.nue.riec.tohoku.ac.jp/ ORGANISING COMMITTEE: * Takahito Aoto Tohoku University (chair) * Nao Hirokawa JAIST * Harald Zankl University of Innsbruck

1 0

The 46th MLG Meeting: Program
by Takahiro Seki 16 Oct '11

16 Oct '11

第46回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2011年度MLG数理論理学研究集会（第46回）を下記の要領で開催します。　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。 ========================================= 　第46回 MLG 数理論理学研究集会開催要領 ========================================= 　日時: 2011 年 10 月 23 日(日) 14:00 ～ 10 月 25 日(火) 11:50 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG46ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG46/ 　講演プログラム： ○　10月23日（日）　14:00～14:10　開会・事務連絡　14:10～14:50　松田直祐（千葉大学）　　　Proof-theoretic study of the correspondence of classical logic 　　　and intuitionistic logic 　15:10～15:50　関　隆宏（新潟大学）　　　Some negative translations of non-associative substructural logics 　15:50～16:30　小野寛晰（北陸先端科学技術大学院大学）　　　Substructural aspects of negative translations ○　10月24日（月）　 9:00～ 9:40　岩波　克（東京工業大学）　　　Łukasiewicz論理の公理化について　 9:40～10:20　山川郁加（千葉大学）　　　ラムダ計算と組合せ論理の関係（古森雄一との共同研究）　10:30～11:10　鹿島　亮（東京工業大学）　　　ECTL (Extended Computation Tree Logic) の完全公理化　11:10～11:50　佐々木克巳（南山大学）　　　シークエントと実証明　13:00～13:40　Milan Petrik（北陸先端科学技術大学院大学）　　　Semantics of fuzzy logic 　13:40～14:20　プライニング　ノルベルト（北陸先端科学技術大学院大学）　　　未定　14:30～15:10　大森　仁（神戸大学）　　　An expansion of Belnap-Dunn logic 　　　（Joint work with Katsuhiko Sano）　15:10～15:50　佐野勝彦（北陸先端科学技術大学院大学）　　　Hybrid product of modalized Belnap-Dunn logics 　16:00～16:40　佐藤雅彦（京都大学）　　　A canonical locally named representation of binding ○　10月25日（火）　 9:30～10:10　小島健介（京都大学）　　　Making neighborhood semantics intuitionistic 　10:20～11:00　倉田俊彦（法政大学）　　　On duality between Kripke models and lattice theoretical models 　　　of second order intuitionistic propositional logic 　　　(Joint work with Ken-etsu Fujita) 　11:00～11:40　鈴木信行（静岡大学）　　　Remarks on existence property in super-intuitionistic predicate 　　　logics 　11:40～11:50　事務連絡・閉会 --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

[CFP] 情報処理学会第87回プログラミング研究会
by Susumu Kanemune 16 Oct '11

16 Oct '11

大阪電気通信大学の兼宗です。＊＊＊＊複数受け取られた方は、ご容赦ください＊＊＊＊この場を借りて、2011年度第4回情報処理学会プログラミング研究会の発表募集のご案内をさせて頂きたく存じます。プログラミング研究会(PRO)は、・プログラミング言語の設計、処理系の実装・プログラミングの理論、基本概念・プログラミング環境、支援システム・プログラミング方法論、パラダイム・これらを応用したシステムの開発事例・その他、プログラミングに関する面白い話題を対象とした研究発表の場で、1998年度から毎年3〜4回のペースで論文誌を発行しています。PRO論文誌は研究会と密接にリンクしており、研究会で発表されたもののうちあらかじめ論文投稿を希望し、論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）。おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です。2011年度第4回研究会も多くの発表ならびに論文投稿をお待ちしております。参加費は無料です。申込〆切は11月18日(投稿〆切は12月16日)です。よろしくご検討ください。第87回プログラミング研究会(PRO-2011-4)発表募集日程: 2012年1月23日(月)・24日(火) 会場: 久米島町　イーフ情報プラザ　交流ホール（沖縄県久米島町字比嘉160-57）発表申込締切: 2011年11月18日(金) 投稿論文原稿提出締切: 2011年12月16日(金) 申込先: 兼宗進（大阪電気通信大学） E-mail: kanemune(a)acm.org 案内ページ: http://kanemune.eplang.jp/?pro87 ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。・連絡はE-mailでお願いします。・申込み後返信がない場合はご連絡下さい。 // 兼宗進 (Susumu Kanemune) // 大阪電気通信大学 (Osaka Electro-Communication University)

1 0

PPL2012 論文募集
by Koji Nakazawa 16 Oct '11

16 Oct '11

（重複の場合はご容赦ください．）京都大学の中澤です．来年3月に和歌山県白浜温泉で開催される第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012) のご案内です．詳細な投稿方法などは決定次第，下記ワークショップwebページにてお知らせしますので，ご投稿，ご参加をご検討ください． -------------------------------------------------------------------------- 第14回プログラミングおよびプログラミング言語ワークショップ（PPL2012） http://ppl2012.cs.uec.ac.jp/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2012年3月8日(木)〜3月10日(土) 会場: 和歌山県西牟婁郡白浜温泉むさし http://www.yado-musashi.co.jp/ PPL2012は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2012参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ１で発表された研究のうち，PPL2012プログラム委員会として優れていると認めるものは，PPL2012終了後（2012年4月下旬予定），「コンピュータソフトウェア」誌PPL2012推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） ------------------------------------------ ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申込多数の場合は抽選によって採否を決定する可能性があります．なお，PPL2012 ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません． ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．カテゴリ１（国内外未発表論文） ------------------------------ 投稿手続きは二段階です．発表申込を行った上で論文提出を行って下さい．発表申込締切：2011年12月22日(木) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語200 words程度）を提出してください．論文提出締切：2012年1月6日(金) 10ページ程度（最大15ページ）の論文（英語もしくは日本語，PostScriptもしくはPDF形式）を提出して下さい．採否通知：2012年1月31日(火) 最終原稿提出締切：2012年2月13日(月) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ１への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記して下さい．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ２（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．締切直後（2月初旬頃）に採否が決定する国際会議については，あらかじめ，下記問い合わせ先までご相談ください．発表申込締切：2012年1月23日(月) 原論文（ページ数不問，PostScriptもしくはPDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．採否通知：2012年1月31日(火) 最終原稿提出締切：2012年2月13日(月) カテゴリ３（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行なわずに募集いたします．デモを行なう場合は，発表概要においてその旨をご説明ください．発表申込締切：2012年2月6日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．採否通知：2012年2月13日(月) 問い合わせ先：ppl2012-oc(a)kuis.kyoto-u.ac.jp ====================================================================== プログラム委員会青戸等人 (東北大学) 稲葉一浩 (Google) 上野雄大 (東北大学) 小笠原啓 (ITプランニング) 角谷良彦 (東京大学) Jacques Garrigue (名古屋大学) 小宮常康 (電気通信大学) 立堀道昭 (IBM東京基礎研究所) 千代英一郎 (日立製作所) 中澤巧爾 (京都大学) 中田秀基 (産業技術総合研究所) 西村進 (京都大学) 長谷部浩二 (筑波大学) 浜名誠 (群馬大学) 前田敦司 (筑波大学) 八杉昌宏 (京都大学) 横山大作 (東京大学) 渡部卓雄 (東京工業大学) 実行委員会鵜川始陽 (電気通信大学) [実行委員長] 中澤巧爾 (京都大学) [プログラム共同委員長] 前田敦司 (筑波大学) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

Kobe Colloquium on Logic, Statistics and Informatics Oct.18
by Makoto Kikuchi 11 Oct '11

11 Oct '11

皆様渕野昌＠神戸大学システム情報学研究科です． 2011年10月18日（火）の 15：30 から以下ように Barcelona 大学の Joan Bagaria 教授による Omega-logic, the Omega-conjecture, and the Continuum Hypothesis に関する神戸情報数理コロキウムの講演を予定しております．講演者の Joan Bagaria 氏には，集合論の専門の方だけでなくロジック全般の general audience 向けの講演になるよう，お願いしてあります．興味のある方は御参加ください． o なお，同日の 14:00 からは Sam Sanders 氏（東北大学）の同コロキウムでの講演も予定されています． o また，この講演会の前日の 10月17日 (月) の午後には，Slawomir Solecki, S.M. Srivastava, Tamas Matrai 三氏の講演が同じ場所で予定されています (Fri, 7 Oct 2011 10:11:28 +0900 の logic mailing list の Joerg Brendle 氏による案内を参照) . - ---------------------------------------------------------------------------------- 神戸情報数理コロキウム日時：2011年10月18日（火）15:30 ～ 17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者： Joan Bagaria (バルセロナ大学) 題目： Omega-logic, the Omega-conjecture, and the Continuum Hypothesis アブストラクト： Abstract: In 1990, W. Hugh Woodin introduced Omega-logic as an approach to truth in the universe of all sets inspired by recent work on large cardinals and determinacy. In Omega-logic statements are valid if, roughly, they hold in every forcing extension of the universe, or its sufficiently rich initial segments. Thus, Omega-logic is the logic of generic absoluteness. In these talks we will describe the basic features of Omega-logic, leading to the formulation of the Omega-conjecture and a discussion of its relevance in current set- theoretic research. In particular I shall focus on Woodin's arguments against the vagueness of the Continuum Hypothesis. - -- best regards Saka\'e Fuchino (渕野昌) - ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ - -------------------------------------------------------------------------

1 0

RTA 2012: First Call For Papers
by Nao Hirokawa 11 Oct '11

11 Oct '11

RTA 2012 の論文募集をご案内致します。今回の RTA は名古屋で開催されます。ぜひ投稿をご検討下さい。廣川　直（北陸先端科学技術大学院大学） - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ******************************************************** * First Call For Papers * * RTA 2012 * * Rewriting Techniques and Applications * * 23rd International Conference * * * * May 28 - Jun 2, 2012, Nagoya, Japan * * http://rta2012.trs.cm.is.nagoya-u.ac.jp/ * * * ******************************************************** The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) is the major forum for the presentation of research on rewriting. IMPORTANT DATES: Abstract: Jan 04, 2012 Paper Submission: Jan 09, 2012 Notification: Mar 02, 2012 Final version: Mar 26, 2012 RTA 2012 seeks original submissions on all aspects of rewriting. Typical areas of interest include (but are not limited to): * Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; SMT solving; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations; systems biology; * Foundations: equational logic; rewriting logic; rewriting models of programs; matching and unification; narrowing; completion techniques; strategies; rewriting calculi; constraint solving; tree automata; termination; complexity; combination; * Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; stochastic rewriting; net rewriting; binding techniques; Petri nets; * Implementation: implementation techniques; parallel execution; rewrite and completion tools; confluence and termination checking; certification of rewriting properties; abstract machines; explicit substitutions; BEST PAPER AWARD: An award is given to the best paper or papers as decided by the program committee. STUDENT SUPPORT: Limited student support will be available and announced in future versions of this call. PROGRAMME COMMITTEE CHAIR: * Ashish Tiwari SRI International, Menlo Park, CA http://www.csl.sri.com/users/tiwari PROGRAMME COMMITTEE: * Andreas Abel Ludwig-Maximilians-University Munich * Zena Ariola University of Oregon * Paolo Baldan Università degli Studi di Padova * Ahmed Bouajjani University of Paris 7 * Evelyne Contejean LRI Université Paris-Sud-CNRS * Irène Anne Durand LaBRI Université of Bordeaux * Jörg Endrullis Vrije Universiteit Amsterdam * Silvio Ghilardi Università degli Studi di Milano * Guillem Godoy Universidad Politécnica de Cataluña * Nao Hirokawa Japan Advanced Institute of Science and Technology * Deepak Kapur University of New Mexico, Albuquerque, NM * Jordi Levy IIIA - CSIC * Paul-Andre Mellies University of Paris 7 * Pierre-Etienne Moreau Ecole des Mines de Nancy * Joachim Niehren INRIA Lille * Grigore Rosu University of Illinois at Urbana-Champaign * Albert Rubio Universidad Politécnica de Cataluña * Masahiko Sakai Nagoya University * Carolyn Talcott SRI International * René Thiemann University of Innsbruck CONFERENCE CHAIR: * Masahiko Sakai Nagoya University PUBLICATION: RTA proceedings will be published by LIPIcs (Leibniz International Proceedings in Informatics). LIPIcs is open access, meaning that publications will be available online and free of charge, and authors keep the copyright for their papers. LIPIcs publications are indexed in DBLP. STACS, FSTTCS and ICLP proceedings also appear in LIPIcs. See http://www.dagstuhl.de/lipics for more information about LIPIcs. Accepted papers will be considered for publication in a special issue of the journal Logical Methods in Computer Science (LMCS). SUBMISSIONS: Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers, applications of rewriting techniques, problem sets, and system descriptions. The page limit for submissions is 10 proceedings pages for system descriptions and 15 proceedings pages for all other categories. Additional material may be provided in an appendix which is not subject to the page limit. However, submissions must be self-contained within the respective page limit; reading the appendix should not be necessary to assess the merits of a submission. Submissions are accepted in either Postscript or PDF format. LaTeX template for LIPIcs is available at: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz Abstracts and papers must be submitted electronically through the EasyChair system at: http://www.easychair.org/conferences/?conf=RTA2012 Questions concerning submissions may be addressed to the PC chair, Ashish Tiwari by emailing ashish_dot_tiwari_at_sri_dot_com

1 0

PEPM'12 - DEADLINE EXTENSION
by Kohei SUENAGA 11 Oct '11

11 Oct '11

logic-ml の皆様、 # 複数受け取られた場合はどうぞご容赦ください。京都大学の末永と申します。 PEPM 2012 の締切が延長されました。新しい締切は10月16日の23:59 GMTで、日本時間で10月17日（月）の08:59です。先日お知らせしました通り、ショートペーパーやツールペーパーも絶賛募集中です。また、Journal Special Issue も出る予定です。どうぞ投稿をご検討下さい末永幸平京都大学大学院情報学研究科 ksuenaga(a)sato.kuis.kyoto-u.ac.jp -- PEPM'12 - DEADLINE EXTENSION Due to a number of requests for extensions, the deadline for submission to PEPM'12 has been extended until 23:59 GMT on Sunday 16 October. We would like to remind you about three aspects of PEPM. Journal Special Issue There will be a journal special issue for PEPM'12. PEPM'09 has already appeared in Higher-order and Symbolic Computation (HOSC, online-first edition this year), and the special issue based on PEPM'10 papers has just been delivered to the HOSC editorial team. Short papers We're looking for short papers (up to 4pp) and tool papers as well as full research papers. All categories of papers will appear in the formal ACM proceedings. Tool papers The main purpose of a tool paper is to display other researchers in the PEPM community a completed, robust and well-documented tool; more guidance on the format and expected contact is given on the PEPM 2012 web site. In contrast with regular PEPM submissions, PEPM tool demo papers may include work that has been published elsewhere. In the ideal case, the technical foundations of the tool will have been published previously, and the submitted PEPM tool paper will report on follow-on work that has produced a robust tool that has been applied to interesting examples. The PEPM program committee will consider accepting tool demo papers that describe tools that have been presented at other conferences/ workshops if these conferences/ workshops belong to a different community (the authors should acknowledge the previous demos and justify the benefits of presenting the tool again for the PEPM audience). Call For Papers ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12) http://www.program-transformation.org/PEPM12 Paper submission deadline: Sunday, October 16, 2011, 23:59, GMT The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation, which spans from refactoring, partial evaluation, supercompilation, fusion and other metaprogramming to model-driven development, program analyses including termination, inductive programming, program generation and applications of machine learning and probabilistic search. PEPM focuses on techniques, supporting theory, tools, and applications of the analysis and manipulation of programs. Each technique or tool of program manipulation should have a clear, although perhaps informal, statement of desired properties, along with an argument how these properties could be achieved. Topics of interest for PEPM'12 include, but are not limited to: - Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. - Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. - Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. - Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press and will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'12. Submission Categories and Guidelines Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the authoring advice. Regular research papers must not exceed 10 pages in ACM Proceedings style. Short papers are up to 4 pages in ACM Proceedings style. Authors of tool demonstration proposals are expected to present a live demonstration of the described tool at the workshop (tool papers should include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo at the workshop). Important Dates - Paper submission: Sunday, October 16, 2011, 23:59, GMT - Author notification: Tue, November 8, 2011 - Workshop: Mon-Tue, January 23-24, 2012 Invited Speakers - Markus Pueschel (ETH Zurich, Switzerland) - Martin Berger (University of Sussex, UK) Program Chairs - Oleg Kiselyov (Monterey, CA, USA) - Simon Thompson (University of Kent, UK) Program Committee Members - Emilie Balland (INRIA, France) - Ewen Denney (NASA Ames Research Center, USA) - Martin Erwig (Oregon State University, USA) - Sebastian Fischer (National Institute of Informatics, Japan) - Lidia Fuentes (Universidad de Malaga, Spain) - John Gallagher (Roskilde University, Denmark and IMDEA Software, Spain) - Dave Herman (Mozilla Research, USA) - Stefan Holdermans (Vector Fabrics, the Netherlands) - Christian Kaestner (University of Marburg, Germany) - Emanuel Kitzelmann (International Computer Science Institute, USA) - Andrei Klimov (Keldysh Institute of Applied Mathematics, Russian Academy of Sciences) - Shin-Cheng Mu (Academia Sinica, Taiwan) - Alberto Pardo (Universidad de la Repu'blica, Uruguay) - Kostis Sagonas (Uppsala University, Sweden and National Technical University of Athens, Greece) - Anthony M. Sloane (Macquarie University, Australia) - Armando Solar-Lezama (MIT, USA) - Aaron Stump (The University of Iowa, USA) - Kohei Suenaga (University of Kyoto, Japan) - Eric Van Wyk (University of Minnesota, USA) - Kwangkeun Yi (Seoul National University, Korea)

1 0

Kobe Colloquium on Logic, Statistics and Informatics Oct.18
by fuchino＠diamond.kobe-u.ac.jp 10 Oct '11

10 Oct '11

皆様渕野昌＠神戸大学システム情報学研究科です． 2011年10月18日（火）の 15：30 から以下ように Barcelona 大学の Joan Bagaria 教授による Omega-logic, the Omega-conjecture, and the Continuum Hypothesis に関する神戸情報数理コロキウムの講演を予定しております．講演者の Joan Bagaria 氏には，集合論の専門の方だけでなくロジック全般の general audience 向けの講演になるよう，お願いしてあります．興味のある方は御参加ください． o なお，同日の 14:00 からは Sam Sanders 氏（東北大学）の同コロキウムでの講演も予定されています． o また，この講演会の前日の 10月17日 (月) の午後には，Slawomir Solecki, S.M. Srivastava, Tamas Matrai 三氏の講演が同じ場所で予定されています (Fri, 7 Oct 2011 10:11:28 +0900 の logic mailing list の Joerg Brendle 氏による案内を参照) . ---------------------------------------------------------------------------------- 神戸情報数理コロキウム日時：2011年10月18日（火）15:30 〜 17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者： Joan Bagaria (バルセロナ大学) 題目： Omega-logic, the Omega-conjecture, and the Continuum Hypothesis アブストラクト： Abstract: In 1990, W. Hugh Woodin introduced Omega-logic as an approach to truth in the universe of all sets inspired by recent work on large cardinals and determinacy. In Omega-logic statements are valid if, roughly, they hold in every forcing extension of the universe, or its sufficiently rich initial segments. Thus, Omega-logic is the logic of generic absoluteness. In these talks we will describe the basic features of Omega-logic, leading to the formulation of the Omega-conjecture and a discussion of its relevance in current set- theoretic research. In particular I shall focus on Woodin's arguments against the vagueness of the Continuum Hypothesis. -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

公理的集合論集中講義
by Suzuki Toshio 09 Oct '11

09 Oct '11

公理的集合論集中講義お世話になっております。首都大学東京の鈴木登志雄です。さて１１月に首都大で，筑波大学の塩谷先生に公理的集合論の集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。東京での公理的集合論の講義は貴重な機会です。お近くに関心のありそうな方がいらっしゃいましたら、その方にお知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者塩谷真弘先生（筑波大学数理物質科学研究科准教授）　＊＊授業科目名情報数理科学１ (Ｒ０５９），情報数理科学特論１(Ｒ０６０）タイトル定常集合の組み合わせ論場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期第１回１１月１０日（木）　１４：４０－１６：４０第２回１１月１１日（金）　１３：００－１６：１０当専攻での連絡係鈴木登志雄 toshio-suzuki(a)tmu.ac.jp 概要非可算無限集合は、正則な濃度を持つとき、その部分集合に対してゆるい意味での「測度」が定義できることが知られている。定常集合とは、この「測度」が正の部分集合のことである。本講義では、定常集合の概念を用いて、正則非可算集合の組合せ論の基礎と若干の応用を論じる。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論若手の会 2011 (2nd announcement)
by SAKAI Hiroshi 06 Oct '11

06 Oct '11

皆様：神戸大学の酒井拓史と申します．以前，数学基礎論若手の会のアナウンスをさせていただきましたが，改めてアナウンスさせていただきます．現時点では参加・講演枠ともにかなりの余裕があります．皆さんの振ってのご参加・ご講演をお待ちしております．数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．過去の若手の会の記録は以下のページでご覧いただけます： http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/index.html 今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 12月9日(金)午後〜 11日(日)午前場所：大阪府羽衣青少年センター http://www.osaka-yha.com/osakakokusai/ 幹事：酒井拓史 (神戸大学) hsakai(a)people.kobe-u.ac.jp ホームページ： http://www2.kobe-u.ac.jp/~hsakai/wakate2011/ [宿泊・食事] 宿泊と食事は会場併設の大阪国際ユースホステルを利用します．宿泊は12月9日(金)と10日(土)の2晩，食事は9日(金)の夕食から 11日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 2,800円 (6人部屋利用) 食事：朝食 630円，昼食 630円，夕食 1,050円 ※ 個室などを希望される方は，お早めに酒井までご連絡ください． ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． [参加申し込み] 参加を希望される方は，幹事の酒井にメールにてお申し込みください． <申込締切> 11月6日(日) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (未定の場合は "未定" とご記入ください．) 講演時間： 30分程度 or 60分程度 or 未定宿泊： 9日(金)の夜 … ○ or × 10日(土)の夜 … ○ or × 食事： 9日(金)夕食 … ○ or × 10日(土)朝食 … ○ or × 10日(土)昼食 … ○ or × 10日(土)夕食 … ○ or × 11日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． --------------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-242 address: 〒657-8501 神戸市灘区六甲台町 1-1 神戸大学システム情報学研究科 ---------------------------------------------

1 0

講演会のお知らせ (10/19)
by Yoshihiko Kakutani 06 Oct '11

06 Oct '11

みなさま以下の要領で講演会を開催いたします。事前の申込みなどは不要ですので、興味のある方は是非ご参集ください。日時: 2011年10月19日 15:00--16:00 場所: 東京大学本郷キャンパス理学部7号館 214号室 (http://www.u-tokyo.ac.jp/campusmap/cam01_06_06_j.html) 講演者: Zoltan Esik (University of Aizu and University of Szeged, Hungary) 題目: Aziomatizing fixed points with applications 概要: The semantics of recursion is usually described by fixed points of functions, functors, or other constructors. Several fundamental results in verious areas of computer science only depend on a few equational properties of the fixed-ponit operation. One would naturally like to have a complete description of *all* valid equations in the form of a system of axioms. In the talk, we review several such complete descriptions and mention some applications. ご不明な点などがございましたら、下記までご連絡ください。 -- 東京大学大学院情報理工学系研究科コンピュータ科学専攻角谷良彦 <kakutani(a)is.s.u-tokyo.ac.jp>

1 0

[CFP] IJCAR 2012
by Takahito Aoto 06 Oct '11

06 Oct '11

IJCAR 2012 の論文募集をご案内致します．ぜひ投稿をご検討いただけましたら幸いです．重複して受け取られた場合はご容赦ください． --- 青戸等人東北大学電気通信研究所 ----------------------------------------------------------------------- Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, June 26-July 1, 2012 http://ijcar.cs.manchester.ac.uk/ Important Dates (all in 2012): Abstract submission January 23 Final version due April 16 Paper submission January 30 Conference dates June 26-29 Notification March 26 Satellite events June 30-July 1 IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http://www.ijcar.org/. IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary Conference in Manchester. Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient datastructures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, and planning. Submission: Submission is electronic through https://www.easychair.org/?conf=ijcar2012. Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers and 7 pages for system descriptions. All papers will be evaluated according to originality, significance, technical quality, and readability. Submitted papers must be original and not submitted for publication elsewhere. For more details concerning submission see the conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the LNAI/LNCS series. Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012. Further Information: For further and up-to-date information about IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/. Program Chairs: Bernhard Gramlich (TU Wien) Dale Miller (INRIA Saclay -- Ile-de-France) Ulrike Sattler (Univ. of Manchester) -----------------------------------------------------------------------

1 0

Kobe Colloquium on Logic, Statistics and Informatics Oct. 17
by Joerg Brendle 06 Oct '11

06 Oct '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でセミナー（３つの発表）を開催します．日時：2011年10月17日（月）14:00-18:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ========================================================================= 講演者：Slawomir Solecki (University of Illinois, USA) 題目：An abstract approach to finite Ramsey theory 時間：14:00-15:00 アブストラクト： I will present an abstract approach to fnite Ramsey theory. In the abstract context, I will isolate a pigeon-hole principle and prove that it implies a general Ramsey-type result. It turns out that the classical Ramsey theorem, the Hales-Jewett lemma (with Shelah's bounds), the Graham-Rothschild theorem, the versions of these results for partial functions are all iterative consequences of this general result. Moreover, using this approach, I will prove a new, self-dual Ramsey theorem, which naturally generalizes both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. ========================================================================= 講演者：S. M. Srivastava (Indian Statistical Institute, India) 題目：A result on Extensions of Translation Probabilities using Borel Selections 時間：15:30-16:30 アブストラクト： For a measurable space (Y, B), let P(Y, B) denote the set of all proba- bility measures on (Y, B). We equip P(Y, B) with the weak σ-algebra, i.e., the smallest σ-algebra on P(Y, B) making each µ → µ(B), B ∈ B, measurable. A transition probability is a measurable function P : (X, A) → P(Y, B), (X, A) a measurable space. In this talk, we shall present a proof of the following surprising the- orem. Theorem. Let Y be a Polish space and B a countably generated sub σ-algebra of the Borel σ-algebra BY of Y . The following conditions are equivalent: (a) For every measurable space (X, A), every transition probability P : (X, A) → P(Y, B) can be extended to a transition probability Q : (X, A) → P(Y, BY ). (b) The statement (a) only for X Polish and A = BX , the Borel σ-algebra of X. This is one of the series of results proved on transition probabilities needed to develop a stochastic analogue of modal logic jointly with E. E. Doberkat, Dortmund, Germany. ========================================================================= 講演者：Tamas Matrai 題目：On typical properties of Hilbert space operators 時間：17:00-18:00 アブストラクト： What are the typical properties of Hilbert space operators in the sense of Baire category? Or, at least, is Baire category a useful tool for studying operators? The answer to these questions, obviously, may depend on the underlying topology. So in collaboration with Tanja Eisner, we investigated the typical behavior of Hilbert space operators in the norm topology and in four important separable topologies (a property Φ of operators is typical if the operators satisfying Φ form a co-meager set). We obtained that in the separable topologies, from the point of view of Baire category, the theory of Hilbert space operators reduces to the theories of very particular classes of operators, e.g. unitary operators, positive self-adjoint operators or even one single operator. In the norm topology, the theory of Hilbert space operators does not trivialize; however, this topology is so ﬁne that every property we studied, e.g. various mapping and spectral properties, holds for a non- meager set of operators. In a sense, our results outline some limitations of Baire category methods in operator theory. ========================================================================= 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 03 Oct '11

03 Oct '11

皆様、名古屋大学大学院情報科学研究科の教員公募情報をお知らせします． http://www.is.nagoya-u.ac.jp/admin/common/news/45/keisankisuuri.pdf 関係諸方面へ周知のため，参加されているメーリングリストやお心当たりの方に転送していただければ幸いです．　　　　　　　　　　　　　　　　　　　　記　１．公募対象：准教授１名　　　　　　　　（名古屋大学大学院情報科学研究科・計算機数理科学専攻情報数理モデル　　　　　　　　論講座）　２．専門分野：量子情報数理（量子情報・量子計算の数学的解明において先端的な研究　　　　　　　　に積極的に取り組む，あるいは，積極的に新分野開拓に取り組む優秀な方）　３．担当科目：大学院情報科学研究科・情報文化学部における情報数理関連科目，　　　　　　　　および全学共通教育科目（線形代数学，微分積分学など）　４．応募資格：博士の学位を有すること　５．着任予定時期：2012年4月1日　　６．提出書類: 　（１）履歴書　（２）研究業績リスト　A：査読付学術論文(査読付国際会議報告集論文を含む)，　　　 B：著書，C：学会発表，D：その他，などを区別して記述すること，掲載・発表　　　　予定のものはその旨を示す文書のコピー等を添付すること　（３）5編程度の主要な論文の別刷あるいはそのコピー，プレプリント　（４）これまでの研究内容と今後の研究計画（A4用紙2枚程度，主要な論文におけ　　　　る研究成果を引用して記載すること）　（５）教育に関する実績と抱負（A4用紙1枚程度）　（６）その他，受賞歴，学会活動，競争的研究資金獲得状況など選考にあたって参考　　　　となる資料　（７）応募者の業績について照会可能な方２名の氏名と連絡先　７．応募期限: 2011年11月15日（火）必着　８．書類提出先および問い合わせ先: 　　　　　　　　〒464-8601　名古屋市千種区不老町 A4-2 (780) 　　　　　　　　名古屋大学大学院情報科学研究科　　　　　　　　計算機数理科学専攻長　小澤　正直　　　　　　　　e-mail: dept-chair“at”cm.is.nagoya-u.ac.jp 　　　封筒に「計算機数理科学専攻教員応募書類在中」と朱書し，国内郵便の場合は簡易　　　書留で郵送して下さい。　９．提出書類は本選考のみに使用し，他の目的には使用しません。また，返却しません。１０．選考の過程で講演をお願いすることがあります。１１．詳細はhttp://www.is.nagoya-u.ac.jp/ をご覧ください。１２．本学では採用に際して男女共同参画に配慮しております。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以上本メールのお問い合わせ先：名古屋大学大学院情報科学研究科計算機数理科学専攻情報数理モデル論講座小澤正直 -- Masanao Ozawa Graduate School of Information Science Nagoya University Chikusa-ku, Nagoya 464-8601, JAPAN Email: ozawa(a)is.nagoya-u.ac.jp Phone & Fax: +81-52-789-3075

1 0

Re: [logic-ml] Workshop on linear logic (financial support still available!)
by Kazushige TERUI 03 Oct '11

03 Oct '11

みなさま度々失礼いたします。先日来ご案内させていただいております線型論理ワークショップについてですが、予算にまだ余裕があります。旅費補助をご希望の方は、大学院生・研究者の別に関わりなく、ぜひご応募ください。 ※講演の締切は１０月１７日（月）とさせていただきます。照井一成＠京都大学 Financial support for PhD students/researchers is still available. Please do not hesitate to contact me if you are thinking of participating in the workshop on linear logic. ----------------------------------------- (English version below) 10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者・学生の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討いただければと思います。 * 旅費援助を希望の方は10月3日（月）まで　講演希望の方は10月17日（月）までに下記のフォームを　お送りください。日時：2011年11月7日（月）−11日（金）（ただし11日はディスカッション・学生セッションの予定）場所：京都大学理学部3号館110号室内容：Girard氏による4回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊陰計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記のフォームを terui(a)kurims.kyoto-u.ac.jp までお送りください。 ------------------------------------- １．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない講演希望の場合、時間（30分・45分）４．旅費補助を希望する・しない　　旅費希望の場合、滞在日程 -------------------------------------- Workshop on Linear Logic On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome. Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session) Location: Department of Mathematics, Kyoto University Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields. Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others. * Some limited amount of travel support is available. If you want to participate in the workshop, please send the form below to terui(a)kurims.kyoto-u.ac.jp by: 3rd October (if you wish financial support) 17th October (if you contribute a talk). ----- Registration form 1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates. ------------------------------------------ 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/ ------------------------------------------ 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

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 03 Oct '11

03 Oct '11

皆様、名古屋大学大学院情報科学研究科の教員公募情報をお知らせします． http://www.is.nagoya-u.ac.jp/admin/common/news/45/keisankisuuri.pdf 関係諸方面へ周知のため，参加されているメーリングリストやお心当たりの方に転送していただければ幸いです．　　　　　　　　　　　　　　　　　　　　記　１．公募対象：准教授１名　　　　　　　　（名古屋大学大学院情報科学研究科・計算機数理科学専攻情報数理モデル　　　　　　　　論講座）　２．専門分野：量子情報数理（量子情報・量子計算の数学的解明において先端的な研究　　　　　　　　に積極的に取り組む，あるいは，積極的に新分野開拓に取り組む優秀な方）　３．担当科目：大学院情報科学研究科・情報文化学部における情報数理関連科目，　　　　　　　　および全学共通教育科目（線形代数学，微分積分学など）　４．応募資格：博士の学位を有すること　５．着任予定時期：2012年4月1日　　６．提出書類: 　（１）履歴書　（２）研究業績リスト　A：査読付学術論文(査読付国際会議報告集論文を含む)，　　　 B：著書，C：学会発表，D：その他，などを区別して記述すること，掲載・発表　　　　予定のものはその旨を示す文書のコピー等を添付すること　（３）5編程度の主要な論文の別刷あるいはそのコピー，プレプリント　（４）これまでの研究内容と今後の研究計画（A4用紙2枚程度，主要な論文におけ　　　　る研究成果を引用して記載すること）　（５）教育に関する実績と抱負（A4用紙1枚程度）　（６）その他，受賞歴，学会活動，競争的研究資金獲得状況など選考にあたって参考　　　　となる資料　（７）応募者の業績について照会可能な方２名の氏名と連絡先　７．応募期限: 2011年11月15日（火）必着　８．書類提出先および問い合わせ先: 　　　　　　　　〒464-8601　名古屋市千種区不老町 A4-2 (780) 　　　　　　　　名古屋大学大学院情報科学研究科　　　　　　　　計算機数理科学専攻長　小澤　正直　　　　　　　　e-mail: dept-chair“at”cm.is.nagoya-u.ac.jp 　　　封筒に「計算機数理科学専攻教員応募書類在中」と朱書し，国内郵便の場合は簡易　　　書留で郵送して下さい。　９．提出書類は本選考のみに使用し，他の目的には使用しません。また，返却しません。１０．選考の過程で講演をお願いすることがあります。１１．詳細はhttp://www.is.nagoya-u.ac.jp/ をご覧ください。１２．本学では採用に際して男女共同参画に配慮しております。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以上本メールのお問い合わせ先：名古屋大学大学院情報科学研究科計算機数理科学専攻情報数理モデル論講座小澤正直 -- Masanao Ozawa Graduate School of Information Science Nagoya University Chikusa-ku, Nagoya 464-8601, JAPAN Email: ozawa(a)is.nagoya-u.ac.jp Phone & Fax: +81-52-789-3075

1 0

MSFP 2012: Call for Papers
by Ichiro Hasuo 30 Sep '11

30 Sep '11

みなさま，こんにちは！東京大学の蓮尾と申します．来年3月，ETAPS 附設ワークショップ MSFP 2011 のご案内です．関数型プログラミングにおける，モナドに代表されるような数学的構造がトピックです．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ========================================== Fourth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 March, Tallinn, Estonia A satellite workshop of ETAPS 2012 http://cs.ioc.ee/msfp/msfp2012/ The fourth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? Type theory without universes? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. Important Dates: ================ Submission of papers: 16 December 2011 Notification: 20 January 2012 Final versions due: 3 Feburary 2012 Workshop: 25 March 2012 Invited Speakers: ================= To be arranged. Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, there might be an opportunity to publish selected papers in a journal special issue. All submissions must be in PDF format and use the EPTCS style files. Submissions can be made through the EasyChair website, at http://www.easychair.org/conferences/?conf=msfp2012 ETAPS: ====== European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is the fifteenth event in the series. http://www.etaps.org/2012 Host City: ========== Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, is the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is only 4km from the city centre. Programme Committee: ==================== * James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia * Paul Blain Levy (co-chair), University of Birmingham, UK * Thorsten Altenkirch, University of Nottingham, UK * Robert Atkey, University of Strathclyde, Glasgow, UK * Nils Anders Danielsson, Chalmers University and University of Gothenburg, Sweden * Martin Escardo, University of Birmingham, UK * Ichiro Hasuo, University of Tokyo, Japan * Ralf Hinze, University of Oxford, UK * Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK * Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA * Ulrich Schoepp, LMU Munich, Germany * Alex Simpson, University of Edinburgh, UK * Matthieu Sozeau, INRIA, Paris, France * Sam Staton, University of Cambridge, UK Further Information: ==================== For more information about the workshop, go to: http://cs.ioc.ee/msfp/msfp2012/ With any other questions please do not hesitate to contact the co-chairs at msfp2012(a)easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on linear logic
by Kazushige TERUI 26 Sep '11

26 Sep '11

(English version below) 10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者・学生の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討いただければと思います。 * 旅費援助を希望の方は10月3日（月）まで　講演希望の方は10月17日（月）までに下記のフォームを　お送りください。日時：2011年11月7日（月）−11日（金）（ただし11日はディスカッション・学生セッションの予定）場所：京都大学理学部3号館110号室内容：Girard氏による4回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊陰計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記のフォームを terui(a)kurims.kyoto-u.ac.jp までお送りください。 ------------------------------------- １．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない講演希望の場合、時間（30分・45分）４．旅費補助を希望する・しない　　旅費希望の場合、滞在日程 -------------------------------------- Workshop on Linear Logic On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome. Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session) Location: Department of Mathematics, Kyoto University Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields. Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others. * Some limited amount of travel support is available. If you want to participate in the workshop, please send the form below to terui(a)kurims.kyoto-u.ac.jp by: 3rd October (if you wish financial support) 17th October (if you contribute a talk). ----- Registration form 1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates. ------------------------------------------ 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

Sendai Logic Seminar (Sep. 26)
by Naohi Eguchi 21 Sep '11

21 Sep '11

Logic-ml の皆様，東北大学の江口と申します．下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします．興味のある方は参加をご検討ください．日時：9月26日(月)，16時から．場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者：Florian Pelupessy (Ghent University, Belgium) タイトル：Phase transitions for unprovability アブストラクト： The talk will be an introduction to phase transitions for unprovability: theorems with a parameter function change from provable to unprovable with a change in that parameter. Additionally we will present a transition for a Ramsey-like statement and for a theorem by Maclagan on monomial ideals. 東北大学ロジックセミナーの詳細につきましては下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 江口直日 -- Naohi Eguchi Mathematical Institute, Tohoku University 6-3, Aramaki Aza-Aoba, Aoba-ku, Sendai 980-8578, Japan E-mail: eguchi(a)math.tohoku.ac.jp

1 0

直前のお知らせ：Jouannaud氏Talk; Sept 22nd (木曜夕方)Mita Logic Seminar, on completion methods
by Mitsu Okada 21 Sep '11

21 Sep '11

****MITA LOGIC SEMINAR; PROF. J- P JOUANNAUD'S TALK and a discussion session**** ******************************************************************************* (The meeting is open to everyone without any preregistration) Theme "Completion methods, in Logic, algebra and Computer science" The Knuth-style completion procedure bridges Logic, Algebra and Computation. The aim of this meeting is to discuss the completion issue from the logical, algebraic, computer-scientific, historical and philosophical points of view. Date/Time Sept 22 Thursday 16:30pm-18:00pm Place: Meeting Room number 1, Basement of North Building (Hita-Kan), Mita Campus of Keio University; 5 minutes walking distance from JR-Tamachi, Subway-Mita or Subway-Akabanebashi. we recommend to you to use the East Gate where you find a security guard to ask the exact direction to the Meeting Room, if it is not clear for you with the campus map on our university's homepage. Main Speaker: Prof. Jean-Pierre Jouannaud, Professor of l'Ecole polytechnique and of INRIA, (French National Instutute of Computer Science) as well as the Ｓｏｆｔｗａｒｅ Chair of :INRIA- Tsinghua(精華大学) Beijing. Title: A complete tour of completion methods After the talk, we plan to have a discussion session on Knuth-Huet completions and some ther completion issues from the historical, mathematical, computer-scientific and philosophical view points.Af Abstract We shall present a unified view of completion methods in abstract algebras (Knuth and Bendix ; Peterson and Stickel; Huet; Jouannaud and Kirchner; Bachmair Dershowitz and Hsiang; Marché; Jouannaud Liu and Luo) and polynomial rings (Janet, Hironaka, Buchberger, Mora). Indeed, there are two quite different completion methods: Janet's methods, based on maintaining an inter-reduced system as a completion invariant, and all the others, based on reaching an inter-reduced system in the limit. As a result, we derive a new completion algorithm for abstract algebras. We conclude with a set of open problems when using an ill-founded completion order (inspired from Hironaka's local ring computation technique). Profile of the guest speaker: Jean-Pierre Jouannaud graduated from Ecole Polytechnique de Paris and obtained his doctorate from University Paris 6 in 1978. He was then a professor at the universities of Nancy, Paris-Sud, and at Ecole Polytechnique successively, as well as an invited professor at a number of places, including Stanford Research Institute and Stanford University in US, the University of Barcelona in Spain, Keio University in Japan and National Taiwan University in Taiwan. He is now a visiting chair professor at Tsinghua University in Beijing, China, holding a joint appointment with INRIA, the French research institute in ICT. His current research interests are at the interplay between deduction rules, rewrite rules, decision procedures and type theory, in the development of proof assistants (in particular, Coq, a leading open source proof assistant), and in their application to the formal proof of systems. He is the head of FORmal Methods for Embedded Systems, a joint project of LIAMA, the french-chinese consortium hosting their collaborative research in ICT of which he is the current french director. He published over 100 papers, among which 10 have over one hundred citations each. He won several awards during his career, including the "Prix Montpetit" of the french "Academie des Sciences" and the price for international scientific collaboration delivered by the "Academie des Sciences" and the National Research Council of Taiwan. He was on the program committee of a number of major international conferences including LICS (chair in 2011), ICALP, CSL, MFCS, FPLCA, RTA, CADE, etc. He created the International Conference on Rewriting Techniques and Applications, the International Conference on Constraints in Computational Logics which later merged with "Constraints" , the international workshops UNIF and CTRS, and the international conference on Certified Proofs and Programs to be held for the first time in 2011 in Kenting, Taiwan. He has been or is a member of the editorial boards of the Journal of Symbolic Computation, Information and Computation, Constraints, Progress in Theoretical Computer Science, and the International Journal of Softare and Informatics. He has been a member of the scientific council of the European Association for Computer Science Logic and of the European Association for Theoretical Computer Science. He has also been a member of the "Fachbeirat" of the Max Planck Institute for Computer Science, and is now on the scientific visiting committee of Academia Sinica, Taiwan. He chaired the jury of the Goedel prize awarded jointly by the EATCS and ACM-SIGACT in 2010, was a member of the jury of the Goedel prize (2008, 2009, 2010), of the LICS "test of time award" 2010, of the Kleene Price 2010, and of the Ackerman price 2011 ご不明な点がございましたら、logic(a)abelard.flet.keio.ac.jp (論理とオントロジーオープンリサーチセンター事務局まで、ご連絡ください。　岡田光弘、慶応大 ------------------------------- .

1 1

Kobe Colloquium
by Makoto Kikuchi 21 Sep '11

21 Sep '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領で神戸情報数理コロキウムを開催します。【１】（日程が変更になりました）日時：2011年9月22日（木）15:00 ～ 16:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者：Florian Pelupessy（Ghent 大学）題目：Phase transitions for unprovability アブストラクト： The talk will be an introduction to phase transitions for unprovability: theorems with a parameter function change from provable to unprovable with a change in that parameter. Additionally we will present a transitiona for a Ramsey-like statement and for a theorem by Maclagan on monomial ideals. 【２】日時：2011年10月18日（火）14:00 ～ 15:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者：Sam Sanders（東北大学，Ghent 大学）題目：Reverse-engineering (Constructive) Reverse Mathematics アブストラクト： Constructive Analysis was introduced by Erret Bishop to identify the `computational meaning' of Mathematics. In the spirit of intuitionistic mathematics, notions like `algorithm', `explicit computation' and `finite procedure' are central. The exact meaning of these vague terms was left open, to ensure the compatibility of Constructive Analysis with several traditions in Mathematics. Bishop did explicitly identity many non-algorithmic principles, thus implicitly defining `algorithm'. One of the goals of Constructive Reverse Mathematics (CRM) is to analyze the role of these non-algorithmic principles in Mathematics. Bishop famously derided Nonstandard Analysis for its lack of computational meaning. In this talk, we introduce `$\Omega$-invariance' : a simple and elegant definition of `finite procedure' in (classical) Nonstandard Analysis. Using an intuitive interpretation, we obtain many results from CRM, thus showing that $\Omega$-invariance is quite close to Bishop's notion of `algorithm'. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

Sendai Logic Seminar (Sep. 26)
by Naohi Eguchi 20 Sep '11

20 Sep '11

Logic-ml の皆様，東北大学の江口と申します．下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします．興味のある方は参加をご検討ください．日時：9月26日(月)，16時から．場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者：Florian Pelupessy (Ghent University, Belgium) タイトル：Phase transitions for unprovability アブストラクト： The talk will be an introduction to phase transitions for unprovability: theorems with a parameter function change from provable to unprovable with a change in that parameter. Additionally we will present a transition for a Ramsey-like statement and for a theorem by Maclagan on monomial ideals. 東北大学ロジックセミナーの詳細につきましては下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ -- 江口直日東北大学理学研究科数学専攻 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 0

秋季総合分科会
by KASHIMA Ryo 20 Sep '11

20 Sep '11

【先週 kisoron-ml に下記メールを送ったのですが配信されないようなので再送します。念のため logic-ml にも送ります。】日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。 28日(水)から信州大学（松本）にて秋の学会が開催されます。今回は当分科会から推薦の企画特別講演　新井敏康先生「はじめての数学基礎論」（28日(水)13:00 第I会場）があります。その他の分科会行事は第II会場で　28日(水)：一般講演，歴史部門懇談会．　29日(木)：一般講演，特別講演，分科会総会．となっています。皆様のご参加をお待ちしています。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

Kobe Colloquium
by Makoto Kikuchi 19 Sep '11

19 Sep '11

Kobe Colloquium on Logic, Statistics and Informatics 本日，予定していました神戸情報数理コロキウムですが，台風の影響で神戸市に大雨洪水警報が発令されていますので延期します．新たな日程は改めてご連絡いたしますが，今のところ22日（木）の午後を予定しています．よろしくお願いします．菊池誠

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml