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

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

17 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 16 Sep '11

16 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 12 Sep '11

12 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 福崎賢治 12 Sep '11

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

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

10 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 09 Sep '11

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

09 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 05 Sep '11

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

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

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

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

01 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 28 Aug '11

28 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 23 Aug '11

23 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 21 Aug '11

21 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 西澤弘毅 18 Aug '11

18 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 16 Aug '11

16 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 15 Aug '11

15 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 11 Aug '11

11 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml