皆様， # 重複してお受取になった場合はご容赦ください． 電気通信大学の小宮と申します．
槇原先生＠立命館大学のご依頼により， 日本ソフトウェア科学会第41回大会の参加登録のご案内をさせていただきます．
参加登録締切は，＊9月4日（水）＊までとなっております． 皆様のご参加をお待ちしております．
# PPL（プログラミング論研究会）以外のセッションの情報は，下記に記載の # 大会プログラムのページをご覧いただけたらと存じます．
---------------------------------------------------------------------- PPL関係者の皆様
お世話になっております。 日本ソフトウェア科学会第 41 回大会運営副委員長の槇原と申します。
9月9日（月）〜9月12日（木）にかけて開催される日本ソフトウェア科学会大会に関しまして、 参加登録を開始いたしましたため、ご連絡を申し上げます。 参加登録締切は、短くて恐縮ですが9月4日（水）まででございます。
PPL関係のセッションとして、以下が挙げられます。 「項書き換え」 「プログラミング言語の検証・圏論」 「型」 「論理・制約プログラミング」 「言語設計・DSL」 「組み込み向け言語」 「プログラミング支援・ツール」 「言語ランタイム・実装」
イベント情報： ■PPLサマースクール 2024年9月9日(月) 13:00〜16:25 「分離論理 Iris の世界」 講師：松下 祐介 氏（京都大学）
■2024年9月11日（水）基調講演1 松原 仁（京都橘大学） 「人間とAIの関係について将棋と囲碁の例から考える」
■2024年9月12日（木）基調講演2 青木 利晃（北陸先端科学技術大学院大学） 「次世代車載基盤システムへの形式手法の実践」
■2024年9月10日（火）大会企画講話 高田 広章 教授（名古屋大学） 「Software Defined Vehicle（SDV）− ソフトウェアは自動車をどのように変えるか？」
大会ウェブサイト： https://jssst2024.wordpress.com/
参加登録方法： https://jssst2024.wordpress.com/participation/
大会プログラム： https://jssst2024.wordpress.com/program/
皆様のご参加を心よりお待ちしております。 ================================
以上になります。 お忙しいところお手数をおかけいたしますが、 何卒よろしくお願い申し上げます。
槇原 ----------------------------------------------------------------------