皆様 （重複して受け取られた場合はご容赦ください） 第160回プログラミング研究発表会担当の加藤です． 研究会側の申し込みページが開設されましたので 改めてご案内いたします。 SWoPP本体側での参加

[Apologies for multiple copies] ======================================================== ICALP 2027

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

皆様（重複して受けとられました方はご容赦ください）， 東北大学の松田です． 以前案内しておりました日本ソフトウェア科学会第43回大会ですが， 登壇発表申込締切が7/10より7/24に延長されました．

皆様， 京都大学の池渕です． 第64回 TRS Meeting を 9/21-23 に京都大学吉田キャンパスで開催します． みなさまのご参加をお待ちしております． 64th TRS Meeting

（重複して受け取られた場合はご容赦ください） 今年の11月に神戸で開催される LENLS22 国際学会のご案内をお送り致します。 皆様のご参加をお待ちしております。 戸次大介（お茶の水女子大学） [

皆様、 開催前日につき、リマインダです。 日時：2026年6月30日（火）13:00〜14:00 場所：オンライン参加費：無料参加方法：https://stair-st.connpass.com/ 講師

皆様， 京都大学の末永です． 12月にインドのデリーで行われる FSTTCS の論文募集をお送りします． アブストラクトの締め切りが 7月4日で 論文締め切りが7月11日の予定です． どうぞふるってご

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

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

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

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

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

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

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

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

皆様 計算効果を伴う高階プログラムに関するワークショップ HOPE'26 の講演の募集になります。 今年はアメリカ（インディアナ）とフランス（パリ）での同時開催を計画しています。

みなさま、 お茶の水女子大学の室屋です。 グラフ表現（プログラムのグラフ表現など）の書換えに関する国際ワークショップ TERMGRAPH 2026 の投稿締切延長のお知らせです。7月のFLoC 2026

みなさま， ザルツブルク大学の Ana Sokolova 先生からのご案内を転送します．ぜひご検討ください． 蓮尾 一郎 国立情報学研究所 ****** We have a PhD position

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

みなさま、 お茶の水女子大学の室屋です。 グラフ表現（プログラムのグラフ表現など）の書換えに関する国際ワークショップ TERMGRAPH 2026 のCfPをお送りします。7月のFLoC 2026の併設

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

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

みなさま、 お茶の水女子大学の室屋です。 グラフ表現（プログラムのグラフ表現など）の書換えに関する国際ワークショップ TERMGRAPH 2026 のCfPをお送りします。7月のFLoC 2026の併設

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

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

Dear all, The symposium "Differentiation in category theory and program semantics" will be

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

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

みなさま， Logic Winter School 2026 の講演題目・概要およびプログラムを掲載いたしました． 併せまして，研究講演（20~30分程度を想定）予定者・未解決問題提供予定者のリストも