Coopérations internationales

24 projets de coopération (2012-2018)

Début Fin Acronyme Type Titre Équipe(s) Responsable Partenaires
2016 2020 Cartographie ECOS Nord Cartographie de la diaspora des savoirs par fouille sémantique des résultats de recherches sur le web RCLN
Télécom ParisTech, IRD, IIMAS/UNAM (Mexique), CRIM/UNAM (Mexique)
2017 2018 NumLogPro PHC Polonium Numerical aspects of Logic and Programs CALIN
Université Jagellone de Cracovie (Pologne)
2014 2017 Madagascar SREI Madagascar CALIN-LCR
Université d’Antananarivo (Madagascar)
2015 2017 Amadeus PHC Amadeus PHC Amadeus A3
Institut de Mathématiques de Bordeaux, Département de mathématiques de l’Université de Vienne (Autriche)
2015 2017 SFSC PHC Cai Yuanpei PHC AOC
2015 2016 BehaPPi-BMC PRC Behaviour Preserving Parametric Bounded Model Checking LCR
IPI-PAN, Varsovie, Pologne
2015 2016 AlgoGraphe IdEx USPC Analyse en moyenne d’algorithmes sur les graphes CALIN
Universidad de Buenos Aires (Argentina)
2015 2016 GOLDFRED AUF-PIRAT Génération de récits à partir d’expériences spatiales d’un robot de service par extraction de connaissances textuelles RCLN
LORIA, IIMAS/UNAM (Mexique)
2015 2016 PHC PHC Pavle Savic PHC AOC
ESSEC, Universite? Paris Dauphine, Universite? de Metz, Université de Belgrade
2014 2015 AsymptRec BRTF/MOST Asymptotique de récurrences CALIN
Academia Sinica
2013 2014 AG-AC PHC Orchid RANDOM GENERATION OF COMBINATORIAL STRUCTURES: NEW RIGOUROUS APPROACH FOR ATTRIBUTE GRAMMARS VIA ANALYTIC COMBINATORICS CALIN
Institute of Stat. Science, Taiwan
2013 2014 Coloring MATH-AmSud Algorithmic, Algebraic and Structural issues on coloring and matching theory of graphs CALIN
Universidad de Buenos Aires, Argentina ; Universidade Federal do Rio de Janeiro, Brasil ; Universidad de Chile, Chile
2013 2014 SCAP PHC Polonium Structures Combinatoires et Amplitudes de Probabilité CALIN
Acad. des Sciences, Pologne
2013 2014 CATS STIC Asie Compositional Analysis of Timed Systems LCR
Ho Chi Minh City University of Technology (HCMUT) et National University of Singapore (NUS)
2012 2014 BRAVOS PHC Merlion formal methods-Based specification, Refinement And Verification Of UML State machines LCR
NUS, Singapour
2012 2013 MACO PHC Bosphorus Modélisation, Analyse et le Contrôle Optimal des réseaux intracellulaires sous l’incertitude AOC
SAMM (Univ. Paris1), LACL (Univ. Paris12), Univ. Paris 2, Université d’Economie d’Izmir (Turquie), Université Dokuz Eyläl (Turquie)
2012 2013 BRAVOS PHC Merlion French Singapore workshop on formal methods and applications LCR
NUS, Singapour
2012 2013 RandWalks PHC Amadeus Asymptotic of random walks CALIN
TU Wien (Autriche)
2009 2012 FT CNRS-DGRST France-Tunisie CALIN
Université de Monastir
2011 2012 LogQuant PHC Polonium Logique quantitative CALIN
Université Versailles Saint-Quentin, Université Jagellone de Cracovie
2010 2012 Log. lin. PICS Italie Logique Linéaire LCR PPS, Univ. Turin, Univ. Bologne, Univ. Roma Tre
2012 2012 MAP2N SREI Modèles et algorithmes pour résoudre les proble?mes de conception de re?seaux de distribution a? deux niveaux AOC
Universita di Bologna (Italie)
2011 2012 Yggdrasil (Norvège) Yggdrasil LCR
Bergen University College, Norvège
2009 2012 Graphes PICT (Argentine) Problèmes théoriques et applications issues dans les graphes et l’optimisation combinatoire CALIN
Universidad de Buenos Aires (Argentine), Columbia University (USA), Universidade Federal do Rio de Janeiro (Brésil), Universidad de Chile (Chili), Magdeburg University (Allemagne)