ipsj-pro-announce

PRO関係各位： (重複してお受け取りの際はご容赦ください．） 名古屋大学の結縁です． PLACESというワークショップのCFPをお送りします． 投稿をご検討いただければ幸いです． 詳細は以下のURLを

皆様岩手県立大学の岩見と申します。 第63回TRS Meetingを3/18～3/20に岩手県つなぎ温泉のホテル紫苑で開催します。 講演者を募集しています。講演申込締切は1/16です。 よろしくお願いし

# 重複してお受取になった場合はご容赦ください． 皆様， PPL 2026 プログラム共同委員長の西田・宋です． 以前にもご案内差し上げた PPL 2026 について，論文投稿受付を開始いたしましたので

皆様岩手県立大学の岩見と申します。 ソフトウェア情報学部の教員募集についてお知らせします。 すべて常勤任期なしのポジションです。 研究費は年間50万円が配分され、それ以外に学生の教育・研究に使用できる

PRO関係各位： （重複してお受け取りの際はご容赦ください．） 名古屋大学の結縁です． 可逆計算の国際会議RC2026のCFPをお送りします． 投稿をご検討いただければ幸いです． ===========

PRO関係各位： （重複してお受け取りの際はご容赦ください．） 名古屋大学の結縁です． DisCoTec2026のCFPをお送りします． DisCoTecは，下記にありますように

PROの皆様： 高知工科大学の松崎です。先ほど送らせていただいたメール中のURLが間違っておりました． 正しいものに差し替えて再送させていただきます．お騒がせして申し訳ありません． 高知工科大学の松崎

（案内を複数お受け取りの際はご容赦ください） PROの皆様： 高知工科大学の松崎です。来年1月のプログラミング・シンポジウムの現地参加申込の締切 12月1日(月) が近づいております． ぜひ，現地で皆様

IPSJ PRO ML の皆様、 千葉工業大学 人工知能・ソフトウェア技術研究センター (STAIR) の前田俊行です。 先日よりご案内させて頂いております第23回ディペンダブルシステムワークショップ

PROの皆様お世話になっております。豊橋技科大の佐藤です。 2nd MIT-Toyohashi ASPIRE Workshop 2025 Fallの参加募集をさせていただきます。 11月25日（火）に

皆さま（重複して受け取られた場合はご容赦ください） 国立情報学研究所の関山です。 11月19日（水）に開催予定の第11回ソフトウェア・ハードウェア・形式検証に関する分野融合的なワークショップSATSS（

(重複してお受け取りの際は何卒ご容赦下さい。) IPSJ PRO ML の皆様、 千葉工業大学 人工知能・ソフトウェア技術研究センター (STAIR) の前田俊行です。 先日よりご案内させて頂いており

（案内を複数お受け取りの際はご容赦ください） PROの皆様： 高知工科大学の松崎です。来年1月のプログラミング・シンポジウムの参加者募集をお送りします。 第67回もオフライン・オンライン混合の

皆様、 東京農工大学の佐藤亮介です。 第157回プログラミング研究発表会 (PRO-2025-4) の発表申込締切（11/21）が近づいてきましたので再度ご案内いたします。 是非投稿をご検討ください。

※重複してお受け取りの場合はご容赦ください． 皆様第156回プログラミング研究発表会担当、 東京科学大学の森口です。 第156回プログラミング研究発表会を、 11/6～11/7に東京科学大学 大岡山

PRO関係者の皆様，（案内を複数お受け取りの際はご容赦ください） 高知工科大学の松崎です．来年1月に開催されます第67回プログラミング・シンポジウムの発表募集を案内させていただきます． 締切を10月31

PROのみなさま、 東京科学大学 情報理工学院 数理・計算科学系では下記の要領で教員を公募いたします。お近くにご興味を持たれそうな方がいらっしゃいましたら、ご案内いただけますようお願いいたします。 所属

皆様東京大学の森畑と申します。 WISS 2025のWISS Challenge・デモ発表の募集をさせてください。 どうぞよろしくお願いいたします。 ---- 第33回 日本ソフトウェア科学会

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

皆様、 東京農工大学の佐藤亮介です。 第157回プログラミング研究発表会 (PRO-2025-4) の発表を募集しております。 発表申込締切は2025年11月21日です。 是非投稿をご検討ください。 =

PRO研究会の皆様 お世話になっております。 早稲田大学の叢です。 ICWL-SETE 2025併設ワークショップ「LAAPL 2025」について、ご案内させていただきます。 論文投稿の締切は 10月5

(重複してお受け取りの際は何卒ご容赦下さい。) IPSJ PRO ML の皆様、 千葉工業大学 人工知能・ソフトウェア技術研究センター (STAIR) の前田俊行です。 メーリングリストをお借りして、

PRO関係の皆様 お世話になっております。 早稲田大学の叢です。 ICWL-SETE 2025併設ワークショップ「LAAPL 2025」が開催されます。 論文募集の詳細をお送りいたします。 論文投稿の

皆様、 PEPM 2026 (フランス・レンヌで行われるPOPL 2026の併設ワークシップ)の 論文募集をお送りします。 PEPMはもともと部分計算（プログラム特化）をテーマとしていましたが、 今では

※重複してお受け取りの場合はご容赦ください． 皆様東京科学大学の森口と申します． 情報処理学会 第156回プログラミング研究発表会（PRO-2025-3）の発表申込の締切（9/8）が近づいてまいりました

皆様， PPL 2026 プログラム共同委員長の西田・宋です． 来年（2026）の 3/9〜12 に香川県高松市のレクザムホールにて開催予定の PPL 2026の論文/発表募集をお送りいたします．

皆様，（重複してお受け取りになった場合はご容赦ください） 広島市立大学の川端と申します． 先日案内いたしました下記の件，申込締め切り（8月31日）が迫ってきましたので， あらためてご案内いたします．

皆様岩手県立大学の岩見と申します。 ソフトウェア情報学部の教員募集についてお知らせします。 すべて常勤任期なしのポジションです。 研究費は年間50万円が配分され、それ以外に学生の教育に使用できる経費が

皆様東京大学の森畑です。 第33回 日本ソフトウェア科学会インタラクティブシステムとソフトウェアに関するワークショップ (WISS2025)の「登壇発表」と「国際学会招待発表」の投稿締切まで約１週間に

皆様、 日本ソフトウェア科学会第42回大会プログラム委員（PPLコーディネータ）の安部です。 9月2日～9月5日に東海大学品川キャンパスで開催される日本ソフトウェア科学会大会のプログラムが公開されました