Conveni de col·laboració entre CRM-Montréal i CRM-Barcelona

El Centre de recherches mathématiques (CRM – Mont-real) i el Centre de Recerca Matemàtica (CRM – Barcelona) van iniciar una associació de col·laboració l'1 de juliol de 2024 per millorar la investigació matemàtica i l'intercanvi de coneixement entre Quebec, Canadà, i Catalunya, Espanya, amb mirall. conferències i programes d'intercanvi de recerca, amb la primera activitat un Taller exploratori sobre àlgebra, combinatòria i formalització de proves celebrat el 15 de juliol de 2024.

El Centre de recherches mathématiques (CRM – Mont-real) i el Centre de Recerca Matemàtica (CRM – Barcelona) han iniciat una col·laboració a partir de l'1 de juliol de 2024. Aquesta col·laboració té una durada inicial de dos anys, amb possibilitat de pròrroga, amb l'objectiu per millorar la investigació matemàtica i l'intercanvi de coneixements entre Quebec, Canadà, i Catalunya, Espanya.

Fundat el 1968, CRM-Montréal és un institut de recerca canadenc de primer nivell dedicat a l'avenç de les ciències matemàtiques. Fomenta la col·laboració interdisciplinària i dóna suport a la recerca d'avantguarda mitjançant tallers, conferències i programes de visitants. Fundat l'any 1984, CRM-Barcelona és un centre de recerca líder a Espanya centrat en un ampli espectre de disciplines matemàtiques. Promou activitats de recerca d'alt nivell, col·laboracions internacionals i la difusió del coneixement matemàtic.

Aquesta col·laboració inclou conferències mirall que tenen lloc simultàniament als dos centres CRM per facilitar l'intercanvi i la discussió de la recerca, i programes de recerca en petits equips que promouen l'intercanvi entre investigadors catalans i espanyols i membres del CRM. Aquestes iniciatives tenen com a objectiu desenvolupar projectes de recerca conjunts i enfortir els llaços acadèmics.

Primera activitat en virtut del conveni

La primera activitat destacada d'aquest acord va ser la Taller exploratori sobre les interaccions entre àlgebra, combinatòria i formalització de proves. Celebrat el 15 de juliol al CRM Barcelona, ​​aquest taller va tractar temes clau com la teoria de matroides, polítops, geometria tropical i l'ús de Lean per formalitzar demostracions matemàtiques. Organitzat per Marc Masdeu i Juanjo Rué, el taller va comptar amb destacats ponents i pretenia establir un alt nivell per a futurs esdeveniments col·laboratius. Els investigadors de CRM Montreal van poder seguir les xerrades i participar en línia al taller.

Aquest acord de col·laboració suposa un important pas endavant en la internacionalització de la recerca matemàtica, posant de manifest el compromís tant de CRM-Montréal com de CRM-Barcelona per avançar en el camp a escala global.