Logic-ml

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

1792 discussions

米子での研究集会
by 堀畑佳宏_米子教職員 31 Dec '22

31 Dec '22

皆さま（重複での案内はご容赦ください）米子高専の堀畑です．『第8回山陰基礎論と数学およびその周辺の研究集会』のご案内です．聴講での参加が可能です．参加される方は下記HPより登録をお願いします（短縮URL）． https://bit.ly/3WUPVVT 発表20件，参加者40名以上（現在） 2023年1月8日 - 9日米子コンベンションセンター（鳥取県米子市）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校総合工学科，教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

特別研究員公募（オンライン勤務可）
by sumii＠tohoku.ac.jp 26 Dec '22

26 Dec '22

関連分野メーリングリストご各位，下のとおり公募しております．ご興味のありそうな皆様にご応募・ご転送等いただければ幸いです．多少なりともご興味がありましたら研究内容や条件等の詳細についてはinformalでもお気軽にお問い合わせください．合わせて「プロジェクトの実施のために雇用される若手研究者の自発的な研究活動等について（連絡）」 https://jst.go.jp/osirase/2020/pdf/20200414.pdf の別紙「JST 競争的研究費により雇用される若手研究者の自発的な研究活動等の実施について」もご参照ください． ---------------------------------------------------------------------- 東北大学大学院情報科学研究科ソフトウェア基礎科学分野特任研究員公募案内 1. 募集人員特任研究員1名 2. 勤務地東北大学大学院情報科学研究科ソフトウェア基礎科学分野（宮城県仙台市青葉区荒巻字青葉6-3-09）オンライン勤務可（事務手続きの都合上，着任後の居住地は日本国内に限る．勤務地での健康診断が受けられない場合等は自己負担になることがある．） 3. 職務内容戦略的創造研究推進事業（CREST）「基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出」(S5基盤ソフト)において「隔離実行と形式検証による総合的セキュリティ基盤システム」特に仮想環境等のシステムソフトウェアの形式的・数理論理学的モデル化・検証に関する研究に参加する． 4. 応募資格職務内容に関連した研究により，博士の学位（着任時までに取得見込みの場合を含む）または同等の業績を有すること． 5. 着任時期 2023年1月1日以降随時（応相談） 6. 任期 1年（年度ごとの更新，最長2028年3月） 7. 待遇年俸制（給与額は原則として経歴と規定により決定するが特別な理由がある場合は応相談，大まかな目安・参考としてストレートに博士号取得直後の場合はおおよそ530万円程度）研究に必要な機器・消耗品・旅費・通信費等は予算・規定の範囲で購入・支出可勤務形態は研究の遂行に問題がない範囲で応相談その他，国立大学法人東北大学特定有期雇用職員就業規則に基づく 8. 勤務時間裁量労働制（1日に7時間45分労働したものとみなす）休日：土曜日，日曜日，祝日，年末年始（12月29日～1月3日） 9. 社会保険等国家公務員共済組合，雇用保険，労災保険加入 10. 提出書類・履歴書（学歴・職歴，学位，受賞歴，および連絡先メールアドレスを含むこと）・研究業績一覧（論文は全文査読の有無を明記すること）・照会可能者1名以上の氏名・所属・連絡先メールアドレス 11. 選考方法書類による一次選考および面接（オンラインまたは対面）による二次選考を行います． 12. 応募締切 2023年3月31日必着ただし，採用者が決定した時点で募集を打ち切ります． 13. 応募書類提出先および問い合わせ先東北大学大学院情報科学研究科住井英二郎 sumii(a)tohoku.ac.jp 宛電子メール件名に「CREST研究員応募」と明記のこと添付書類はクラウドストレージ利用も可 1週間以内に受信確認の返信がない場合はメールを再送してください．以上 ---------------------------------------------------------------------- __ 東北大学大学院情報科学研究科・工学部電気情報物理工学科教授住井英二郎 http://www.kb.ecei.tohoku.ac.jp/~sumii/ 〒980-8579 宮城県仙台市青葉区荒巻字青葉6-3-09 E-Mail: sumii(a)tohoku.ac.jp　事務補佐員Tel: 022-795-7526 （旧 sumii(a)ecei.tohoku.ac.jp 当面は両方とも届きます）

1 0

【投稿受付中】第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文/発表募集
by Tsuneyasu KOMIYA 22 Dec '22

22 Dec '22

皆様， # 重複してお受取になった場合はご容赦ください．カテゴリ1（国内外未発表論文）の発表申込締切（12/23(金)17:00）が迫って参りましたので改めて CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．ぜひご投稿をご検討ください． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ====================================================================== 第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）最終原稿締切 2023年 2月17日（金）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ポスター・デモ発表につきましては，対面による発表のセッションとオンラインによる発表のセッションを設け，発表者には両方のセッションでご発表いただく予定です．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2023 では，以下のお二方の招待講演を予定しております．　Nicholas D. Matsakis 氏（https://nick.matsakis.net/）　「Next steps for the Rust type system」　小野寺民也氏（https://researcher.watson.ibm.com/researcher/view_person_subpage.php?id=5… 　「量子ソフトウェアスタックの現在」 ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．　https://easychair.org/conferences/?conf=ppl2023 申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300〜400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2023 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200〜300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 1

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

04 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

博士研究員（ポスドク）募集のお知らせ
by 山形賴之 02 Dec '22

02 Dec '22

logic-mlの皆様、産総研の山形です。お世話になっております。産総研では下記の通り博士研究員を募集しております。採用された博士研究員の皆様は研究内容がマッチングする研究員のもとで研究活動を行う一方、企業でのインターンなどを行い社会で広く活躍するスキルを身につけることができます。研究内容についてはこちらに例示されていますが、これに限定されるものではありません。 https://unit.aist.go.jp/innhr/inn-s/PD_course/entry.html 「機械学習を応用したソフトウェアの検証・モニタリングおよびコード解析」にソフトウェア等の形式検証が含まれます。詳細は下記の事務局か私までお気軽にお問合せください。またお近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。よろしくお願いいたします。 ---- 関係者各位産総研イノベーションスクール事務局　募集担当です。イノベーションスクールでは、来年度4月開校の博士研究員対象「イノベーション人材育成コース」スクール生を公募中です。イノベーション人材育成コースは、産総研にて1年間ポスドクとして研究活動をいただきながら、講義演習、企業研修等イノスクカリキュラムにご参加いただき、専門性を幅広く生かすための知見を育んでいただくコースです。 ■開校期間　2023年4月～2024年3月 ■応募要件　博士の学位を有すること（2023年4月までに取得見込の方もOK） ■産総研特別研究員（第一号契約職員）として１年間採用します ■2023年度は例年より採用予定人数を拡大（～30名）詳細は公式Websiteをご参照いただければ幸いです。 https://unit.aist.go.jp/innhr/inn-s/index.html --- 山形頼之（主任研究員）産業技術総合研究所サイバーフィジカルセキュリティ研究センター https://staff.aist.go.jp/yoriyuki.yamagata/

1 0

PPL 2023 CFP (論文投稿受付開始)
by Tsuneyasu KOMIYA 25 Nov '22

25 Nov '22

皆様， # 重複してお受取になった場合はご容赦ください．電気通信大学の小宮と申します．以前にもご案内差し上げた PPL 2023 について，論文投稿受付を開始いたしましたので投稿・発表申込要領を含めた CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．招待講演では Nicholas D. Matsakis 氏と小野寺民也氏をお招きする予定です．皆様のご投稿をお待ちしております． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ====================================================================== 第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）最終原稿締切 2023年 2月17日（金）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ポスター・デモ発表につきましては，対面による発表のセッションとオンラインによる発表のセッションを設け，発表者には両方のセッションでご発表いただく予定です．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2023 では，以下のお二方の招待講演を予定しております．　Nicholas D. Matsakis 氏（https://nick.matsakis.net/）　小野寺民也氏（https://researcher.watson.ibm.com/researcher/view_person_subpage.php?id=5… ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．　https://easychair.org/conferences/?conf=ppl2023 申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300～400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10～15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2023 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200～300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 0

PhD Position in Theory
by Nao Hirokawa 23 Nov '22

23 Nov '22

皆様 Georg Moser 教授に代わりまして、インスブルック大学理論計算機科学グループからの PhD position （4年間）の募集案内をお知らせ致します。廣川 (JAIST) 4-year PhD position @ University of Innsbruck ====================================================================== Within the TCS Group of the Department of Computer Science at the University of Innsbruck, Austria there is an opening for a 4 year PhD student position; kindly see https://tcs-informatik.uibk.ac.at/vacancies/ for further details. Applications (including CV, short letter of motivation, three references) should submitted via the following link https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=13052 no later than December 22, 2022. Informal inquiries may be sent to georg.moser(a)uibk.ac.at. The city of Innsbruck is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of urban life in this historic town and the Alpine environment provides a high quality of living. Further information is available from the following links: - Theoretical Computer Science Group https://tcs-informatik.uibk.ac.at/ - Department of Computer Science https://www.uibk.ac.at/informatik/ - University of Innsbruck https://www.uibk.ac.at/ Best wishes, Georg --- Univ.-Prof. Dr. Georg Moser Theoretical Computer Science, University of Innsbruck Technikerstrasse 21a, 6020 Innsbruck

1 0

Fwd: RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」講演募集、【再送】
by Munehiro Iwami 22 Nov '22

22 Nov '22

皆様島根大学の岩見と申します。 RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」が開催されます。案内メールを転送します。講演申込締切は2022年12月9日(金)です。参加のみの方も歓迎します。よろしくお願いします。 --------------------------------------------------------- 研究者の皆様兵庫県立大学の西中です。研究集会案内メールを再送します。京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「群・環・言語と計算機科学の周辺領域」 http://uh-kobe.private.coocan.jp/private_html/Conf/RIMS/2023/2023RIMS.html を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上, 2022年12月9日(金)までに研究代表者宛（t-nishinaka(a)nifty.xn--com)e-mail-ce4ixbg ご連絡ください．なお, このメールは当集会の過去3年の参加者を基本に関心を持っている方々にお送りしております．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度は対面開催を予定し準備を進めております。しかしながら、状況応じて参加に際しての感染対策のお願い、或いはより深刻な状況では、オンライン開催への変更をお願いすることもございます。この点お含みおきください。氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時または数理解析研究所からの旅費支給についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ----------------------------------------------------- 記群・環・言語と計算機科学の周辺領域部屋：111号室　期間：2023/02/15(水) ～ 2023/02/17(金) 代表者：西中恒和(兵庫県立大学国際商経学部) Group, Ring, Language and Related Areas in Computer Science Location：Room 111 Period: 2023-02-15--2023-02-17 Organizer: NISHINAKA Tsunekazu (School of Economics and Management, University of Hyogo) ---------------(申込みフォーマット)--------------- 研究集会「群・環・言語と計算機科学の周辺領域」に出席します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「群・環・言語と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望および数理解析研究所からの旅費支給希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------ 以上よろしくお願いいたします。西中恒和 (Tsunekazu Nishinaka) 兵庫県立大学国際商経学部 e-mail: t-nishinaka(a)nifty.com nishinaka(a)em.u-hyogo.ac.jp -- ----------------------------- Tsunekazu Nishinaka University of Hyogo Kobe, 65l-2197 JAPAN nishinaka(a)econ.u-hyogo.ac.jp t-nishinaka(a)nifty.com http://uh-kobe.private.coocan.jp/ TEL: +81787945692

1 0

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 16 Nov '22

16 Nov '22

皆さま（重複での案内はご容赦ください）米子高専の堀畑です．『第8回山陰基礎論と数学およびその周辺の研究集会』を開催します．（山陰基礎論・解析学研究集会から名称変更）基礎論，数学，周辺の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！ ▼研究集会のHP https://sites.google.com/view/logic-and-math/%E3%83%9B%E3%83%BC%E3%83%A0 ▼日程 2023年1月8日(日)~9日(月) ・8日（終日）は基礎論と数学がメイン・9日（~昼過ぎ）は数学と周辺（教育，リベラルアーツ等幅広く） ▼場所米子コンベンションセンター（鳥取県米子市） ※対面のみでの開催予定 ▼申込以下のFormsより参加・講演登録をお願いします（12/16まで） https://forms.office.com/r/WmS3HgnSzx ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12/26まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校総合工学科，教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

数学基礎論若手の会 2022（第2回アナウンス）
by Diego A. Mejía 04 Nov '22

04 Nov '22

皆様、静岡大学のメヒア・ディエゴと申します。今年度、私は数学基礎論若手の会の世話人です。アナウンスを再送信いたします。今、講演数が少ないので、遠慮なく講演申込をしてください。また、周りの先生とロジックの学生にも伝わるよう、ご協力をよろしくお願いいたします。日程：2022年11月25日（金）～ 27日（日）世話人：メヒア・ディエゴ（静岡大学） diego.mejia(a)shizuoka.ac.jp 開催方法：Zoom によるオンライン開催ウェブサイト：https://sites.google.com/view/mlwakatenokai2022 数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。参加申込：https://forms.office.com/r/K8NxbCh5qC 参加申込の締切：講演希望の方・アブストラクトの提出： 2022年11月15日（火）まで参加のみの方： 2022年11月20日（日）まで講演希望の方は、上記のフォームを提出した後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。それでは、多くの方々のご参加およびご講演をお待ちしております。 -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml