Logic-ml

9 participants
1781 discussions

日本数学会2021年度年会講演申し込みについて
by Katsumi Sasaki 11 Nov '20

11 Nov '20

みなさま日本数学会数学基礎論および歴史分科会評議員の佐々木です． 2021年度年会の講演申込をしていただきましたみなさま，ありがとうございます．現時点での講演申し込みは，4件で大変少ない状況です．講演申し込みの締切りは2020年11月20日（金）です．お忘れないよう，また締め切りに十分間に合いますよう，講演申し込みをお願い申し上げます． ※この年会は，オンライン開催となります．講演オプションなどの詳細については　http://www.mathsoc.jp/activity/meeting/keio21mar/ やメーリングリストでの案内を参照ください．佐々木克巳

1 0

日本数学会2021年度年会における一般講演Zoom利用のお誘い
by kota takeuchi 10 Nov '20

10 Nov '20

皆様数学会の一般公演に関する代理投稿をさせていただきます。筑波大学竹内耕太＝＝＝＝＝＝＝＝案内文＝＝＝＝＝＝＝＝＝＝みなさま日本数学会数学基礎論および歴史分科会連絡責任評議員の佐々木です．お世話になります． 2021年度年会の一般講演について日本数学会理事長から依頼がありました．一般講演は， http://www.mathsoc.jp/activity/meeting/keio21mar/manual/option2.html にあるとおり， 1. 講演スライドのアップロード公開 2. 講演のオンライン配信（動画のライブ配信）の両方あるいはどちらかひとつの選択が可能ですが，２の選択を奨めていただきたいということでした．講演を予定されている方はご検討いただければ幸いです．詳細は，以下の理事長名のメールをご参照ください．佐々木克巳 --------------- 分科会連絡責任評議員各位特別セッション責任者各位、 2021年度年会（慶應大学）の一般講演オンライン開催 Zoom講演へのお誘い、周知のお願い平素より数学会の運営にご尽力いただき、篤く御礼申し上げます。さて2021年度春の慶應大学における学会はオンライン開催と変更となることは先般お伝えした通りですが、今回のオンライン開催にあたり、一般講演において、ビデオ会議システムのZoom(webinar)を利用した、質疑応答も可能な双方向な形での講演が可能となりました。できる限り通常の学会の形式に近いものを再現し、活発なものとしたい、という狙いがあります。すでに、10月30日から一般講演の申し込みが開始となっておりますが、 11月7日時点での申し込み状況を確認しましたところ、Zoomをご利用される講演が、当初想定したより少ないことが判明しました。この状況に鑑み、連絡責任評議員、特別セッション責任者の方々にお願いがあります。 11月20日が講演締め切りですので、まだこれから講演を申し込みされる会員の方々も多いと思いますが、学会発表を予定されている方は、Zoom による開催可能となるこの機会に、是非とも多くの会員の方々がZoomによるオンライン講演を利用され、より実りの多い学会開催にご協力いただければ、運営サイドとしてこれほどうれしいことはありません。分科会連絡責任評議員、特別セッション責任者の方々におかれましたは、一般講演を予定されている方々に奮ってZoomでのオンライン講演をお奨めいただくよう、分科会で把握されているメーリングリストにて、メッセージを流すようお願いいただけませんでしょうか。 ZoomのWebinarの使用方法はウェブサイトのマニュアルをご覧いただければわかりますが、一度Zoomをご使用された事がある方であれば全く違和感なく使えるものです。また、すでに講演を申し込んだ方も締め切りの11月20日までであれば、オンライン講演に変更することが可能であることを申し添えます。お忙しいところ大変申し訳ございませんが、上記、各所への周知の程、よろしくお願いいたします。一般社団法人日本数学会理事長寺杣友秀 P.S.尚、必要であれば、理事長からのメッセージということで、このメールをそのままメーリングリストに転送ただいても構わないことを申し添えます。 -- President <presideent(a)mathsoc.jp> -- Tomohide TERASOMA <terasoma(a)hosei.ac.jp> --------------- sasaki ＝＝＝＝＝＝＝＝案内文終わり＝＝＝＝＝＝＝＝＝＝

1 0

リマインダ（RIMSモデル理論研究集会申込締切11/6金）
by kota takeuchi 04 Nov '20

04 Nov '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

博士研究員募集（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

第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 論文/発表募集
by Hiroshi UNNO 17 Sep '20

17 Sep '20

皆様、（重複してお受け取りの方はご容赦ください。） 2021年3月9日（火）〜3月11日（木）に、愛知県名古屋市で開催を予定している PPL 2021の論文/発表募集をお送りします。基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで、プログラミング・プログラミング言語に関する研究発表を幅広く募集します。どうぞ投稿をご検討ください。なお、論文/発表募集にもありますように、コロナ禍の影響で開催形式およびカテゴリ3の募集については流動的です。最新情報は随時Webページ（https://jssst-ppl.org/workshop/2021/）等でお知らせいたします。どうぞよろしくお願いいたします。 PPL2021プログラム共同委員長上野雄大、海野広志 ============================================================ 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 発表募集 2021年3月9日（火）-- 3月11日（木）名古屋サンスカイルームA室愛知県名古屋市中区錦1丁目18番22号名古屋ATビル2階（オンライン開催に変更またはオン/オフ併用の可能性あり） https://jssst-ppl.org/workshop/2021/ ** 重要な日程 ** カテゴリ1: 発表申込締切 2020年12月28日（月）17:00 (JST) 論文提出締切 2021年 1月 8日（金）17:00 (JST) 採否通知 2021年 2月 1日（月）カテゴリ2: 発表申込締切 2021年 1月25日（月）17:00 (JST) 採否通知 2021年 2月 8日（月）カテゴリ3: 募集の有無および発表形式は現時点で未定カテゴリ4: 発表申込締切 2021年 1月25日（月）17:00 (JST) 採否通知 2021年 2月 8日（月） ** 開催形式が変わります ** これまでのPPLは合宿形式で開催しておりましたが，今般の事情を鑑み，PPL 2021は通常の研究会形式で開催することとなりました．参加される皆様におかれましては，会場周辺の宿泊施設を各自で確保していただきますよう，お願いいたします（確保の際は，後述するオンライン開催への変更の可能性をご考慮ください．キャンセル料の補償等は致しかねます）．なお，COVID-19の拡大状況によっては，オンライン/オフライン併用の開催となったり，あるいはオフラインでの開催を断念しオンラインのみでの開催に変更する可能性があります．オンライン開催に変更するかどうかの判断は開催の 2ヶ月前を目処に行う予定です．開催に関する詳しい動向は随時Webページ等で公開します． ** PPL2021とは ** PPL 2021は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理などプログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなどケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介など応用: システムソフトウェア，Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など ** 発表募集カテゴリ ** 発表募集は以下の4カテゴリに分けて行います．詳しい募集要綱は後日Webページで公開します．カテゴリ1: 国内外未発表論文カテゴリ2: 国外既発表論文カテゴリ3: ポスター・デモ（募集未定）カテゴリ4: サーベイ・チュートリアルカテゴリ1では，国内外で未発表の論文発表を募集します．PPLでの議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による新規性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3では，例年，PPLに関連する内容のポスター・デモ発表を募集していましたが，PPL 2021での募集の有無および発表形式は未定です．詳細は後日 Webページに掲載します．カテゴリ4では，研究動向の紹介や分野間の相互理解など，PPLの聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します． ** プログラム委員会 ** TBD ** 問い合わせ先 ** ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc PPL2021プログラム共同委員長上野雄大，海野広志 ============================================================

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml