Kisoron-ml October 2023

3 participants
3 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 19 Aug '24

19 Aug '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 3

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 02 Dec '23

02 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

教員公募（京都産業大学理学部数理科学科）
by Hiroyuki Miyoshi 22 Oct '23

22 Oct '23

kisoron-mlの皆様、京都産業大学理学部数理科学科の三好博之です。本学理学部数理科学科では来年度4月着任予定の教員公募を行っております。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123101200 https://www.kyoto-su.ac.jp/news/2023_sc/20231012_150_koubom01.html 応募締切は11月30日（木）です。上記のウェブページを見て頂ければわかると思いますが、今回の公募は研究面での専門を限定せず数学から情報科学まで含めて広く募っています。数学基礎論（数理論理学）・理論計算機科学を専門とされる方のご応募も歓迎いたします。その代わり、機械学習・データサイエンス系の授業を担当できることが条件となります。具体的には、他の理学部の授業担当者と共に、理系学部に共通して求められるデータサイエンス・機械学習の標準的内容を教える授業を想定しています。所属は理学部数理科学科であり、その授業以外の理学部での学部・大学院での学生指導についてはご専門に関わる内容が可能です。なお、この公募は教授・准教授・助教の公募で、助教採用の場合、5年の任期制でテニュアトラックと明記していないのですが、業績と教育経験について、明文化されている所定の基準を満たせば 4年終了時までに准教授への昇任審査を受けることが可能です。以上、ご興味をお持ちの方がいらっしゃいましたらご応募をご検討下さい。またお近くに適任の方がいらっしゃればお勧めいただければ幸いです。 ---- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml October 2023