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

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

Fwd: [org-logic: 00255]2015年度秋季「数学連携ワークショップ」開催日時変更
by ikeda＠hosei.ac.jp 26 Aug '15

26 Aug '15

数学基礎論および歴史分科会　会員の皆様，以下のメールが日本数学会事務局よりありましたので転送いたします．池田宏一郎（数学基礎論および歴史分科会　連絡責任評議員） ----- Original Message ----- 件名: [org-logic: 00255]2015年度秋季「数学連携ワークショップ」開催日時変更送信者: "Shomu-MSJ" <shomu-msj(a)carrot.ocn.ne.jp> 送信日時: 2015年08月25日(火) 11:21:25 宛先: org-logic-2015(a)mathsoc.jp > 日本数学会 > 各分科会評議員および無限可積分系セッション責任者各位 > > 拝啓 > > 平素より日本数学会の運営にご協力を賜りありがとうございます． > > 次回の秋季総合分科会プログラム（於：京都産業大学） > > 数学連携ワークショップ > ---金融・経済学に使われる数学--- > > の開催日時について変更がありましたので，至急評議員の皆様にお知らせする > 次第です． > > 変更前：9月13日（日）9:30-12:00 > > 変更後：9月14日（月）9:30-12:00 > > 詳細は > http://mathsoc.jp/meeting/kyoto-sangyo15sept/renkeiWS.html > をご覧ください． > 数学通信添付のプログラム冊子の6ページの記載の変更です． > > つきましては，各分科会および無限可積分系セッションのメーリングリストに > 変更のお知らせを評議員の先生方から > 送信・通知して頂きたくお願い申し上げます． > その際，下記の文案をご参照頂ければ幸いです． > 不手際で申し訳ありませんが， > 各評議員の先生方のご理解とご協力を賜りたく，何卒よろしく御願い申し > 上げます． > > 敬具 > > 日本数学会・学会担当理事 > 小薗英雄 > 早稲田大学理工学術院基幹理工学部数学科 > e-mail:kozono@waseda.jp > ---------------------------------------------------------------------- --------------------------------- > > .....分科会メーリングリストの皆様 > > 拝啓 > > 時下益々ご清祥のこととお喜び申し上げます． > > 数学会から次回の秋季総合分科会プログラム > > ”数学連携ワークショップ” > ---金融・経済学に使われる数学--- > > の開催日時の変更を周知する様に依頼がありましたので，分科会の皆様に > お知らせいたします． > > 変更前：9月13日（日）9:30-12:00 > > 変更後：9月14日（月）9:30-12:00 > > となりましたので，ご注意願います． > 確認のため，変更後の最新情報を以下に再掲載いたします． > > 数学連携ワークショップ > ---金融・経済学に使われる数学--- > 日時：9月14日（月）9:30-12:00 > ※「数学通信」に添付しましたプログラムから日時が変更になりましたので > ご注意ください。 > > 会場：京都産業大学11号館4階11403教室 > 主催：文部科学省、統計数理研究所「数学協働プログラム > 共催：日本数学会 > プログラム：準備中 > http://mathsoc.jp/meeting/kyoto-sangyo15sept/renkeiWS.html > > 分科会の皆様におかれましては，お間違えのないよう御願い申し上げます． > > 敬具 > > ・・・・分科会評議員 > >

1 0

企画特別講演、分科会特別講演について
by ikeda＠hosei.ac.jp 21 Aug '15

21 Aug '15

数学基礎論および歴史分科会会員の皆様，連絡責任評議員の池田です．秋の学会（２０１５年９月１３日−１６日，京都産業大学）のプログラムが確定しましたので、お知らせいたします。 http://mathsoc.jp/meeting/kyoto-sangyo15sept/program/ なお，秋の学会では，本分科会に関連する特別講演として、・企画特別講演（９月１５日１３：００−１４：００）　菊池誠氏（神戸大）不完全性定理：形式化された数学の限界と可能性・分科会特別講演（９月１５日１６：１５−１７：１５）　根元多佳子氏（北陸先端大）二階算術における無限ゲームの決定性　　　　　　の２講演が予定されています。どうぞ奮ってご参加ください。池田宏一郎（連絡責任評議員，法政大学）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 20 Aug '15

20 Aug '15

皆様トリア大学のNorbert Mueller先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 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: Tuesday 25 August, 2015, 15:10-16:40 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Norbert Mueller (University of Trier) Title: Real numbers and computers Abstract: Sometimes, people think that computers could compute correctly. Unfortunately, this is not true in general: Overflows, underflows, rounding errors and truncation errors can lead to grossly wrong results, even if the used algorithm is implemented with care. This can often be traced down to use of "double precision numbers" as a replacement for the "real numbers". In the talk we present how a computer can compute more precisely or even "exact", just using basic concepts of object-oriented programming. Additionally, we present some of the basic ideas that are used to get an efficient implementation of exact real arithmetic.

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 19 Aug '15

19 Aug '15

皆様、北陸先端大の横山です。参加登録期限が近づきましたので、研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) の情報を再送致します。なお、研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2015/timetable.html にアップされております。横山啓太 ---------- Forwarded message ---------- 皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ 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). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- 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 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 03 Aug '15

03 Aug '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ 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). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- 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 0

秋の学会（京都産業大学）に関する連絡
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

数学会からのお知らせ（秋季賞）
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

数学会からのお知らせ
by ikeda＠hosei.ac.jp 27 Apr '15

27 Apr '15

日本数学会数学基礎論および歴史分科会会員の皆様，数学会からのお知らせです．よろしくお願いいたします．池田宏一郎（2015年度分科会連絡責任評議員，法政大学） %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 皆様大韓数学会から、今年6月29日〜7月10日の期間、NIMS (National Institute　for Mathematical Sciences) において開催されるサマースクール「ランダム行列理論」に、日本数学会が推薦する大学院生1名を招待するとの通知がありました。詳しくは下記をご覧ください。日本数学会では、次の要領で募集を行います。応募は、自薦（日本数学会会員である必要はない）としますが指導教員の方は指導学生に積極的に応募をお勧めください。サマースクールの対象は院生に限るとのことですからテーマに直接関わる研究を行っている必要はないと思われます。応募に当たっては「氏名、所属、学年、指導教員名とそのメールアドレス、研究内容（あるいは勉強中の内容）、応募動機」を明記の上、メールで president(a)mathsoc.jp あてに申し込んでください。件名は「韓国サマースクール応募」としてください。締め切りは5月15日（金）とします。 5月24日に開催される理事会で選考し、決定後直ちに本人に連絡いたします。なお、推薦が決定した後に、5月30日（土）までにレジストレーションを行う必要がありますので、ご注意ください。皆様の積極的な応募をお待ちしています。　　　　　　　　　　　　　　日本数学会理事長　　　　　　　　　　　　　　　　　舟木直久 =================================== MSRI-NIMS Summer School on Random Matrix Theory 1. Overview MSRI in Berkeley and NIMS in Daejeon are jointly organizing a summer graduate school on Random Matrix Theory. This will take place at the National Institute for Mathematical Sciences in Daejeon, South Korea, during June 29 ~ July 10, 2015. The purpose of this summer school is to introduce some of the basic ideas and methods of random matrix theory to graduate students. In particular, Jinho Baik (University of Michigan), Sasha Sodin (Tel Aviv University) and Jun Yin (University of Wisconsin, Madison) will give three lecture series on random matrix theory from three different perspectives: from the view points of the integrable structures, the moment method, and the Stieltjes transform technique. In addition to the lectures, there will be discussion sessions, and the students will also have plenty of time to interact with the lecturers and with other students. Please note that this summer school is for graduate students ONLY. 2. How to apply We would like MSJ to nominate one student for the summer school. We would be grateful if MSJ could confirm us the details of their selected participant and ask him/her to register online until the 30th of May. 3. Support Accepted students will be provided up to $1000 in travel reimbursement, in addition to meals and accommodations during the entire school period. 4. Contact Please feel free to contact us if you have any enquiries. Homepage: camp.nims.re.kr Email: seungyeon(a)nims.re.kr ====================================

1 0

数学会よりお知らせ（数学通信，雑誌数学）
by ikeda＠hosei.ac.jp 25 Mar '15

25 Mar '15

日本数学会　数学基礎論および歴史分科会の皆様，３月より分科会連絡責任評議員になりました池田と申します．よろしくお願いいたします．連絡事項が２点ございます． (1) 5月20日発行予定の「数学通信」誌上で全会員にお知らせすべき情報（研究集会情報等）を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. 締切：4月13日（月） (2) 今年度のシンポジウム・研究集会記録についてお知らせください．毎年，数学会がシンポジウム・研究集会の年度ごとの一覧表を作り，雑誌「数学」に掲載しています．各集会に関する最小限の情報を集めて会員に供覧することが目的です．該当するシンポジウム・研究集会記録は，原則として20人以上の集会，または（ 20人以下でも）報告集のある集会に限ります．（ただし，平成２６年度RIMS共同利用研究計画に掲載されたものは除きます．）年度ごとの一覧表は「数学」4号に掲載する予定です．今回お送りいただくものは 2014年4月1日から2015年3月31日までに開催されたものです．そこで・名称(主題) ・主催者(所属) ・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先の順に池田(ikeda(a)hosei.ac.xn--jp)-u63bal0ac5d5cses1dp1i7rhaf9qna90031brmtbqk2g. 所属は学部までで，できるだけ名簿の省略形にならっていただけますと幸いです．締切：5月25日（月）以上，よろしくお願いいたします．池田宏一郎（連絡責任評議員，法政大学）

1 0

数学会よりお知らせ（数学通信，雑誌数学）
by ikeda＠hosei.ac.jp 24 Mar '15

24 Mar '15

日本数学会　数学基礎論および歴史分科会の皆様，３月より分科会連絡責任評議員になりました池田と申します．よろしくお願いいたします．連絡事項が２点ございます． (1) 5月20日発行予定の「数学通信」誌上で全会員にお知らせすべき情報（研究集会情報等）を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. 締切：4月13日（月） (2) 今年度のシンポジウム・研究集会記録についてお知らせください．毎年，数学会がシンポジウム・研究集会の年度ごとの一覧表を作り，雑誌「数学」に掲載しています．各集会に関する最小限の情報を集めて会員に供覧することが目的です．該当するシンポジウム・研究集会記録は，原則として20人以上の集会，または（ 20人以下でも）報告集のある集会に限ります．（ただし，平成２６年度RIMS共同利用研究計画に掲載されたものは除きます．）年度ごとの一覧表は「数学」4号に掲載する予定です．今回お送りいただくものは 2014年4月1日から2015年3月31日までに開催されたものです．そこで・名称(主題) ・主催者(所属) ・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先の順に池田(ikeda(a)hosei.ac.xn--jp)-u63bal0ac5d5cses1dp1i7rhaf9qna90031brmtbqk2g. 所属は学部までで，できるだけ名簿の省略形にならっていただけますと幸いです．締切：5月25日（月）以上，よろしくお願いいたします．池田宏一郎（連絡責任評議員，法政大学）

1 0

Prof. Giovanni Sambin at NII Logic Seminar
by Makoto Tatsuta 16 Mar '15

16 Mar '15

Prof. Giovanni Sambin at NII Logic Seminar Date: March 23, 2015, 13:30--15:30 Place: National Institute of Informatics, Room 1716 (17th floor) 場所: 国立情報学研究所 17階 1716室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Giovanni Sambin (University of Padova) Title: Realizability interpretation of topology Abstract: It is a fact of life that the classical notion of topological space can be obtained in a constructive (intuitionistic and predicative) way by starting from neighbourhoods and defining points as specific subsets of neighbourhoods. Beginning in the 80s, we introduced what is now called formal topology: a predicative and intuitionistic pointfree approach to topology. The key ingredient of a formal topology is a relation, called cover, between elements and subsets of a given set S of formal neighbourhoods, or observables. In the 90s, we showed that the cover relation of formal topologies can be generated by induction. Given a set of observables S, a family of sets I(a) set (a in S) and a family C(a,i) of subsets of S, for a in S and i in I(a), one can generate by induction the least cover such that every C(a,i) is a cover of a. We call this an axiom-set. Soon after, I also added a positivity relation, again between elements and subsets of S, which provides a way to introduce closed subsets in a pointfree way. We showed that positivity relations can be generated coinductively from an axiom-set. It turns out that generation, by induction and by coinduction, from axiom-sets is the only postulate over a very elementary foundation, which have been shown to admit a realizability interpretation. So to obtain a realizability interpretation of constructive topology one only need to find a realizability interpretation for the principle of generation from axiom-sets. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

島根大学教授(任期なし) 公募【5/28締切】について
by Munehiro Iwami 11 Mar '15

11 Mar '15

皆様島根大学の岩見と申します。浜口先生の代理で「島根大学教授(任期なし) 公募【5/28締切】」の情報を送ります。 ------------------------------------------------------------------- 島根大学教授(任期なし) 公募【5/28締切】大学院総合理工学研究科情報システム学領域１．職名及び人数：教授　１名２．所属：島根大学大学院総合理工学研究科　情報システム学領域３．担当専門分野：情報科学／情報工学(ソフトウェア工学が望ましい) ４．担当予定授業科目　　　大学院総合理工学研究科情報システム学コースに関わる専門科目及び　　数理・情報システム学科（情報系）に関わる専門科目および全学基礎科目　　　大学院：専門分野に関連する科目，セミナー，特別研究　　　学　部：プログラミング関連および専門分野に関連する講義・演習科目，　　　　　　　　情報科学(全学基礎科目)，卒業研究５．任用予定年月日：平成２７年　１０月　１日以降のできるだけ早い時期６．応募資格　　　・博士の学位を有すること．　　・国籍は問わないが，日本語で授業ができること．７．提出書類　　　(1) 履歴書（写真貼付のこと）　　(2) 研究業績リスト　　　　研究費の獲得実績，および学会活動・社会活動の実績を含む　　(3) 論文別刷3編程度（コピー可）　　(4) 上記(3)の論文の概要（各論文について200字以内）　　(5) 教育研究に対する抱負　　(6) 業績を評価できる方2名の氏名及び連絡先　　応募書類は原則として返却しません。 ※ 提出書類に含まれる個人情報は，選考及び採用以外の目的には使用しま　せん。８．選考方法　　　書類選考及び必要に応じ本学において面接等を行います。その際の旅費・宿泊費は応募者の負担となります。また，島根大学では男女共同参画社会の実現を目指しています。「男女共同参画社会基本法」の趣旨に則り，業績（研究　業績，教育業績，社会的貢献等）及び人物の評価において同等と認められた場　合は女性を採用します。選考結果は応募者本人に通知します。９．応募締め切り：平成２７年５月２８日（木）必着　 10．応募書類の送付先　　〒690-8504　松江市西川津町１０６０　　島根大学大学院総合理工学研究科長　服部　泰直　　封筒の表に，「情報システム学領域教員応募書類在中」と朱書し，　　「（簡易）書留郵便」で郵送して下さい。 11．問い合わせ先　　島根大学大学院総合理工学研究科　情報システム学領域　領域長浜口　清治　　　TEL/FAX: 0852-32-6468 　　　E-mail: hama(a)cis.shimane-u.ac.jp (備　考) 本学は，「男女共同参画社会基本法」の趣旨に則り，男女共同参画を推進しています。以上． ------------------------------------------------------------------------ -- 以上、よろしくお願い致します。岩見宗弘島根大学総合理工学研究科情報システム学領域 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 28 Feb '15

28 Feb '15

皆様ストックホルム大学のErik Palmgren先生の連続講義のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 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 (http://corcon.net/). Date: Lecture 1. Monday 9 March, 2015, 15:10-16:40 Lecture 2. Tuesday 10 March, 2015, 15:10-16:40 Lecture 3. Wednesday 11 March, 2015, 15:10-16:40 Place: JAIST, Lecture room I3-I4 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Erik Palmgren (Department of Mathematics, Stockholm University) Title: Lectures on type theory with a view towards formalizing Bishop-style mathematics Abstract: In this series of three lectures we give an introduction to Martin-Lof type theory and the tools it provides for formalizing Bishop-style constructive mathematics. The first lecture will cover basic principles of type theory and give an introduction to its manifestation in the well-known proof assistant Coq. In the second lecture we consider "Bishop's set theory" (Bishop and Bridges 1985) from the point of view of type theory, which will involve a development the theory of setoids and subsetoids. The third lecture will cover models constructive set theory (CZF) in type theory, and how it can be used to solve the problem of universes of setoids and development of category theory. Throughout the lectures we provide examples and suggestions how you can yourself experiment with the Coq system in the formalization of constructive mathematics. References E. Bishop and D.S. Bridges. Constructive Analysis. Springer 1985. E. Palmgren. Lecture notes on Type Theory. Stockholm 2014. URL: http://kurser.math.su.se/course/view.php?id=48 E. Palmgren and O. Wilander. Constructing categories and setoids of setoids in type theory. Logical Methods in Computer Science. 10(2014), Issue 3, paper 25.

1 1

Prof. Georg Moser at NII Logic Seminar
by Makoto Tatsuta 07 Feb '15

07 Feb '15

Prof. Georg Moser at NII Logic Seminar Date: February 13, 2015, 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. Georg Moser (University of Innsbruck) Title: Amortised Cost Analysis and Term Rewrite Systems Abstract: I will present a univariate resource analysis for typed term rewrite systems based on a potential-based type system. This type system gives rise to polynomial bounds on the innermost runtime complexity. The thus obtained amortised resource analysis relates to polynomial interpretations and we obtain the perhaps surprising result that whenever a rewrite system can be well-typed, then there exists a polynomial interpretation that orients the system. If time permits I'll speak about very recent generalisations to a multivariate analysis. This is a joint work with Martin Hofmann. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

JSPS-NUS Joint Workshop in Logic
by Tanaka Kazuyuki 25 Jan '15

25 Jan '15

JSPS-NUS二国間共同研究のロジック・ワークショップのご案内シンガポールとの二国間交流事業（代表：田中、Chong）の一環として下記の研究会を開催致します。 Workshop in Mathematical Logic and Foundations of Mathematics 日程：2015年3月6日(金) から3月8日(日) まで場所：金沢しいのき迎賓館および金沢東急ホテルこのワークショップは主に共同研究のメンバーによって行われるものですが、ご関心のある方は一般からもご参加いただけます。但し、会場準備の都合上事前登録者に限りますので参加希望の方は SendaiLogic[at]math.tohoku.ac.jp （締切２月８日）までご連絡ください。下記のページで＜英語＞でもご案内しております。 http://www.math.tohoku.ac.jp/~tanaka/kanazawa2015.html よろしくお願いします。　東北大学　田中一之コンタクト：　SendaiLogic[at]math.tohoku.ac.jp

1 0

KusatsuSeminar3/16--20
by Fujita Kenetsu 13 Jan '15

13 Jan '15

皆様，『ラムダ計算と論理の早春セミナー』のご案内日程：2015年3月16日(月) 午後5時から3月20日(金) 正午まで場所：国立大学草津セミナーハウス　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2015.03LLSinKusatsu.htm 申込・質問などは藤田（群馬大学）までご連絡をお願いします．興味をお持ちのみなさまのご参加をお待ちしております． ----------- 群馬大学　藤田憲悦

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml