Coopérations internationales

26 projets de coopération (2012-2019)

Début Fin Acronyme Type Titre Équipe(s) Responsable Partenaires
20192021PARTIESPICSVerification of parametric time constrained strategic abilities of agents acting under incomplete informationLOVE
ICS, Polish Academy of Sciences, Warsaw
20162020CartographieECOS NordCartographie de la diaspora des savoirs par fouille sémantique des résultats de recherches sur le webRCLN
Télécom ParisTech, IRD, IIMAS/UNAM (Mexique), CRIM/UNAM (Mexique)
20182019PAMPASPHC Van GoghParallel Algorithms for Model-checking and PArameter SynthesisLOVE
Universiteit Twente
20172018NumLogProPHC PoloniumNumerical aspects of Logic and ProgramsCALIN
Université Jagellone de Cracovie (Pologne)
20142017MadagascarSREIMadagascarCALIN-LCR
Université d’Antananarivo (Madagascar)
20152017AmadeusPHC AmadeusPHC AmadeusA3
Institut de Mathématiques de Bordeaux, Département de mathématiques de l’Université de Vienne (Autriche)
20152017SFSCPHC Cai YuanpeiPHCAOC
20152016BehaPPi-BMCPRCBehaviour Preserving Parametric Bounded Model CheckingLOVE
IPI-PAN, Varsovie, Pologne
20152016AlgoGrapheIdEx USPCAnalyse en moyenne d’algorithmes sur les graphesCALIN
Universidad de Buenos Aires (Argentina)
20152016GOLDFREDAUF-PIRATGénération de récits à partir d’expériences spatiales d’un robot de service par extraction de connaissances textuellesRCLN
LORIA, IIMAS/UNAM (Mexique)
20152016PHCPHC Pavle SavicPHCAOC
ESSEC, Universite? Paris Dauphine, Universite? de Metz, Université de Belgrade
20142015AsymptRecBRTF/MOSTAsymptotique de récurrencesCALIN
Academia Sinica
20132014AG-ACPHC OrchidRANDOM GENERATION OF COMBINATORIAL STRUCTURES: NEW RIGOUROUS APPROACH FOR ATTRIBUTE GRAMMARS VIA ANALYTIC COMBINATORICSCALIN
Institute of Stat. Science, Taiwan
20132014ColoringMATH-AmSudAlgorithmic, 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
20132014SCAPPHC PoloniumStructures Combinatoires et Amplitudes de ProbabilitéCALIN
Acad. des Sciences, Pologne
20132014CATSSTIC AsieCompositional Analysis of Timed SystemsLOVE
Ho Chi Minh City University of Technology (HCMUT) et National University of Singapore (NUS)
20122014BRAVOSPHC Merlionformal methods-Based specification, Refinement And Verification Of UML State machinesLOVE
NUS, Singapour
20122013MACOPHC BosphorusModélisation, Analyse et le Contrôle Optimal des réseaux intracellulaires sous l’incertitudeAOC
SAMM (Univ. Paris1), LACL (Univ. Paris12), Univ. Paris 2, Université d’Economie d’Izmir (Turquie), Université Dokuz Eyläl (Turquie)
20122013BRAVOSPHC MerlionFrench Singapore workshop on formal methods and applicationsLOVE
NUS, Singapour
20122013RandWalksPHC AmadeusAsymptotic of random walksCALIN
TU Wien (Autriche)
20092012FTCNRS-DGRSTFrance-TunisieCALIN
Université de Monastir
20112012LogQuantPHC PoloniumLogique quantitativeCALIN
Université Versailles Saint-Quentin, Université Jagellone de Cracovie
20102012Log. lin.PICS ItalieLogique LinéaireLOVEPPS, Univ. Turin, Univ. Bologne, Univ. Roma Tre
20122012MAP2NSREIModèles et algorithmes pour résoudre les proble?mes de conception de re?seaux de distribution a? deux niveauxAOC
Universita di Bologna (Italie)
20112012Yggdrasil(Norvège)YggdrasilLOVE
Bergen University College, Norvège
20092012GraphesPICT (Argentine)Problèmes théoriques et applications issues dans les graphes et l’optimisation combinatoireCALIN
Universidad de Buenos Aires (Argentine), Columbia University (USA), Universidade Federal do Rio de Janeiro (Brésil), Universidad de Chile (Chili), Magdeburg University (Allemagne)