Logic-ml October 2022

6 participants
7 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

2022年度の証明論研究集会のご案内
by YOKOYAMA Keita 03 Dec '22

03 Dec '22

みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

2 1

教員公募（5件）：島根大学（セキュリティ分野／データサイエンス分野／外国人限定：いずれも准教授または助教/広い意味での数理科学分野）
by Munehiro Iwami 21 Oct '22

21 Oct '22

皆様島根大学の岩見と申します。本学において以下5件の公募を行っております。関連する分野の方がおられましたら、ぜひ応募をご検討ください。お心当たりの方にも情報を共有いただけますと幸いです。よろしくお願いいたします。 ---------------------------------------------------------------- 募集人員：准教授または助教計3名所属：島根大学学術研究院理工学系担当：総合理工学部知能情報デザイン学科、自然科学研究科所在地：島根県松江市西川津町1060 勤務形態：常勤任期なし応募締切：2022年12月23日（必着）それぞれの詳細は以下をご覧ください。【セキュリティ分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年2月1日以降のできるだけ早い時期【データサイエンス分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年4月1日【外国人限定】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年4月1日 ---------------------------------------------------------------- 下記の公募は知能情報デザイン学科の教員の公募ではありません。広い意味での数理科学、およびその応用分野を専門分野とする教員を募集しています。募集人員：准教授、講師または助教　計2名所属：島根大学学術研究院理工学系担当：総合理工学部、自然科学研究科所在地：島根県松江市西川津町1060 勤務形態：常勤任期なし応募締切：2022年12月23日（必着）【広い意味での数理科学分野】2名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 　採用予定時期：2023年4月1日 ----------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 1

MLが10日あまり止まっていました
by Atsushi Igarashi 20 Oct '22

20 Oct '22

logic-ml/kisoron-ml/jssst-ppl 購読者の皆様，管理人の五十嵐です． 10/9 あたりからメイリングリストの配送が止まっていたようです．先程，対処を行いまして，この間の投稿も含めて再び流れ始めたように見えますが，ひょっとしたら失なわれたものもあるかもしれません．その場合は，お手数ですが再投稿していただけますようお願いいたします．ご迷惑をおかけしたことをお詫びいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

証明論シンポジウム2022
by Hirotaka Kikyo 20 Oct '22

20 Oct '22

皆様東北大学の横山さんからのお知らせの代理投稿です。よろしくお願いします。（神戸大学桔梗宏孝） ************************** みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 <https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0> また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 <https://forms.gle/WkYU54DzYNmYHCQV6> 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

QIT47のご案内
by NISHIMURA Harumichi 18 Oct '22

18 Oct '22

logic-mlの皆様名古屋大学の西村と申します．第47回量子情報技術研究会（QIT47）の会告案内を代理投稿します．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 ======================================================================== 第47回量子情報技術研究会（QIT47）研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第47回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2022年12月8日（木）～ 12月9日（金）会場：現地参加およびオンライン（Zoomを予定）のハイブリッド方式現地参加の場合，慶應義塾大学矢上キャンパス 14棟地下2階マルチメディアルーム(MMR) （神奈川県横浜市港北区日吉3-14-1）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名程度参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます． ※12月1日（木）より後にお支払いの場合は12月5日（月）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit47/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会のWebシステムを使用する予定．各種締切：【口頭講演申込締切】 2022年10月28日（金）【ポスター講演申込締切】2022年11月18日（金）【予稿原稿提出締切】 2022年11月18日（金）【参加事前登録】 2022年12月1日（木）【参加費の銀行振込】 2022年12月1日（木）【問合せ先】委員長：山本直樹（慶應義塾大学）副委員長：田中宗（慶應義塾大学）副委員長：古池達彦（慶應義塾大学）副委員長：関優也（慶應義塾大学） Email: qit47-ml(-AT-)appi.keio.ac.jp [(-AT-)を@に変えて下さい] 主催：量子情報技術特別研究専門委員会（委員長：武岡正裕（慶應義塾大学）） ========================================================================

1 0

2022年度の証明論研究集会のご案内
by YOKOYAMA Keita 16 Oct '22

16 Oct '22

みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/22(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2022