sonoteno

皆様， （重複投稿ご容赦ください） 今年度の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を公開いたしました．

皆様 国立情報学研究所の関山です。 今年度発足した K-Program 採択課題「ハードウェア・ソフトウェア・理論の連携によるユニバーサルTEEアーキテクチャの実現」において、プログラミング言語・形式

関係各位名古屋大学大学院多元数理科学研究科教員の公募についてこのたび本研究科におきましては，下記要領で教員公募を行うことになりました．つきましては貴関係者にお知らせいただくとともに，適任者をご存じの場合

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

sonoteno の皆様 PPLサマースクール2025幹事の川端さんの代理で、PPLサマースクール2025の参加登録についてお知らせします。 皆様，（重複してお受け取りになった場合はご容赦ください）

みなさま（重複して受け取られた場合はご容赦ください） 京都大学の和賀です。来週火曜日に九州大学の Zhenya Zhang 先生と共同で、 AI-CPSの品質向上に関するJST BOOSTプロジェクトの

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

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

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

皆様， (複数お受け取りの場合はご容赦ください) 東邦大学の木村です． 先日お送りいたしました専任教員公募の案内につきまして締切1週間前となりましたのでリマインダです． 本気で募集しておりますので是非ご

デモ・ポスター発表のリマインダです。 >日本ソフトウェア科学会第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>: 皆様、 千葉工大の安部達也です。 新潟大の

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

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