Kisoron-ml May 2015

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

2 participants
4 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 05 Sep '15

05 Sep '15

皆様ジーゲン大学のDieter Spreen先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Thursday 7 May, 2015, 13:30-15:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dieter Spreen (University of Siegen) Title: Digit Spaces - Topological Foundations Abstract: Digit spaces have been introduced by Ulrich Berger as a framework for extracting programs that deal with continuous data from formal proofs. The essential idea was to represent objects as streams of unary contractions on a complete metric space and to use coinduction on the logical side. In recent joint work on an extension of this approach to hyperspaces like the space of nonempty compact subsets of a digit space, it turned out that compact cannot be represented by such streams in general: instead one has to deal with infinite trees the nodes of which are labeled by contraction similar to the stream case. It was realized, however, that one will obtain a uniform theory, if the contractions, also called digits, are allowed to be multi-ary.

2 2

数学会からのお知らせ（秋季賞）
by Suzuki Toshio 25 May '15

25 May '15

日本数学会　数学基礎論及び歴史分科会の皆様評議員１年目（受賞候補推薦委員）の鈴木登志雄です。　さて、秋季賞について念押しです。２０１５年度日本数学会賞秋季賞受賞候補者について、いまのところ当分科会各位から当方へ推薦の打診をいただいておりません。すでに他の経路で推薦されていて行き違いの場合はご容赦下さい。もし、これから推薦される場合は、わかる範囲の情報だけでも至急、ご連絡下さい。　推薦票には以下が必要です。候補者氏名・所属・職名・住所・電話・E-mail 業績の題目とその英訳生年月日・略歴（わかる範囲で８行以内程度）業績対象の業績をよく知っている人の名（内、外国人は１名以上）［引用者注：外国人の定義はとくに詳しく規定されていません。］推薦者氏名・所属・職名・住所・電話・E-mail 推薦理由・論文リスト（理由とリストを合わせてＡ４用紙１枚弱程度）　推薦票は数学会へ５月２９日（金）必着です。最悪の場合、５月２８日（木）の正午までに鈴木 toshio-suzuki(a)tmu.ac.jp へご連絡いただければ当方で所定の様式へ記入の上、間に合うように日本数学会本部（東京・秋葉原）へ届けます。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Fwd: CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。たびたび申し訳ありません。先ほどのメールの情報が一部間違っておりましたので、再送致します。 ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/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, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/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, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) (to be more) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2015