Logic, Algebra and Category Theory: Applications in Computer Science
| 整理番号 | 2025b002 |
|---|---|
| 種別 | 国際プロジェクト研究-研究集会（Ⅰ） |
| 研究計画題目 | Logic, Algebra and Category Theory: Applications in Computer Science |
| 研究代表者 | Guillermo Badia（University of Queensland・Senior Lecturer） |
| 研究実施期間 |
2025年9月29日(月) ～
2025年10月3日(金) |
| 研究分野のキーワード | logic, algebra, category theory, logic in computer science |
| 本研究で得られた成果の概要 |
The 2nd Workshop on Logic, Algebra and Category Theory (LAC 2025), held in Fukuoka from September 29 to October 3, 2025, continued the LAC series’ mission of fostering interdisciplinary research at the intersection of logic, algebra, and category theory, with a strong emphasis on applications in computer science. The workshop provided a platform for exploring foundational mathematical frameworks and their role in specification, verification, database theory, and programming language semantics. A key theme was the use of category theory and universal algebra as unifying tools to reveal structural connections among diverse logical systems and support principled language and tool design. LAC 2025 featured a balanced mix of academic and industrial contributions, including invited talks on query optimization techniques for Datalog-inspired languages and model-theoretic games with computational tools. The program also highlighted advances in database theory, and the Maude system, alongside discussions on transition algebra and strategy-based rewriting. By combining theoretical insights with practical perspectives, the workshop strengthened ties between foundational research and real-world applications, promoting collaboration across traditionally separate communities. Further details, including abstracts and slides, are available at https://imi.kyushu-u.ac.jp/lac/2025/index.html. |
| 組織委員(研究集会) 参加者(短期共同利用) |
Guillermo Badia（The University of Queensland・Senior lecturer） Ronald Fagin（IBM Almaden Research・senior researcher） Daniel Găină（Institute of Mathematics for Industry・associate professor） Tomasz Kowalski（Jagiellonian University・professor） Yoshihiro Mizoguchi（Institute of Mathematics for Industry・professor） Adrián Riesco Rodríguez（Complutense University of Madrid・associate professor） Ionuț Țuțu（Simion Stoilow Institute of Mathematics of the Romanian Academy・senior lecturer） Santiago Escobar（Universitat Politècnica de València・professor） |