Kisoron-ml

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

599 discussions

ドメイン名の変更
by Atsushi Igarashi 13 Aug '14

13 Aug '14

kisoron-ml購読のみなさま，五十嵐＠京大％kisoron-ml管理人です． kisoron-ml のアドレスのドメイン名部分を変更いたします．旧) kisoron-ml(a)sato.kuis.kyoto-u.ac.jp 新) kisoron-ml(a)fos.kuis.kyoto-u.ac.jp 現在はどちらののアドレスでも投稿を受け付けておりますが， 2014年8月31日をもちまして旧アドレスを廃止いたします．不明な点があればお問い合わせください．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Kusatsu seminar
by Toshihiko Kurata 29 Jul '14

29 Jul '14

皆様，毎年行われています「ラムダ計算と論理の晩夏セミナー」について御案内させて頂きます．今年度は期間：9月21-25日場所：国立大学草津セミナーハウスで計画されていまして，詳細な情報は http://www.i.hosei.ac.jp/~kurata/2014LLS/ を御覧頂けたらと思います．申込・質問などの受付は倉田（法大）となっていますので何かありましたら遠慮なく御連絡下さい．それではよろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

数学基礎論若手の会2014のご案内
by YOSHIDA Satoru 18 Jul '14

18 Jul '14

kisoron-mlの皆様鳥取環境大学の吉田聡と申します。数学基礎論若手の会2014のご案内をさせて頂きます：数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 今年度若手の会申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA Satoru> 鳥取環境大学

2 1

モデル理論夏の学校2014＠筑波大学
by kota takeuchi 25 Jun '14

25 Jun '14

皆様、筑波大学の竹内耕太です。モデル理論夏の学校は毎年夏に開催されるモデル理論の研究集会です。今年は9月に筑波大学で開催されます。モデル理論ならびに関連分野に興味をお持ちの方はぜひご参加下さい。 (また講演希望者や学生を対象に一部旅費の援助も検討しています。必要に応じてご相談ください。) 竹内耕太 ------------------------------------------------------------------ モデル理論夏の学校2014 開催案内・参加募集ウェブページ：http://www.math.tsukuba.ac.jp/~kota/summerworkshop2014.html 日時：2014年9月14日（日）－16日（火）会場：筑波大学（つくばキャンパス）講演申込締切：8月31日（日）世話人連絡先：竹内耕太 kota(a)math.tsukuba.ac.jp 講演を希望される方は・タイトル・氏名・所属・希望時間（あれば）を竹内までメールにてお知らせください。参加に事前申し込みは必ずしも必要ありませんが、大まかな人数を把握するために事前に参加の旨連絡いただけるとうれしいです。竹内耕太（筑波大学）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 23 Jun '14

23 Jun '14

皆様リーズ大学のJohn Stell先生の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 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: Friday 27 June, 2014, 15:30-17:00 Place: JAIST, 7F seminar room (I-75) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. John Stell (University of Leeds, UK) Title: Bi-Intuitionistic Modal Logic and Hypergraphs Abstract: I will discuss motivations from spatial reasoning and mathematical morphology (as used in image processing) for the notion of a relation on a graph. I will show how the algebra of these relations is weaker than that of relations on a set. This leads to a generalization of relation algebras in which the Boolean algebra is replaced by a symmetric Heyting algebra. These relations can be used as the accessibility relations for a modal logic in which propositions are interpreted as subgraphs of a graph or more generally a hypergraph. --------------------------------------------------

1 0

春の数学会
by KASHIMA Ryo 13 Jun '14

13 Jun '14

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演申し込みが始まりました（オンライン講演申込締め切りは12月1日）。多くの発表をしていただけると嬉しいです。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を　講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は次をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

2 2

The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers
by Katsuhiko Sano 05 Jun '14

05 Jun '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。今年 10/24, 10/25 に台湾で開催される Logic Colloquiumについてご案内いたします。佐野勝彦 --- The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers 24th (Fri.) -- 25th (Sat.) October, 2014 The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taipei, Taiwan DEADLINE OF THE SUBMISSION OF ABSTRACTS: August 31st, 2014 DESCRIPTION OF THE COLLOQUIUM The 2014 TPLC is the second of the series of Taiwan Philosophical Logic Colloquium, which is one of two series of biennial conferences established since 2012 and based in The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taiwan. (The other one is the series of Taiwan Metaphysics Colloquium, established since 2013.) Each event in these two series by and large runs in one/two days only. We usually invite one or two distinguished philosophers/logicians as keynote speakers and 3-4 distinguished scholars from Asian and Australasian regions together with several contributed papers. We hope that the establishment of these two series will make a rewarding and inspiring series of events so as to promote the development of metaphysics and philosophical logic in Asian area, especially in Taiwan. In particular, the aim of the series of Taiwan Philosophical Logic Colloquium is to bring together a group of logical-minded philosophers and a group of logicians with philosophical orientation. We intend, via the establishment of this series, to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspective, respectively. The scope of this series of colloquium will cover: philosophical logic (in a broad sense), non-classical logics, algebraic logic, all kinds of semantics/logics relating to philosophical concepts in metaphysics, epistemology, philosophy of language, philosophy of logic/mathematics, and their applications in computer science and cognitive science. KEYNOTE SPEAKERS FOR THE 2014 TPLC Robert Goldblatt, ``Admissible semantics for modal logic with quantifier'' (School of Mathematics, Statistics and Operations Research, Victoria University, New Zealand.) Hiroakira Ono, ``On interpolation properties'' (Japan Institute of Science and Technology (JAIST), Japan) INVITED SPEAKERS FOR THE 2014 TPLC Chen Bo (Peking University, China); Hanti Lin (Australia National University, Australia; UC Davis, USA) Fenrong Liu (Tsinghua University, China) Tomoyuki Yamada (Hokkaido University, Japan); SUBMISSION OF ABSTRACTS All researchers working on various aspects of philosophical logic are cordially invited to submit their abstracts by August 31st, 2014. Authors should submit an (extended) abstract at least about one page (A4 size, single space) but no more than four pages. Abstracts must be submitted as PDF files and sent to dmdeng(a)ntu.edu.tw (cc. Joshua S. S. [bookitchen(a)gmail.com.]) Each submission will be reviewed. The Colloquium is open to everyone, and practical info will be available soon on the website. SPECIAL OFFER FOR SPEAKERS FROM ABROAD Contributed papers from international scholars are highly appreciated. There will be a possibility of giving support of accommodation during the conference to speakers from abroad. Please take a contact with Syraya C. M. Yang (cmyang(a)ntu.edu.tw). However, it is strongly recommended that as long as you have decided to submit an abstract, please send us a note at your convenience as hotel-room preservation can be made the earlier the easier. POST-CONFERENCE PUBLICATION: We are planning to publish a post-conference proceedings for the 2014 TPLC once we get enough number of submissions of high quality. We have already taken a contact with editor-in-chief of LIAA book series concerning with this matter. The LIAA (``Logic in Asia'') is a new established publication project for a series of logic books from Springer. See http://www.springer.com/series/13080. If our project is approved, a post- conference proceedings will be published as a volume of LIAA. All authors of papers presented at the colloquium will be encouraged to submit a full version and the deadline of submission of manuscripts will be around February of 2015. All papers submitted will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The approval and the details of the post-conference proceedings will be announced later. ORGANIZATION COMMITTEE D. M. Deng, Y. I. Liang, C. J. Liau (The Institute of Information Science, Academia Sinica), E. M. Peng, H. C.Tsai (National Chung Cheng University), S. P. Tung (Chung Yuan Christian University), R. L. Wang, S. C. M. Yang (Chair), J. J. Yuann FFURTHER CONTACT: For any enquiry/information please contact: D. M. Deng (dmdeng(a)ntu.edu.tw) Joshua S. S. (bookitchen(a)gmail.com) Syraya C. M. Yang (cmyang(a)ntu.edu.tw)

1 0

Program of SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 20 May '14

20 May '14

皆様、北陸先端大の横山です。以前にもご案内いたしました2014年度のSLACS及び超準解析シンポジウムのプログラムを公開いたしました。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/speakers.html 27日には・斉藤正彦先生の特別講演、・小澤正直先生、蓮尾一郎先生の基調講演がございます。貴重な機会かと存じます、奮ってご参加ください。また、27日には両研究集会合同の懇親会を行います。お店のスペースの関係上、席の残りが少なくなっておりますので、参加をご検討の方はお早めにお申し込みください。どうぞよろしくお願いいたします。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録は、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等 ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

JAIST Logic Seminar Series
by Takako Nemoto 16 May '14

16 May '14

皆様インスブリア大学のMarco Benini 先生の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(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. Date: Thursday 22, May, 2014 15:30-17:00 Place: JAIST Collaboration Room 6 (I57-g) (Access:http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. Marco Benini Title: Point-free foundations of Mathematics Abstract: Is it possible to work with logical theories without assuming the existence of a universe where to interpret terms? This talk will positively answer to the above question in the case of first-order, intuitionistic-based theories by providing a class of models, defined inside Category Theory, such that they allow to interpret theories in a sound and complete way. Furthermore, the models explain the computational meaning of the corresponding theories via a semantic version of the Curry-Howard isomorphism. And their peculiar aspect is that they provide no universe where to interpret terms.

1 0

【講演募集の延長】SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 08 May '14

08 May '14

皆様、北陸先端大の横山です。繰り返しになりまして恐縮ですが、 2014年度のSLACS及び超準解析シンポジウムについて再度ご案内させていただきます。講演申し込みの締め切りを本日にしておりましたが、超準解析シンポジウムの方は講演スロットにまだかなりの余裕があり、 SLACSにつきましても、まだ若干の余裕がありますので、引き続き、スロットの許す限り、講演を募集いたします。ご参加・ご講演をよろしくご検討ください。横山 -------------------- 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方はお早めに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、決まり次第お願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

← Newer
1
...
42
43
44
45
46
47
48
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml