Dear all, On Tuesday 20 October, Chris Chen (Macquarie University) will give a talk, "

皆様（重複して受けとられました方はご容赦ください）， 東北大学の松田と申します． 京都にて3/13〜15に開催予定の関数プログラミングに関する国際シンポジウムTFP 2027 の投稿案内をお送りいたし

皆様 （重複してお受け取りの場合はご容赦ください） 理化学研究所の谷口です。 定理証明技術の研究会「22nd Theorem Proving and Provers Meeting（TPP 2026）」

皆様 東京都立大学の前原と申します。 以下の通りCategories in Tokyo第3回全体集会を開催いたします。 （複数のメーリングリストに投稿しております。重複して受け取られた方はご容赦ください

皆様 国立情報学研究所の関山です。 POPL の併設ワークショップ PEPM では論文を募集しております。 今年はメキシコでの開催を予定しています。 論文投稿締切は 10月23日 となっています。 皆様

皆様（重複してお受け取りの場合はご容赦ください）： 日本IBMの齋藤です． 第161回プログラミング研究発表会 (PRO-2026-3) の発表（同時投稿/発表のみ）申込を 9/11 (金) まで延長

皆様（重複して受け取られた場合はご容赦ください） 理研 / CyberAgent の園田です． 定理証明技術の研究会 TPP 2026 の参加・講演申込を開始しました． TPP は2005年から毎年開催

※編集ミスがありましたため再送致します。申し訳ありません。 皆様，（重複してお受け取りになった場合はご容赦ください） PPL 2027 プログラム共同委員長の紙名です． 来年（2027年）の 3月8〜

皆様（重複してお受け取りの場合はご容赦ください） 日本IBMの齋藤です． 以下の通り，第161回プログラミング研究発表会 (PRO-2026-3) の発表（同時投稿/発表のみ）を募集します． 発表申込は

皆様、 （重複してお受け取りの際はご容赦ください。） 日本ソフトウェア科学会第43回大会プログラム委員（PPLコーディネータ）の日高です。 9月7日～9月10日に公立はこだて未来大学で開催される日本

皆様、 早稲田大学の寺内です。 来年東京で開催されるCSF 2027のCFPをお送りいたします(時期は調整中ですが、恐らく9月中になるかと思います)。もう初回の締切は過ぎてしまいましたが、三度投稿の機会

(English follows) 皆様（重複して受け取られた場合はご容赦ください） 理研 / CyberAgent の園田です． 定理証明技術の研究会 TPP 2026 のご案内です． TPP は

皆様 （重複して受け取られた場合はご容赦ください） 第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