Logic, Algebra and Category Theory: Applications in Computer Science
| Reference No. | 2025b002 |
|---|---|
| Type/Category | Grant for International Project Research-Workshop (I) |
| Title of Research Project | Logic, Algebra and Category Theory: Applications in Computer Science |
| Principal Investigator | Guillermo Badia（University of Queensland・Senior Lecturer） |
| Research Period |
September 29,2025. -
October 3,2025. |
| Keyword(s) of Research Fields | logic, algebra, category theory, logic in computer science |
| Abstract for Research Report |
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. |
| Organizing Committee Members (Workshop) Participants (Short-term Joint Usage) |
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） |