sonoteno

皆様、 早稲田大学の寺内です。 下記のように教員を公募しておりますので、ぜひ応募をご検討下さい。 早稲田大学理工学術院公募サイト：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分程度を想定）予定者・未解決問題提供予定者のリストも

sonotenoリストの皆様、 筑波大学の亀山です。 関数型＋論理型プログラミングに関する国際会議FLOPS 2026 の参加募集を お送りします。 18回目の開催となる今回は、次の３名の方々の基調講演

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

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

みなさま、 こんにちは、青森大学の高橋です。慶應義塾大学の岡田光弘先生、峯島宏次先生の代理で 以下の会議の告知を回覧させていただけませんでしょうか。 なにとぞよろしくお願いいたします。 高橋 優太

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

皆様， 東邦大学の木村大輔です． 第158回プログラミング研究発表会 (PRO-2025-5) の発表申込締切を延長しましたのでご案内いたします． (メーリングリストによっては初めてのお知らせかもしれ

みなさま， 名古屋大学の宋です． JSAI2026のオーガナイズドセッション OS-36 「制約プログラミングの理論と実践: 充足・列挙・計数・最適化」 のご案内です．〆切が来週1月28日(水)14時と

皆様， （重複投稿ご容赦ください） 今年度のCSCATの幹事の福井県立大学の眞田です． CSCAT 2026は3/16(月) -- 3/17(火)の日程でAOSSA（福井市福井駅前）で開催いたします．

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

皆様， 東京農工大学の佐藤です． 第157回プログラミング研究発表会を1/20（火）～1/21（水）に沖縄とオンラインのハイブリッド開催いたします． 参加費は無料となっております． 多くの皆様のご参加を

みなさま、 青森大学の高橋優太と申します。慶應義塾大学・岡田光弘先生と峯島宏次先生の代理として以下のイベントの告知をさせていただけませんでしょうか。 なにとぞよろしくお願いいたします。 --------

皆様， PPL 2026 プログラム共同委員長の西田・宋です． 先日ご案内差し上げた PPL 2026 について，論文投稿受付の〆切を12月24日(水)17時まで延長いたしました． 皆様の周囲でご興味を

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

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

みなさま， 12/3（水）午後～12/4（木）に東北大学青葉山キャンパスにて開催される， 定理証明・定理証明器に関するワークショップTPP 2025の発表・参加申込締切が来週11/15（土）に近づいて

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

（重複して受け取られた場合はご容赦ください） 今年の11月に名古屋で開催される LENLS21 国際学会の参加案内をお送り致します。 （参加登録の〆切は【11/16】ですが、懇親会は残り8枠で締め切り

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

みなさま、 京都大学の和賀です。 重複してお受け取りの節は何卒ご容赦ください。 来年5月にフランスのサン＝マロにて開催される、ハイブリッドシステムと物理 情報システムに関する国際会議 HSCC/

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

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） 秋田大学の新屋と申します． 第42回 記号論理と情報科学 研究集会（SLACS 2025）のHPを公開いたしました．