Applied logic and computational linguistics
4 European H2020 organizations list this as part of their work.
Most active in this area
- USTAV INFORMATIKY AV CR
Czech Academy institute specializing in mathematical logic, proof theory, and formal reasoning with emerging applications in computational linguistics and algorithms.
“MOSAIC explicitly targets applications of logical frameworks, while CONNECT touched musical information retrieval — both pointing toward applied computational work.”
CZ3 projects - UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
Brazilian federal university offering tropical South Atlantic marine climate expertise and formal mathematical logic capacity to European research consortia.
“MOSAIC's keyword set includes applied logic and computational linguistics, suggesting UFRN researchers are extending pure logic theory toward language and computation applications.”
BR2 projects - Chapman University
US university research group specialising in substructural and modal logics, proof theory, and algebraic semantics — transatlantic MSCA-RISE exchange partner since 2016.
“MOSAIC keywords include applied logic and computational linguistics, signalling a shift toward language-processing applications of formal logic.”
US2 projects - INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE
French engineering school with a specialist research group in mathematical logic, proof theory, and applied formal methods for computational systems.
“MOSAIC keywords include 'applied logic' and 'computational linguistics', suggesting the group connects formal logical frameworks to language processing and reasoning systems.”
FR2 projects