[logic-ml] SLACS 2023（8月31日・9月1日）発表プログラム公開

[Yosuke Fukuda]

皆様，

第40回 記号論理と情報科学 研究集会（SLACS 2023）幹事の福田@京都橘大です．

SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします．

==== SLACS 2023 開催要領 ====
詳細: https://lambda.ski/slacs2023
日程: 2023年8月31日（木）から2023年9月1日（金）の二日間
形式: 対面およびオンラインのハイブリッド開催
会場: 京都橘大学 優心館2階 E201教室（ 〒607-8175 京都府京都市山科区大宅山田３４ ）
費用: 参加費無料
幹事: 福田 陽介（ 京都橘大学, E-mail: yf at lambda.ski ）
========

参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．

以上，奮ってご参加ください．