Kisoron-ml June 2015

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

3 participants
7 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 ikeda＠hosei.ac.jp 26 Jun '15

26 Jun '15

数学基礎論および歴史分科会会員の皆様，連絡責任評議員の池田です．今回は多くの方々に秋の学会（２０１５年９月１３日−１６日，京都産業大学）の一般講演にお申込みいただきありがとうございました．なお，秋の学会では，本分科会に関連する特別講演として，・企画特別講演：菊池誠氏（神戸大学）・分科会特別講演：根元多佳子氏（北陸先端科学技術大学院大学）を予定しております．日程・題目など詳細がわかり次第，追ってご連絡いたします．どうぞ奮ってご参加ください．池田宏一郎（連絡責任評議員，法政大学）

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 19 Jun '15

19 Jun '15

皆様、北陸先端大の横山です。締め切りが近づきましたので、下記の研究集会の情報を再送致します。横山啓太 ---------- Forwarded message ---------- From: YOKOYAMA Keita <y-keita(a)jaist.ac.jp> Date: 2015-05-14 22:49 GMT-07:00 Subject: Fwd: CTFM2015 Call for abstracts To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, kisoron-ml(a)fos.kuis.kyoto-u.ac.jp ****************************** 以下の要領で研究集会 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 Makoto Fujiwara (JAIST) 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 1

秋の数学会一般講演申込みの件
by ikeda＠hosei.ac.jp 15 Jun '15

15 Jun '15

数学基礎論および歴史分科会　会員の皆様，連絡責任評議員の池田です．秋の学会（2015年9月13日-9月16日，京都産業大学）の一般講演申込みの件です．まもなくオンライン申し込み締切日（6月19日）となりますが，まだ講演申込み人数がかなり少ない状況です．多くの方々に発表をしていただけると幸いです．よろしくお願いいたします． https://app.mathsoc.jp/ 池田宏一郎（分科会連絡責任評議員，法政大学）

1 0

CCA 2015 と併設ワークショップの御案内
by Akitoshi Kawamura 06 Jun '15

06 Jun '15

皆様計算可能解析学の国際会議　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015) 　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）　　http://cca-net.de/cca2015/ の参加登録を受付けておりますので御案内申し上げます。 http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/ こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。特に懇親会参加の場合は今月中の御登録をお願い致します。初日である7月12日（日）には　　日独ワークショップ「実数計算の理論と実際」を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。 -- 河村彰星東京大学大学院総合文化研究科広域科学専攻広域システム科学系 2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara(a)jaist.ac.jp>: > First Call for Papers: > > Twelfth International Conference on > > Computability and Complexity in Analysis (CCA 2015) > http://cca-net.de/cca2015/ > > July 12-15, 2015, Tokyo, JAPAN > > ______________________________________________________________ > > > Scientific Program Committee > > * Andrej Bauer (Ljubljana, Slovenia) > * Stephen A. Cook (Toronto, Canada) > * Guido Gherardi (Munich, Germany) > * Daniel Graça (Faro, Portugal) > * Hajime Ishihara (Ishikawa, Japan) > * Ker-I Ko (Hsinchu, Taiwan) > * Timothy McNicholl (Ames, USA) > * André Nies (Auckland, New Zealand) > * Mariko Yasugi (Kyoto, Japan) > * Martin Ziegler, chair (Darmstadt, Germany) > > > Organizing Committee > > * Naohi Eguchi (Chiba University, Japan) > * Kojiro Higuchi (Chiba University, Japan) > * Akitoshi Kawamura, chair (University of Tokyo, Japan) > * Kenshi Miyabe (Meiji University, Japan) > * Ryuhei Mori (Tokyo Institute of Technology, Japan) > * Hideki Tsuiki (Kyoto University, Japan) > > > Submissions > > Authors are invited to submit 1-2 pages abstracts in PDF format > by March 31st via https://easychair.org/conferences/?conf=cca2015 > > > Conference Web Page > > http://cca-net.de/cca2015/ > > > > _______________________________________________ > Kisoron-ml mailing list > Kisoron-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml

1 0

モデル理論研究集会のお知らせ
by ikeda＠hosei.ac.jp 03 Jun '15

03 Jun '15

皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．（講演申込み締切は６月３０日） %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

1 0

秋の学会　一般講演申し込み開始のお知らせ
by ikeda＠hosei.ac.jp 01 Jun '15

01 Jun '15

数学基礎論および歴史分科会　会員の皆様，連絡責任評議員の池田です．秋の学会（2015年9月13日-9月16日，京都産業大学）の一般講演申し込みが始まりました．オンライン申し込み締切は6月19日となります． https://app.mathsoc.jp/ 多くの方々に発表をしていただけると幸いです．よろしくお願いいたします．開催情報は以下をご覧ください． http://mathsoc.jp/meeting/kyoto-sangyo15sept/ 池田宏一郎（分科会連絡責任評議員，法政大学）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml June 2015