Kisoron-ml January 2024

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

2 participants
4 discussions

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

08 Apr '24

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

2 1

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

数学会奨励研究生の募集について
by Hiroshi SAKAI 17 Jan '24

17 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井と申します．お世話になっております．数学会では奨励研究生の制度を設けており，博士学位取得後５年以内の研究者に研究奨励金を支給しています． 2024年度の奨励研究生への応募は1月31日までですが，現時点で応募件数が大変少なくなっているようです．ご興味のある方は下記ページをご参照のうえご応募ください．また，お近くの対象者にも周知いただけますと幸いです． 2024年度日本数学会奨励研究生 https://www.mathsoc.jp/publicity/news20231026/2024shourei.html よろしくお願いいたします．酒井拓史

1 0

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 05 Jan '24

05 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．数学通信28巻4号（2月20日発送予定）で数学会会員に周知を希望する研究集会等がありましたら，その情報を酒井までお寄せください．研究集会の場合は，以下の情報のご連絡をお願いします．　集会名・日程・会場・幹事・連絡先・ホームページ連絡期限と連絡先は以下の通りです．　締切：1月14日(日) 　連絡先：hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期間が短く申し訳ございませんが，よろしくお願いいたします．酒井拓史

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml January 2024