sonoteno

皆さま（重複して受け取られた場合はご容赦ください） 国立情報学研究所の関山です。 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 (

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

(apologies for multiple copies) 総合研究大学院大学 情報学コースは、以下のとおり説明会を開催いたします。 本コースは、わが国唯一の情報学の学術総合研究所である、国立情報学

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

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

皆さま、 こちらの講演は明日開催されますので、改めてご案内いたします。 どうぞよろしくお願いいたします。 寺内 On Thu, Apr 24, 2025 at 2:25 PM Tachio

皆様、 千葉大学の山本です。 複数お受け取りの場合はご容赦ください。 応募期限まで2週間となりましたので、 教員公募の案内をリマインドさせてください。 -------------------------