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

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

24 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 17 Oct '11

17 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 17 Oct '11

17 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 17 Oct '11

17 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 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

公理的集合論集中講義
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 07 Oct '11

07 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 07 Oct '11

07 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 07 Oct '11

07 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 07 Oct '11

07 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 04 Oct '11

04 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 04 Oct '11

04 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 01 Oct '11

01 Oct '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 22 Sep '11

22 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 22 Sep '11

22 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 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/ -- 江口直日東北大学理学研究科数学専攻 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 0

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

21 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

Final Call for Papers: PEPM 2012 (論文投稿締め切り：2011年10月11日 08:59, JST)
by Kohei SUENAGA 18 Sep '11

18 Sep '11

皆様、 (重複して受け取られた方はどうぞご容赦下さい。) 京都大学の末永幸平と申します。来年1月にアメリカ合衆国フィラデルフィアで開催される PEPM 2012 の final CFP をお送りします。論文投稿締め切りはGMTで2011年10月10日23:59 日本時間で10月10日午前08:59です。部分評価に関するトピックのみならず、プログラム変換・解析等に関する話題を広く扱っております。また、ツールのプレゼンテーションや萌芽的な話題をターゲットとしたショートペーパーも受け付けております。どうぞ投稿をご検討ください。末永幸平京都大学大学院情報学研究科日本学術振興会特別研究員(PD) -- ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12) Call For Papers http://www.program-transformation.org/PEPM12 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. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'12. The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. 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: Mon, October 10, 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
by Makoto Kikuchi 17 Sep '11

17 Sep '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領で神戸情報数理コロキウムを開催します。【１】日時：2011年9月20日（火）15:20 ～ 16:20 場所：神戸大学自然科学総合研究棟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

Kobe Colloquium
by Makoto Kikuchi 13 Sep '11

13 Sep '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。【１】日時：2011年9月14日（水）14:00 ～ 15:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者：西晃央（佐賀大学）題目：Weyl の一様分布定理の対数計算への応用について【２】日時：2011年9月20日（水）15:20 ～ 16:20 場所：神戸大学自然科学総合研究棟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. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

RIMS研究集会「体のモデル理論とその応用」（11/２８〜11/30）のご案内
by 福崎賢治 13 Sep '11

13 Sep '11

皆様、モデル理論分野のRIMS研究集会は毎年11月ごろに京都大学数理解析研究所で開催されております。今年のモデル理論分野のRIMS研究集会は、「体のモデル理論とその応用」(Model Theory and its Applications)という表題のもと、　　日時：2011年11月28日（月）午後より11月30日（水）午前まで　　会場：京都大学数理解析研究所110号室にて開催されます。（はっきりした時刻はのちほどWebサイトでお知らせします。） ●Webサイト：http://www.iuk.ac.jp/~fukuzaki/rims.html ●講演募集：広い意味でモデル理論に関連する諸分野の講演を募ります。講演していただける方は、　　お名前と所属と職名　　講演タイトルを9月中をめどに、　　福崎賢治（鹿児島国際大学）　　e-mail:fukuzaki@int.iuk.ac.jp までお知らせください。世話役　福崎賢治

1 0

The 46th MLG Meeting
by Takahiro Seki 12 Sep '11

12 Sep '11

第46回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関と申します。　2011年度MLG数理論理学研究集会（第46回）を下記の要領で開催いたします。 =============================== 　第46回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 10 月 23 日(日)〜 10 月 25 日(火) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2011 年 10 月 13 日（木）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG46/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・10月24日（月）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，10月24日（月）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。・講演・宿泊を希望される方は，10月13日(木)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG46 とご記載ください。 ----------------------------------- 第46回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　23日(午後) / 24日(午前/午後) / 25日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　23日(夕食/宿泊) / 24日(朝食/昼食/夕食/宿泊) / 25日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 1

SLACS 2011 直前のご案内
by Kamo Hiroyasu 11 Sep '11

11 Sep '11

みなさま（重複をお許しください）明日からのSLACS2011のご案内ですが、手違いで、開催場所情報の一部（棟・部屋番号）がWWWページから一時的に欠落していました。WWWページを修正の上、念の為にこちらのメーリングリストにも再送します。不手際をお詫びします。奈良女子大学理学部情報科学科鴨浩靖 -- SLACS 2011 - 記号論理と情報科学研究集会開催要項開催日：2011年9月12日(月)午後〜 9月13日(火)午後場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．一般5000円程度、学生割引ありで調整中です。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）暫定プログラム（ほぼ最終版） (2011年9月10日19:10現在) 9月12日(月) 14:00--14:10 （オープニング、連絡など） 14:10--14:30 小島侑子（奈良女子大学）「小型ロボットを制御するための汎用ライブラリの開発」近年、安価で小型なロボットの登場がロボットの研究に新たな可能性をもたらしている。我々は、その1つであるLEGO MINDSTORMS NXTの制御プログラムの作成を容易にするため、新たなNXT制御ライブラリを提案する。特に、反射的行動を記述したライブラリにするなど、ロボットの行動制御の研究を容易にすることを主眼に置く。 14:30--15:00 中澤巧爾（京都大学）「Combinators for streams」本発表では，型無しラムダ・ミュー計算に同等なcombinatory calculusとしてCL^\muを提案する．また，型無しラムダ・ミュー計算のモデルとして stream modelを定義し，CL^\muの構造をもとにして stream modelの代数的な特徴付けを行なう．（休憩） 15:45--16:30 Michele Basaldella（京都大学）「Infinitary completeness in ludics」 Traditional Goedel completeness holds between finite proofs and infinite models over formulas of finite depth. In this talk, we generalize it to a completeness theorem between infinite proofs and infinite models over formulas of infinite depth (that include recursive types). 16:30--17:00 藤田恵（奈良女子大学）「実世界の多様性に適応したBDIロボットについて」近年、単一の目標達成に特化されたロボットでなく、動的に変化する環境のもとで自らの目的を達成するよう動作するロボットの実現が重要な研究課題となってきている。我々は、BDIモデルを実装したBDIロボットによるロボット制御が、複雑で多様性に富んだ実世界において自らの目的を実現していくロボットのためのアーキテクチャとして有効であることを示す。特に、意図の保持と破棄という機構によって、目標を達成する手段を柔軟に切り替えたり、複数の目的を並行に保持し整合的に実行したりできる BDIモデルの能力が、多様性への適応に非常に有用であることを論じ、また、実験を通じてそれを示す。 17:00--17:30 （予備）（移動） 18:30-- 懇親会 9月13日(火) 9:45--10:15 （予備） 10:15--10:45 岡章弘（京都産業大学）・三好博之（京都産業大学）「リアクティブシステムのモノイダル2-圏による定式化」 LeiferとMilnerは圏を用いて抽象的なリアクティブシステムを定式化し， Milnerはその枠組みで具体的にバイグラフを用いてシステムの記述を行う研究を行った。しかしMilnerの体系では，リアクティブシステムからラベル付き遷移系(LTS)を導くのにサポートと呼ばれるデータが必要であり，そのために圏ではなく前圏(precategory)を用いているためかなり複雑である。そこでSosanneとSoboci\'nskiはサポートと2-圏の2-セルとの類似性に着目して亜群によりenrichされた2-圏による定式化を行った。本講演ではこれにモノイダル積を加えることによりシステムの並置を陽に含む定式化を行う。これによりシステムをより自然に圏論的な構成として記述することができる。ここではさらにstcasticなシステムへの圏論的な拡張も視野に入れている。（休憩） 11:15--12:00 向井国昭（慶應義塾大学）「チャネル理論の分類概念再訪」 Barwise/Seligmanのチャネル理論(1997)は，タイプとトークンの間の関係としての分類だけでなく，タイプ間の制約としての局所論理を動員して情報の流れをモデル化しようとする試みである．チャネル理論は，すでに抽象設計論(角田・菊池) など多くの発展および応用を得ている．チャネル理論の局所論理は，大域カット則を充足する理論を正則とする．なぜ大域カットなのだろうか？また，大域カットは通常のカット推論規則よりも強いが，有限の証明図および有限のシーケントに限定すればそれらは等価となるのだろうか？この「保守拡大性」に関しては，選択公理を使って肯定的な証明が得られた．このようにチャネル理論の「重箱の隅」をつついているうちに，分類と情報射の意味と役割が次第によくわかってきた．大域カットのねらいも見えてきた．さらに位相空間(連続写像)や可測空間(可測写像)，もっと身近な線形空間(線形写像)やオートマトン(模倣)など，おなじみの数学的構造がすべてチャネル理論の分類(情報射)であることが実感をもって確認できた．この実感の共有は情報をめざす多くの人とくに学生諸君にとっても有用であると信じる．なお，井出陽子氏の関連結果 (修士論文2011) にもふれる． 12:00--12:20 片山寛子（奈良女子大学）「BDIロジックに基づくエージェント実行系の構築に向けて」 BDIモデルは、合理的エージェントの実現の基盤としてよく知られているが、 BDIモデルの論理的な形式化に用いられるBDIロジックと現在提案されている手続的なBDIエージェントの実行系との間にはギャップがあることが指摘されている。本論文では、BDIロジックでの論理式による記述をそのまま実行可能なプログラムとして扱うようなBDIエージェントの実行系の実現に関するアイデアについて述べる。（休憩） 13:20--14:20 丸山善宏（京都大学）「Duality and Abramsky's Representation of Quantum Systems」 Samson Abramsky recently proposed to represent quantum systems (or physical systems in general) as Chu spaces and as coalgebras. In this talk, we analyze duality-theoretic consequences of his representation of quantum systems, and then place the resulting dualities in a wider context of general duality theory, with the ultimate aim of clarifying the nature of duality between states and observables in quantum physics. We finally touch upon philosophical issues relating Abramsky's representation to Karl Popper's notion of verisimilitude. 14:20--14:50 小川美樹（奈良女子大学）「汎用的な証明図作成支援ソフトの構築」証明図作成支援ソフトをJAVAで構築する。既存の物と比較して、次のような長所を持つものを作成しようと考えている。まず、JAVAで構築することによって汎用性の高いものにする。また、柔軟にレイアウトする機能を加える。さらに、半自動証明の機能も加える。 14:50--15:50 （予備） 15:50--16:00 （クロージング、次回予告など）

1 0

SLACS 2011 のご案内および講演募集（再々送）
by Kamo Hiroyasu 10 Sep '11

10 Sep '11

たびたび失礼します。（重複して受信された場合はご容赦ください。） SLACS 2011 の世話人をおおせつかっている奈良女子大学の鴨浩靖です。まだまだ講演が不足しておりますので、ご案内および講演募集を再々送いたします。第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催の予定です．SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．完成された研究のみならず，発展途上の話題も大歓迎です． SLACS 2011 のページは http://taurus.ics.nara-wu.ac.jp/slacs2011/ です。 SLACS全般のページは http://www.sato.kuis.kyoto-u.ac.jp/SLACS です。開催要項開催日：2011年9月12日(月)午前〜 9月13日(火)午後（講演が少ない場合は、開始を遅らせます）場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・講演時間・講演に必要な道具などの情報を slacs2011(a)mensa.ics.nara-wu.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。多くの皆さんのご講演・ご参加をお待ちしております。奈良女子大学理学部情報科学科鴨浩靖 _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 1

Fwd: Fwd: NSA2011
by Tchizawa 10 Sep '11

10 Sep '11

関係各位様 2010年度超準解析シンポジウムの再再報です。今回は Guy Wallet, Imme van den Berg　教授が海外から参加されます。講演は日本語でOKですが、レジュメはできれば英語で作成されることを希望します。尚、１１月１１日（金）に懇親会を予定しています、こちらの参加の予定もお知らせください。２０１０年度超準解析シンポジウム日時：11月10日（木）,11日（金）,12日（土）, 2011年　場所：東京都市大学　世田谷キャンパス 3号館　メモリアルホール　　（東急大井町線　尾山台駅　徒歩　約１５分） NSA 2011 Program ********************** 10th November Reception, 12:30-14:00 Session, 14:00-15:00 : H.Yamashita, "Brownian phase-space path integral" 15:15-17:15 : I.V.D.Berg, "External numbers and external points" ----------------------------------- 11th November 10:00-11:00 : T.Kawai, "Axiomatic set theory on NSA" 11:15-12:15 : R.Nishiyama, "Induction on NSA in the singularity" Lunch Time Session, 14:00-15:00 : S.Nagamachi, "Bosonization" 15:30-17:30 : G.Wallet, "Arithmetization and Harthong-Reeb line based on Omega-numbers" Banquet : Santo Spirito (Meguro) 19:00-21:30 -------------------------------------------- 12th November 10:00-11:00 : H.Miki, "4-dim duck solutions in a trading economic model" 11:15-12:15 : K.Tchizawa, "On relative stability in a 4-dim slow-fast system" ------------------------------------- Kiyoyuki Tchizawa Directorate Ph.D Tokyo Nonlinear Analysis Research Center Institute of Administration Engineering, Ltd. _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

TQC2012のご案内
by Harumichi Nishimura 06 Sep '11

06 Sep '11

logic-mlの皆様，来年東京で行われる国際会議TQC2012の案内について，依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ============================================ 皆様来年の５月１７日から１９日に東京大学の小柴ホールにて TQC2012(The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography)を開催することになりました。 First call for paperの案内ができましたので、お送りいたします。 TQCは、量子計算、量子通信、量子暗号などの量子情報の理論的研究に関する主要な国際会議の一つです。２００６年に第１回が開催されて以来、毎年開催されております。２００８年に日本で開催されて以来、カナダ、英国、スペインで開催されており、来年は久しぶりに日本に戻ってきます。コンピュータ科学、情報理論、物理などの様々な分野の研究者が参加し、多角的な観点から総合的な議論を行なうことによって、量子情報科学技術におけるイノベーションを目指すことを目的としています。 NTT 河野泰人東京大学　村尾美緒 ------------------------------ Dear Colleagues, We would like to draw your attention to the upcoming event "The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC 2012)". The workshop will be held May 17-19, 2012, at University of Tokyo, Tokyo, Japan. Please see the information attached below. Sincerely Yours, The Organizing Committee of TQC 2012 Yasuhito Kawano (NTT, Japan) Mio Murao (University of Tokyo, Japan) ======================================================================= PRELIMINARY ANNOUNCEMENT The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography ---- TQC 2012 ---- 　　　　　　　　　 Koshiba Hall, University of Tokyo 　　　　　　　　　　　　　　　　Tokyo, Japan 　　 May 17-19, 2012 http://www.eve.phys.s.u-tokyo.ac.jp/tqc2012/ ======================================================================= General Information: Quantum computation, quantum communication, and quantum cryptography are important subfields of quantum information processing, an interdisciplinary field of information science and quantum mechanics. The TQC conference series focuses on theoretical aspects of these subfields. The objective of the conference is to bring together researchers so that they can interact with each other and share problems and recent discoveries. It will consist of invited talks, contributed talks, and a poster session. As has happened for previous TQCs, a post-conference proceedings volume will be published, to which selected speakers will be invited to contribute their presentations. We expect this will again be in Springer's Lecture Notes in Computer Science Series. ------------------- Scope: The scope of the workshop includes, but is not limited to: * quantum algorithms * models of quantum computation * quantum complexity theory * simulation of quantum systems * quantum cryptography * quantum communication * quantum estimation and measurement * quantum noise * quantum coding theory * fault-tolerant quantum computing * entanglement theory -------------------- Invited Speakers: Antonio Acin (ICFO-Institute of Photonic Sciences, Spain) Andris Ambainis (University of Latvia, Latvia) Ferdinando Brandao (Federal University of Minas Gerais, Brazil) Masahito Hayashi (Tohoku University, Japan) John Watrous (University of Waterloo, Canada) Michael Wolf (Technical University Munich, Germany) -------------------- Program Committee (to be added): Patrick Hayden (McGill University, Canada) Susana Huelga (University of Ulm, Germany) Kazuo Iwama (Kyoto University, Japan, Chair) Masato Koashi (University of Tokyo, Japan) Barbara Kraus (University of Innsbruck, Austria) Francois Le Gall (University of Tokyo, Japan) Serge Masser (ULB, Belgium) Kae Nemoto (NII, Japan) Harumichi Nishimura (Osaka Prefecture University, Japan) Robert Raussendorf (University of British Columbia, Canada) Renato Renner (ETH, Switzerland) Barry Sanders (University of Calgary, Canada) Mario Szegedy (Rutgers University, USA) Yasuhiro Takahashi (NTT, Japan) Andreas Winter (University of Bristol, UK and National University of Singapore, Singapore) Ronald de Wolf (CWI, The Netherlands) Shengyu Zhang (Chinese University of Hong Kong, Hong Kong) -------------------- Organizing Committee : Yasuhito Kawano (NTT, Japan) Mio Murao (University of Tokyo, Japan) -------------------- Important dates: Submission deadline: 21st January (23:59 JST) 2012 Notification: Early March 2012 Conference: 17th-19th May 2012 ------------------- For updated information, please visit the conference website http://www.eve.phys.s.u-tokyo.ac.jp/tqc2012/ -- ********************************************************** Mio Murao (murao(a)phys.s.u-tokyo.ac.jp) Department of Physics, Graduate School of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-0033 Japan

1 0

RIMS 研究集会『記述集合論の展望』のご案内
by FUJITA Hiroshi 06 Sep '11

06 Sep '11

皆様、愛媛大学理工学研究科の藤田です。京都大学数理解析研究所共同利用事業のひとつとして研究集会『記述集合論の展望』を、次の要領で開催します。 ============================= RIMS研究集会『記述集合論の展望』日時平成23年10月19日(水) 10時30分から同21日(金) 17時まで会場京都大学数理解析研究所420号室 ============================= タイムテーブルのPDF版は http://www.math.sci.ehime-u.ac.jp/%7Efujita/RIMS2011/ からダウンロードしていただけます。この研究集会は例年この時期に開催しております集合論分野の研究会シリーズの一環ですが、特に今年は、 Stefan Geschkeさんのレクチャー "Clopen Graphs on Polish Spaces" Slawomir Soleckiさんのレクチャー "Dynamics of Polish Groups" (各60分×3回) をはじめとして、記述集合論および関連分野の研究発表が多数おこなわれます。どうぞご参加ください。なお、旅費にまだ少々余裕があります。当研究集会に参加予定で、RIMSからの旅費の支給をお望みの方は、お早めに藤田までご連絡くださいませ。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学大学院理工学研究科数理物質科学専攻

1 0

准教授公募（応用数理。情報系も含む）
by Suzuki Toshio 06 Sep '11

06 Sep '11

$B3'MM(B $B<sETBg3XEl5~(B $BM}9)3X8&5f2J(B $B?tM}>pJs2J3X@l96$NNkLZEP;VM:$G$9!#(B $B$3$N$?$SEv@l96$G$O1~MQ?tM}7O$N=Z65<x8xJg$r$$$?$7$^$9!#(B http://www.comp.tmu.ac.jp/math/koubo/asp0829_11.pdf $B$7$a$-$j$,#1#07n#2#1F|$H!"$"$^$j;~4V$,$J$/$F62=L$G$9!#(B $B$*6a$/$KE,G$$NJ}$,$$$i$C$7$c$$$^$7$?$i1~Jg$r4+$a$F$$$?$@$1$l$P9,$$$G$9!#(B ====================================================================== $B8xN)Bg3XK!?M<sETBg3XEl5~!!@lG$650wJg=8MW9`(B $BJg=8?&0L!'=Z65<x(B $BJg=8?M?t(B $B!'#1L>(B $B=jB05Z$S6PL3CO!'!J3XIt!KET;T65M\3XItM}9)3X7O?tM}2J3X%3!<%9(B $B!!!!!!!!!JBg3X1!!KM}9)3X8&5f2J?tM}>pJs2J3X@l96(B $BFnBgBt%-%c%s%Q%9!!!J")(B192-0397$BEl5~ETH,2&;R;TFnBgBt(B1-1$B!K(B $B@lLgJ,Ln!'1~MQ?tM}7O(B($B>pJs7O$r4^$`(B) $BC4EvM=Dj2JL\!'?t3X4pAC2JL\(B($B@~7ABe?t!&Hy@QJ,(B)$B!">pJs4pAC2JL\(B($B%W%m%0%i%_%s%0(B)$B!"1~MQ?tM}7O$N9V5A$H%;%_%J!<Ey(B $B1~Jg;q3J(B $B!'3XIt$+$iBg3X1!Gn;N8e4|2]Dx$^$G$N?t3X!??tM}2J3X$N650i$H8&5f$KG.0U$N$"$kJ}(B $B:NMQG/7nF|!'J?@.(B24$BG/(B4$B7n(B1$BF|(B $B=h6x!'!!!J#1!K?&0L!&6H@S!&?&L3FbMF$K1~$8$?G/Jp@)(B $B!J#2!KB`?&<jEv$OK!?MB`?&;~$KJL$K;Y5k(B $BG$4|!'G$4|(B5$BG/!J99?7$"$j!#=Z65<x$H$7$F$N99?7$O(B2$B2s$^$G!K(B $BC"$7!"(B65$B:P$H$J$C$?G/EY$NKvF|$r$b$C$FB`?&$H$J$j$^$9!#(B $B!JJ?@.(B24$BG/EY$^$G7P2aA<CV$,$"$j$^$9!#!K(B $B1~Jg=qN`!'-!MzNr=q!JMM<0#1!K(B $B!!-"8&5f6H@S%j%9%H(B($BMM<0ITLd(B) $B!!-#<gMW$J8&5fO@J8$NJL:~!&%3%T!<(B5$BJT0JFb3F(B1$BIt(B $B-$8&5f6H@S$N35MW!J8&5f(B,$B650i!&;XF3<B@S(B,$B30It;q6b(B,$B<R2q9W8%$r4^$`!K(B2,000$B;zDxEY(B($BMM<0ITLd!K(B $B!!-%:NMQ8e$N3hF07W2h!J650i(B, $B8&5f(B, $B<R2q9W8%$r4^$`!K(B2,000$B;zDxEY!JMM<0ITLd!K(B $B!!-&1~Jg<T$K$D$$$F>H2q2DG=$JJ}(B2$BL>$N;aL>!&O"Mm@h(B $B!!"(A*9M$N2aDx$G!"(B $B1~Jg<T$K4X$7$F>H2q2DG=$J30ItM-<1<T$NDI2C$r$*4j$$$9$k>l9g$,$"$j$^$9!#(B $B!!"(!!=jDjMM<0!JMM<0#1!K5Z$S5-F~MWNN$O2<5-%[!<%`%Z!<%8$+$i%@%&%s%m!<%I$7$F2<$5$$!#(B $B!!!!!!(Bhttp://www.houjin.tmu.ac.jp/recruit_teacher/tmu.html $BDs=PJ}K!!'!&4J0W=qN1$G0l3gM9Aw$7$F$/$@$5$$!JBpG[JX2D!K!#(B $B!!!&IuE{Ey$K!V650w8xJg=qN`(B($B1~MQ?tM}7O(B)$B:_Cf!W$H<k=q$-$7$F$/$@$5$$!#(B $B!!!&1~Jg=qN`$OJV5Q$$$?$7$^$;$s!#$4N;>5$/$@$5$$!#(B $B"(>e5-<h07$$$N$?$a!"(B $BK|0l9b2A$J=qN`Ey$rAwIU$5$l$k>l9g$O!"(B $B$=$NE@$4N10U$N>e$41~Jg2<$5$$!#(B $B"(EE;R%a!<%k$K$h$k$41~Jg$O<u$1IU$1$F$*$j$^$;$s!#(B $BDs=P@h!'(B $B")(B192-0397 $BEl5~ETH,2&;R;TFnBgBt#1!]#1(B $B8xN)Bg3XK!?M<sETBg3XEl5~!!AmL3It?M;v2]?M;v@)EY78(B $BDs=P4|8B!'J?@.(B23$BG/(B10$B7n(B21$BF|!J6b!KI,Ce(B $B"(3$30$+$i1~Jg$5$l$k>l9g$K$OM9JX;v>p$r9MN8$5$l$k$h$&$*4j$$$7$^$9!#(B $BA*9MJ}K!!'-!(B1$B<!A*9M!'=qN`A*9M(B $B-"(B $B#2<!A*9M!'E,59LL@\$r9T$$$^$9!#(B $B;~4V!&>l=jEy$N>\:Y$OJLES$4O"Mm$7$^$9!#(B $B!!"((B2$B<!A*9M$K$"$?$jI,MW$H$J$kN9Hq!&BZ:_HqEy$O1~Jg<T$NIiC4$H$J$j$^$9!#(B $B$^$?!"9gH]7k2L$OEv3:It6I$+$iDLCN$5$l$^$9!#(B $BLd$$9g$o$;@h!'-!8xJgA4HL$K4X$9$k$3$H(B $B!!!!!!!!!!8xN)Bg3XK!?M!!<sETBg3XEl5~!!AmL3ItAmL32]?M;v@)EY78(B $B!!!!!!!!!!(BTEL 042-677-1111$B!!Fb@~(B1028$B!!(Be-mail$B!'(Bkyoinsaiyo(a)jmj.tmu.ac.jp $B!!!!!!-"@lLgJ,Ln$K4X$9$k$3$H(B $B!!!!!!!!!!?tM}>pJs2J3X@l96D9!!CfB<7{(B $B!!!!!!!!!!(BTEL 042-677-2471$B!!(Be-mail$B!'(Bnakamula(a)tmu.ac.jp $BHw9M!'K\3X$O!"(B $BB?MM@-$KG[N8$7$F$*$j!"(B $BFC$K=w@-$N@Q6KE*$J1~Jg$r4|BT$7$^$9!#(B ---------------------------------------------------------------------- $B$J$*!"F1;~$K2r@O7O$N=Z65<x8xJg$b$7$F$*$j$^$9$,!"$=$l$H:#2s$N$OJL7o$G$9!#(B http://www.comp.tmu.ac.jp/math/koubo/asp0816_11.pdf -- $BNkLZEP;VM:(B $B<sETBg3XEl5~(B $BM}9)3X8&5f2J(B $B?tM}>pJs2J3X@l96(B toshio-suzuki(a)tmu.ac.jp

1 0

J.-Y. Girard氏来日に伴う線型論理ワークショップ
by Kazushige TERUI 06 Sep '11

06 Sep '11

10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討ください。日時：2011年11月7日（月）−11日（金）（ただし11日は学生セッションの予定）場所：京都大学理学部3号館110号室（予定）内容：Girard氏による３〜４回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊非明示的計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能ですので、　　　学生の方の参加も歓迎します。正式名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記の情報を照井terui(a)kurims.kyoto-u.ac.jp までお知らせください。１．お名前・所属・身分２．参加日程：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

J.-Y. Girard氏来日に伴う線型論理ワークショップ
by Kazushige TERUI 05 Sep '11

05 Sep '11

10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから多数の若手研究者の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討ください。日時：2011年11月7日（月）−11日（金）（ただし11日は学生セッションの予定）場所：京都大学理学部3号館110号室（予定）内容：Girard氏による３〜４回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊非明示的計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能ですので、　　　学生の方の参加も歓迎します。正式名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記の情報を照井terui(a)kurims.kyoto-u.ac.jp までお知らせください。１．お名前・所属・身分２．参加日程：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

第25回量子情報技術研究会（QIT25）のご案内
by Harumichi Nishimura 02 Sep '11

02 Sep '11

logic-mlの皆様，第25回量子情報技術研究会（QIT25）の案内について，世話人からの依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ---------------------------------------- 下記のとおり11月21日、22日に第25回量子情報技術研究会(QIT25)を大阪大学豊中キャンパスで開催します。皆様のご参加を世話人一同お待ちしております。電子情報通信学会量子情報技術時限研究専門委員会委員長 QIT25世話人代表北川勝浩(大阪大学基礎工学研究科) -------------------------------------------------------------------------------- 第25回量子情報技術研究会(QIT25) 研究会の内容情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。第25回研究会を下記のように開催いたします。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表、聴講を募集致します。奮ってご参加ください。期日　2011年11月21日(月)、22日(火) 会場　大阪大学基礎工学研究科国際棟Σホール (〒560-8531 大阪府豊中市待兼山町1-3 大阪大学豊中キャンパス内) 発表募集内容発表募集分野 (申込状況によっては査読可能性あり)：量子情報、量子計算、量子暗号など広く量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、およびその他関連分野定員　234名参加費　事前振込み　一般5,000円、学生1,000円 (当日会場払い一般6,000円、学生2,000円) 懇親会費　事前振込み一般4,500円、学生3,000円 (当日会場払い一般5,000円、学生3,500円) 研究会参加申込要領　　参加申込は下記Webにて受付けます http://staff.aist.go.jp/s-kawabata/qit/ 発表(口頭・ポスター)申込みは電子情報通信学会の研究会発表申込みシステムを使用します(上記Webからリンク) 　【講演申込締切】 2011年10月17日(月) 17:00 口頭・ポスター【予稿集原稿提出・参加申込締切】 2011年10月31日(月) 17:00 【世話人】北川勝浩 (大阪大学基礎工学研究科システム創成専攻) 藤原彰夫 (大阪大学理学研究科数学専攻) 水落憲和 (大阪大学基礎工学研究科物質創成専攻) 根来誠 (大阪大学基礎工学研究科システム創成専攻) 問合せ先 E-mail: qit25(a)qc.ee.es.osaka-u.ac.jp 【今回からの重要な変更点】今回は発表申込みと予稿集原稿の提出に、電子情報通信学会の研究会発表申込みシステムのWebを試用します。これまでと、やり方が異なりますので、発表を予定されている方は、早めにWebにアクセスして申込みをしていただければ幸いです。なお、申込み内容は、〆切(10月17日)までの間なら、何度でも修正することができます。予稿集原稿については、PDFファイルでのWeb入稿となります。 LaTeXのクラスファイルをIEICEの最新のものにし、テンプレートファイルも QIT25のページに用意しております。こちらも、これまでと変っておりますので、早めにお試しいただければ幸いです。Web入稿の〆切は10月31日17時です。主催　電子情報通信学会量子情報技術時限研究専門委員会(委員長北川勝浩) 共催　応用物理学会　量子エレクトロニクス研究会、大阪大学基礎工学研究科 --

1 0

CFP: LENLS 8 (Logic and Engineering of Natural Language Semantics 8)
by BEKKI Daisuke 31 Aug '11

31 Aug '11

（重複して受け取られた場合はご容赦ください）今年の12/1-3に高松で開催される LENLS8 国際ワークショップのFinal CFPをお送りします。〆切が9/15に延長されました。引き続き、多数の投稿をお待ちしております。また、12/3にはアムステルダム大学のFrank Veltman先生によるチュートリアル講演を予定しています。戸次大介（お茶の水女子大学）照会先：lenls8 [[at]] easychair.org [Apologies for multiple copies] ================================================================= DEADLINE EXTENDED !! DEADLINE EXTENDED !! DEADLINE EXTENDED !! ================================================================= LAST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 8 (LENLS8) Workshop Site : "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Dates : December 1-3, 2011 Contact Person: Alastair Butler Contact Email : lenls8(a)easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (JST/Tohoku University) Invited Speaker(s): Frank Veltman (University of Amsterdam) Kentaro Inui (Tohoku University) Information on Takamatsu: http://www.takamatsu.or.jp/eng/ http://www.city.takamatsu.kagawa.jp/english/access/ http://www.my-kagawa.jp/eg/ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI). Call For Papers We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game- and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future. On the 3rd December, there will also be special tutorial lectures at the workshop venue by Frank Veltman (University of Amsterdam) and Eric McCready (Aoyama Gakuin University). Submissions: Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls8 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI2011 selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Tutorial Lectures: Lecturer - Frank Veltman (University of Amsterdam) - Eric McCready (Aoyama Gakuin University) Location "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Time Table (Tentative) 10:00-12:00 Session 1 12:00-13:30 Lunch 13:30-17:30 Session 2 Important dates: Abstract submission deadline (extended) : September 15, 2011 Notification of acceptance : October 10, 2011 Deadline for camera-ready copy : October 28, 2011 Deadline for onsite registration : November 12, 2011 LENLS8 : December 01-02, 2011 Tutorial Lectures : December 03, 2011 Organizing Committee: Alastair Butler (Chair) Daisuke Bekki Eric McCready Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Shunsuke Yatabe Kei Yoshimoto Contact: lenls8 [[at]] easychair.org

1 0

証明論研究集会（第３報）DEADLINE EXTENDED
by Suzuki Toshio 29 Aug '11

29 Aug '11

証明論研究集会（第３報）DEADLINE EXTENDED 皆様首都大学東京の鈴木登志雄です。さて、2011年証明論と計算論研究集会にはまだ講演枠に若干の余裕があります。講演申込みを９月５日（月）までに延長しました。集会期間：９月１２日（月）から１４日（水）（最終日はＳＬＡＣＳとかぶっていません）場所：東京都八王子市首都大学東京国際交流会館中会議室集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html ご講演いただける方は以下にご記入の上、９月５日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki [atmark] tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合、申込みなしでも結構ですが、できれば事前に連絡をいただけるとこちらとしては助かります。宛先は上記と同じです。また、student session と称して、修士課程在学中の方による短い講演（20分から30分程度）の枠も作ります。そちらへの応募も歓迎します。それでは、よろしくお願いいたします。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki [atmark] tmu.ac.jp

1 0

[CFP] 情報処理学会第86回プログラミング研究会
by Kazuyuki Shudo 27 Aug '11

27 Aug '11

皆様、東工大首藤です。発表申込の締切まで一週間を切りました．再度のご案内をさせていただきます．この場を借りて2011年度第3回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2011年度第3回研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込〆切は9月2日(投稿〆切は10月1日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第86回プログラミング研究会(PRO-2011-3)発表募集日程：　2011年 11月 1日(火)・2日(水) 会場：神奈川近代文学館〒231-0862 横浜市中区山手町110 港の見える丘公園内 http://www.kanabun.or.jp/ 発表申込締切: 2011年 9月 2日(金) 投稿論文原稿提出締切: 2011年 10月 1日(金) 申込先：首藤一幸（東京工業大学）　E-mail: ipsj-pro86 [at] shudo.net 　Tel/Fax: 03-5734-3211 案内ページ: http://www.shudo.net/sigpro/2011-3/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい．

1 0

[参加募集] 日本ソフトウェア科学会第28回大会
by Yukiyoshi Kameyama 25 Aug '11

25 Aug '11

皆様， 9月下旬に沖縄・那覇で開催される日本ソフトウェア科学会第28回大会の参加募集をお送りします．是非御参加ください． -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam -------------------------------------------------------------------------- 日本ソフトウェア科学会第28回大会日時：2011年9月26日(月) [プレイベント] 2011年9月27日(火)〜29日(木) [大会本体] 会場：沖縄産業支援センター・沖縄県市町村自治会館 (沖縄県那覇市) http://jssst11.kuis.kyoto-u.ac.jp/ -------------------------------------------------------------------------- 熱い企画満載です！ -------------------------------------------------------------------------- 日本ソフトウェア科学会では第28回大会を9月27日(火)から29日(木)まで沖縄県那覇市で開催します．今年の大会は，湊真一先生の招待講演をはじめ，特別講演，研究会セッション，ソフトウェア論文セッション，一般セッション，デモ・ポスターセッション，萌芽セッション，チュートリアル，PPLサマースクールなど盛り沢山の内容で開催します．今年から大会本体の事前参加登録が必要となりましたので，ご注意ください．皆様のご参加をお待ちしております． ■概要招待講演・BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開湊　真一 (北海道大学情報科学研究科 / JST ERATO) 特別講演・あみぐるみのための3次元モデリングと製作支援インタフェース (日本ソフトウェア科学会第15回論文賞受賞論文) 五十嵐悠紀, 五十嵐健夫, 鈴木宏正出典：コンピュータソフトウェア, Vol. 26, No. 1, pp. 51-58, 2009 ・Java言語への変換によるポインタ演算の安全な実装方式 (日本ソフトウェア科学会第15回論文賞受賞論文) 上嶋祐紀, 住井英二郎出典：コンピュータソフトウェア, Vol. 26, No. 1, pp. 139-154, 2009 ・Balanced Trees Inhabiting Functional Parallel Programming (ACM ICFP 2011採択論文) 森畑明昌, 松崎公紀出典：16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), 2011 一般の登壇発表・研究会セッション - プログラミング論研究会(PPL) - マルチ・エージェントと協調計算研究会(MACC) 「MACC企画セッション：エージェントシミュレーション」(第一線の研究者による講演) - インタラクティブシステムとソフトウェア研究会(ISS) - ソフトウェア工学の基礎研究会(FOSE) - ディペンダブルシステム研究会(DSW) - ネットワークが創発する知能研究会(EIN) ・ソフトウェア論文セッション・一般セッションデモ・ポスターセッション萌芽セッション(大会と同時開催の併設イベント) プレイベント・チュートリアル「ストリーミングコンピューティングの基礎と実践」 http://www.jssst.or.jp/tutorial/detail/id=131 日時：9月26日(月) 13:00〜18:00 ・PPLサマースクール2011「クラウドのプログラミング」 http://ppl.jssst.or.jp/index.php?ss2011 日時：9月26日(月) 10:00〜17:00 大会の詳細については以下のウェブサイトをご覧ください． http://jssst11.kuis.kyoto-u.ac.jp/ ■参加登録大会本体と萌芽セッションへの参加登録については，日本ソフトウェア科学会事務局が準備する以下の参加登録ページより事前参加登録を行い， 9月20日(火) までに参加費をお振り込みください． https://feb.db-boss.com/asas/seminar/regist.asp?sid=361 当日参加登録は原則として受け付けない予定です．また，プレイベントへの参加方法については各プレイベントのウェブサイトでご確認ください． ■組織大会委員長遠藤聡志 (琉球大学) 運営委員長河野真治 (琉球大学) プログラム委員長八杉昌宏 (京都大学) プログラム委員会八杉昌宏 (委員長, 京都大学) 明石修 (NTT未来ねっと研究所) 五十嵐淳 (京都大学) 伊知地宏 (ラムダ数学教育研究所) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 大沢英一 (はこだて未来大学) 亀山幸義 (筑波大学) 栗原聡 (大阪大学) 河野健二 (慶應義塾大学) 志築文太郎 (筑波大学) 杉山安洋 (日本大学) 中野圭介 (電気通信大学) 並木美太郎 (東京農工大学) 番原睦則 (神戸大学) 細部博史 (国立情報学研究所) 増原英彦 (東京大学) ■お問合せ研究発表，プログラムについてお問合せの際はプログラム委員長(八杉昌宏)宛てに以下へメールをお送りください． yasugi*ＡＴ*kuis.kyoto-u.ac.jp (*ＡＴ*は@に置き換えてください) その他，大会全般についてのお問合せは以下へお願いします． jssst11q*ＡＴ*kuis.kyoto-u.ac.jp (*ＡＴ*は@に置き換えてください) --------------------------------------------------------------------------

1 0

【講演募集】 RIMS 研究集会「記述集合論の展望」 (10/19 〜 21)
by FUJITA Hiroshi 24 Aug '11

24 Aug '11

愛媛大学の藤田です．残暑厳しき候，みなさまいかがお過ごしでしょうか．集合論分野のRIMS研究集会の講演申し込みの第一次締め切りが近付いてまいりましたので，再度お知らせいたします．今年度の集合論分野のRIMS研究集会は，「記述集合論の展望」 (Aspects of Descriptive Set Theory) という表題のもと，日時: 2011年10月19日(水) 9:00 より同21日(金) 17:00 まで会場: 京都大学数理解析研究所 420号室にて開催される運びとなっております．広い意味で記述集合論に関連する諸分野 (実数の集合論，内部モデル，強制法，巨大基数公理，集合論的実解析学，など) の講演を募ります． **** これまでのところ，講演申し込みが少なくてちょっと困っています．講演していただける方は，お名前と所属と職名 (それぞれ英語表記も) 講演タイトル (ひとまず未定でも結構です) を，できれば8月中を目処に藤田博司 (愛媛大学理学部) fujita.hiroshi.mh(a)ehime-u.ac.jp までお知らせください．タイトル未定の場合，どんな分野の話になりそうか大まかにでもお伝えくだされば，プログラム編成上助かります．旅費の補助が必要な方は，あわせてお知らせください．この研究集会の情報は次のWebサイトでも発信いたします． http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.ja.html (日本語) http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html (英語) をご覧ください．英語版ページには短縮URL http://ehimath.zz.tc/sets2011 もご用意しました．随時更新してまいりますのでご覧ください． -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学大学院理工学研究科

1 0

Final Call for Participation: MOL 12
by Makoto Kanazawa 22 Aug '11

22 Aug '11

FINAL CALL FOR PARTICIPATION (Registration closes on August 25, 2011.) 12th Meeting on Mathematics of Language (MOL 12) Nara, Japan, September 6-8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers Kit Fine, New York University Andreas Maletti, University of Stuttgart Program available at http://sites.google.com/site/mol12nara/program SATELLITE EVENT Second Workshop on Multiple Context-Free Grammars and Related Formalisms (MCFG+2) Information on http://sites.google.com/site/mol12nara/mcfgplus Contact: mol12(a)googlegroups.com

1 0

第二十二回ALGI（代数，論理，幾何と情報科学研究集会）のプログラム（ほぼ決定）と参加募集
by 西澤弘毅 19 Aug '11

19 Aug '11

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。直前のご連絡になりましたが、第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）のプログラム決定のお知らせと参加の募集をさせていただきます。 ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十二回ALGIを開催することになりました。 **************************************************************** * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）13:15 〜24日（水）12:30 * * 東京大学　柏キャンパス第2総合研究棟3階315会議室（千葉県柏市）* * * * 開催のお知らせと参加・講演の募集 * **************************************************************** プログラムの詳細はウェブページ http://sakura.math.kyushu-u.ac.jp/algi/22/ に掲載されております。簡略版は下記の通りです。ただし、今後講演申込みがございましたら、 23日の休憩時間を減らすなどして１件のみ対応することが可能です。８月２３日（火） 13:15 - 13:30 オープニング＋連絡など 13:30 - 14:15 星野直彦（京都大学数理解析研究所）演題： A characterisation of unique decomposition categories 14:15 - 14:45 休憩 14:45 - 16:00 宮部賢志（京都大学数理解析研究所）演題： An optimal semimeasure and its convergence 神志那純，潮俊光（大阪大学大学院基礎工学研究科），木下佳樹（産業技術総合研究所）演題：部分観測Mealyオートマトンのスーパバイザ制御への余代数的アプローチ 16:00 - 16:30 休憩 16:30 - 17:30 末永幸平（京都大学情報学研究科日本学術振興会特別研究員 (PD)）演題： Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling 夕方：懇親会（柏キャンパス内「お魚倶楽部　はま」）８月２４日（水）10:00 - 10:45 西澤弘毅（鳥取環境大学）演題： Relational Representation Theorem for Algebraic Quantales with respect to Completely Coprime Elements and Atoms 10:45 - 11:00 休憩 11:00 - 12:00 倉永崇（名古屋大学大学院多元数理科学研究科）演題：認知幾何学に向けて木下佳樹（AIST）演題： NBE through Yoneda revisited in Agda 12:00 - 12:30 クロージング＋連絡などできるだけ多くの皆さんのご参加をお待ちしております。懇親会への参加希望は、初日に受け付けます。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは東京大学の松野裕さんと大島聡史さんにお願いしております。 -- 西澤弘毅鳥取環境大学環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

Open Position at the RCIS/JAIST
by Norbert Preining 17 Aug '11

17 Aug '11

Open Position for one post doctoral researcher at RCIS/JAIST At the Research Center for Integrated Science [1] at the Japanese Advanced Institute of Science and Technology [2] a post doctoral researcher position is open starting from October. Fields of research: Mathematical Logic, in particular Semantic/Proof-theoretic methods in Nonclassical logics (including substructural logics, intermediate and many-valued logics) and related fields Application: Application should comprise a curriculum vitae, a short statement on research interests, preferrably a recommendation letter, per email to ono(a)jaist.ac.jp, preining(a)jaist.ac.jp (both) Deadline for application: 17 September 2011 Inquiries should be sent to the above adresses, too. ONO Hiroakira PREINING Norbert [1] http://www.jaist.ac.jp/rcis/en [2] http://www.jaist.ac.jp/ ------------------------------------------------------------------------ Norbert Preining preining(a){jaist.ac.jp, logic.at, debian.org} JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

証明論研究集会のご案内（第２報）
by Suzuki Toshio 16 Aug '11

16 Aug '11

証明論研究集会のご案内（第２報）皆様首都大学東京の鈴木登志雄です。さて、毎年恒例の証明論と関連分野（証明論、逆数学、限定算術、非古典論理、リカージョン、アルゴリズム的ランダムネス、計算量理論、ゲーム理論における論理学的問題など）のワークショップを以下のように開催することになりました。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中会議室集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html アクセス：京王相模原線南大沢駅、徒歩10分新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗り、調布で京王相模原線急行・橋本行に乗り換え）。 http://www.tmu.ac.jp/university/campus_guide/access.html ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki(a)tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると助かります。宛先は上記と同じです。それでは、よろしくお願いいたします。関連する最近の集会： Feb. 2011, Workshop on Proof Theory and Computability Theory http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ Sep. 2010, Formal Systems and Computability Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

SLACS 2011 のご案内および講演募集（再送）
by Kamo Hiroyasu 15 Aug '11

15 Aug '11

login-ml のみなさま（重複して受信された場合はご容赦ください。） SLACS 2011 の世話人をおおせつかっている奈良女子大学の鴨浩靖です。ご案内および講演募集を再送させていただきます。第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催の予定です．SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．完成された研究のみならず，発展途上の話題も大歓迎です． SLACS 2011 のページは http://taurus.ics.nara-wu.ac.jp/slacs2011/ です。 SLACS全般のページは http://www.sato.kuis.kyoto-u.ac.jp/SLACS です。開催要項開催日：2011年9月12日(月)午前〜 9月13日(火)午後（講演が少ない場合は、開始を遅らせます）場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・講演時間・講演に必要な道具などの情報を slacs2011(a)mensa.ics.nara-wu.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。多くの皆さんのご講演・ご参加をお待ちしております。奈良女子大学理学部情報科学科鴨浩靖 _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

PEPM 2012: Second Call for Papers
by Kohei SUENAGA 12 Aug '11

12 Aug '11

皆様、（重複して受け取られた場合はどうぞご容赦ください。）京都大学の末永幸平と申します。来年の1月23〜24日にPOPL'12と併設で開催される PEPM'12の2nd CFPをお送りいたします。論文投稿の締切は今年の10月10日です。 Invited speaker が Markus Pueschel氏 (ETH Zurich, Switzerland) と Martin Berger氏 (University of Sussex, UK) に決まりました。 Partial Evaluation と会議名についておりますが、それに限らず広くプログラム変換・解析に関するトピックを扱っております。また、現実のソフトウェアへの適用に関するケーススタディも発表することができます。どうぞ投稿をご検討ください。末永幸平京都大学情報学研究科日本学術振興会特別研究員 (PD) ksuenaga(a)sato.kuis.kyoto-u.ac.jp -- ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12) Call For Papers Paper submission deadline: Mon, October 10, 2011, 23:59, GMT http://www.program-transformation.org/PEPM12 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: Mon, October 10, 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

研究員の募集
by koba 03 Aug '11

03 Aug '11

皆様、＃複数受け取られましたらご容赦ください．東北大学の小林と申します．当研究室では現在，高階モデル検査（高階再帰スキームのモデル検査）とそのプログラム検証などへの応用をテーマとした研究を精力的に進めており，プロジェクトに携わるポストドクの研究員を探しております．身近にご興味のある方がいらっしゃいましたら，8月15日（必着）までに小林 (koba(a)ecei.tohoku.ac.jp) までメールでお知らせいただければ幸いです。その際、できれば略歴および論文リスト（フォーマット自由）もメールに添えるかまたは郵送でお送りください。（後日、さらに詳細な資料をお願いする可能性があります）．募集の条件は概ね以下のとおりです。 ================ 着任時期：2011年10月〜2012年4月の間（さらに数ヵ月の前後は応相談）任期：年度単位の更新で、業績により最長2016年3月まで延長可能給与：月額30〜35万円程度（大学の規定による．細かい条件は応相談）研究テーマ：高階モデル検査（高階再帰スキームのモデル検査）および、そのプログラム検証やデータ圧縮への応用。高階モデル検査については，下記のプロジェクトの概要および，小林らによる最近のPOPL 2009/2010やPLDI 2011, LICS 2009等の論文をご覧ください。条件： - 着任時に博士号を取得していること - 理論計算機科学全般に明るいこと． - 以下の中の２つ以上のトピックに詳しいか、または１つ以上のトピックに詳しくプログラミング能力が特に高いことモデル検査（特にソフトウェアモデル検査）型システムゲーム意味論プログラム解析オートマトンと形式言語理論自動定理証明 (可逆)データ圧縮技術問い合わせ先：小林直樹東北大学大学院情報科学研究科情報基礎科学専攻〒980-8579 仙台市青葉区荒巻字青葉6-3-09 TEL: 022-795-7177 FAX: 022-795-7526 Email: koba(a)ecei.tohoku.ac.jp ====================== 研究プロジェクトの概要 ====================== モデル検査はシステムが与えられた性質を満たすか否か網羅的に検証する手法であり，近年ハードウェアやソフトウェア検証の分野で大きな成功を修めている．高階モデル検査は，検証対象のシステムとして無限木を記述する高階文法を扱うものであり，従来の有限状態モデル検査やプッシュダウンモデル検査の真の拡張になっている．最近になって，我々は，高階モデル検査が高レベルプログラムの自動検証に有用であることを示すとともに，高階モデル検査問題が多重指数関数完全の計算量クラスに属するにもかかわらず，多くの入力に対して現実的な時間で動作するようなモデル検査アルゴリズムを考案し，世界初の高階モデル検査器の実現に成功した．さらに，それに基づいて関数型言語MLの小さなサブセットに対するソフトウェアモデル検査器を実現した．本研究プロジェクトでは，上記の成果をさらに発展させ，（１）高階モデル検査の理論および実装技術の発展による，より高速な高階モデル検査器の実現（２）関数型言語やオブジェクト指向言語に対するソフトウェアモデル検査器（つまり高階モデル検査に基づくプログラム自動検証器）の実現（３）データ圧縮など，高階モデル検査の新たな応用分野の開拓を目指す．

1 1

SLACS 2011 のご案内および講演募集
by Kamo Hiroyasu 02 Aug '11

02 Aug '11

login-ml のみなさま（重複して受信された場合はご容赦ください。） SLACS 2011 の世話人をおおせつかっている奈良女子大学の鴨浩靖です。第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催の予定です．SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．完成された研究のみならず，発展途上の話題も大歓迎です． SLACS 2011 のページは http://taurus.ics.nara-wu.ac.jp/slacs2011/ です。 SLACS全般のページは http://www.sato.kuis.kyoto-u.ac.jp/SLACS です。開催要項開催日：2011年9月12日(月)午前〜 9月13日(火)午後（講演が少ない場合は、開始を遅らせます）場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・講演時間・講演に必要な道具などの情報を slacs2011(a)mensa.ics.nara-wu.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。多くの皆さんのご講演・ご参加をお待ちしております。奈良女子大学理学部情報科学科鴨浩靖

1 0

第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の会場案内と講演募集
by 西澤弘毅 02 Aug '11

02 Aug '11

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の会場が決まりましたのでお知らせいたします。 **************************************************************** * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）午後〜24日（水） * * 東京大学　柏キャンパス第2総合研究棟3階315会議室（千葉県柏市）* * * * 開催のお知らせと参加・講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。なお、講演をあと５件程度、受け付けることが可能です。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を furusawa(a)sci.kagoshima-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは東京大学の松野裕さんと大島聡史さんにお願いしています． ------------------------------------------------- -- 西澤弘毅鳥取環境大学環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

CFP: LENLS 8 (Logic and Engineering of Natural Language Semantics 8)
by BEKKI Daisuke 01 Aug '11

01 Aug '11

（重複して受け取られた場合はご容赦ください）今年の１２月に高松で開催される LENLS8 国際ワークショップのCFPをお送りします。多数の投稿をお待ちしています。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 8 (LENLS8) Workshop Site : "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Dates : December 1-2, 2011 Contact Person: Alastair Butler Contact Email : lenls8(a)easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (JST/Tohoku University) Invited Speaker(s): Frank Veltman (University of Amsterdam) Kentaro Inui (Tohoku University) Information on Takamatsu: http://www.takamatsu.or.jp/eng/ http://www.city.takamatsu.kagawa.jp/english/access/ http://www.my-kagawa.jp/eg/ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI). Call For Papers We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game- and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future. Submissions: Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls8 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI2011 selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Important dates: Abstract submission deadline : August 31, 2011 Notification of acceptance : September 30, 2011 Deadline for camera-ready copy : October 15, 2011 Deadline for onsite registration : November 12, 2011 LENLS8 : December 01-02, 2011 Organizing Committee: Alastair Butler (Chair) Daisuke Bekki Eric McCready Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Shunsuke Yatabe Kei Yoshimoto Contact: lenls8 [[at]] easychair.org

1 0

【講演募集】 RIMS 研究集会 ( 集合論分野 ) について
by FUJITA Hiroshi 28 Jul '11

28 Jul '11

みなさま、集合論分野のRIMS研究集会(10/19〜21, 京大RIMS)の案内を再度お送りします。今回、特にお知らせしたいのは次の４点です。 (1) 講演募集をいったん８月末で締め切らせていただきますので、現時点でタイトル未定でも結構ですのでぜひご連絡ください。 (2) 大学院生・求職中の方で旅費の補助を必要とされる方は御一報ください。講演をなさる方を優先します。また、予算が限られているため、ご希望に添えない場合もあります。 (3) 今年は原則として、国内からの一般参加者の宿の手配を、世話人は引受けません。今年は親鸞聖人の大遠忌にあたり、9月〜11月にかけて浄土真宗の多数の寺院で法要がおこなわれます。この時期京都を訪れる人が普段より多くなることが予想されますので、お早めに宿の手配をなさることをお勧めします。 (4) 海外からのゲストに Shashi Mohan Srivastava さんと妻の H. Sarbadhikariさん、それに Andrew Brooke-Taylor さんが加わりました。 ======= 以下は、前回のおしらせとほぼ共通の内容になっています ======= 今年度の集合論分野のRIMS研究集会は、「記述集合論の展望」 (Aspects of Descriptive Set Theory) という表題のもと、日時: 2011年10月19日(水) 9:00 より同21日(金) 17:00 まで会場: 京都大学数理解析研究所 420号室にて開催される運びとなっております。(ただし、開始終了の時刻は暫定的なものです) ◆◆ ゲストスピーカー (Updated!!) ◆◆ 今回は Sławomir Solecki さん (University of Illinois at Urbana-Champaign, USA) Stefan Geschke さん (Hausdorff Research Center, University of Bonn, Germany) に Mini-Course をお引受けいただいております。また、 Tamás Mátrai さん (Hungary) (招待講演) Shashi Srivastava さん (Indian Statistical Institute, India) Joan Bagaria さん (Institució Catalana de Recerca i Estudis Avançats, Spain) Dilip Raghavan さん (JSPS Fellow, 神戸大学) Andrew Brooke-Taylor さん (JSPS Fellow, 神戸大学) といった方々から参加の意思表示をいただいています。 ◆◆ 講演募集 ◆◆ 広い意味で記述集合論に関連する諸分野 (実数の集合論, 内部モデル, 強制法, 巨大基数公理, 集合論的実解析学, など) の講演を募ります. 講演していただける方は、お名前と所属と職名 (それぞれ英語表記も) 講演タイトル (ひとまず未定でも結構です) を, 8月中を目処に藤田博司 (愛媛大学理学部) 電子メール: fujita.hiroshi.mh(a)ehime-u.ac.jp までお知らせください. タイトル未定の場合, どんな分野の話になりそうか大まかにでもお伝えくだされば, プログラム編成上助かります. ◆◆ Webサイト ◆◆ この研究集会の情報を発信するWebサイトを作ります http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.ja.html (日本語) http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html (英語) をご覧ください。英語版ページには短縮URL http://ehimath.zz.tc/sets2011 もご用意しました。随時更新してまいりますのでご覧ください。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学理学部数学科

1 0

数学基礎論サマースクールのHPのURLの変更
by Hirotaka Kikyo 28 Jul '11

28 Jul '11

各位数学基礎論サマースクール2011の世話人の一人である神戸大学の桔梗です。この集会のホームページのあるサーバーが調子が悪くなりましたので、URLを次のように変更させていただきたいと思います。 http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ いろいろとご不便をおかけして申し訳ございません。数学基礎論サマースクール2011 世話人米田、桔梗

1 0

[CFP] 情報処理学会第86回プログラミング研究会
by Kazuyuki Shudo 27 Jul '11

27 Jul '11

皆様、東工大首藤です。この場を借りて2011年度第3回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2011年度第3回研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込〆切は9月2日(投稿〆切は10月1日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第86回プログラミング研究会(PRO-2011-3)発表募集日程：　2011年 11月 1日(火)・2日(水) 会場：神奈川近代文学館〒231-0862 横浜市中区山手町110 港の見える丘公園内 http://www.kanabun.or.jp/ 発表申込締切: 2011年 9月 2日(金) 投稿論文原稿提出締切: 2011年 10月 1日(金) 申込先：首藤一幸（東京工業大学）　E-mail: ipsj-pro86 [at] shudo.net 　Tel/Fax: 03-5734-3211 案内ページ: http://www.shudo.net/sigpro/2011-3/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい．

1 0

セミナーのお知らせ
by SAKAI Hiroshi 27 Jul '11

27 Jul '11

皆様：神戸大学の酒井拓史と申します． 7月28日(木)に神戸大学で開かれるセミナーのお知らせをさせていただきます：日時： 7月28日(木) 午後3時〜場所：神戸大学自然科学総合研究棟3号館4階 421号室 (プレゼンテーション室) http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 講演者： David Aspero (Univ. Nacional de Colombia) タイトル： Measuring closed sets of countable ordinals together with CH 急なお知らせになってしまい申し訳ありませんが，ご興味のある方は是非ご参加ください． (ご参加を希望される方は，酒井までご連絡いただけると助かります．) よろしくお願いします． ------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -------------------------------------

1 0

数学基礎論若手の会 2011 (1st announcement)
by SAKAI Hiroshi 27 Jul '11

27 Jul '11

皆様：神戸大学の酒井拓史と申します．今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 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 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 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

セミナーのお知らせ
by Hiroakira Ono 25 Jul '11

25 Jul '11

　　　　　　　　セミナーの開催について来る８月４日（木）に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催によるセミナーを開催します。　　　　　　　　　　　　　　　　記　１．日　　時　平成２３年８月４日（木）１５：００〜１６：３０　２．場　　所　北陸先端科学技術大学院大学　　　　　　　　　　　　知識科学研究科講義棟２階　Ｋ３・４講義室　３．講演題目　Polynomial Time Computation on Sets http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/35 　４．講演者　Prof. Arnold Beckmann 　　　　 Swansee University ５．担当教員　先端融合領域研究院　プライニングノルベルト

1 0

Talk by Kohei Suenaga, Thursday next week (2011.07.21 11:00-)
by Shinya Katsumata 15 Jul '11

15 Jul '11

京都大学数理解析研究所の勝股です。来週7月21日木曜午前11時から、京都大学の末永幸平さんに以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Speaker: Kohei Suenaga JSPS Research Fellow (PD), Kyoto University Title: Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling (Joint work with Ichiro Hasuo) Date and time: 11:00-12:00, 21 Jul, 2011 Place: Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan), Kyoto university http://www.kyoto-u.ac.jp/en/access/campus/main.htm 京都大学総合研究2号館 4階 478 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: We add, to the common combination of a WHILE-language and a Hoare-style program logic, a constant dt that represents an infinitesimal (i.e. infinitely small) value. The outcome is a framework for modeling and verification of hybrid systems: hybrid systems exhibit both continuous and discrete dynamics and getting them right is a pressing challenge.We rigorously define the semantics of programs in the language of nonstandard analysis, on the basis of which the program logic is shown to be sound and relatively complete.

1 0

The 52nd ToPS [Aug 3]
by Kazuyuki ASADA 14 Jul '11

14 Jul '11

[Apologies for multiple copies] I am pleased to announce the 52nd Tokyo Programming Seminar, which will be held at NII on August 3 (Wed). Janis Voigtlander from University of Bonn will give a talk about quantitative free theorems for reasoning runtime efficiency, and Zhenjiang Hu from National Institute of Informatics will give a talk about backward transformation determinization for bidirectional transformation. The programme is attached below. I'm looking forward to meeting you at ToPS. Best regards, Kazuyuki Asada ---- The 52nd ToPS http://www.ipl.t.u-tokyo.ac.jp/~tops/upcoming_seminar.html Time: August 3rd (Wed) 2011, 15:00--17:00 Place: Rm. 1208, 12F, National Institute of Informatics Speaker: 1. Janis Voigtländer (Institute for Computer Science, University of Bonn) Type-Based Reasoning about Efficiency Abstract: Phil Wadler (1989) showed how to use John Reynolds' (1983) concept of relational parametricity to derive statements about programs in a purely functional language just from their (polymorphic) types. Such statements have found applications as so-called "free theorems". Traditionally, they have had an extensional flavor only: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. We present an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. Extending the underlying theory (of relational parametricity) is one thing, finding effective ways to do the actual deriving of concrete free theorems (by symbolic manipulations) is quite another, and more challenging here than in the standard/extensional cases. 2. Zhenjiang Hu (National Institute of Informatics) Determinization of Backward Transformation Abstract: Bidirectionalization is an automatic program transformation that derives a backward transformation from a given forward transformation. In general, more than one backard transformations exist and the problem is how to choose the "best" backward transformation that not only satisfies the roundtrip property but also meets the user's intention. I would like to discuss the importance of backward transformation determinization and explain some possible solutions.

1 0

東北大学ロジックセミナー（7/22）
by higurashi3873＠yahoo.co.jp 13 Jul '11

13 Jul '11

皆様，東北大学の堀畑佳宏です．下記の日程でロジックセミナーを行いますので，興味のある方はぜひご参加ください．日時： 7月22日(金)，16時から場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者： Antonina Kolokolova (Memorial University of Newfoundland, Canada) タイトル： Expressing versus Proving: Relating Forms of Complexity in Logic アブストラクト： The program of Bounded Reverse Mathematics studies computational complexity of concepts needed to prove theorems. But what does it mean to have a theorem provable with, for example, polynomial-time concepts, or non-deterministic logspace concepts? This talk presents a framework for defining theories of (bounded) arithmetic corresponding precisely to feasible complexity classes. In particular, I will talk about building theories of bounded arithmetic based on logics (in finite model theory sense) of known descriptive complexity. セミナーの詳細につきましては，下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 堀畑　佳宏 -- -- 東北大学大学院　理学研究科数学専攻　博士後期課程三年 E-mail: sa6m31(a)math.tohoku.ac.jp E-mail: higurashi3873(a)yahoo.co.jp

1 0

workshop on categories, logic and computation (28 July 2011, Kyoto)
by Hasegawa Masahito 12 Jul '11

12 Jul '11

$B3'MM!"(B $B5~Bg$ND9C+@n$H?=$7$^$9!#(B Robin Cockett$B65<x(B(University of Calgary)$B$NMhF|$r4|$K!"0J2<$N$h$&$J0lF|(B $B$@$1$N%o!<%/%7%g%C%W$r3+:E$7$^$9!#(BCockett$B65<x$O%W%m%0%i%_%s%08@8l(B Charity$B$N3+H/$d@~7AO@M}$N7wO@E*$J%b%G%k$N8&5f$J$I$GCN$i$l$F$*$j!":#2s(B $B$N%o!<%/%7%g%C%W$b!"7wO@$H$=$N7W;;5!2J3X$X$N1~MQ$K4X$9$k9V1i$,Cf?4$H(B $B$J$kM=Dj$G$9!#(B ==== Workshop on Categories, Logic and Computation 28 July 2011, Research Institute for Mathematical Sciences, Kyoto University Venue: Room 478, General Research Building No.2, Kyoto University Programme (Tentative) 09:55-10:00 Opening 10:00-10:40 Naohiko Hoshino (Kyoto University) A Modified GoI Interpretation for A Linear Functional Programming Language and Its Adequacy 11:00-11:40 Craig Pastro (Kyushu University) TBA (lunch break) 13:30-14:30 Robin Cockett (University of Calgary) Differential Categories 15:00-15:40 Masahiro Hamano (JST) A Polarized Int Construction 16:00-16:40 Shin-ya Katsumata (Kyoto University) TBA 17:00-17:40 Ryu Hasegawa (University of Tokyo) A Categorical Reduction System and Its Properties 17:40-17:45 Closing (dinner) ==== $B$3$N%W%m%0%i%`$O;CDjE*$J$b$N$G$"$j!":#8e99?7$5$l$k2DG=@-$,$"$j$^$9!#(B $B:G?7$N>pJs$K$D$$$F$O!"%&%'%V%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/~hassei/CatLogComp20110728.html $B$r$4Mw$/$@$5$$!#(B $B%o!<%/%7%g%C%W$N%F!<%^$K4X?4$r$*;}$A$NJ}$N$4;22C$r$*BT$A$7$F$*$j$^$9!#(B $B$J$*!"2q>l$N=`Hw$NET9g>e!";22C$5$l$kJ}$O!"%*!<%,%J%$%6!<!JD9C+@n(B <hassei(a)kurims.kyoto-u.ac.jp>$B!K$^$G$4O"MmD:$1$^$9$H9,$$$G$9!#$=$N(B $BB>!"$3$N%o!<%/%7%g%C%W$K4X$9$k$*Ld$$9g$o$;$bD9C+@n$^$G$*4j$$CW$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B

1 0

証明論研究集会のご案内
by Suzuki Toshio 11 Jul '11

11 Jul '11

証明論研究集会のご案内皆様首都大学東京の鈴木登志雄です。さて、恒例の証明論研究集会を以下のように開催することになりました。メーリングリストへの投稿に先立ってお知らせします。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中ホールアクセス：京王相模原線南大沢駅、徒歩10分新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗り、調布で京王相模原線急行・橋本行に乗り換え）。 http://www.tmu.ac.jp/university/campus_guide/access.html ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki(a)tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると助かります。宛先は上記と同じです。それでは、よろしくお願いいたします。関連する最近の集会： Feb. 2011, Workshop on Proof Theory and Computability Theory http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ Sep. 2010, Formal Systems and Computality Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集
by 西澤弘毅 07 Jul '11

07 Jul '11

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと参加・講演の募集をさせていただきます。 ************************************************************* * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）午後〜24日（水） * * 東京大学　柏キャンパス（千葉県柏市） * * * * 開催のお知らせと参加・講演の募集 * ************************************************************* < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十二回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。初日の23日は午後から開催いたします。最終日24日の午後まで開催するかどうかは、講演の数によります。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を furusawa(a)sci.kagoshima-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは東京大学の松野裕さんにお願いしています． ------------------------------------------------- -- 西澤弘毅鳥取環境大学環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

論理学セミナー情報(7月9日, 名古屋大学)
by Takahumi Saikawa 06 Jul '11

06 Jul '11

皆様今週末土曜の9日、名古屋大学多元数理科学研究科で、産総研の矢田部俊介さんをお招きしてのセミナーを下記のとおり開催します。ご参加をお待ちします。才川隆文 (m09018f(a)math.nagoya-u.ac.jp) 多元数理科学研究科 ---- 発表者：矢田部俊介 (産業技術総合研究所) タイトル: ヤブローのパラドックスと自己言及性日時：7月9日(土) 13:00から場所: 名古屋大学東山キャンパス理1号館 1階109号室要旨: 　嘘つきのパラドックスやラッセルのパラドックスをはじめ, 真理や素朴集合論に関わる多くのパラドックスは, 自己言及性（「この文はウソである」）を原因に持つ. そのため, 自己言及性こそ矛盾の原因であると思われやすい. しかし, 真理に関し, 一見自己言及的ではないにも関わらず, （体系がω矛盾でない場合は）矛盾を導くパラドックスが存在する. その代表例がヤブローのパラドックスである. 　ヤブローのパラドックスでは, 直接的な自己言及性の代わりに, 無限的に自己言及的な機構を使用しており, ω矛盾性（自然数が超準数を含む）と密接な関係がある. 　本講演では, ヤブローのパラドックスに関する論争の歴史を紹介し, またω矛盾性との関係について説明する.

1 0

大阪府立大学情報数理談話会（7月20日水曜日/渕野昌先生）
by Masaru Kada 04 Jul '11

04 Jul '11

logic-ml のみなさま：大阪府立大学嘉田です．下記の通り，大阪府立大学理学部情報数理科学科にて，渕野昌先生（神戸大学）を講師にお招きして談話会を実施いたしますので，ご案内申し上げます．学外からのご参加も歓迎です．お近くの方はお気軽にお越しください． ======== 第40回大阪府立大学情報数理談話会講演題目：平面単位距離グラフの彩色について講師：渕野昌（神戸大学システム情報学研究科）日時：2011年7月20日（水） 17：00〜18：00 （16:45 から会場で茶菓を用意しています）場所：大阪府立大学中百舌鳥キャンパス A14棟322教室講演概要は http://www.mi.s.osakafu-u.ac.jp/lec-meeting/col40.html でご覧いただけます． ======== 情報数理談話会ウェブページ http://www.mi.s.osakafu-u.ac.jp/lec-meeting/ 交通案内・キャンパスマップ http://www.osakafu-u.ac.jp/access/index.html お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2nd Call for Participation: 12th Meeting on Mathematics of Language
by Makoto Kanazawa 04 Jul '11

04 Jul '11

*** EARLY-BIRD REGISTRATION DEADLINE EXTENDED *** CALL FOR PARTICIPATION (early-bird registration deadline: July 8, 2011) 12th Meeting on Mathematics of Language Nara, Japan, September 6-8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers Kit Fine, New York University Andreas Maletti, University of Stuttgart Program available at http://sites.google.com/site/mol12nara/program Contact: mol12(a)googlegroups.com

1 0

CFP: AiML 2012
by Thomas Bolander 02 Jul '11

02 Jul '11

AiML-2012: FIRST CALL FOR PAPERS 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012 Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + model generation + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + modal logics over non-boolean bases + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + substructural logics + computationally light fragments of all such logics Papers on related subjects will also be considered. INVITED SPEAKERS: TO BE ANNOUNCED PAPER SUBMISSIONS There will be two types of submissions to AiML-2012 (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2012 (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2012 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTex, using a style file and template that will be provided on the AiML'2012 website hylocore.ruc.dk/aiml2012. (2) ABSTRACTS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. At least one author of each accepted paper or abstract must register for, and attend, the conference to present his or her work. SPECIAL SESSION ON HYBRID LOGIC Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. Papers for this session should be submitted the same way as others. PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Universita' di Bologna, Italy) Giovanna D'Agostino (Universita' di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schroeder (DFKI GmbH and University of Bremen, Germany) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Universita' degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES Full papers submission deadline: 16 March 2012 Full papers acceptance notification: 18 May 2012 Short presentations (abstracts) submission deadline: 1 June, 2012 Short presentations acceptance notification: 7 June, 2012 Final version of full papers and abstracts due: 15 June 2012 Conference: 22-25 August, 2012. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference center in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels.

1 0

RIMS 研究集会「記述集合論の展望」 (10/19 〜 21) のご案内
by FUJITA Hiroshi 01 Jul '11

01 Jul '11

みなさま、集合論分野のRIMS研究集会は毎年10月ごろに京都大学数理解析研究所で開催されております。今年度は、僭越ながらわたくし藤田(愛媛大学理学部)が世話人を仰せつかっております。さて、今年度の集合論分野のRIMS研究集会は、「記述集合論の展望」 (Aspects of Descriptive Set Theory) という表題のもと、日時: 2011年10月19日(水) 9:00 より同21日(金) 17:00 まで会場: 京都大学数理解析研究所 420号室にて開催される運びとなっております。(ただし、開始終了の時刻は暫定的なものです) ◆◆ ゲストスピーカー ◆◆ 今回は Sławomir Solecki さん (University of Illinois at Urbana-Champaign, USA) Stefan Geschke さん (Hausdorff Research Center, University of Bonn, Germany) に Mini-Course をお引受けいただいております。また、 Tamás Mátrai さん (MSCI Corp., Hungary) (招待講演) Joan Bagaria さん (Institució Catalana de Recerca i Estudis Avançats, Spain) Dilip Raghavan さん (University of Toronto, Canada) といった方々の参加を見込んでおります。 ◆◆ 講演募集 ◆◆ 広い意味で記述集合論に関連する諸分野 (実数の集合論, 内部モデル, 強制法, 巨大基数公理, 集合論的実解析学, など) の講演を募ります. 講演していただける方は、お名前と所属と職名 (それぞれ英語表記も) 講演タイトル (ひとまず未定でも結構です) を, 8月中を目処に藤田博司 (愛媛大学理学部) 電子メール: fujita.hiroshi.mh(a)ehime-u.ac.jp までお知らせください. タイトル未定の場合, どんな分野の話になりそうか大まかにでもお伝えくだされば, プログラム編成上助かります. ◆◆ Webサイト ◆◆ この研究集会の情報を発信するWebサイトを作ります http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.ja.html (日本語) http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html (英語) をご覧ください。英語版ページには短縮URL http://ehimath.zz.tc/sets2011 もご用意しました。随時更新してまいりますのでご覧ください。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学理学部数学科

1 0

First CFP of AiML2012
by Hiroakira Ono 01 Jul '11

01 Jul '11

皆様 2012年8月にコペンハーゲンで開催される AiML 2012 の First Call for Papers を添付します。小野寛晰

1 0

Masahiko Sato
by hotori-347＠krc.biglobe.ne.jp 01 Jul '11

01 Jul '11

1 0

CFP: PEPM 2012
by Kohei SUENAGA 30 Jun '11

30 Jun '11

皆様、（重複して受け取られた場合はどうぞご容赦ください。）京都大学の末永幸平と申します。来年の1月23〜24日にPOPL'12と併設で開催される PEPM'12のCFPをお送りいたします。論文投稿の締切は今年の10月10日です。レギュラー論文の他にツールのデモや萌芽的な話題のためのショート論文も受け付けております。どうぞ投稿をご検討ください。末永幸平 ksuenaga(a)sato.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------------------------------------------------- ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12) Call For Papers http://www.program-transformation.org/PEPM12 The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of principled 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. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'12. The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. 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: Mon, October 10, 2011, 23:59, GMT - Author notification: Tue, November 8, 2011 - Workshop: Mon-Tue, January 23-24, 2012 Invited Speakers TBD 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 Labs) - 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

please send me my name
by masahiko＠sato.kuis.kyoto-u.ac.jp 28 Jun '11

28 Jun '11

I am sorry, but your mail is being kept in a temporary space and not yet delivered to me, because your mail address is not in my Address Book. Please send me a blank mail with a header line that reads: Subject: xxxxxxxx xxxx where xxxxxxxx is my given name and xxxx is my family name. Your mail will then be delivered to me. Thank you very much for your understanding.

1 0

2011LLS
by Toshihiko Kurata 27 Jun '11

27 Jun '11

kisoron-ml，logic-mlの皆様，夏休み期間に「ラムダと論理の研究会」が計画されています．詳しい情報は http://www.i.hosei.ac.jp/~kurata/2011LLS/ にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場というよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個人やグループで柔軟に計画してもらうようになっています．（こうした形式のセミナーは主に海外で行われているらしく，それを取り入れた古森先生の研究室の下で継続的に実施されています．）特に今年の夏は節電の影響で大学では仕事がはかどりそうにないという方も多いと思われます．草津のセミナーで仕事を進め節電にも貢献する計画などされては如何でしょうか？ ---- Toshihiko Kurata, Hosei University e-mail kurata(a)hosei.ac.jp ---------------------------------------------------------------------- 日時：　2011年8月28日(金)午後5時から9月1日(火)正午まで場所：　国立大学草津セミナーハウス参加申込：　倉田（法政大学）が窓口となっています．講演や参加を希望されます方は8月15日までに以下の項目を kurata(a)hosei.ac.jp までメイル下さい．会議室確保の都合がありまして，参加のみ希望されます方も予め御連絡頂けますと幸いです． -------------------------- 参加申込 -------------------------- 氏名：所属：連絡先 (e-mail): 参加期間：講演希望：有・無題目：希望時間：その他： -------------------------------------------------------------- また，セミナーに参加される方の中でセミナーハウスでの宿泊を希望される方は7月7日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい．宿泊定員の関係でこちらの締切は早くなっています．他の情報は後から送って頂いて構いませんので，よろしくお願いいたします． ------------------- セミナーハウス宿泊申込 ------------------- セミナーハウスの宿泊の申込をします。部屋タイプの希望（教員は選択可，学生は学生部屋となります）：　　　　教員用, 学生用, どちらでもよい宿泊・食事の希望（希望しない部分を消去して下さい）：　　　　２８日　　夕食　宿泊　　　　２９日　　朝食　夕食　宿泊　　　　３０日　　朝食　夕食　宿泊　　　　３１日　　朝食　夕食　宿泊　　　　　１日　　朝食 --------------------------------------------------------------

1 0

Prof. Sy David Friedman's talk on June 30.
by Sakae Fuchino 25 Jun '11

25 Jun '11

渕野昌＠神戸大学システム情報学研究科というものです．以下の講演を御案内いたします． ------------------------------------------------------------------------------ 2011年 6月30日（木）に開催される神戸大学統合研究拠点設置記念・システム情報学研究科1周年合同シンポジウム http://kurt.scitec.kobe-u.ac.jp/~fuchino/misc/flier-11-05-20.pdf において，ウィーン大学 Kurt Goedel Research Center 所長 Prof. Sy David Friedman が "Mathematical Logic and its Role in Computer Science and Mathematics" という題の（一般向けの）講演をされます．日時: 2011年 6月30日（木）15:10 -- 16:10 場所: 神戸ポートピアホテル南舘1階（大輪田） ------------------------------------------------------------------------------ お時間のある方はぜひいらしてください． -- 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/ My mail surver in Tokyo (to which all the emails to the address above are forwarded) does not run properly at the moment in connection with the aftermath of the earthquake on March 11, 2011. To be sure please send your email not only to the email address above but also to: sakae.fuchino(a)gmail.com -------------------------------------------------------------------------

1 0

TACL 2011 : Call for participation
by Luigi Santocanale 20 Jun '11

20 Jun '11

=============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) Call for participation =============================================================================== July 26-30, 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Latest informations ------------------- * Program. The complete list of talks, including a short abstract, is available at the url http://www.lif.univ-mrs.fr/tacl2011/talks * Registration site. You can register to the conference through the url http://www.lif.univ-mrs.fr/tacl2011/registration * Early registration deadline: July 1, 2011. Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited speakers ---------------- * Steve Awodey, Carnegie Mellon University * Lev Beklemishev, Steklov Mathematical Institute Moscow * David Gabelaia, Tbilisi Razmadze Mathematical Institute * Nikolaos Galatos, University of Denver * Pierre Gillibert, Charles University Prague * Jean Goubault-Larrecq, ENS Cachan, CNRS, INRIA * Rosalie Iemhoff, Utrecht University * Mamuka Jibladze, Tbilisi Razmadze Mathematical Institute * Vincenzo Marra, UniversitÃ degli Studi di Milano * Thomas Streicher, Technical University Darmstadt Esakia session -------------- The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). In Leo's honour there will be a special session during the conference; three of the invited speakers will be giving their talk in this session: Lev Beklemishev, David Gabelaia, and Mamuka Jibladze. In addition, a memorial talk on the life and work of Leo Esakia will delivered by the chair of this session, Guram Bezhanishvili. Important dates --------------- July 1,2011: Early registration deadline July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universitat Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr =============================================================================== -- Luigi Santocanale LIF/CMI Marseille Tél: 04 13 55 13 08 http://www.cmi.univ-mrs.fr/~lsantoca/ Fax: 04 13 55 13 02

1 0

CfP: Non-classical Modal and Predicate Logics, Guangzhou, December 2011
by info＠mathfuzzlog.org 15 Jun '11

15 Jun '11

(Apologies for multiple copies) Call for papers *** Non-classical Modal and Predicate Logics *** Guangzhou (Canton), China, 5-9 December 2011 http://logic.sysu.edu.cn/ncmpl2011 Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedictated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Topics of interest: * The study of first- or higher-order variants of non-classical logics, including, but not limited to: - Predicate intuitionistic and superintuitionistic logics - Predicate modal logics - Predicate substructural logics - Predicate many-valued and partial logics - Predicate paraconsistent logics - Predicate non-monotonic logics, etc. * Non-classical theories of quantification over classical logic, such as: - Free logics - Branching quantifiers and IF-logic - Generalized quantifiers * Extensions by modalities of (propositional or predicate) non-classical logics, including: - Modal extensions of (super)intuitionistic, substructural, many-valued, paraconsistent, non-monotonic, etc., logics - Co-algebraic treatment of modalities We accept both purely theoretical works on the above logics coming from all branches of mathematical logic (proof-theory, model theory, game theory, computational complexity, etc.), as well as their application in the foundation of mathematics (non-classical mathematics), computer science, linguistics, philosophy, etc. Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, propositional quantification, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified). == Invited speakers == Gabriel Sandu Hiroakira Ono Mingsheng Ying Rob Goldblatt Valentin Shehtman Xuefeng Wen == Conference chairs == Shier Ju Petr Cintula == Program committee == Steve Awodey Libor Behounek Itala M.L. D'Ottaviano Rosalie Iemhoff Hu Liu Michael Rathjen Greg Restall Yde Venema == Organizing committee == Yuping Shen (chair) == Contacts == Web: http://logic.sysu.edu.cn/ncmpl2011 Email: ncmpl2011(a)easychair.org == Conference fee == Foreign participants: 150 EUR Chinese participants: 1000 RMB Chinese students: 200 RMB The conference fee covers accommodation and all meals during the conference, coffee breaks, social program, and conference materials. == Submissions == Extended abstracts of 3-5 pages should be submitted via the EasyChair web interface, see http://logic.sysu.edu.cn/ncmpl2011 == Important dates == Deadline for abstracts: 1 September 2011 Notification of acceptance: 20 September 2011 Conference: 5-9 December 2011 Shier Ju and Petr Cintula Conference chairs

1 0

FSFLA 2011: 1st announcement
by "Carlos Martín Vide" 12 Jun '11

12 Jun '11

********************************************************************* 2011 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS FSFLA 2011 (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain October 31 – November 4, 2011 Organized by: Research Group on Mathematical Linguistics Rovira i Virgili University http://grammars.grlmc.com/fsfla2011/ ********************************************************************* ADDRESSED TO: Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. There will be no overlap in the schedule of the courses. The previous event was SSFLA 2011 (http://grammars.grlmc.com/ssfla2011/). COURSES AND PROFESSORS: - Franz Baader (Technische Dresden), Reasoning in Description Logics [intermediate, 6 hours] - Manfred Droste (Leipzig), Weighted Automata and Weighted Logic [introductory/advanced, 8 hours] - Max H. Garzon (Memphis), DNA Codeword Design and DNA Languages [introductory/intermediate, 10 hours] - Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate Constraint Satisfaction [intermediate, 6 hours] - Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by the Incompressibility Method [intermediate, 6 hours] - Michael Moortgat (Utrecht), Type-logical Grammars: Expressivity, Parsing Complexity [introductory/advanced, 8 hours] - Helmut Seidl (Technische München), Macro Treetransducers for XML Processing [intermediate, 6 hours] - Alan Selman (Buffalo), Probabilistic Complexity Classes [intermediate, 10 hours] - Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and Enumeration [intermediate, 6 hours] SCHOOL PAPER: On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff. REGISTRATION: It has to be done on line at http://grammars.grlmc.com/fsfla2011/Registration.php FEES: They are variable, depending on the number of courses each student takes. The rule is: 1 hour = - 10 euros (for payments until July 31, 2011), - 15 euros (for payments after July 31, 2011). The fees must be paid to the School's bank account: Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; address: Av. Catalunya, 35, 43002 Tarragona, Spain) Please mention FSFLA 2011 and your full name in the subject. A receipt will be provided on site. Bank transfers should not involve any expense for the School. For early reduced rates, please notice that the date that counts is the date of the arrival of the fees to the School’s account. People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to complete the registration and the payment earlier. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATES: Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the completion of the task, independently on whether the paper will finally get published or not. IMPORTANT DATES: Announcement of the programme: June 4, 2011 Starting of the registration: June 4, 2011 Early registration deadline: July 31, 2011 Starting of the School: October 31, 2011 End of the School: November 4, 2011 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu(a)urv.cat WEBSITE: http://grammars.grlmc.com/fsfla2011/ POSTAL ADDRESS: FSFLA 2011 Research Group on Mathematical Linguistics Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Diputació de Tarragona Universitat Rovira i Virgili

1 0

The 51th ToPS [June 21]
by Kazuyuki ASADA 11 Jun '11

11 Jun '11

[Apologies for multiple copies] I am pleased to announce the 51th Tokyo Programming Seminar, which will be held at NII on June 21 (Tue). Shin-ya Katsumata from Kyoto University will give a talk about a categorical approach to attribute grammars and Kazuyuki Asada from National Institute of Informatics will give a talk about bialgebraic semantics for multi-rooted graph algebra. The programme is attached below. I'm looking forward to meeting you at ToPS. Best regards, Kazuyuki Asada ---- The 51th ToPS http://www.ipl.t.u-tokyo.ac.jp/~tops/upcoming_seminar.html Time: June 21th (Tue) 2011, 15:00--17:00 Place: Rm. 1208, 12F, National Institute of Informatics Speaker: (1) Kazuyuki Asada (National Institute of Informatics) Title: Many-sorted Bialgebraic Semantics for a Multi-rooted Graph Algebra and a CBV Calculus Abstract: In this talk, bialgebraic semantics for the graph algebra introduced by Buneman et al. is given. The graph algebra is a graph representation for some kind of multi-rooted graph, which is the same as Kripke model. First I give a bijective correspondence between graph algebras and terms in (the first-order part of) a call-by-value calculus equipped with output, non-termination, non-determinism, and iteration operator. Then I induce an equational theory for graph algebra from the standard one for the CBV calculus including (modified) uniformity for the iteration operator. Then, after reveiwing coalgebraic semantics for Kripke model, we see that those final coalgebras form a relative monad, and the graph algebra can be formulated as many-sorted algebra. Then I give many-sorted bialgebraic semantics for the graph algebra and the graph. Time permitting, I will explain three future works: Completeness of the equational theory, full-abstractness, and generalization. (2) Shin-ya Katsumata (Kyoto University) Title: A Categorical Approach to Attribute Grammars Abstract: Attribute grammars (AGs) are a mechanism to assign computations with bidirectional information flow to trees. We introduce a categorical formulation of AGs called monoidal AGs, and demonstrate that they subsume existing formulations of AGs, such as domain-theoretic, graph-theoretic, and relational ones, and also a special class of syntactic AGs called SSUR-ACs. Using this categorical formulation, we give a syntax-free account of the descriptional composition, which is a method to fuse two term transformation algorithms described by SSUR-ACs into one.

1 0

SSLST 2011: 1st announcement
by "Carlos Martín Vide" 10 Jun '11

10 Jun '11

2011 INTERNATIONAL SUMMER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES (SSLST 2011) (formerly International PhD School in Language and Speech Technologies) Tarragona, Spain, August 29 – September 2, 2011 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/sslst2011/ ****************************************** AIM: SSLST 2011 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research. ADDRESSED TO: Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, or Philosophy) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. There will be no overlap in the schedule of the courses. COURSES AND PROFESSORS: Walter Daelemans (Antwerpen), Computational Stylometry [advanced, 4 hours] Robert Dale (Macquarie), Automated Writing Assistance: Grammar Checking and Beyond [intermediate, 8 hours] Christiane Fellbaum (Princeton), Computational Lexical Semantics [introductory/intermediate, 8 hours] Ralph Grishman (New York), Information Extraction [intermediate, 8 hours] Daniel Jurafsky (Stanford), Computational Extraction of Social and Interactional Meaning [introductory/advanced, 8 hours] Chin-Hui Lee (Georgia Tech), A Short Course on Digital Speech Processing and Applications [intermediate, 8 hours] Yuji Matsumoto (Nara), Syntax and Parsing: Phrase Structure and Dependency Parsing [introductory/intermediate, 8 hours] Diana Maynard (Sheffield), Text Mining [introductory/intermediate, 8 hours] Dan Roth (Urbana-Champaign), Predicting Structures in NLP: Constrained Conditional Models and Integer Linear Programming in NLP [intermediate/advanced, 8 hours] SCHOOL PAPER: On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff. REGISTRATION: It has to be done on line at http://grammars.grlmc.com/sslst2011/Registration.php FEES: They are variable, depending on the number of courses each student takes. The rule is: 1 hour = - 10 euros (for payments until June 5, 2011), - 15 euros (for payments after June 5, 2011). The fees must be paid to the School's bank account: Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC) Please mention SSLST 2011 and your full name in the subject. An invoice will be provided on site. Bank transfers should not involve any expense for the School. People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is recommended to complete the registration and the payment earlier. ACCOMMODATION: Information about accommodation will be provided on the website of the School. CERTIFICATES: Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the end of the task, independently on whether the paper will finally get published or not. IMPORTANT DATES: Announcement of the programme: April 21, 2011 Starting of the registration: April 25, 2011 Early registration deadline: June 5, 2011 Starting of the School: August 29, 2011 End of the School: September 2, 2011 QUESTIONS AND FURTHER INFORMATION: Florentina-Lilica Voicu: florentinalilica.voicu(a)urv.cat WEBSITE: http://grammars.grlmc.com/sslst2011/ POSTAL ADDRESS: SSLST 2011 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386

1 0

Call for Participation: 12th Meeting on Mathematics of Language
by Makoto Kanazawa 10 Jun '11

10 Jun '11

*** REGISTRATION OPEN *** CALL FOR PARTICIPATION (early-bird registration deadline: July 1, 2011) 12th Meeting on Mathematics of Language Nara, Japan, September 6-8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers Kit Fine, New York University Andreas Maletti, University of Stuttgart Program available at http://sites.google.com/site/mol12nara/program Contact: mol12(a)googlegroups.com

1 0

数学基礎論サマースクールのご案内
by Ikuo Yoneda 06 Jun '11

06 Jun '11

【数学基礎論メーリングリスト加入の皆様へ】今夏は神戸大学において「モデル理論」をテーマにサマースクール開校となりました。よろしくお願い申し上げます。日程：平成２３年８月２９日（月）１３：３０〜８月３１日（水）１２：１０ＨＰ： http://kurt.scitec.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ チュートリアルが沢山ございます。幅広い，ご参加，お待ちしております。連絡係米田郁生（徳山高専）

1 0

CFP: SAC 2012 track on Service Oriented Architectures and Programming (SOAP)
by Koji Hasebe 03 Jun '11

03 Jun '11

（重複して受け取られた場合はご容赦下さい。）来年3月にTrentoにて開催されるACM SACのトラック"Service Oriented Architectures and Programming (SOAP)"のCFPをお送り致します。多数の投稿をお待ちしております。長谷部浩二＠筑波大学コンピュータサイエンス専攻 ============================================== Call for Papers 27th Annual ACM Symposium on Applied Computing (SAC) http://www.acm.org/conferences/sac/sac2012/ Track on Service-Oriented Architectures and Programming (SOAP) Riva del Garda (Trento), Italy March 25-29, 2012 http://www.itu.dk/acmsac2012-soap/ ============================================== ACM SAC 2012 For the past twenty-seven years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2012 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by The Microsoft Research - University of Trento Centre for Computational and Systems Biology, Trento, Italy. SOAP TRACK: CALL FOR PAPERS Service-Oriented Programming (SOP) is quickly changing our vision of the Web, bringing a paradigmatic shift in the methodologies followed by programmers when designing and implementing distributed systems. Originally, the Web was mainly seen as a means of presenting information to a wide spectrum of people, but SOP is triggering a radical transformation of the Web towards a computational fabric where loosely coupled services interact publishing their interfaces inside dedicated repositories, where they can be discovered by other services and then invoked, abstracting from their actual implementation. Research on SOP is giving strong impetus to the development of new technologies and tools for creating and deploying distributed software. In the context of this modern paradigm we have to cope with an old challenge, like in the early days of Object-Oriented Programming when, until key features like encapsulation, inheritance, and polymorphism, and proper design methodologies were defined, consistency in the programming model definition was not achieved. The complex scenario of SOP needs to be clarified on many aspects, both from the engineering and from the foundational points of view. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, e.g. BPMN, are used. At the composition level, although WS-BPEL is a de-facto industrial standard, other approaches are appearing, and both the orchestration and choreography views have their supporters. At the description and discovery level there are two separate communities pushing respectively the semantic approach (ontologies, OWL, ...) and the syntactic one (WSDL, ...). In particular, the role of discovery engines and protocols is not clear. In this respect we still lack adopted standards: UDDI looked to be a good candidate, but it is no longer pushed by the main corporations, and its wide adoption seems difficult. Furthermore, a new different implementation platform, the so-called REST services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. From the foundational point of view, formalists have discussed widely in the last years, and many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However most of these approaches concentrate only on a few features of Service-Oriented Systems in isolation, and a comprehensive approach is still far from being achieved. The Service-Oriented Architectures and Programming track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal. Major topics of interest will include: - Formal methods for specification of Web Services - Notations and models for Service Oriented Computing - Methodologies and tools for Service Oriented application design - Service Oriented Middlewares - Service Oriented Programming languages - Test methodologies for Service Oriented applications - Analysis techniques and tools - Service systems performance analysis - Industrial deployment of tools and methodologies - Standards for Service Oriented Programming - Service application case studies - Dependability and Web Services - Quality of Service - Security issues in Service Oriented Computing - Comparisons between different approaches to Services - Exception handling in composition languages - Trust and Web Services - Sustainability and Web Services, Green Computing - Adaptable Web Services - Software Product Lines for Services - Artificial Intelligence Techniques for Service-Oriented Computing IMPORTANT DATES (strict) August 31, 2011: Paper submissions October 12, 2011: Author notification November 2, 2011: Camera-Ready Copy March 25-29, 2012: Conference SUBMISSIONS Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. Peer groups with expertise in the track focus area will double-blindly review submissions. Accepted papers will be published in the annual conference proceedings. SOAP track chairs will not submit to the track. Submissions from SOAP PC members and from PC members and track chairs of other SAC tracks are welcome. Submission guidelines can be found on SAC 2012 Website: http://www.acm.org/conferences/sac/sac2012/ Prospective papers should be submitted to the track using the provided automated submission system. Please pay attention to ensure anonimity of your submitted manuscript as detailed in the submission page so to allow for double-blind review. Papers not satisfying this constraint will be automatically rejected. The maximum length for papers is 8 pages. Accepted papers whose camera-ready version will exceed 6 pages will have to pay an extra charge. PC MEMBERS Faycal Abouzaid, University of Montreal (Canada) Maurice ter Beek, ISTI-CNR, Pisa (Italy) Jesper Bengtson, IT University of Copenhagen (Denmark) Roberto Bruni, University of Pisa (Italy) Nicola Dragoni, Technical University of Denmark (Denmark) Schahram Dustdar, Technical University of Vienna (Austria) Tim Hallwyl, Sirius IT (Denmark) Koji Hasebe, University of Tsukuba (Japan) Nickolas Kavantzas, ORACLE (USA) Marcello La Rosa, Queensland University of Technology (Australia) Francisco Martins, University of Lisbon (Portugal) Michele Mazzucco, University of Tartu (Estonia) Hernàn Melgratti, University of Buenos Aires (Argentina) Nicola Mezzetti, Engineering Ingegneria Informatica S.p.A. (Italy) Paolo Missier, Newcastle University (UK) Bardia Mohabbati, Simon Fraser University (Canada) Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden) Rosario Pugliese, University of Firenze (Italy) Jean-Bernard Stefani, INRIA Grenoble (France) Emilio Tuosto, University of Leicester (UK) Mirko Viroli, University of Bologna (Italy) Olaf Zimmermann, IBM Research - Zurich (Switzerland) Sebastian Wieczorek, SAP (Germany) Peter Wong, Fredhopper - Amsterdam (Netherlands) TRACK CHAIRS Ivan Lanese lanese @ cs.unibo.it FOCUS Team, University of Bologna/INRIA, Italy Manuel Mazzara manuel.mazzara @ newcastle.ac.uk School of Computing Science, Newcastle university, UK Fabrizio Montesi fmontesi @ italianasoftware.com IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy

1 0

AQIS2011のご案内
by Harumichi Nishimura 03 Jun '11

03 Jun '11

logic-ml の皆様，大阪府立大学の西村と申します．国際会議AQIS2011の御案内をさせていただきます．量子計算，量子論理など量子情報科学に興味をお持ちの方はぜひ参加の程ご検討いただければ幸いです．宜しくお願い致します．西村治道大阪府立大学理学系研究科〒599-8531 堺市中区学園町１−１ TEL: 072-254-9693 E-mail: hnishimura(a)mi.s.osakafu-u.ac.jp ============================================================ The 11th Asian Quantum Information Science Conference http://newton.kias.re.kr/aqis11 August 23 - 30, 2011 Tutorial: August 23, Main conference: August 24-27 Special Programs: August 28, A Satellite Workshop at KIAS, Seoul: August 29-30 Venue: Pukyong National University, Busan, Korea Organized by Korea Institute for Advanced Study (KIAS) Co-organized by Pukyong National University Important Dates: Submission deadline: June 20, 2011 Acceptance notification: July 17, 2011 Final draft: August 7, 2011 ============================================================ Apologies for cross-postings. Please send to interested colleagues and students. The 11th AQIS conference will be focused on new theoretical and experimental development in quantum information processing, communication and cryptography and on both physics and computing aspects of the field. Program is to consists of invited talks, selected presentations and posters, as well as tutorials and satellite workshops. Areas of coverage include (but are not limited to): -Quantum computation, programming, algorithms and complexity -Quantum information theory -Quantum decoherence fighting concepts, methods and tool -Quantum cryptography theory and experiments -Quantum communication experiments and theory -Quantum technologies (optics, NMR, solid states,...) -Quantum computers and processors design -Quantum information processing impacts on other sciences Social program will include excursion to the exciting Gyeongju that was the capital of Silla (ancient Korea) for 1000 years. Keynote Speakers: Gilles Brassard (University of Montreal) Yoshihisa Yamamoto (NII, Tokyo, Stanford University) Tutorial Lecturers: Andris Ambainis (University of Latvia, Riga) Jozef Gruska (Masaryk University, Brno) Barry Sanders (University of Calgary, Calgary) Invited Speakers: Charles Bennett (IBM, Yorktown Heights) Guoping Guo (University of Science and Technology of China, Hefei) Wu-Ming Liu (Chinese Academy of Sciences, Beijing) Mio Murao (University of Tokyo, Tokyo) Hyunchul Nha (Texas A&M University, Qatar) Rajiah Simon (Institute of Mathematical Sciences, Chennai) Shigeki Takeuchi (Osaka University, Osaka) Andreas Winter (University of Bristol, Bristol)[to be confirmed] Contact Information: Se-Wan Ji, Korea Institute for Advanced Study (KIAS) Hoegiro 87, Dongdaemun, SEOUL, KOREA [130-722] Tel: +82-2-958-3863 Fax: +82-2-958-3820 Email: aqis11(a)kias.re.kr Steering Committee Chair: Jozef Gruska (Masaryk University, Brno) Conference Chairs: Jaewan Kim (KIAS, Seoul) Hai-Woong Lee (KAIST, Daejeon) Program committee: Andris Ambainis (Co-Chair; University of Latvia, Riga) Almut Beige (U Leeds) Charles Bennett (IBM) Warwick Bowen (U Queensland) Giulio Chiribella (PI, Ontario) Sang Kyung Choi (KRISS) His-Sheng Goan (NTU) Andrew Greentree (U Melbourne) Guang-Can Guo (USTC, Hefei) Kazuo Iwama (Kyoto U) Hyunseok Jeong (Seoul Nat'l U) Jaewan Kim (Chair; KIAS) Kisik Kim (Inha U) Yoon Ho Kim (POSTECH) Julien Laurat (CNRS, Paris) Hai-Woong Lee (KAIST) Jinhyoung Lee (Hanyang U) Peter van Loock (Max-Planck Inst) Norbert Lutkenhaus (U Waterloo) Kae Nemoto (NII, Tokyo) Hyunchul Nha (Texas A&M U, Qatar) Franco Nori (RIKEN/U Michigan) Arun Pati (Inst Physics, Bhubaneswar) Martin B Plenio (U Ulm) Daowen Qiu (Zhongshan U, Guangzhou) Martin Roetteler (NEC Labs) Barry Sanders (U Calgary) Stephanie Wehner (CQT/NUS) Andreas Winter (U Bristol) Shigeru Yamashita (Ritsumeikan U) Bei Zeng (IQC, U Waterloo) Shengyu Zhang (CUHK, Hong Kong) Organizing Committee: Kyungsik Kim (Chair; Pukyong National University, Busan) Tae-Gon Noh (Kyungsung University, Busan) Sang Wook Kim (Pusan National University, Busan) Han Seb Moon (Pusan National University, Busan) Se-Wan Ji (KIAS, Seoul) Shigeru Yamashita (Ritsumeikan University, Nara) Sheng-Mei Zhao (NUPT, Nanjing) Jae-Weon Lee (Jungwon University, Goesan) ============================================================

1 0

ESSLLI 2011 Early-Bird Registration Extended Deadline
by Makoto Kanazawa 01 Jun '11

01 Jun '11

Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. *********************************************************************** DEADLINE EXTENSION FOR EARLY-BIRD REGISTRATION FOR ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011(a)gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 15-06-2011 *********************************************************************** *Meeting Descriptrmation (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011(a)gmail.com . *Summer School Programme* http://esslli2011.ijs.si/?page_id=897 *Online Registration Form* http://esslli2011.ijs.si/?page_id=12 *Programme Committee* Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg *Organizing Committee* Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan (DERI, National University of Ireland, Galway) - Andrej Bauer (University of Ljubljana) - Boštjan Bajec (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Mitja Jermol (Jožef Stefan Institute)

1 0

東北大学ロジックセミナー(6/3)
by higurashi3873＠yahoo.co.jp 27 May '11

27 May '11

皆様，東北大学の堀畑佳宏です．下記の日程でロジックセミナーを行いますので，興味のある方はぜひご参加ください．日時：6月3日(金)，16時から場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者：Sam Sanders　（Ghent university，東北大学大学院）タイトル： Nonstandard Analysis: a new way to compute アブストラクト： The notion of computability (in principle) is central to topics like e.g. Recursion Theory and Erret Bishop's Constructive Analysis. In contrast, the notion of computability has not been studied intensively in the context Nonstandard Analysis. Bishop even notoriously derided Nonstandard Analysis for its `lack of computational content'. Today, we set the historical record straight. We introduce `$\omega$-invariance' a new notion of computability based on Nonstandard Analysis. We show that $\omega$-invariance has the usual properties of computability and even derive several results from Constructive Reverse Mathematics. セミナーの詳細につきましては，下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 堀畑　佳宏 -- -- 東北大学大学院　理学研究科数学専攻　博士後期課程三年 E-mail: sa6m31(a)math.tohoku.ac.jp E-mail: higurashi3873(a)yahoo.co.jp

1 0

CFP: LENLS 8 (Logic and Engineering of Natural Language Semantics 8)
by BEKKI Daisuke 26 May '11

26 May '11

（重複して受け取られた場合はご容赦ください）今年の１２月に高松で開催される LENLS8 国際ワークショップのCFPをお送りします。多数の投稿をお待ちしています。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FIRST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 8 (LENLS8) Workshop Site : "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Dates : December 1-2, 2011 Contact Person: Alastair Butler Contact Email : lenls8(a)easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (JST/Tohoku University) Invited Speaker(s): - Kentaro Inui (Tohoku University) - TBA LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI). Call For Papers We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game- and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future. Submissions: Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls8 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Important dates: Abstract submission deadline : August 31, 2011 Notification of acceptance : September 30, 2011 Deadline for camera-ready copy : October 15, 2011 Deadline for onsite registration: November 12, 2011 LENLS8: December 01-02, 2011 Organizing Committee: Alastair Butler (Chair) Daisuke Bekki Eric McCready Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Shunsuke Yatabe Kei Yoshimoto

1 0

名古屋大学大学院多元数理科学研究科教員公募
by Jacques Garrigue 25 May '11

25 May '11

logic-mlの皆様、名古屋大学大学院多元数理科学研究科で教員の公募を行っています。広い分野での応募を期待していますので、よろしくお願いします。 Jacques Garrigue ====================================================================== 2011年5月24日関係各位名古屋大学大学院多元数理科学研究科教員の公募について名古屋大学大学院多元数理科学研究科　准教授・助教選考委員会委員長　納谷　信　このたび本研究科におきましては、下記要領で教員公募を行うことになりました。つきましては貴関係者にお知らせいただくともに、適任者をご存じの場合には、応募をお勧め下さるようお願い申し上げます。記職名及び人数:　准教授もしくは助教若干名学位取得後10年以内（学位取得見込みを含む）であることが望ましい研究分野:　数学および数理科学採用予定日:　2011年10月1日以降できるだけ早い時期応募期限:　2011年7月1日(金)必着必要書類: 応募用紙 (ウェッブページよりダウンロードし、必要事項を記入してください) 履歴書研究業績リスト主要論文解説研究計画書過去の教育経験 (TAなどの経験を含む) 及び教育についての考え方を述べた書類主要論文およびプレプリントのコピー業績について照会できる方3名の氏名と連絡先　　照会先が海外在住の場合は推薦書を依頼して下さい。応募方法の詳細: 　下記ウェッブページを参照のこと http://www.math.nagoya-u.ac.jp/ja/job/ その他:　本学では、男女共同参画を積極的に推進しています。問い合わせ先:　納谷　信(ap-search-2011(a)math.nagoya-u.ac.jp) 以上

1 0

$BCLOC2q$N$40FFb(B [Prof. Yde Venema, 5/25]
by Hasegawa Masahito 23 May '11

23 May '11

$B3'MM!"(B $B:#=5$N?eMK!J#57n#2#5F|!K$K!"5~ETBg3X?tM}2r@O8&5f=j$G0J2<$NCLOC2q$,3+:E(B $B$5$l$^$9!#9V1i<T$O!"8=:_5R0w65<x$H$7$F?tM}8&$KBZ:_$5$l$F$$$k!"%"%`%9%F(B $B%k%@%`Bg$N(BYde Venema$B$5$s$G$9!#$I$&$>$4MhD0$/$@$5$$!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B -- $BCLOC2q$N$40FFb(B $BF|;~(B: $B!!(B5$B7n(B 25$BF|(B($B?e(B) 16:30-17:30 $B>l=j(B: $B!!?tM}8&(B110$B9f<<(B (16:00$B$h$j(B1$B3,%m%S!<$G(Btea) $B9V1i<T(B: Yde Venema $B;a(B $B=jB0(B: $B!!5~Bg!&?tM}8&(B & University of Amsterdam $BBjL\(B: Coalgebra, its Logic, and some of its Mathematical Environments Abstract: Computers and other electronic equipment are becoming more and prominent, both in our daily life, and in society as a whole. When we are confronted with undesired or incomprehensible behavior of for instance our mobile phone, we will naively start reasoning about the system, modelling it as a state-based evolving system, that we can only observe as a black box. Clearly, when it comes to specifying and reasoning about the behavior of critical software systems, a sophisticated mathematical theory is needed. The theory of coalgebra, which has emerged from theoretical computer science in the last two decades, provides a general, mathematical framework for reasoning about such state-based evolving systems. It combines mathematical simplicity with wide applicability, due to its categorical foundations: many features such as input/output, nondeterminism, probability, and interaction can be encoded in the coalgebraic type which formally is a functor over Set (or some other base category). Coalgebra allows us to give precise mathematical definitions of notions such as behavior or observational equivalence of systems. Logic naturally enters the picture since we want to specify and reason about behavior in a formal way. In the talk, we will give a very informal introduction and motivation of coalgebra and coalgebraic logic. We then briefly explain the dualities between algebra and coalgebra, and discuss the principle of coinduction. In the second part of the talk we describe some of the mathematical environments of the theory, and sketch how ideas from coalgebraic logic can be used to generalize results in topology (the Vietoris construction) and automata theory (Rabin's Theorem). $BCLOC2q$N0FFb!'(B http://www.kurims.kyoto-u.ac.jp/ja/seminar/danwakai.html $B?tM}2r@O8&5f=j$X$N%"%/%;%9!'(B http://www.kurims.kyoto-u.ac.jp/ja/access-01.html --

1 0

２２（日）-２５（水）: 国際会議TAMC2011
by arai toshiyasu 20 May '11

20 May '11

みなさま代理投稿します。 -- 新井敏康 --- 電通大の垂井と申します。５月２２日（日）から２５日（水）まで電通大（調布）にて理論計算機科学に関するTAMC2011という国際会議を開催します。 http://www.tamc2011.com/index.html ２２日（日）は３つのチュートリアルのみ開催しこのチュートリアルは、誰でも聴講できると明示的に告知しています。（登録不要。費用不要。）２番目の午後最初のチュートリアルは finite model theoryに関するものです。 (finiteの場合の基本的事項、計算量との関係、0-1 lawなどをカバーしてもらう予定です。）さらに、２３・２４・２５の会議の部分についても聴講だけは登録/費用不要で誰でもできることにしました。（プロシーディングスもらえず、宴会には参加できないですが。）ご興味とご都合に応じて参加検討ください。電気通信大学垂井淳 tarui(a)ice.uec.ac.djp

1 0

CFP: 日本ソフトウェア科学会第28回大会
by Yukiyoshi Kameyama 15 May '11

15 May '11

皆様， 9月に沖縄で開催される日本ソフトウェア科学会第28回大会の発表募集をお送りします．学会誌への同時投稿も可能です．是非，発表・投稿をご検討ください． -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam -------------------------------------------------------------------------- 日本ソフトウェア科学会第28回大会日時：2011年9月27日(火)〜29日(木) [大会本体] (併設イベントは調整中) 会場：沖縄産業支援センター・沖縄県市町村自治会館 (沖縄県那覇市) http://jssst11.kuis.kyoto-u.ac.jp/ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿熱い企画満載です！＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿日本ソフトウェア科学会では第28回大会を9月27日(火)から29日(木)まで沖縄県那覇市で開催します．大会での一般の登壇発表と，大会同時投稿論文としての学会誌への投稿を下記の要領で募集します．発表申込締切は6月24日(金)です．皆様のご発表，ご投稿をお待ちしております． ■一般の登壇発表一般の登壇発表の場を一般セッション，いくつかの研究会セッション，ソフトウェア論文セッションから選ぶことができます．特に優秀な登壇発表に対しては「高橋奨励賞」(故高橋秀俊先生にちなむ賞)が与えられます．・一般セッションソフトウェア科学全般を対象とします．分野横断的な研究，従来の研究分野ではカバーできない新しい発想の研究なども対象に含みます．・研究会セッション以下の研究会と連携して各分野の観点から議論を深めることで，発表者にも聴講者にも有益で楽しめるセッションを実現します． - プログラミング論研究会(PPL) - マルチ・エージェントと協調計算研究会(MACC) - インタラクティブシステムとソフトウェア研究会(ISS) - ソフトウェア工学の基礎研究会(FOSE) - インターネットテクノロジー研究会(ITECH) - ディペンダブルシステム研究会(DSW) - ネットワークが創発する知能研究会(EIN) ただし，MACCについては発表募集をせずに研究会の特色を生かしたセッションが企画されます．・ソフトウェア論文セッション先進的なアイデアを実現したソフトウェアについての成果発表の場を提供します．また，学会誌「コンピュータソフトウェア」のソフトウェア論文特集号(11月初旬頃投稿締切)とリンクも用意されています．さらに登壇発表と同じ内容によるデモ・ポスターセッションでの発表も歓迎します．ポスター掲示に加えて，ノートPC等を持ち込んでのデモも可能です． ■大会同時投稿論文日本ソフトウェア科学会大会では，登壇発表の予稿を学会誌「コンピュータソフトウェア」へ論文として投稿できる「大会同時投稿論文」の仕組みを提供しています．同時投稿の時期は大会前(第1回)と大会後(第2回)のどちらかで，著者自身が大会予稿の提出時に選択できます．また，レター論文の場合，判定結果は2012年1月末までに著者へ通知します． ■スケジュール一般の登壇発表，大会同時投稿論文に関する主なスケジュールは以下の通りです．・6月24日(金) 発表申込締切・8月8日(月) 予稿原稿締切および大会同時投稿論文第1回投稿締切・9月27日(火)〜29日(木) 大会本体 (併設イベントは 9月26日(月)で調整中) ・10月20日(木) 大会同時投稿論文第2回投稿締切 ■発表申込登壇発表者は日本ソフトウェア科学会の正会員または学生会員に限ります．ただし，発表申込時に入会手続き中である場合も含みます．発表申込ページの開設は，しばらくお待ちください． ■詳細について一般の登壇発表，大会同時投稿論文についての詳細は以下の大会ウェブサイトでご確認ください． http://jssst11.kuis.kyoto-u.ac.jp/ ■組織大会委員長遠藤聡志 (琉球大学) 運営委員長河野真治 (琉球大学) プログラム委員長八杉昌宏 (京都大学) プログラム委員会 (5月12日時点) 八杉昌宏 (委員長, 京都大学) 明石修 (NTT未来ねっと研究所) 五十嵐淳 (京都大学) 伊知地宏 (ラムダ数学教育研究所) 岩崎英哉 (電気通信大学) 大沢英一 (はこだて未来大学) 亀山幸義 (筑波大学) 栗原聡 (大阪大学) 河野健二 (慶應義塾大学) 志築文太郎 (筑波大学) 杉山安洋 (日本大学) 中野圭介 (電気通信大学) 並木美太郎 (東京農工大学) 番原睦則 (神戸大学) 細部博史 (国立情報学研究所) 増原英彦 (東京大学) ■お問合せ一般の登壇発表，大会同時投稿論文についてお問合せの際はプログラム委員長 (八杉昌宏)宛てに以下へメールをお送りください． yasugi*ＡＴ*kuis.kyoto-u.ac.jp (*ＡＴ*は@に置き換えてください) --------------------------------------------------------------------------

1 0

第84回プログラミング研究会開催案内
by Takahito Aoto 09 May '11

09 May '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊情報処理学会第84回プログラミング研究発表会開催のご案内をさせて頂きます． 6月14日(火)・15日(水)に函館にて開催されます．皆様のご参加をお待ちしております．また，第1日目の夜に懇親会を予定しています．懇親会への参加をご希望の方は 6月7日(火)までに下記の要領で青戸までお申し込みください．(発表会への参加自体については事前の申し込みは不要です．) ------------------------------------ To: aoto [at] nue.riec.tohoku.ac.jp Subject: PRO84-party 6月14日(火)の懇親会に参加します．御名前: 御所属: 区別: 学生・一般 (6月7日(火)までにお知らせ下さい．) ------------------------------------ なお，下記のプログラムで，発表の順番につきましては今後変更される可能性がございますのでご了承ください．最新情報は以下のWEBページに掲載致します． http://www.nue.riec.tohoku.ac.jp/pro-2011-1/ --- 担当: 青戸等人(東北大学)，花井亮(東京大学) ================================================================= 情報処理学会第84回プログラミング研究発表会プログラム ================================================================= 日程: 2011年6月14日(火)・15日(水) 会場: サン・リフレ函館 2階視聴覚室　　　〒040-0034 北海道函館市大森町2-14 　　　JR函館駅より徒歩15分詳細情報: http://www.nue.riec.tohoku.ac.jp/pro-2011-1/ ※ 1件あたり45分 (発表25分，質疑・討論20分) ※ 発表の順番につきましてはまだ確定ではありませんのでご了承ください． 6月14日(火) セッション１：14:15-15:45 2011-1-(1)：14:15-15:00 An Annotated Type System for Inlining ○馬雷，佐藤周行(東京大学) 2011-1-(2)：15:00-15:45 コントロールオペレータの表現力の比較 ○高島尚希，亀山幸義(筑波大学) 15:45-16:00 休憩セッション２：16:00-17:30 2011-1-(3)：16:00-16:45 拡張可能な外部識別子の設計と実装 ○倉光君郎(横浜国立大学) 2011-1-(4)：16:45-17:30 SSA形式を用いた動的バイトコード操作器の設計と実装 ○若森拓馬，井出真広，菅谷みどり，倉光君郎(横浜国立大学) 19:30-21:30 懇親会 6月15日(水) セッション３：9:30-11:45 2011-1-(5)：9:30-10:15 書き換え帰納法における文脈探索の有効性について ○佐藤晴彦，栗原正仁(北海道大学) 2011-1-(6)：10:15-11:00 弱単項TRSのE重なり性について ○三橋一郎，大山口通夫，松浦邦博(三重大学) 2011-1-(7)：11:00-11:45 GUIアクセシビリティ技術による網羅的な画面遷移の回帰検査の自動化 ○中島一，増田健，秋山幸生(日本電信電話株式会社) ------------------------------------------------------------------------

1 0

CFP: Special Session on Logic and Knowledge Representation at IICAI-11
by Ken Kaneiwa 05 May '11

05 May '11

---------------------------------------------------------------------------------- Special Session on Logic and Knowledge Representation at The 5th Indian International Conference on Artificial Intelligence (IICAI-11) December 14-16, 2011, Tumkur (near Bangalore), India ---------------------------------------------------------------------------------- A special session on Logic and Knowledge Representation will be held during the 5th Indian International Conference on Artificial Intelligence (IICAI-11). The session invites papers in all areas of Logic and Knowledge Representation . For many years, logic has been studied as an important topic of knowledge representation and reasoning. In fact, many AI researchers use logic for analyzing the problems and for modeling the reasoning process. In addition, the knowledge representation research in AI lead to various extensions of logic in other fields such as philosophy, linguistics, cognitive science, computer science, etc. The special session on Logic and Knowledge Representation provides an ideal platform for exchanging ideas in all the areas related to logic and knowledge representation. The topics covered by the session include but certainly not limited to: * Abduction and Induction * Automated Reasoning * Belief Revision * Complexity of Reasoning * Description Logics * Foundations of Knowledge Representation * Hybrid Reasoning Systems * Knowledge-base Systems * Knowledge Representation and Reasoning * Logic for Databases * Logic for Multi-agent Systems * Logic for the Semantic Web * Logic Programming * Logical Formalisms in AI * Modal Logic * Nonclassical Logic * Nonmonotonic Reasoning * Object-Oriented Deductive Languages * Ontology * Ontology Description Languages * Order-Sorted Logic * Philosophical Logic * Proof Theory * Reasoning About Actions and Change * Temporal Representation and Reasoning Paper Submission and Publication: Authors are encouraged to submit the papers for this session as an email attachment to the Session Chair given below. The papers should be in MSWORD, PDF, or PS format and should be formatted according to the Springer Lecture Notes instructions (click here for instructions/sample paper) . The length of a paper should not exceed 20 pages. Shorter papers or papers on the work currently in progress are also welcome. The first page of the paper should contain the title, name(s) of the authors, affiliations, the postal and email addresses, and at least 3 keywords appropriate to the content of the paper. Further information regarding the paper submission can be obtained from the conference website too. Each paper will be peer reviewed by at least two experts in the topical area. All accepted papers will be published in the conference proceedings, under the title of the session. You may contact the conference chairs at iicai.conference[at]gmail.com for any additional information. Deadlines: Draft paper submission: May 9 , 2011 (extended deadline) June 7, 2011: Notification of acceptance/rejection to authors July 1 2011: Camera ready papers and Pre-registration due. December 14-16, 2011: Special Session and the IICAI-11 Conference Session Chair: Ken Kaneiwa Department of Electrical Engineering and Computer Science, Iwate University 4-3-5 Ueda, Morioka, Iwate 020-8551, Japan Email: kaneiwa(a)cis.iwate-u.ac.jp Tel/Fax: +81 19-621-6430 URL: http://www.ai.cis.iwate-u.ac.jp/kaneiwa/index.html URL of Kaneiwa Lab.: http://www.ai.cis.iwate-u.ac.jp

1 0

*DL Approaching* RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics"
by Ichiro Hasuo 28 Apr '11

28 Apr '11

みなさま，以前お知らせした京大数理研の研究集会のご案内ですが（下です），旅費補助，数理研宿舎，講演，懇親会の申込みの締切りが *** 5/1 日曜日 *** です．また， - ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です． - 数理研の宿舎「北白川学舎」，残室5室です！という都合もありますので，登録・宿舎の手配，どうか早めにお願いいたします．京都でお会いできるのを楽しみにしていますね．それでは！運営：照井一成，佐藤哲也，蓮尾一郎 ---------- Forwarded message ---------- From: Ichiro Hasuo <ichiro(a)kurims.kyoto-u.ac.jp> Date: 2011/4/5 Subject: Call for Contribution and Participation: RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics" To: logic-ml <logic-ml(a)sato.kuis.kyoto-u.ac.jp>, sonoteno <sonoteno(a)m.aist.go.jp>, sigemb-info <sigemb-info(a)ertl.jp>, jssst-ppl(a)kb.ecei.tohoku.ac.jp (English version below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学コンピュータ科学専攻の蓮尾です．京都大学数理解析研究所で行うワークショップ ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics RIMS Workshop, Mon 16 - Wed 18 May 2011 https://sites.google.com/site/acanws/ へのお誘いです．現在（3月から5月まで），アムステルダム大学 ILLC の Yde Venema さんが客員教授として京大数理研に滞在されています．Yde さんは様相論理の教科書 (Blackburn-de Rijke-Venema)などで高名な論理学者で，近年は特に余代数的様相論理 coalgebraic modal logic の分野で活躍なさっています． http://staff.science.uva.nl/~yde/ この機会に，Yde さんのご研究分野である様相論理をはじめとしたさまざまな非古典論理と，彼の最近のアプローチである代数・余代数・圏論的手法とをコアトピックとして，数理研での研究集会を企画しました．まず，講演者として以下のかたがたに参加いただきます： Yde Venema さん，Raul Leal さん (ILLC, University of Amsterdam) Jose Gil-Ferez さん， Milan Petrik さん (JAIST) 佐野勝彦さん，丸山善宏さん（京都大学大学院文学研究科）さらに，オーガナイザーによるチュートリアル Algebraic Approaches to Substructural Logics （照井） Coalgebra for Modal Logic(ians) （蓮尾）も企画しています．みなさま，ぜひご参加ください！ - ぜひ講演をご検討ください．非古典論理・代数・余代数の一つでもかすっていれば大歓迎です！ - 国内からの参加者の方には，旅費の補助があります．(予算が限られています．ごめんなさい) - ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です．宿泊の予約はぜひお早めに．また，数理研の宿泊施設「北白川学舎」の予約も受け付けます(部屋数限りあり)．詳しい情報，参加登録，講演登録については，ウェブサイト https://sites.google.com/site/acanws/ をご覧になってください．京都でお会いするのを楽しみにしております．それでは！運営：照井一成，佐藤哲也，蓮尾一郎 ================================================= Dear all, This is Ichiro Hasuo at Dept. CS, Univ. Tokyo. This is an invitation to the workshop ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics Mon 16 - Wed 18 May 2011 RIMS, Kyoto University https://sites.google.com/site/acanws/ This workshop is organized on the occasion of the visit of Prof.Dr. Yde Venema, a modal logician from ILLC, University of Amsterdam, as a visiting professor at RIMS, Kyoto University. It will feature Yde's talk and talks by * Jose Gil-Ferez (JAIST) * Raul Leal (ILLC, University of Amsterdam) * Yoshihiro Maruyama (Grad. School of Letters, Kyoto University) * Milan Petrik (JAIST) * Katsuhiko Sano (Grad. School of Letters, Kyoto University) as well as tutorial talks by two organizers: * Kazushige Terui on algebraic approaches to substructural logics * Ichiro Hasuo on coalgebra for modal logic(ians) We solicit your participation (and your contributed talk if possible). Some organizational matters: - We will financially support your trip, if it is from inside Japan and within our budget - The hotel rooms in Kyoto will be tight due to a big Buddhism event. So book in advance! Some rooms at the RIMS accommodation are available, too. Visit the website https://sites.google.com/site/acanws/ for more info and registration. Looking forward to seeing you in Kyoto! Best regards, Organization Committee: Kazushige Terui Tetsuya Sato Ichiro Hasuo

1 1

BLAST 2011
by No-Reply 22 Apr '11

22 Apr '11

** BLAST 2011 ** June 1-5, 2011 Lawrence, Kansas REGISTER NOW! BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder. Go to the BLAST 2011 website for complete details: http://www.math.ku.edu/conferences/blast2011 * Important Deadlines * Early registration: May 15, 2011 Abstracts: May 15, 2011 In order to give a talk, one must submit a title and abstract for the talk by May 15, 2011. Please submit titles and abstracts at the Atlas. Abstracts submitted after May 1, 2011, will not appear in the booklet of abstracts. Abstracts may be viewed here: http://atlas-conferences.com/cgi-bin/abstract/cbbs-01 Hotel Accommodations: April 30, 2011 to guarantee conference rates The conference organizers can be contacted at: blast2011(a)math.ku.edu

1 0

Talk by Michele Basaldella at RIMS, Kyoto U. (4/21)
by Kazushige TERUI 18 Apr '11

18 Apr '11

みなさま今週木曜日に催されるセミナーのご案内をさせていただきます。どうぞお気軽にお越しください。照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Michele Basaldella (RIMS, Kyoto University) Title: A gentle introduction to ludics Date: 11.00 - 12.00, April 21st (Thu) Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: When one is interested in understanding the duality between syntax (proofs) and semantics (models) in logic, a primary obstacle is that proofs are finite and concrete objects, while models are infinite and abstract structures. Since proofs and models are so different by their nature, they hardly interact together. This lack of interaction between the two worlds prevents a deeper analysis of the relations between syntax and semantics. Ludics is a research program started by Girard aimed to explain various logical and computational phenomena from an interactive point of view. The universe of ludics consists of designs: partial and infinitary proofs in which the logical type-information has been almost erased. In this vast universe, both proofs and models can be homogeneously represented as designs. Moreover, since designs come from proofs, we can make them interact together via normalization (cut-elimination). This induces an orthogonality relation, based on the termination of the computation of the normal form, which allows to reconstruct the logical types, as bi-orthogonality-closed sets of designs. In this talk we introduce and discuss the basic concepts of ludics and show some completeness results for proofs. --------------------------------------------------------- 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

The 50th ToPS [Apr. 27]
by Kazuyuki ASADA 18 Apr '11

18 Apr '11

[Apologies for multiple copies] I am pleased to announce the 50th Tokyo Programming Seminar, which will be held at NII on April 27 (Wed). Ichiro Hasuo from University of Tokyo and Yde Venema from University of Amsterdam will be talking about coalgebra theory and automata theory. The programme is attached below. I'm looking forward to meeting you at ToPS. Best regards, Kazuyuki Asada ---- The 50th ToPS http://www.ipl.t.u-tokyo.ac.jp/~tops/upcoming_seminar.html Time: April 27th (Wed) 2011, 15:00--17:00 Place: Rm. 2004 & 2005, 20F, National Institute of Informatics Speaker: (1) Ichiro Hasuo (University of Tokyo) Introduction to Coalgebra, through Final Sequences Abstract: In this talk I wish to deliver an elementary and informal introduction to the theory of coalgebra---a mathematical machinery underlying coinductive datatypes in functional programming---focusing on its aspect of being the categorical dual to algebra. More specifically, I'll first review the categorical "initial sequence" construction of an initial algebra, and then elaborate on its dual--the "final sequence" construction of a final coalgebra. A trip along these sequences is a good way to familiarize ourselves with the essence of induction and coinduction, and the contrast between them. (2) Yde Venema (University of Amsterdam) Coalgebra Automata Abstract: Automata operating on infinite objects provide an invaluable tool for the spcification and verification of programs. Many of the infinite objects studied in this area, such as words/streams, trees, graphs or transition systems, represent ongoing behaviour in some way, and provide key specimens of coalgebras. Hence it make sense to develop a universal theory of coalgebra automata: automata operating on coalgebras. The motivation underlying the introduction of coalgebra automata is to gain a deeper understanding of this branch of automata theory by studying properties of automata in a uniform manner, parametric in the type of the recognized structures. Coalgebraic automata theory thus contributes to Universal Coalgebra as a mathematical theory of state-based evolving systems. In the talk we give a quick introduction to coalgebra, and we introduce the notion of a coalgebra automaton. We will see that in fact a large part of the theory of parity automata can be lifted to a coalgebraic level of generality, and thus indeed belongs to the theory of Universal Coalgebra. More specifically, coalgebra automata satisfy various closure properties: under some conditions on the coalgebraic type, the collection of recognizable languages are closed under taking union, intersection, complementation, and existential projections. Time permitting, we will discuss two kinds of coalgebra automata, corresponding to approaches in coalgebraic logic that are based on, respectively, relation lifting and predicate liftings. Our results have many applications in the theory of coalgebraic fixpoint logics), but these will only be discussed tangentially.

1 0

Talk by Michele Basaldella at RIMS, Kyoto U. (4/21)
by Kazushige TERUI 17 Apr '11

17 Apr '11

みなさま今週木曜日に催されるセミナーのご案内をさせていただきます。どうぞお気軽にお越しください。照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Michele Basaldella (RIMS, Kyoto University) Title: A gentle introduction to ludics Date: 11.00 - 12.00, April 21st (Thu) Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: When one is interested in understanding the duality between syntax (proofs) and semantics (models) in logic, a primary obstacle is that proofs are finite and concrete objects, while models are infinite and abstract structures. Since proofs and models are so different by their nature, they hardly interact together. This lack of interaction between the two worlds prevents a deeper analysis of the relations between syntax and semantics. Ludics is a research program started by Girard aimed to explain various logical and computational phenomena from an interactive point of view. The universe of ludics consists of designs: partial and infinitary proofs in which the logical type-information has been almost erased. In this vast universe, both proofs and models can be homogeneously represented as designs. Moreover, since designs come from proofs, we can make them interact together via normalization (cut-elimination). This induces an orthogonality relation, based on the termination of the computation of the normal form, which allows to reconstruct the logical types, as bi-orthogonality-closed sets of designs. In this talk we introduce and discuss the basic concepts of ludics and show some completeness results for proofs. ------------------------------------------ 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml