International relations

29 international cooperation projects (2012-2021)

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	Thomas SEILLER	University of Augusta
2019	2021	PARTIES	PICS	Verification of parametric time constrained strategic abilities of agents acting under incomplete information	LOVE	Laure PETRUCCI	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	Aldo GANGEMI	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	Laure PETRUCCI	Univ. Copenhagen, Univ. Aarhus
2020	2020	SECRetS	IFD	Synthesis of energy-optimal constraints for real-time systems	LOVE	Etienne ANDRE	Univ. Lorraine, Univ. Aarhus
2018	2019	PAMPAS	PHC Van Gogh	Parallel Algorithms for Model-checking and PArameter Synthesis	LOVE	Laure PETRUCCI	Universiteit Twente
2017	2018	NumLogPro	PHC Polonium	Numerical aspects of Logic and Programs	CALIN	Olivier BODINI	Université Jagellone de Cracovie (Pologne)
2014	2017	Madagascar	SREI	Madagascar	CALIN-LCR	Frédérique BASSINO	Université d’Antananarivo (Madagascar)
2015	2017	Amadeus	PHC Amadeus	PHC Amadeus	A3	Basarab MATEI	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	Roberto WOLFLER
2015	2016	BehaPPi-BMC	PRC	Behaviour Preserving Parametric Bounded Model Checking	LOVE	Etienne ANDRE	IPI-PAN, Varsovie, Pologne
2015	2016	AlgoGraphe	IdEx USPC	Analyse en moyenne d’algorithmes sur les graphes	CALIN	Mario VALENCIA PABON	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	Aldo GANGEMI	LORIA, IIMAS/UNAM (Mexique)
2015	2016	PHC	PHC Pavle Savic	PHC	AOC	Laurent ALFANDARI	ESSEC, Universite? Paris Dauphine, Universite? de Metz, Université de Belgrade
2014	2015	AsymptRec	BRTF/MOST	Asymptotique de récurrences	CALIN	Cyril BANDERIER	Academia Sinica
2013	2014	AG-AC	PHC Orchid	RANDOM GENERATION OF COMBINATORIAL STRUCTURES: NEW RIGOUROUS APPROACH FOR ATTRIBUTE GRAMMARS VIA ANALYTIC COMBINATORICS	CALIN	Olivier BODINI	Institute of Stat. Science, Taiwan
2013	2014	Coloring	MATH-AmSud	Algorithmic, Algebraic and Structural issues on coloring and matching theory of graphs	CALIN	Mario VALENCIA PABON	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	Gérard DUCHAMP	Acad. des Sciences, Pologne
2013	2014	CATS	STIC Asie	Compositional Analysis of Timed Systems	LOVE	Laure PETRUCCI	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	Etienne ANDRE	NUS, Singapour
2012	2013	MACO	PHC Bosphorus	Modélisation, Analyse et le Contrôle Optimal des réseaux intracellulaires sous l’incertitude	AOC	Ferhan PEKERGIN	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	Christine CHOPPY	NUS, Singapour
2012	2013	RandWalks	PHC Amadeus	Asymptotic of random walks	CALIN	Cyril BANDERIER	TU Wien (Autriche)
2009	2012	FT	CNRS-DGRST	France-Tunisie	CALIN	Cyril BANDERIER	Université de Monastir
2011	2012	LogQuant	PHC Polonium	Logique quantitative	CALIN	Olivier BODINI	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	Roberto WOLFLER	Universita di Bologna (Italie)
2011	2012	Yggdrasil	(Norvège)	Yggdrasil	LOVE	Sami EVANGELISTA	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	Mario VALENCIA PABON	Universidad de Buenos Aires (Argentine), Columbia University (USA), Universidade Federal do Rio de Janeiro (Brésil), Universidad de Chile (Chili), Magdeburg University (Allemagne)