Kisoron-ml May 2021

3 participants
3 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

日本数学会秋季総合分科会はオンライン開催
by Masaru KADA 19 May '21

19 May '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。日本数学会2021年度秋季総合分科会はオンライン開催となることが、 5月15日付の理事長文書でアナウンスされました。 ↓2021年度秋季総合分科会のオンライン開催について https://www.mathsoc.jp/activity/meeting/chiba21sept/news20210515.html 5月28日から一般講演の申込が始まる予定です。 2021年度年会のオンライン開催と同様に、一般講演の形式としては -- アブストラクト提出をもって講演成立 -- 講演スライドのアップロードも可能（講演オプション1） -- Zoomウェビナーによる講演のオンライン配信も可能（講演オプション2）となります。みなさまのご理解とご協力をお願い申し上げます。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
by Yoshihito Tanaka 12 May '21

12 May '21

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と形式検証」が以下の要領で開催されます：期間：5月13日-7月29日日時：毎週木曜日16:00-18:00 詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）． ZoomのURL，ID等は，以下にお問い合わせください： Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp 溝口佳寛：ym(a)imi.kyushu-u.ac.jp ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2021