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 |
目的と期待される成果 |
In addition to talks and presentations, the workshop will include sessions to allow for brain storming of ideas by the many experts who are expected to attend, from both industry and academia. These will include local and international experts as well as local ECRs who will benefit from exposure to these ideas. The research aim is to propose mathematical structures that support the design of reliable software and hardware systems, and to discuss their application to the challenging problem of building high-confidence software and hardware systems. |
組織委員(研究集会) 参加者(短期共同利用) |
Guillermo Badia [organizer](University of Queensland・Senior Lecturer) Ronald Fagin [organizer](IBM Research・IBM Fellow) Daniel Gaina [organizer](Kyushu University・Associate Professor) Tomasz Kowalski [organizer](Jagiellonian University・Professor) Go Hashimoto(Kyushu University・PhD student) Yoàv Montacute(National Institute of Informatics・Postdoc) Canh Minh Do(JAIST・Assistant Professor) |