Kisoron-ml December 2013

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

3 participants
5 discussions

春の数学会
by KASHIMA Ryo 13 Jun '14

13 Jun '14

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（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

2 2

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

25 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 04 Dec '13

04 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml December 2013