ipsj-pro-announce

※重複してお受け取りの場合はご容赦ください． 皆様東京科学大学の森口と申します． 情報処理学会 第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日に東海大学品川キャンパスで開催される日本ソフトウェア科学会大会のプログラムが公開されました

皆様， # 重複してお受取になった場合はご容赦ください． 秋田大学の新屋と申します． 第18回 International Symposium on Functional and Logic

皆様， # 重複してお受取になった場合はご容赦ください． 電気通信大学の小宮と申します． 日本ソフトウェア科学会学会誌「コンピュータソフトウェア」の 「ソフトウェア論文」特集号の論文募集案内をさせて

皆様，（重複してお受け取りになった場合はご容赦ください） 広島市立大学の川端と申します． 来たる9月2日に開催される， 日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催，

PROの皆様： 明星大学の丸山です。 夏のプロシン幹事会からのご依頼により、参加募集のご案内をお送りします。 週明けの8/18(月)までは申し込み可能とのことです。 -- 明星大学 情報学部 情報学科

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

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

デモ・ポスター発表のリマインダです。 >日本ソフトウェア科学会第42回大会発表募集の申込締切が >- デモ・ポスター発表：2025年8月8日（金）→ 8月12日(火)（延長） >延長

皆様東京科学大学の森口と申します。 情報処理学会 第156回プログラミング研究発表会（PRO-2025-3）の発表を募集しております． 今年度より「発表アブストラクト」の取り扱いに関して以下のような変更

皆さま（重複して受け取られた場合はご容赦ください） 国立情報学研究所の関山です。 ** ソフトウェアシステムの安全性（特にセキュリティ）と形式検証に関する 1 Day Workshop のご案内 **

皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 8月21日(木)に開催される「第9回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ 」(

リマインダです。明日15時からです。 2025年7月5日(土) 13:23 安部達也 <abe.t...@it-chiba.ac.jp>: 皆様、 千葉工大の安部達也です。 新潟大の

PRO関係の皆様東京大学の森畑です。 PROも協賛しております、WISS 2025のCFPを送付いたします。 発表等をご検討いただけましたら幸いです。どうぞよろしくお願いいたします。 =========

[Our apologies if you receive multiple copies of this CFP] CyberSciTech 2025 CFP (October 21-24, 2025

皆様 （重複して受け取られた場合はご容赦ください） 第155回プログラミング研究発表会担当の加藤です． 第155回プログラミング研究発表会（PRO-2025-2/SWoPP 2025）の 参加申込が開始

PROの皆様 お世話になっております。 早稲田大学の叢です。 重複してお受け取りの際はご容赦ください。 2025年10月21日-24日に函館で開催予定の国際会議についてご案内させていただきます。 論文

PROの皆様： 明星大学の丸山です。 夏のプロシン幹事会からのご依頼により、発表募集のご案内をお送りします。 -- 明星大学 情報学部 情報学科 教授 丸山 一貴 / kazutaka.maruyama

皆様、 早稲田大学の寺内です。 UT AustinのIsil Dillig先生から、下記メールのPLおよび形式手法に関する求人募集の共有をお願いされました。日本の社会保障制度にも対応しているとのことです

皆様、（複数お受け取りの際はご容赦ください） 明治大学の横山です。 xSIG 2025のポスター発表募集、〆切まで10日ほどに迫ってまいりましたので、念のため再度お知らせをお送りいたします。 xSIG

PROの皆様 お世話になっております。豊橋技科大の佐藤です。 MIT-Toyohashi ASPIRE workshop 2025の参加募集をさせていただきます。 6月26日（木）に東京科学大学の蔵前

皆様 (重複して受け取りの際はご容赦ください) 都立大の伊澤です。 2025年10月12日から18日にかけてシンガポールで開催予定のICFP/SPLASH国際会議にて併設される 2025

皆様 (重複してお受け取りの際はご容赦ください) 国立情報学の関山です。 今年10月12日に開催される、高階プログラムと effect に関する ICFP/OOPSLA 併設ワークショップ HOPE (

皆様、（複数お受け取りの際はご容赦ください） 明治大学の横山です。 xSIG 2025のポスター発表募集をお送りいたします。 xSIG 2025は、8/4-6に香川県高松市で開催されるSWoPP

PRO研究会の皆様 お世話になっております。 早稲田大学の叢です。 IEEE CyberSciTech 2025併設ワークショップ「AI-DHWP」が開催されます。 論文募集の詳細をお送りいたします。

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