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

【再送】SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 04 May '14

04 May '14

皆様、北陸先端大の横山です。講演申し込みの締め切りが近づきましたので， 2014年度SLACS及び超準解析シンポジウムの案内を再送させて頂きます．ご参加・ご講演をよろしくご検討ください。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 横山 -------------------- 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方は5月7日までに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、5月9日までにお願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

モデル理論集中講義
by Suzuki Toshio 25 Apr '14

25 Apr '14

モデル理論集中講義お世話になっております。首都大学東京の鈴木登志雄です。さて５月・６月に首都大で，法政大学の池田先生にモデル理論の集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。モデル理論の講義は貴重な機会です。お近くに関心のありそうな方がいらっしゃいましたら、その方にお知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者池田宏一郎先生（法政大学経営学部教授）　＊＊授業科目名情報数理科学２ (博士前期課程、Ｒ０７９）、情報数理科学特論２(博士後期課程、Ｒ０８０）タイトルモデル理論入門場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期５月１４日（水）　１４：４０－１６：５０（途中休憩あり）５月２１日（水）　１４：４０－１６：５０（途中休憩あり）６月１１日（水）　１４：４０－１６：１０、１６：２０－１７：５０６月１８日（水）　１４：４０－１６：１０、１６：２０－１７：５０当専攻での連絡係鈴木登志雄 toshio-suzuki[atmark]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[atmark]tmu.ac.jp

1 0

SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 04 Apr '14

04 Apr '14

皆様、北陸先端大の横山です。 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）〜5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方は5月7日までに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、5月9日までにお願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Prof. Jean-Pierre Jouannaud at NII Logic Seminar
by Makoto Tatsuta 31 Mar '14

31 Mar '14

Prof. Jean-Pierre Jouannaud at NII Logic Seminar Date: April 7, 2014, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Jean-Pierre Jouannaud (Tsinghua University and Ecole Polytechnique) Title: Confluence by critical pair analysis Abstract: Knuth and Bendix showed that confluence of a terminating first-order rewrite system can be reduced to the joinability of its finitely many critical pairs. In this paper, we show that this is still true of a rewrite system RT union RNT such that RT is terminating and RNT is a left-linear, rank non-increasing, possibly non-terminating, rewrite system: confluence can then be reduced to the joinability of the critical pairs of RT and to the existence of decreasing diagrams for the critical pairs of RT inside RNT, as well as for the parallel critical pairs of RNT. Since left-linearity and rank non-increasingness are easily decided in linear time, implementing our test in a system like CSI (Innsbruck) should require little effort for a wide benefit. We believe that this applies to higher-order systems as well. Further, we shall discuss an old open problem of Huet in the form of a non-terminating, non-confluent, critical pair free rewrite system, and will show that it has a "hidden critical pair" which joinability (if it were joinable) would imply its confluence. This is a joint work with Jiaxiang Liu. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

SLACS 2014 / 2014年度超準解析シンポジウム
by YOKOYAMA Keita 28 Mar '14

28 Mar '14

皆様、北陸先端大の横山です。 2014年度のSLACS及び超準解析シンポジウムを、以下の通り、一部合同で開催する予定です。どちらの集会も、例年とは時期が異なりますのでご注意ください。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）〜5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。 *************************** 講演の募集やホームページにつきましては、準備が整い次第ご案内致します。しばらくお待ちください。（講演募集の締め切りは5月初旬を予定しております。）よろしく、講演・参加をご検討いただきますようお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Call for Participation: 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14)
by Katsuhiko Sano 14 Mar '14

14 Mar '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。 CMCS 2014 のCall for Participationをお送り致します。どうぞ参加をご検討ください。佐野勝彦 ========================================== This is a Call for Participation and Registration for 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 The CMCS programme features - a keynote talk by Davide Sangiorgi (University of Bologna, IT) - an invited talk by Ichiro Hasuo (University of Tokyo, JP) - an invited tal by Marina Lenisa (University of Udine) In addition there will be a special session on game theory and coalgebras associated with Marina Lenisa's invited talk and featuring tutorials by - Paul-Andre Mellies, Université Paris Denis Diderot, FR - Pierre Lescanne, Ecole Normale Superieure de Lyon, FR More information about CMCS 2014, including a list of accepted papers and a full programme, can be found at http://www.coalg.org/cmcs14 Links for registration and information about hotel arrangements can be found at the ETAPS 2014 website http://www.etaps.org/ Please note that CMCS 2014 is organizing a dinner on *** Saturday 5 April ***. This is not the pre-workshop dinner organized by ETAPS. Tickets cost cost 60 EUR each and can be bought directly on the first day of the meeting.

1 0

ＭＬメンテナンスのお知らせ
by Atsushi Igarashi 11 Mar '14

11 Mar '14

kisoron-ml 購読者のみなさま，管理人の五十嵐です．本日(3/11)の昼間，kisoron-ml のメンテナンス作業を行う予定です．つきましては，投稿しても配送されない，もしくは，投稿してもエラーメイルが bounce back する時間帯が発生する可能性があります．ご不便をおかけいたしますが何卒ご了承ください．メンテナンス作業が終わりましたら改めてアナウンスいたします．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

数学会年会（学習院大学）
by KASHIMA Ryo 03 Mar '14

03 Mar '14

日本数学会数学基礎論および歴史分科会会員の皆様、この３月から分科会選出評議員は塩谷真弘さんと池田宏一郎さんになりましたが、前評議員の鹿島がお知らせいたします。２週間後に学習院大学にて春の学会が開催されますので奮ってご参加ください： http://mathsoc.jp/meeting/gakushuin14mar/ アブストラクト集のPDFファイルを事前公開します。詳細は上記の開催情報ページから到達できる「アブストラクトの事前公開について」のページをご覧ください。なおアブストラクト集冊子の販売部数は少なくしていますのでご注意ください。一般講演の他に、 15日(土)11時30分：歴史部門懇談会 16日(日)11時40分：分科会総会 16日(日)13時10分：特別講演（平田康史さん「順序数, LOTS, 単調正規空間とその積の位相的性質の比較」）がありますのでぜひご出席ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

JAIST Logic Seminar Series
by Hajime Ishihara 27 Feb '14

27 Feb '14

皆様ミュンヘン大学のHelmut Schwichtenberg先生の連続講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON. Date: Wednesday 5, Thursday 6, Friday 7 March, 2014, 15:10-16:40 Place: JAIST, Lecture room I1 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Ludwig-Maximilians-Universitaet Muenchen, Germany) Title: Computational content of proofs *Wednesday 5 March, 2014, 15:10-16:40* Lecture 1. Computing with partial continuous functionals. We define computable functionals of finite type, with the Scott-Ersov partial continuous functionals as domains. A term language T+ (a common extension of Goedel's T and Plotkin's PCF) is introduced to denote computable functionals. *Thursday 6 March, 2014, 15:10-16:40* Lecture 2. A theory of computable functionals. Based on T+ we define a logical language whose quantifiers range over partial continuous functionals and whose predicates are inductively defined. We obtain a theory TCF of computable functionals by adding introduction and elimination axioms for inductive predicates to minimal logic. TCF admits a realizability interpretation (by terms in T+) and a soundness theorem can be proved. *Friday 7 March, 2014, 15:10-16:40* Lecture 3. Extracting programs from proofs. Every constructive proof of an existential theorem (or problem; Kolmogorov 1932) contains a construction of a solution. To get hold of such a solution we have two methods. (a) Write-and-verify. Guided by the constructive proof directly write a program to compute the solution, and then prove (verify) that this is the case. (b) Prove-and-extract. Formalize the proof and extract its computational content in the form of a realizing term t. Since the latter approach requires formalization of the proof it is less popular. But it has advantages. (i) Dealing with a problem on the proof level allows abstract mathematical tools and a good organization of the material. Both help to adapt the proof to changed specifications. (ii) The extracted term can be automatically verified, by means of a formalization of the soundness theorem. As an example of the prove-and-extract method we build a parser for the Dyck language of balanced parentheses. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 1

Reminder: Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 13 Feb '14

13 Feb '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。 Computability Theory and Foundations ofMathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについて、開催が迫りましたので、再度ご案内を致します。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series (20th Feb. 2014)
by Katsuhiko Sano 12 Feb '14

12 Feb '14

皆様、千葉大学の新井敏康先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 20th February 2014, 15:00-16:30 Place: Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Toshiyasu ARAI (Chiba University) Title: Proof search in intuitionistic logics Abstract: Following G. Mints, we present a complete proof search in multi-succedent sequent calculi for intuitionistic propositional and pure predicate logic in the spirit of Schuette's schema.

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 04 Feb '14

04 Feb '14

皆様、参加登録の締め切りが2月7日に迫って参りましたので、再び案内をさせていただきます。 2月17日(月)～2月20日(木)に東京工業大学 Computability Theory and Foundations of Mathematics 2014 を開催致します。研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2014/timetable.html にてご覧いただけます。宜しく参加をご検討ください。横山 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) Conference webpage http://www.jaist.ac.jp/CTFM/CTFM2014/index.html Registration deadline: February 7. Invited Speakers Chong Chi Tat (National University of Singapore) Damir Dzhafarov (University of Connecticut) Cameron Freer (Massachusetts Institute of Technology and Analog Devices Lyric Labs) Hajime Ishihara (JAIST) Akinori Kawachi (Tokyo Institute of Technology) Akitoshi Kawamura (University of Tokyo) Takayuki Kihara (JAIST) Antonio Montalbán (University of California, Berkeley) Ng Keng Meng (Nanyang Technological University) Jan Reimann (Pennsylvania State University) Paul Shafer (Ghent University) Stephen G. Simpson (Pennsylvania State University) Henry Towsner (University of Pennsylvania) Wang Wei (Sun Yat-sen University) Wu Guohua (Nanyang Technological University) Organising Committee Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State University) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) Programme Committee Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) ============================================================ どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Vienna Summer of Logic
by Norbert Preining 30 Jan '14

30 Jan '14

kisoron-mlの皆様，今年の論理学の大学会「Vienna Summer of Logic」のご案内をさせていただきます。是非ご参加下さい。プライニング・ノルベルト北陸先端科学技術大学院大学 Kurt Gödel Society (KGS) **Vienna Summer of Logic Announcement** In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014 (see website for more details: http://vsl2014.at) *Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. *Logic in Computer Science / Federated Logic Conference (FLoC)* - 26th International Conference on Computer Aided Verification (CAV) - 27th IEEE Computer Security Foundations Symposium (CSF) - 30th International Conference on Logic Programming (ICLP) - 7th International Joint Conference on Automated Reasoning (IJCAR) - 5th Conference on Interactive Theorem Proving (ITP) - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) - 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) - FLoC Workshops - FLoC Olympic Games (System Competitions) *Mathematical Logic* - Logic Colloquium 2014 - Logic, Algebra and Truth Degrees 2014 - The Infinity Workshop - Kurt Goedel Fellowship Competition *Logic in Artificial Intelligence* - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) - 27th International Workshop on Description Logics (DL) - 15th International Workshop on Non-Monotonic Reasoning (NMR) - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Kurt Goedel Research Prize Fellowship Competition* At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius* The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies. ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

Sendai Logic School 2014 at Tokyo Tech
by Takeshi Yamazaki 28 Jan '14

28 Jan '14

皆様， 2月21日，東京工業大学においてウィンタースクール，Sendai Logic School 2014 at Tokyo Techを開催いたします．ウィンタースクールでは，逆数学及び関連分野で活躍する研究者によって，主に大学院生を対象にそれぞれの研究について講義をしていただきます．より詳細な情報を以下に記載いたしますので，ご参加をご検討ただければと存じます． Sendai Logic School 2014 at Tokyo Tech 日時：2月21日場所：東京工業大学テーマ：主に大学院生を対象とし，逆数学および関連分野で活躍する研究者に自身の研究について講演してもらいます．講演者（全4名, 順不同, 敬称略）：Stephen G. Simpson（Penn State Univ.）, Keng Meng Ng (Nanyang Tech. Univ.), Wei Wang (Sun Yat-sen Univ.), Paul Shafer (Ghent Univ.) 講演時間：一人一時間講義形式の講演が終了後，ややインフォーマルな研究者同士のフリーディスカッションや，プロブレムセッションを予定しております．事前登録は不要です．詳細は以下のHPに随時更新していく予定です： http://sendailogic.com/SLS2014/index.html ------------------------------ 山崎　武東北大学大学院理学研究科数学専攻 980-8578 仙台市青葉区荒巻字青葉６番３号 tel: 022-795-7704 e-mail: yamazaki(a)math.tohoku.ac.jp

1 0

ラムダ計算と論理の早春セミナー (3/6--3/10)
by Fujita Kenetsu 19 Jan '14

19 Jan '14

(* Apologies for any cross-postings. *) 皆様，『ラムダ計算と論理の早春セミナー 2014』のご案内日程：2014年3月6日(木) 午後5時から3月10日(月) 正午まで場所：国立大学草津セミナーハウス他　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2014.03LLSinKusatsu.htm 興味をお持ちのみなさまのご参加をお待ちしております．参加・宿泊に関する連絡は藤田（群馬大学）までお気軽にお願いします． ----------- 群馬大学　藤田憲悦

1 0

Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 17 Jan '14

17 Jan '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。Computability Theory and Foundations of Mathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについてご案内を致します。詳細については改めてご案内いたしますが、どうぞ参加をご検討ください。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 15 Jan '14

15 Jan '14

皆様、 2月17日(月)〜2月20日(木)に東京工業大学で開催致します、 Computability Theory and Foundations of Mathematics 2014 の講演募集の締め切りの1月15日が迫って参りましたので、再度案内をさせていただきます。横山 ============================================================ 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします．研究集会の詳細は下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2014/index.html 講演の募集は1月15日が締め切りです。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

「プロセスとしての証明に関するワークショップ」について
by Norbert Preining 15 Jan '14

15 Jan '14

各位北陸先端科学技術大学院大学プライニング・ノルベルトです。「プロセスとしての証明に関するワークショップ」　開催のご案内この度、１月２０日（月）～２１日（火）に、金沢市石川四高記念文化交流館において、「プロセスとしての証明に関するワークショップ」（Workshop on Proofs as Processes) を開催する運びになりました。 URL: http://www.jaist.ac.jp/~preining/wpp/ 参加を希望される方はプライニングへご連絡下さい。プライニング　ノルベルト ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

春の数学会
by KASHIMA Ryo 24 Dec '13

24 Dec '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演オンライン申し込み締め切り（12月1日）が迫ってきました。現在のところ申し込み件数が少ない状態ですので、ぜひとも発表をご検討ください。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

【再送】Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 05 Dec '13

05 Dec '13

皆様、先ほど流しました研究集会の案内のメールで、ホームページのアドレスが間違っておりました。正しいアドレスは http://www.jaist.ac.jp/CTFM/CTFM2014/index.html お詫びして訂正致します。横山 ************以下、再送************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします． invited speakers 等の情報については、近日中に下記のホームページにて公開致します。 http://www.jaist.ac.jp/CTFM/CTFM2014/index.html 12月15日より講演の募集を開始致しますので、宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 05 Dec '13

05 Dec '13

皆様、以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします． invited speakers 等の情報については、近日中に下記のホームページにて公開致します。 http://www.jaist.ac.jp/CTFM/temp/CTFM2014/index.html 12月15日より講演の募集を開始致しますので、宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/temp/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

The 48th MLG Meeting: Program
by Katsuhiko Sano 03 Dec '13

03 Dec '13

第48回 MLG 数理論理学研究集会のご案内（重複してお受け取りの際はご容赦ください。）北陸先端科学技術大学院大学の佐野勝彦です。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催します。講演・宿泊の申し込みは締め切りましたが，参加することは可能です。その場合，事前の申し込みは不要ですが，参加費（会場代）2,500円をいただきます。どうぞよろしくお願いいたします。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100, URL : http://www.daiwaresort.jp/kajikasou/ ホームページ：https://sites.google.com/site/mlg2013kaga/ 講演プログラム： 12/6 (金) 1440 -- 1450 開会 1450 -- 1530 佐野勝彦(北陸先端科学技術大学院大学) Axiomatizing Facebook Logic Via Tree Sequent Calculus 1540 -- 1620 仲川聡子(東京工業大学情報理工学研究科) 三項関係に従う可能世界意味論を持った様相論理について 1630 -- 1710 佐々木克巳(南山大学) S4におけるS4モデルでないイグザクトモデル 12/7 (土) 0925 -- 0930 事務連絡 0930 -- 1010 関隆宏(新潟大学) A remark on metacomplete relevant modal logics 1020 -- 1100 丸山善宏 (Oxford University) Generalised Topos Semantics for Higher Order Substructural Logic 1110 -- 1150 小野寛晰 Uniform interpolation in substructural logics without contraction rules 1330 -- 1410 Jonni Virtema (University of Tampere and JAIST) Modal team logic 1420 -- 1500 佐藤雅彦(京都大学名誉教授) Simple type theory の weakening rule について 1510 -- 1550 宮崎裕(大阪経済法科大学) Hallden completeness and Craig Interpolation Property in NExt(KTB) 1600 -- 1640 千谷慧子 Global Set Theory 12/8 (日) 0925 -- 0930 事務連絡 0930 -- 1010 山川郁加(千葉大学理学研究科) λρ計算の述語論理への拡張 1020 -- 1100 井澤昇平(東北大学大学院理学研究科) 直積による1ソート化 1110 -- 1150 横山啓太(北陸先端科学技術大学院大学) Fast growing functions and Ramsey's theorem 1150 -- 1200 閉会 --- MLG48 世話人佐野勝彦（北陸先端科学技術大学院大学） E-mail : mlg.logic.japan(a)gmail.com

1 0

講演会のお知らせ
by KASHIMA Ryo 26 Nov '13

26 Nov '13

非専門家向けの講演会を開催いたします。以前に一部メーリングリストに流しましたが再度の案内お許しください。重複受け取りの方には申し訳ありません。日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html 参加される方は下記宛ご一報いただければ幸いです。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

第48回 MLG 数理論理学研究集会のご案内[再送：講演・宿泊締切11月20日]
by Katsuhiko Sano 14 Nov '13

14 Nov '13

第48回 MLG 数理論理学研究集会のご案内（再送） (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。講演の申し込み締切（11月20日）まで一週間を切りましたので、再度ご案内させていただきます。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 01 Nov '13

01 Nov '13

皆様 Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml