Kisoron-ml

1 participants
589 discussions

「圏論シンポジウム」開催のお知らせ; Symposium on the Categorical Unity of the Sciences
by Yoshihiro Maruyama 25 Feb '19

25 Feb '19

皆様、 Oxford大学のSamson Abramsky教授来日に際し、下記の通り圏論シンポジウムを開催いたします。登録不要ですので、お気軽にお立ち寄り下さい。 ------------------------------------------------------------------------------ 圏論シンポジウム Symposium on the Categorical Unity of the Sciences 3月22-23日、益川ホール、北部キャンパス、京都大学 22-23 March at Maskawa Hall, Kyoto University, Japan https://sites.google.com/view/categorical-unified-science/ 講演者 Speakers - Samson Abramsky (University of Oxford) - 久木田水生 (名古屋大学) - 谷村省吾 (名古屋大学) - 蓮尾一郎 (国立情報学研究所) - 春名太一 (東京女子大学) - 丸山善宏 (京都大学) - 三好博之 (京都産業大学) 事前登録/参加費不要。 No registration required. 問い合わせ先 Contact 丸山善宏（京都大学） maruyama(a)i.h.kyoto-u.ac.jp 旅費援助を希望される方は、上記までお早めにご連絡下さい。 (可能な数に限りはございます.) Limited travel funding is available; contact the organizer asap. ------------------------------------------------------------------------------ なおスケジュール詳細はウェブページの方にあります。どうぞよろしくお願い致します。丸山善宏（京都大学白眉センター）

1 0

CTFMのご案内
by 小俣安彦 22 Feb '19

22 Feb '19

皆様 CTFM主催者である彭寧寧氏(武漢理工大学)に代わり，下記のご案内をさせていただきます． Computability Theory and Foundations of Mathematics (CTFM) 昨年の明治大学での開催につづき，本年は標記国際会議が下記の日程で開催されます．日程：2019年 3月 21 日 (木) Registaration 　　　22日〜 25日 Lectures and Talks 　　　26-27日 Discussions and Excursions 場所：中国　武漢理工大学参加申し込みなどさらに詳しい情報は，次のウェブサイトをご覧ください． http://www.ctfm2019.com/index.html 講演申し込みはすでに締め切っておりますが，追加講演が認められる場合もございますので，何かご要望等がございましたら ctfm2019(a)gmail.com　までご相談ください．よろしくお願いします．田中一之（東北大学）小俣安彦（東北大学）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 25 Jan '19

25 Jan '19

皆様 LMUミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID (http://www.jaist.ac.jp/logic/ja/core2core, http://cid.uni-trier.de/). Date: Wednesday 6 March, 2019, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Mathematisches Institut, LMU Muenchen) Title: Equality and extensionality Abstract: We sketch a theory of computable functionals (TCF) based on finitary algebras given by their constructors. Its intended semantics admits non-total functionals. For closed algebras of level zero we allow infinite stream-like objects. For higher types we define (pointwise) equality as a logical relation, and extensionality by diagonalization of equality. We define realizability and -- in the spirit of Kolmogorov (1932) -- add an invariance axiom: every computationally relevant (c.r.) formula A is equivalent to the existence of an extensional realizer of A. Then we can prove (ordinary and dependent) choice, and also a soundness theorem stating that the computational content extracted from a proof of a c.r. formula A realizes A.

1 0

組合せ論・モデル理論セミナー第三回開催のご案内
by Shunsuke Okabe 09 Jan '19

09 Jan '19

メーリングリストの皆さま夜分に失礼いたします。神戸大学の岡部と申します。組合せ論・モデル理論セミナー第三回( https://sites.google.com/site/kcmseminar/ )の開催をご案内させていただきます。以下に開催の要領を記載いたします。日時：2019年1月16日(水) 16:30-18:00 場所：神戸大学六甲台第二キャンパス自然科学総合研究棟三号館421号室講演者：廣祥吾氏(慶應義塾大学) 講演タイトル：Pigeonhole Property for Colored Graphs 以上となります。開催間際の連絡となってしまい恐縮ですが、ぜひご参加ください。また、講演終了後に三宮駅周辺で懇親会の開催も予定しております。参加をご希望の方は、1月14日(月)の午前中までに岡部( 137x606x(a)stu.kobe-u.ac.jp )までご連絡ください。どうぞよろしくお願いいたします。〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 3年岡部峻典 TEL: 090-3970-3756 E-mail: 137x606x(a)stu.kobe-u.ac.jp

1 0

CCA 2019（7月8～11日・ザグレブ）論文募集
by Akitoshi Kawamura 29 Dec '18

29 Dec '18

メーリングリストの皆様九大の河村と申します。来年7月にクロアチアのザグレブで行われる「解析学と計算理論」の国際会議CCA 2019の御案内をお送りいたします。 ______________________________________________________________ First Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) http://cca-net.de/cca2019/ July 8-11, 2019, Zagreb, Croatia Submission deadline: March 13, 2019 ______________________________________________________________ The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019) that takes place in Durham, UK, from July 15-19, 2019. Topics - Computable analysis - Complexity on real numbers - Constructive analysis - Domain theory and analysis - Effective descriptive set theory - Theory of representations - Computable numbers, subsets and functions - Randomness and computable measure theory - Models of computability on real numbers - Realizability theory and analysis - Reverse analysis - Weihrauch complexity - Real number algorithms - Implementation of exact real number arithmetic Invited Speakers - Douglas Cenzer (Gainesville, USA) - Hannes Diener (Christchurch, New Zealand) - Jacques Duparc (Lausanne, Switzerland) - Hugo Férée (Kent, UK) - Guido Gherardi (Bologna, Italy) - Bruce Kapron (Victoria, Canada) - Joël Ouaknine (Saarbrücken, Germany) - Svetlana Selivanova (Novosibirsk, Russia) Scientific Programme Committee - Verónica Becher (Buenos Aires, Argentina) - Vasco Brattka, chair (Munich, Germany) - Akitoshi Kawamura, co-chair (Fukuoka, Japan) - Neil Lutz (Pennsylvania, USA) - Alberto Marcone (Udine, Italy) - André Nies (Auckland, New Zealand) - Peter Schuster (Verona, Italy) - Dieter Spreen (Siegen, Germany) - Florian Steinberg (Saclay, France) - Sebastiaan Terwijn (Nijmegen, The Netherlands) Organising Committee - Konrad Burnik (Amsterdam, The Netherlands) - Marko Horvat (Zagreb, Croatia) - Zvonko Iljazović, chair (Zagreb, Croatia) - Matea Kalinić (Split, Croatia) - Bojan Pažek (Zagreb, Croatia) Submissions Authors are invited to submit 1-2 pages abstracts in PDF format, including references via the following web page: https://easychair.org/conferences/?conf=cca2019 If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hard copy and/or in electronic form. Dates - Submission deadline: March 13, 2019 - Notification of authors: April 15, 2019 - Final version: May 6, 2019 - Registration deadline: May 20, 2019 -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 http://www.fc.inf.kyushu-u.ac.jp/~kawamura/ kawamura(a)inf.kyushu-u.ac.jp

1 0

数学通信
by Satoru Kuroda 20 Dec '18

20 Dec '18

皆様，連絡責任評議員の黒田です．会報１７２号（「数学通信」23巻4号）紙上で全会員にお知らせする事項がございましたら，1月16日（水）までに黒田までおしらせください． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

証明論研究集会のご案内（締切を延長いたしました）
by Yoshihito Tanaka 07 Dec '18

07 Dec '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月10日（月）17:00までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

Kobe Colloquium on Logic, Statistics, and Informatics
by Hirotaka Kikyo 29 Nov '18

29 Nov '18

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2018年12月13日（木）15:10~16:40 講演者：Philipp Rothmaler （ニューヨーク市立大学、ニューヨーク州）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目：Ｉnfinitary implications in module categories アブストラクト：I will present some axiomatizations of algebraic properties of modules that turned out useful in purely algebraic considerations---some almost classical, some more recent---and explain how and why. This talk will be complementary to the talk at RIMS with minimum overlap. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

証明論研究集会2018のご案内（Reminder）
by Yoshihito Tanaka 28 Nov '18

28 Nov '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

公募 (水産大学校)
by AOKI Kunimasa 19 Nov '18

19 Nov '18

kisoron-ml の皆様水産大学校水産流通経営学科では下記にある教育職員を公募しております。 http://www.fish-u.ac.jp/nyusatu/s_2018.html お近くに興味のある方がいらっしゃいましたらお知らせいただけると幸いです。よろしくお願いします。 -- AOKI Kunimasa

1 0

← Newer
1
...
20
21
22
23
24
25
26
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml