[logic-ml] CSCAT 2025開催案内

皆様、 （重複投稿ご容赦ください）

小山高専の荒武と申します。 CSCAT 2025（理論計算機科学と圏論ワークショップ）を以下の要領で開催いたします。

CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 近年のCSCATでは、情報科学への応用だけにとどまらず、数学的対象としての圏そのものについての研究発表も盛んに行われています。

日程： 2025年3月10日（月）・11日（火） 場所： 崇城大学メインキャンパス 情報学科棟（F号館）2階203（熊本県熊本市西区池田） Webサイト： https://hisashi-aratake.gitlab.io/event/cscat2025.html

なお、今回のCSCAT開催にあたり、崇城大学の星野直彦先生にご協力いただいております。

ご参加・ご発表を検討されている方は2/28までに上記ページにあるフォームからお申込をお願いいたします。 皆様のご参加をお待ちしております。また、お知り合いの方で興味のある方がいらっしゃいましたら、お誘いいただければ幸いです。

荒武永史（小山高専） hisashiaratake@gmail.com