Mathematical logic and formal methods
5 European H2020 organizations list this as part of their work — 3 as their primary capability.
Most active in this area
- THE UNIVERSITY OF SYDNEY
Major Australian research university contributing Pacific-region expertise and Southern Hemisphere research access to European mobility and collaboration projects.
“SYSMICS, MOSAIC (substructural logics), and GHAIA (harmonic analysis, geometric models) form a consistent thread in pure mathematics.”
PrimaryAU30 projects - THE UNIVERSITY OF QUEENSLAND
Major Australian research university contributing environmental chemistry, health AI, and humanitarian expertise to European consortia as a third-party partner.
“MOSAIC focuses on modal and substructural logics with applications in computational linguistics — a niche but distinctive capability.”
AU26 projects - UNIVERSITA DEGLI STUDI DELL'INSUBRIA
Italian university combining targeted drug delivery, mathematical logic, and research ethics across diverse EU health and digital projects.
“SYSMICS, INdAM-DP-COFUND-2015, and MOSAIC focus on substructural logics, proof theory, Kripke semantics, and computational linguistics applications.”
PrimaryIT16 projects - UNIVERSIDADE ESTADUAL DE CAMPINAS
Brazil's leading H2020 research university, bridging European consortia to Latin American expertise in formal methods, nanotechnology, and innovation policy.
“SYSMICS and MOSAIC both focus on substructural logics and proof theory, while ADVANCE applies formal verification to cyber-physical systems.”
PrimaryBR14 projects - NATIONAL UNIVERSITY CORPORATION KYOTO UNIVERSITY
Japan's premier research university contributing nuclear safety, climate modeling, seismology, and advanced materials expertise to European consortia.
“SYSMICS project on substructural logics — syntax meets semantics methods and connections.”
JP9 projects