Logic-ml September 2024

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

9 participants
11 discussions

第51回量子情報技術研究会(QIT51)のご案内
by NISHIMURA Harumichi 05 Nov '24

05 Nov '24

logic-mlの皆様名古屋大学の西村と申します．第51回量子情報技術研究会（QIT51）の会告案内を代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 ---以下会告案内--- 第51回量子情報技術研究会（QIT51）開催のお知らせ研究会の内容：　情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。　第51回研究会を下記のように開催いたします。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表を募集致します。聴講のみの参加も歓迎致しますので、奮ってお申し込みください。　なお、第38回研究会から学生発表賞を創設いたしました。応募方法等については、下記のQITウェブサイトをご確認下さい。日時：2024年11月26日(火)〜2024年11月28日(木) 　　※現地開催のみ。オンライン配信なし会場：サンポートホール高松　第１小ホール (〒760-0019 高松市サンポート2-1 高松シンボルタワー　ホール棟) 発表募集分野 (申し込み状況によって査読の可能性あり)：　量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、　量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、　量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員：200名参加費：一般4,000円、学生3,000円懇親会費：4,000円　※11月8日（金）より後に参加登録された場合、参加費は上記に+1,000円増額されます。　※さらに以上とは別に、学生限定・当日受付・予稿集なし・聴講のみの参加費1,000円という選択肢もあります。これは事前手続き不要です。研究会参加申込要領：　参加申込は下記 Web にて受付けます：　https://www.ieice.org/es/qit/qit51/ 　講演 (口頭，ポスター) の申込、予稿集原稿PDFの提出は、電子情報通信学会のWebシステムを使用。各種締切：　口頭講演申込　　　：2024年10月11日（金）　ポスター発表申込　：2024年10月25日（金）　PDF原稿提出　　　：2024年10月25日（金）　早期参加事前登録　：2024年11月8日（金）　（これ以降は参加費が1000円上がります）【問合せ先】小野貴史　(香川大学創造工学部) 小林弘和　 (高知工科大学システム工学群) 宮川勇人　 (香川大学創造工学部) 廖望　　　(高知工科大学システム工学群) qit51.committee(a)gmail.com 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長村尾美緒（東京大学））共催：応用物理学会量子エレクトロニクス研究会

1 1

【発表募集】第152回プログラミング研究発表会（PRO-2024-4）
by Sato, Ryosuke 30 Sep '24

30 Sep '24

皆様、東京農工大学の佐藤亮介です。第152回プログラミング研究発表会 (PRO-2024-4) の発表を募集しております。発表申込締切は2024年11月15日です。是非投稿をご検討ください。 ==================================================== 第152回プログラミング研究発表会 (PRO-2024-4) 発表募集 https://sigpro.ipsj.or.jp/pro2024-4/ 日程　：2025年1月15日(水)～1月16日(木) 会場　：秋田拠点センターALVE（https://www.alve.jp/）　　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年11月15日（金）投稿論文原稿提出締切：2024年12月6日（金）発表予稿提出締切：2025年1月10日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．問合せ先：佐藤亮介（東京農工大学） E-mail: rsato [at] acm.org 担当者：佐藤亮介 (東京農工大学)，川端英之（広島市立大学）

1 0

数学基礎論若手の会2024開催のお知らせ
by 樋口幸治郎 24 Sep '24

24 Sep '24

皆様、日本大学の樋口幸治郎と申します。数学基礎論若手の会 2024 の開催 (対面で実施) をご案内いたします。数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。 — 開催要領 — 日程：2024 / 10 / 12（土）～ 14（月, 祝日）会場：郡山市青少年会館（福島県郡山市大槻町字漆棒82番地）世話人：樋口幸治郎（日本大学）ウェブサイト： https://sites.google.com/view/mlwakatenokai2024/%E3%83%9B%E3%83%BC%E3%83%A0 参加申込み期限：2024 / 9 / 27 (金) 参加申込み(Googleフォーム)：https://forms.gle/kPSSzGkjNwH8RQE98 講演希望の方は、上記フォームの提出後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。開催時期が近づきましたら、再度お知らせいたします。多くの皆様のご参加をお待ちしております。樋口幸治郎 (日本大学工学部)

1 2

公募情報
by Makoto Fujiwara 19 Sep '24

19 Sep '24

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名及び准教授1名の公募を行っております． <https://www.tus.ac.jp/recruitment/teacher-list/> [recruiter_omg.png] 教員・研究員公募｜東京理科大学｜東京理科大学<https://www.tus.ac.jp/recruitment/teacher-list/> tus.ac.jp<https://www.tus.ac.jp/recruitment/teacher-list/> 応募締切は9月30日(月)です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

【発表募集】第151回プログラミング研究発表会（PRO-2024-3）
by Sosuke MORIGUCHI 19 Sep '24

19 Sep '24

※重複してお受け取りの場合はご容赦ください．皆様東京工業大学の森口と申します．情報処理学会第151回プログラミング研究発表会（PRO-2024-3）の延長した発表申込の締め切りが明日（9/20）になりましたので，ご案内させていただきます．ご検討のほどよろしくお願いいたします． ==== 情報処理学会第151回プログラミング研究発表会発表募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日時：2024年11月12日(火)〜11月13日(水) 会場：東京科学大学（9月まで東京工業大学）大岡山キャンパス　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年9月13日（金）→2024年9月20日（金）（延長しました）投稿論文原稿提出締切：2024年10月7日（月）発表予稿提出締切：2024年11月08日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．担当者：森口草介（東京工業大学），緒方一則（日本IBM）問い合わせ先：chiguri(a)c.titech.ac.jp

1 0

ワークショップのご案内（仙台・9/21）
by Hitoshi Omori 17 Sep '24

17 Sep '24

皆様東北大学の大森です。直前の案内となり恐縮ですが、以下の通りワークショップを開催いたします。 ===== ・日時：9月21日(土)10:00〜・場所：東北大学大学院情報科学研究科 310号室・講演者（敬称略）： *石原哉 (東邦大学), *根元多佳子 (東北大学), *仁木哲 (ルール大学), *豊岡正庸 (北海道大学). ・題目などの詳細は以下のウェブサイトをご覧ください。 https://sites.google.com/view/llal-at-gsis/meetings/llalgsis-4 ===== どうぞよろしくお願いいたします。大森仁

1 0

【論文/発表募集】第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025)
by Soichiro Hidaka 17 Sep '24

17 Sep '24

皆様， PPL 2025 プログラム共同委員長の一人の日高です．来年（2025）の 3/5〜7 にホテル明山荘にて開催予定の PPL 2025 の論文/発表募集をお送りいたします． PPL 2025 では，理論・実装を問わず，プログラミングおよびプログラミング言語に関する発表・論文を広く募集しております．どうぞ，発表・投稿をご検討いただけますと幸いです． PPL 2025 プログラム共同委員長（ppl2025-pc-chairs[at]easychair.org）塚田武志（千葉大学）日高宗一郎（法政大学） ================================================ 第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2025年3月5日（水）-- 3月7日（金）会場：ホテル明山荘 URL ：https://jssst-ppl.org/workshop/2025/ ** 重要な日程 ** カテゴリ1：発表申込締切 2024年12月23日（月）17:00 (JST) 論文提出締切 2025年 1月 6日（月）17:00 (JST) 採否通知　　 2025年 1月29日（水）カテゴリ2：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木）カテゴリ3：発表申込締切 2025年 1月31日（金）17:00 (JST) 採否通知　　 2025年 2月 3日（月）カテゴリ4：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木） ** PPL 2025 の開催形式について ** PPL 2025 は合宿形式での対面での開催を予定しています．PPL 2023 では大学におけるハイブリッド開催，PPL 2024 ではコンベンションセンターによるハイブリッド開催と，COVID-19 状況下において PPL は様々な開催方法が試みられてきました．PPL 2025 では，会場確保を含めた様々な要因を考慮した結果，過去の合宿形式に近い形態での開催を試みることにしました．対面での開催とするのは，PPL 2025 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者にも対面でご参加いただくことを考えております．オンラインへの提供の有無は現在検討中です． ** PPL 2025 とは ** PPL 2025 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．また国際会議等との同時投稿も（もう一方の投稿先が認めている限り）認められる場合があります．カテゴリ1の趣旨に照らして認めるか否かを個別に判断しますので，発表申し込みに先立ってppl2025-pc-chairs[at]easychair.org に問い合わせて下さい．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　塚田武志（千葉大学）プログラム共同委員長　日高宗一郎（法政大学）荒堀喜貴　　　　（東京工業大学）池渕未来　　　　（京都大学）伊澤侑祐　　　　（東京都立大学）上田和紀　　　　（早稲田大学）鵜川始陽　　　　（東京大学）馬谷誠二　　　　（神奈川大学）紙名哲生　　　　（大分大学）亀山幸義　　　　（筑波大学） Jacques Garrigue 　（名古屋大学）木村大輔　　　　（東邦大学）内藏理史　　　　（早稲田大学）佐々木晃　　　　（法政大学）宋剛秀　　　　　（神戸大学）田邉裕大　　　　（東京工業大学）千代英一郎　　　（成蹊大学）寺内多智弘　　　（早稲田大学）中野圭介　　　　（東北大学）中丸智貴　　　　（東京大学）西田直樹　　　　（名古屋大学）西田雄気　　　　（東北大学）長谷川真人　　　（京都大学）平石拓　　　　　（京都橘大学）福原淳司　　　　（（株）デンソー）松下祐介　　　　（京都大学）八杉昌宏　　　　（九州工業大学） ** 組織委員会 ** 組織委員長　　　　　　　堀江倫大　（日本IBM）組織副委員長　　　　　　木村大輔　（東邦大学）財務担当　　　　　　　　田邉裕大　（東京工業大学）財務副担当　　　　　　　池渕未来　（京都大学）会場担当　　　　　　　　中丸智貴　（東京大学）会場副担当　　　　　　　松田直祐　（湘南工科大学）渉外担当　　　　　　　　叢悠悠　　（東京工業大学）プログラム共同委員長　　日高宗一郎（法政大学）プログラム共同委員長　　塚田武志　（千葉大学）前プログラム共同委員長　安部達也　（千葉工業大学）前プログラム共同委員長　川端英之　（広島市立大学） ** 問い合わせ先 ** ・ワークショップ全般について（メールの件名に [PPL2025] と付けていただけるでしょうか）　組織委員長：horie[at]jp.ibm.com ・発表/プログラムについて　プログラム共同委員長：ppl2025-pc-chairs[at]easychair.org ================================================ -- 法政大学情報科学部コンピュータ科学科日高宗一郎 hidaka[at]hosei.ac.jp

1 0

【発表募集・締切延長】第151回プログラミング研究発表会（PRO-2024-3）
by Sosuke MORIGUCHI 13 Sep '24

13 Sep '24

※重複してお受け取りの場合はご容赦ください．皆様東京工業大学の森口と申します．情報処理学会第151回プログラミング研究発表会（PRO-2024-3）の発表申込の締切を延長しました（9/13→9/20）ので，再度ご案内させていただきます．ご検討のほどよろしくお願いいたします． ==== 情報処理学会第151回プログラミング研究発表会発表募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日時：2024年11月12日(火)〜11月13日(水) 会場：東京科学大学（9月まで東京工業大学）大岡山キャンパス　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年9月13日（金）→2024年9月20日（金）（延長しました）投稿論文原稿提出締切：2024年10月7日（月）発表予稿提出締切：2024年11月08日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．担当者：森口草介（東京工業大学），緒方一則（日本IBM）問い合わせ先：chiguri(a)c.titech.ac.jp

1 0

数学基礎論サマースクール
by YOKOYAMA Keita 10 Sep '24

10 Sep '24

みなさま，東北大学の横山です．今年度の数学基礎論サマースクールにつきまして，以下の要領で開催したいと考えております．日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学講師: 倉橋先生，根元先生，横山，他1-2名にお願いする予定ですご質問等ございましたら，世話人の横山 keita.yokoyama.c2[at]tohoku.ac.jp までお問い合わせください．より詳しいことが決まりましたら，またご案内させていただきます．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 2

【発表募集】第151回プログラミング研究発表会（PRO-2024-3）
by Sosuke MORIGUCHI 09 Sep '24

09 Sep '24

※重複してお受け取りの場合はご容赦ください．皆様東京工業大学の森口と申します．情報処理学会第151回プログラミング研究発表会（PRO-2024-3）の発表申込の締切（9/13）が近づいてまいりましたので，再度ご案内させていただきます．ご検討のほどよろしくお願いいたします． ==== 情報処理学会第151回プログラミング研究発表会発表募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日時：2024年11月12日(火)〜11月13日(水) 会場：東京科学大学（9月まで東京工業大学）大岡山キャンパス　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年9月13日（金）投稿論文原稿提出締切：2024年10月7日（月）発表予稿提出締切：2024年11月08日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．担当者：森口草介（東京工業大学），緒方一則（日本IBM）問い合わせ先：chiguri(a)c.titech.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2024