Kisoron-ml May 2018

2 participants
3 discussions

SAML 2018 / Takeuti Memorial Symposium 講演募集
by Teruyuki YORIOKA 21 May '18

21 May '18

皆様，静岡大学の依岡です。先日 logic-ml と kisoron-ml でお送りしました案内と同様のものです。竹内外史先生を追悼するシンポジウムを以下の要領で開催しますのでお知らせします。多くの方々の講演をお待ちしております。レセプションとバンケットを企画しておりますので、参加ご希望の方は申し込みをしてください。よろしくお願いします。 SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ 日時：2018年9月18日（火）から20日（木）まで場所：神戸大学六甲台第2キャンパス内瀧川記念学術交流会館プログラム委員：新井敏康，岡田光弘，菊池誠，黒田覚，依岡輝幸言語：英語招待講演者：S. Buss, J.-Y. Girard, W. Sieg, M, Yasugi （他の招待講演者は後にお知らせします）一般講演：領域：数学基礎論のすべての領域（理論計算機科学および哲学を含む）講演時間：30分程度を予定（申込数に応じて変更します）講義録：原則として一般講演に基づく，査読付き論文からなる講義録をシンポジウム後に Springer Proceedings in Mathematics and Statistics から出版します。投稿締切：2019年3月31日，出版：2020年春の予定．詳細は一般講演者にお伝えします。懇親会：レセプション：2018年9月18日夜，会場：瀧川記念交流会館内，会費：4,000円程度バンケット（新井敏康教授還暦祝）：2018年9月19日夜，会場：未定，会費：12,000円程度参加ご希望の方は以下の情報を2018年7月31日までに件名を「SAML2018」として email で依岡輝幸 yorioka(a)shizuoka.ac.jp までお送りください。みなさまのご参加をお待ちしております。 ---ここから--- 氏名：所属：連絡先 (email)：一般講演の希望：有・無（希望有の場合）講演題目：アブストラクト（5行から10行程度）：懇親会：レセプション（参加・不参加），バンケット（参加・不参加） ---ここまで--- 連絡先：会場および懇親会について：菊池誠 mkikuchi(a)kobe-u.ac.jp 講演参加申込およびプログラムについて：依岡輝幸 yorioka(a)shizuoka.ac.jp

1 0

Announcement on SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 17 May '18

17 May '18

Dear all, We are pleased to announce the international conference SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ This will take place from September 18th to 20th, 2018, at the Takigawa Memorial Hall, Rokkodai Campus, Kobe University, in Japan. Program comittee: Toshiyasu Arai (Chiba) Makoto Kikuchi (Kobe) Satoru Kuroda (Gunma Prefectural Women’s University) Mitsuhiro Okada (Keio University) Teruyuki Yorioka (Shizuoka) Confirmed invited speakers: Samuel R. Buss (San Diego) Wilfried Sieg (CMU) Mariko Yasugi (Kyoto) (Other invited speakers will be announced later.) Scope: Mathematical logic and related areas including (but not restricted to) proof theory, set theory, computability theory, model theory, philosophical logic, theoretical computer science, philosophy of mathematics. Contributed talks: Each contributed talk is planned to be approx. 30 min (this may change according to the number of talks). Proceedings Volume: The proceedings volume of selected and revised papers based on the talks will be published after the symposium. Important Dates (tentative): Deadline of abstracts for contributed talks: July 31, 2018 Symposium: September 18-20, 2018 Deadline of full papers for the proceedings volume: March, 2019 Publication of the proceedings volume: December 2019 Parties: The reception will be held on September 18th evening at Takigawa Memorial Hall (conference venue). It will cost 4,000JPY (tentative). The banquet (Toshiyasu Arai 60th birthday celebration) will be held on September 19th evening. It will cost 12,000JPY (tentative). The place will be announced later. Registration: Send to Teruyuki Yorioka yorioka(a)shizuoka.ac.jp with subject "SAML2018", and please provide the following information. The deadline of the registration is July 31st, 2018. Name: Affiliation: E-mail: Contributed talk: (yes/no) if yes, please attach title and abstract (about 5 to 10 lines) Parties: Reception (yes/no), Banquet (yes/no) For any inquiry concerning the workshop, please contact for parties: Makoto Kikuchi mkikuchi(a)kobe-u.ac.jp for registration or program: Teruyuki Yorioka yorioka(a)shizuoka.ac.jp

1 0

SLACS 2018 (8月8-9日) 講演募集のお知らせ
by Katsuhiko Sano 15 May '18

15 May '18

皆様（複数のメイリングリストに送信しています。重複して受信の際はどうぞご容赦ください。） SLACS 2018（記号論理と情報科学）幹事の北海道大学の佐野勝彦です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時 2018年8月8日（水）（午後1時頃開始）から2018年8月9日（木）場所〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室参加費無料。ただし、懇親会費は別途徴収します（懇親会は初日夕方に開催予定）。幹事北海道大学文学研究科佐野勝彦連絡先 katsuhiko.sano(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。　SLACS 2017 (千葉工業大学) 　http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・懇親会申込方法：講演を希望される方は、幹事に連絡をお願いいたします。その際、以下について回答をお願いいたします。Subject を「SLACS2018講演申込」にしておいていただけるとありがたいです。講演申込期限は **2018年7月24日** としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。講演時間は原則40分を予定しています。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦所属：（例）北海道大学文学研究科 e-mail アドレス: 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります題目：（例）TBA 概要：簡単で結構です。懇親会：参加する/追って連絡する/参加できない要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2018