Kisoron-ml November 2018

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

6 participants
7 discussions

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

2019年度年会一般講演
by Satoru Kuroda 16 Nov '18

16 Nov '18

皆さま，評議員の黒田です．日本数学会年会の一般講演の申し込みは11/23(金)までとなっております．積極的な講演の申し込みをお願いいたします． — Satoru Kuroda -- Satoru Kuroda Gunma Prefectural Women's University

1 0

証明論研究集会2018のご案内
by Yoshihito Tanaka 08 Nov '18

08 Nov '18

1 0

第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 05 Nov '18

05 Nov '18

皆様静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。再度、ご案内させていただきます。重複してお受け取りの方々には、ご寛恕を願っておきます。下記の〆切はすぎましたが、まだ懇親会には余裕があります。懇親会への参加を希望される場合は事前に必ずお申し込みください。 11月16日までにお願いします。申し込み無しでもご参加いただけますが、事前にお申込みいただけますとたすかります。講演スロットにも、わずかですが空きがあります。ご検討中の方はお早めにお申し込みください。ぜひ、ご参加をご検討ください。 --------------------------------- 皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

SLS2018(仙台)のご案内
by 小俣安彦 02 Nov '18

02 Nov '18

皆様この度，Sendai Logic School 2018 を下記の日程で開催致しますので，ご案内申し上げます．日時：2018年 12月 7日 (金)午後～ 12月 9日 (日)午後場所：東北大学青葉山キャンパスおよび秋保岩沼屋 SLSに関する詳細や，参加のお申し込みなどについては，下記のウェブページをご覧ください． http://www.sendailogic.com/SLS2018/ 締め切りは11月20日です．岩沼屋のシングルルームはすでにほぼ満室になっているため，そちらにご宿泊を希望される方は共同部屋になるかもしれません．詳しくはご相談ください．お申し込みやお問い合わせについては， sendailogic(a)gmail.com まで．よろしくお願いします．田中一之（東北大学）小俣安彦（東北大学）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml November 2018