日本語|English

CSCAT 2027

理論計算機科学と圏論ワークショップ2027
Computer Science and Category Theory 2027

お知らせ

2026-11-02: ページを公開しました。発表申込みの受付を開始しました。

概要

日程: 2027年3月16日(火)〜3月17日(水)
会場: 京都大学数理解析研究所111室（〒606-8502 京都市左京区北白川追分町）
世話人: 郡茉友子（京都大学），今村悠希（大阪公立大学）
連絡先: yuki.imamura.ct [at] gmail.com (Imamura)

CSCATとは

CSCAT（理論計算機科学と圏論ワークショップ）は、圏論の情報科学への応用に関心をもつ研究者が集まる研究集会です。一つひとつの講演に長めの時間をとり、通常の学会では難しい、研究の詳細に立ち入った発表と議論ができる場を目指しています。

参加登録・発表申込み

発表申込み: こちらのフォームから申し込みください。発表の申込み締切は 2027年2月28日(日) です。
参加・懇親会申込み締切: TBA

懇親会

TBA（初日の夜に懇親会を行う予定です）

プログラム

TBA

Information

CSCAT is a workshop for researchers interested in applications of category theory to computer science. Each talk is given a long time slot, so that speakers can present their work in detail and have in-depth discussions.

Dates: March 16 - March 17, 2027
Venue: RIMS room 111, Kyoto University
Organizer: Mayuko Kori (Kyoto University), Yuki Imamura (Osaka Metropolitan University)

Contact: yuki.imamura.ct [at] gmail.com (Imamura)

Apply for talk: Please apply using this form by Feb 28, 2027.
Registration: TBA (We plan to have a conference dinner on the evening of the first day.)

過去のCSCAT

CSCAT 2026 (AOSSA，福井県)
CSCAT 2025 (崇城大学)
CSCAT 2024 (千葉大学)
CSCAT 2023 (京都大学)
CSCAT 2022 (東北大学，オンライン)
CSCAT 2021 (崇城大学，オンライン)
CSCAT 2020 (京都大学) COVID-19感染拡大のため中止
CSCAT 2019 (東北大学)
CSCAT 2018 (国立情報学研究所)
CSCAT 2017 (群馬大学)
CSCAT 2016 (理化学研究所)
CSCAT 2015 (鹿児島大学)
CSCAT 2014 (神奈川大学)
CSCAT 2013 (鳥取環境大学)
CSCAT 2012 (慶應義塾大学)
CSCAT 2011 (慶應義塾大学) 東日本大震災のため中止
CSCAT 2010 (キャンパスプラザ京都)
CSCAT 2009 (千葉大学)
CSCAT 2008 (東北大学)
CSCAT 2007 (京都大学)
CSCAT 2006 (広島大学)
CSCAT 2005 (筑波大学) メーリングリストを開設
CSCAT 2004 (産業技術総合研究所)
CSCAT 2003 (慶應義塾大学) 「理論計算機科学と圏論」の名を冠してワークショップ化