29 international cooperation projects (2012-2022)
Start | End | Acronym | Type | Title | Team(s) | Leader | Parters |
---|
2020 | 2022 | StATyC | Thomas Jefferson Fun | Static Analyses of Program Flows: Types and Certificate for Complexity | LOVE | | University of Augusta |
2019 | 2021 | PARTIES | PICS | Verification of parametric time constrained strategic abilities of agents acting under incomplete information | LOVE | | ICS, Polish Academy of Sciences, Warsaw |
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) |
2020 | 2020 | TrAVAIL | CNRS-INS2I | Transversal Approaches of Verification, Abstract Interpretation, and Logic | LOVE | | Univ. Copenhagen, Univ. Aarhus |
2020 | 2020 | SECRetS | IFD | Synthesis of energy-optimal constraints for real-time systems | LOVE | | Univ. Lorraine, Univ. Aarhus |
2018 | 2019 | PAMPAS | PHC Van Gogh | Parallel Algorithms for Model-checking and PArameter Synthesis | LOVE | | Universiteit Twente |
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é dAntananarivo (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 | LOVE | | IPI-PAN, Varsovie, Pologne |
2015 | 2016 | AlgoGraphe | IdEx USPC | Analyse en moyenne dalgorithmes 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 | LOVE | | 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 | LOVE | | 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 | LOVE | | 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 | LOVE | | 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 | LOVE | | 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) |