Logic-ml October 2020

7 participants
8 discussions

証明論研究集会2020のご案内
by ikeda 21 Nov '20

21 Nov '20

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 2020年度の証明論研究集会のご案内をお送りさせていただきます．現在の新型コロナの感染拡大状況を鑑みて，今回の研究集会はオンラインで開催する予定です．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- 研究集会：証明論研究集会2020 日程：2020年12月19日（土）-12月20日（日）場所：オンライン Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory-2020/ 講演を希望される方も，参加のみを希望される方も12月7日(月) 17:00までに， ikedak(a)ks.kyorin-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 氏名：所属： e-mailアドレス：講演の有無：（講演有の場合は，タイトルと講演時間や講演日時等のご希望）杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 1

SLACS 2020 講演・参加募集のお知らせ
by Ryoma Sin'ya 12 Nov '20

12 Nov '20

皆様（複数のメイリングリストに送信しています．重複して受信の際はどうぞご容赦ください．） SLACS 2020（記号論理と情報科学）幹事の秋田大学の新屋良磨です．今年度の講演募集を以下のとおり行います．今年度はオンライン（Zoom）での開催となります．ご検討、どうぞよろしくお願いいたします． SLACS 2020（記号論理と情報科学） https://sites.google.com/view/slacs2020/home <https://sites.google.com/view/slacs2020/home> 日時 2020年12月3日（木）から2020年12月4日（金）場所オンライン（Zoom）参加費無料．幹事秋田大学　新屋良磨連絡先 ryoma(a)math.akita-u.ac.jp <mailto:[email protected]> SLACSとは：以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ <http://www.math.s.chiba-u.ac.jp/SLACS/> 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください． SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home <https://sites.google.com/view/slacs-2019/home> SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home <https://sites.google.com/view/slacs-2018/home> SLACS 2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html <http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html> SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html <http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html> SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ <https://sites.google.com/site/ptslacs2015/> 参加・講演申込方法：参加・講演を希望される方は、以下のフォームよりお申込下さい（Googleアカウントが必要です）．申込をされた方に、前日までにZoomの招待メールをお送りします．聴講のみの場合でも参加申込をよろしくおねがいします．参加・講演申込: https://forms.gle/9KkGHEN6yP955iyx9 <https://forms.gle/9KkGHEN6yP955iyx9> 秋田大学　数理科学コース新屋良磨

2 1

博士研究員募集（CREST「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」）
by Kohei SUENAGA 30 Oct '20

30 Oct '20

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永です． CREST「数理的情報活用基盤」領域において，今年度から末永が代表を務めるプロジェクト「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」が開始される予定です．これに伴い，形式検証やテスト手法を専門とする研究員を募集しております．詳しくは本メール末尾の要領もしくは https://hackmd.io/HqD7t6atQyuXzMyKuLX3UQ?both をご覧になり，応募をご検討いただけますと幸いです．また，適任な方にお声がけいただけますと大変ありがたいです．また，本プロジェクトに関わる博士課程学生には給与を支払いつつ研究を進めていただける可能性があります．修士の学生の方はこちらもご検討ください．なにかご質問がありましたら， ksuenaga [at] fos.kuis.kyoto-u.ac.jp か application-cyphai [at] fos.kuis.kyoto-u.ac.jp までご連絡いただければと思います．どうぞよろしくお願いいたします．末永 -- # 2+ postdoc researchers (max 5 years) and 4+ Ph.D. students in formal methods and control theory for AI-intensive cyber-physical systems in Kyoto or Tokyo, Japan ## Description We are seeking 2+ postdoc researchers and 4+ Ph.D. candidates who collaborate with us in the project "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" funded by JST. This project aims at establishing mathematically-solid methodologies to model, verify, test, monitor, and control a cyber-physical system in which AI plays crucial role (AI-CPS). Successful candidates will work with Kohei Suenaga (Kyoto University, Kyoto, Japan) or Masako Kishida (National Institute of Informatics, Tokyo, Japan) on this project. The contract will initially run until the end of March 2021, with the possibility of annual renewal at maximum 5 years. Although this call is for members working in Japan, this project is a joint project with a team in France led by Thao Dang (CNRS). We will be working in tight collaboration with our colleagues in France. The main research topic of Suenaga's team will be learning for AI-CPS and verification of AI-CPS. The expected research topic includes (but is not limited to) the following: (1) application of machine learning to synthesize the design of AI-CPS, (2) efficient machine learning for AI components in AI-CPS, and (3) (quantitative/statistical) model checking for AI-CPS. The main research topic of Kishida's team will be the control theory and method for AI-CPS. The expected research topic includes (but is not limited to) the following: (1) application of machine learning for designing a controller and (2) control for machine-learned components. ## Positions ### Postdoc researchers You will pursue your research agenda in line with the project's goal of applying formal methods to manufacturing. You need a Ph.D. degree (or to be close to completion) and a proven publication record. The experience of active interdisciplinary collaboration is highly desirable. The annual gross salary is determined according to the rules of the hiring instiution based on your qualifications. Insurances are covered according to the rules of the hiring institutions. ### Research Assistants (Ph.D. Students) We also invite students who will pursue their Ph.D. degrees under the supervision of Kohei or Masako. We may be able to cover your tuition and living expenses, although it's been the norm for Ph.D. students in Japan to cover these expenses by themselves; the salary will be as competitive as that of [JSPS Research fellowships]( https://www.jsps.go.jp/english/e-pd/index.html). You need to pass the entrance examination conducted by the institution that your prospective supervisor belongs to. ## Workplace Members of Suenaga's group will work at Kyoto University, Kyoto, Japan. Members of Kishida's group will work at the National Institute of Informatics, Tokyo, Japan. ## Qualifications A successful applicant must satisfy the following requirements. ### Postdoc researchers + He/She must have a Ph.D. degree or must be very close to its completion. + He/She must be (self-)motivated, dedicated, open-minded, and able to work both independently and collaboratively. + He/She must have strong communication skills in oral/written English due to the international and interdisciplinary nature of our project. + He/She must be an expert of the following area. + If you work in Suenaga's group: One or more among the following areas: + formal verification and/or testing of software and/or hybrid systems; especially statistical model checking and quantitative model checking + verification and/or testing of machine-learning systems + If you work in Kishida's group: One or more among the following areas: + control theory with rigorous mathematics + learning based control for cyber-physical systems + symbolic control + hybrid systems ### Ph.D. students + He/She must be (self-)motivated, dedicated, open-minded, and able to work both independently and collaboratively. + He/She must have strong communication skills in oral/written English due to the international and interdisciplinary nature of our project. + He/She must be familiar with the following areas. + If you work in Suenaga's group: One or more among the following areas: + formal verification and/or testing of software and/or hybrid systems + verification and/or testing of machine-learning systems + If you work in Kishida's group: One or more among the following areas: + control theory with rigorous mathematics + learning based control for cyber-physical systems + symbolic control + hybrid systems ## Applications and inquiries Applications should be sent to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp`, with the subject `CREST Job Application` Please include + your brief CV, + short description of research interests (can be very informal and short), + the list of papers (a dblp or Google scholar link will do, for example), + a couple of representative papers (in pdf), and + (preferably) the contact of two references. We will contact you for further material and interview, provided that we find sufficient relevance in your application. Starting dates are flexible. The positions will remain open until filled. The project ends in March 2026. Inquiries should also be sent to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp`, with the subject `CREST Job Inquiry` -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

研究補助者募集（プログラム検証器の機械学習による高速化研究の補助）
by Kohei SUENAGA 26 Oct '20

26 Oct '20

皆様，（複数お受け取りの場合はご容赦ください）京都大学の末永です．東大の小林先生の基盤Sのプロジェクト「AI時代を見据えたプログラム検証技術」でプログラム検証器を機械学習で高速化する研究をしているのですが，こちらで研究補助者を募集しております． https://www.kb.is.s.u-tokyo.ac.jp/~koba/hmcai/parttime.html Python で実験用プログラムを書いてもらう仕事が主となります．興味のある方はどうぞご検討ください．内容等について質問がありましたら末永までお知らせください．よろしくお願いいたします．末永 -- * 職務内容：実験補助（Pythonによるプログラミング） * 勤務条件：時給1300円〜2000円（東京大学の規程および経験に応じて決定）。週10〜15時間程度（応相談） * 必要なスキル： - Pythonプログラミング（必須） - 機械学習，特に強化学習に関する基本的な知識（必須） - プログラミング言語OCamlの知識（望ましい） * 仕事の内容：機械学習を用いて，プログラムのバグを網羅的に発見する手法である形式検証手法を高速化する研究の実験補助を行っていただきます．実験を行うためのPython プログラムをこちらの指示に従って作成・改造し，Google Cloud Platform (GCP) 上で実行し，実験結果をまとめていただきます．週1回1.5時間程度の打ち合わせ（当面オンラインの予定）に出席して，状況をお知らせいただきます． * 応募方法：上記 URL に記載のメールアドレスまで，以下の内容をお送りください． - 東京大学統一履歴書 (https://www.u-tokyo.ac.jp/ja/about/jobs/r01.html) - これまでの開発経験を説明した文章（様式自由） - これまでにご自分が書いた Python のコードがあるリポジトリの URL と，そのプロジェクトの説明（様式自由）共同で開発された場合は，ご自分が関わった部分がどこかをお知らせください． - ご自分の機械学習に関する経験を説明した文章（様式自由） * 選考方法：書類選考の後、必要に応じて面接（オンラインの予定）を実施します -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

第43回量子情報技術研究会（QIT43）会告案内
by Yasuhito Kawano 26 Oct '20

26 Oct '20

logic-mlの皆様、 NTTの河野です。第43回量子情報技術研究会（QIT43）の会告案内をお送りします。皆様のご参加をお待ちしております。よろしくお願いします。河野泰人 ----------------------------------------------------------------- 第43回量子情報技術研究会（QIT43）研究会の内容：　　情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　　第43回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，　自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，　広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も　歓迎致しますので，奮ってお申し込みください．　　なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，　下記のQITウェブサイトをご確認下さい．日時：2020年12月10日（木）〜11日（金）　　（予稿集（電子版）は2020年12月9日（水）発行を予定）会場：オンライン（Zoom, Remoを予定）　　（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究，数学的研究，および，その他関連分野．定員：180名程度参加費：一般3,000円，学生2,000円 ※参加費は予稿集代（電子版）を含みます．　参加された方は無料でオンライン懇親会に参加頂けます． ※12月1日（火）より後にお支払いの場合は12月8日（火）まで直前料金（+1,000円）　で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．　参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：　参加申込は下記 Web にて受付けます：　https://www.ieice.org/es/qit/qit43/ 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の　Webシステムを使用する予定．各種締切：【口頭講演申込締切】　　2020年11月12日（木）【ポスター講演申込締切】2020年11月19日（木）【予稿原稿提出締切】　　2020年11月19日（木）【参加事前登録】　　　　2020年11月24日（火）【参加費の銀行振込】　　2020年12月 1日（火）【問合せ先】　宮本洋子（電気通信大学）　小川朋宏（電気通信大学）　清水亮介（電気通信大学）　Email: qit43(a)quest.lab.uec.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：電気通信大学量子科学研究センター

1 0

RIMS Model Theory Workshop 2020
by kota takeuchi 21 Oct '20

21 Oct '20

皆様以下の要領で RIMS共同研究（公開型）モデル理論研究集会が開かれます。Online開催ですので、ぜひ積極的にご参加いただければ幸いです。 RIMS研究集会「モデル理論における独立概念と次元の研究」 URL: https://sites.google.com/view/rimsmodeltheoryworkshop2020/ 日程：2020年12月7日午後－9日午前場所：Online（Zoom）研究代表者：竹内耕太（筑波大学）kota(at)math.tsukuba.ac.jp 講演申込：以下の情報を世話人にお知らせください。氏名、所属、職名/学年、講演タイトル、短いアブストラクト(option)、あれば希望の日程講演申込締め切り：11月6日参加を希望される方は世話人までご連絡ください。詳しい参加方法を後ほどお知らせします。またwebpage上でも情報を更新していく予定です。竹内耕太

1 0

特任研究員の公募
by Naoki Kobayashi 16 Oct '20

16 Oct '20

東京大学の小林と申します。以下の条件で、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との相互の応用も含む、広めのプロジェクト設定になっております。また、このタイミングですと、最長4年（評価を経ての延長込み）の任期になりますので、プロジェクト雇用のポスドクとしては比較的落ち着いて研究に取り組んでいただくことができます。また、ご本人の能力・経験次第では特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻教授 ================ 着任時期：2021年1月から4月の間（数ヵ月の前後は応相談）任期：2年（ただし業績評価を経て最長2025年3月まで延長可能）　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．細かい条件は応相談.）研究テーマ：高階モデル検査をはじめとするプログラム検証手法、　　機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明　計算量理論機械学習応募方法： 10月20日までに、小林（koba(a)is.s.u-tokyo.ac.xn--jp)cv(-kr3ed72gtgq362dt6ya 業績等を記載したもの）および抱負（1頁程度）、照会先情報（2名程度）をお送りください。問い合わせ先： koba(a)is.s.u-tokyo.ac.jp ===================== -- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba(a)is.s.u-tokyo.ac.jp

1 1

助教公募
by arai toshiyasu 05 Oct '20

05 Oct '20

関係各位東京大学数理科学研究科では助教を1名公募しています。 https://www.ms.u-tokyo.ac.jp/index-j.html https://www.ms.u-tokyo.ac.jp/news/20201005jokyo.pdf 新井敏康

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2020