[Our apologies if you receive multiple copies of this CFP] Dear Colleagues, We are writing to invite

みなさま， 京大の池渕です． APLAS 2026 の締め切りが 6/22 に延長されましたので連絡いたします． みなさまのご投稿をお待ちしております． 池渕 APLAS 2026 -- The

皆様（重複して受けとられました方はご容赦ください）， 東北大学の松田と申します． 今年の9月の8〜10に公立はこだて未来大学で開催予定の日本ソフトウェア科学会第43回大会の発表募集の案内をお御送りいたし

みなさま， 京都大学の池渕です． 今年香港で開催されるAPLAS 2026のCfPを送ります． みなさまのご投稿をお待ちしております． 池渕未来 ----------------------------

皆様、 千葉工大の安部達也です。今月末に東北大の西田雄気さんにスマートコントラクトアプリケーションの形式検証に関する講演をしていただけることになりました。 ぜひこの機会をご利用ください。 日時：2026

皆様（重複してお受け取りの場合はご容赦ください） 第160回プログラミング研究発表会 (PRO-2026-2) 担当、NIIの加藤です。 何度もすみません。追加発表申し込みの期限は明日5月26日（火曜日

皆様（重複してお受け取りの場合はご容赦ください） 第159回プログラミング研究発表会担当、 サイバーエージェントの上里です。 第159回プログラミング研究発表会（PRO-2026-1）を6/4（木）〜

【ご案内】第44回愛媛大学DS研究セミナー 愛媛大学データサイエンスセンター(CDSE) 愛媛大学データサイエンスセンター（CDSE）は、AI・統計解析・機械学習等の広義でのデータサイエンスと接点のある

皆さま（重複して受け取られた場合はご容赦ください） 国立情報学研究所の関山です。 先日ご案内した第12回 SATSS（トピック：低レイヤ検証）の最終のご案内です。 参加登録は以下の google

皆様（重複してお受け取りの場合はご容赦ください） 第160回プログラミング研究発表会 (PRO-2026-2) 担当、NIIの加藤です。 発表申込は明日13日からです。 以下の通り、発表（同時投稿/発表

皆さま（重複して受け取られた場合はご容赦ください） 国立情報学研究所の関山です。 ソフトウェア・ハードウェア・形式検証に関する分野融合的なワークショップ SATSS（https://sc-sys.

皆様（重複してお受け取りの場合はご容赦ください） 第160回プログラミング研究発表会 (PRO-2026-2) 担当、NIIの加藤です。 以下の通り、発表（同時投稿/発表のみ）を募集します。 第160回

PRO関係各位： 名古屋大学の結縁です． レスター大学のIrek Ulidwoski先生から以下の「可逆計算に基づく省電力計算」に 関する博士学位プログラムの案内がありました．国籍に関係なく応募が可能

IPSJ-PROの皆様、（重複してうけとったかたはすいません） 筑波大学の亀山です。 関数型＋論理型プログラミングに関する国際会議FLOPS 2026 について 早期参加登録の締切りが 4/25 (月,

皆様、 早稲田大学の寺内です。 下記のように教員を公募しておりますので、ぜひ応募をご検討下さい。 早稲田大学理工学術院公募サイト：https://www.waseda.jp/fsci/tag/

皆様（重複してお受け取りの場合はご容赦ください） サイバーエージェントの上里と申します。 第159回プログラミング研究発表会 (PRO-2026-1) につきまして、 発表申込締切を延長いたしましたので

皆様（重複してお受け取りの場合はご容赦ください） サイバーエージェントの上里と申します。 第159回プログラミング研究発表会 (PRO-2026-1) の発表申込締切（4月3日）が近づいてまいりました

IPSJ-PROの皆様、 FLOPS 2026国際会議 (5月につくばで開催）では、 Student Research Competition (SRC) および ポスターセッション への投稿を募集し

PRO研究会メーリングリストの皆様 お世話になっております。 早稲田大学の叢です。 重複してお受け取りの際はご容赦ください。 2026年7月8日-10日に東京で開催予定の国際会議についてご案内させて

皆様※重複してお受け取りの場合はご容赦ください。 東邦大の木村です。 情報処理学会 第158回プログラミング研究発表会 (PRO-2025-5) 参加募集のご案内です。 下記の通り3/17(火)～3/

# 重複してお受取になった場合はご容赦ください． 皆様， 香川大学の橋本と申します． PPL2026の参加登録につきまして，締切を以下の通り延長いたしました． 【変更後の参加登録締切】 3月6日(金)

PRO研究会メーリングリスト登録者の皆様 お世話になっております。 早稲田大学の叢です。 重複してお受け取りの際はご容赦ください。 2026年7月8日-10日に東京で開催予定の国際会議についてご案内させ

# 重複してお受取になった場合はご容赦ください． 皆様， 香川大学の橋本と申します． 3月9日(月)～12日(木) にレクザムホール（およびオンライン）で開催される， 第28回プログラミングおよび

皆様（重複してお受け取りの場合はご容赦ください） サイバーエージェントの上里です。 第159回プログラミング研究発表会 (PRO-2026-1) の発表募集についてご案内いたします。 発表申込締切は

PRO研究会メーリングリスト登録者の皆様 お世話になっております。 早稲田大学の叢です。 重複してお受け取りの際はご容赦ください。 2026年7月8日-10日に東京で開催予定の国際会議についてご案内させ

PRO研究会メーリングリスト登録者の皆様 お世話になっております。 早稲田大学の叢です。 *重複してお受け取りの際はご容赦ください。 2026年7月8日-10日に早稲田大学で開催予定の国際会議についてご

# 重複してお受取になった場合はご容赦ください． 皆様， 香川大学の橋本と申します． 3月9日(月)～12日(木) にレクザムホール（およびオンライン）で開催される， 第28回プログラミングおよび

皆さま、 // 重複してお受け取りの際は、何卒ご容赦ください。 早稲田大学の山本です。お世話になっております。 この度、当学科の上田和紀教授のご退職を記念し、 上田先生による最終講義および記念懇親会を

皆様， 東邦大学の木村大輔です． 第158回プログラミング研究発表会 (PRO-2025-5) の発表申込締切を延長しましたのでご案内いたします． 新たな申込締切は** 2026年1月28日(水) **

# 重複してお受取になった場合はご容赦ください． 皆様， PPL 2026 プログラム共同委員長の西田・宋です． 以前にもご案内差し上げた PPL 2026 について，カテゴリ2 (国際既発表論文) の