皆様， （重複して受け取られた場合はご容赦ください．）

第40回 記号論理と情報科学 研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．参加のご検討ほど，どうぞよろしくお願いいたします．

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

講演申し込み期限は 2023年8月21日（月） としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．

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