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(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) |