Logic-ml February 2014

12 participants
13 discussions

数学と論理の哲学国際集会のお知らせ（２月２６日、２７日慶応大学三田キャンパス）
by Mitsu OKADA 06 Feb '14

06 Feb '14

貴会会員/メールリスト登録者の皆様に関係する話題であると思いますので、投稿させて頂きます。メールリストでの配布のご検討をお願い申し上げます。　慶応義塾大学文学部哲学専攻　岡田光弘 ―――――――――――――――――――――――――――――――――――――――――――――― 数学と論理の哲学国際集会　"Philosophy of Mathematics and Logic" Meeting Philosophy of Mathematics　and Logic Meeting 2014年2月26(水)-27日(木) 於慶應大学三田キャンパス数学と論理の哲学に関する研究集会を開催します。 1日目はHusserlian Philosophy of Mathematics 及び Hilbert Schools, Gödel などとの関連についての議論をし、2日目はLogical Pluralism, Logical Structuralism, Quine などを議論をする予定です。 - 2/26 (Feb 26) : Husserl's Philosophy of Mathematics and related issues (including Hilbert) - 2/27 (Feb 27) : Current State of Philosophy of Mathematics and Logic (* プログラムは http://ctj.keio.ac.jp/news/18 で随時アップデートいたします。*) ――――――――――――――――――――――――――――――――――――――――――――――― 日時：2014年2月26(水)-27日(木) Date: February 26th / 27th, 2014 場所：慶應義塾大学三田キャンパス東館6階G-Sec Lab Place: G-Sec Lab., 6th Floor of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html ――――――――――――――――――――――――――――――――――――――――――――――― ゲスト講演者： Invited speakers include: - Mirja Haltimo (University of Helsinki, Finland) - Jariro da Silva (Sãn Paulo University, Brazil) - Vincent Gerard (University of Poitier, France) - Stefania Centrone (University of Oldenburg, Germany) - Toshihiro Suzuki (Sophia University, Japan) - Chen Bo (Beijing University, China) - Walter Dean (University of Warwick, UK) - Salvatore Florio (Kansas Sate University, USA) - Hidenori Kurokawa (Kobe University, Japan) - Richard Tieszen (UC San Jose, USA) (not confirmed) other speakers: - Mitsuhiro Okada (Keio University) and others Guest commentators： - Sam Sanders (Gehnt University, Belgium) - Ryota Akiyoshi (Kyoto University) and others 参加方法：参加自由・参加費無料。ただし会場準備のため氏名、所属を明記して「Philosophy of Mathematics Meeting参加希望」と件名を記したメールを事務局宛( think-judge(a)abelard.flet.keio.ac.jp )にお送りください。お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター

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

Talk by Shohei Izawa (13 Feb, 11:00-)
by Shinya Katsumata 04 Feb '14

04 Feb '14

京都大学数理解析研究所の勝股です。 2月13日11:00から、東北大学の井澤昇平氏に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 13 Feb, 2014 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Shohei Izawa (Tohoku University) Title: べき等縮約を通じて見る代数系の圏 Abstract: 代数系のべき等演算による像には、もとの代数系のtermから得られる演算を導入することで自然に構造（べき等縮約）を入れることができる。より小さな代数系を得るその操作は自然に関手に拡張されること、および有限代数系の場合にはもとの代数系が復元できるようなべき等縮約の族の中には最小のものが存在することから、そのような族を通じて代数系の圏を調べることができると期待される。本発表では上記の枠組みの概要と関連する結果を紹介する。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2014