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） Yoshihiro Mizoguchi（Institute of Mathematics for Industry・PhD student） 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） |