We organize an online scientific workshop during 2 half-days: between 9:30 am -> 1:30 pm Rio de Janeiro time and 1:30 -> 5:30 pm Paris time, with two objectives:
- To highlight on-going joint projects of various thematics between Inria teams and Brazilian partners.
- To present the existing and future activities and funding programs developed by Inria International Relations Department together will LNCC as main partner of Inria-Brasil Program
Organization committee: Frédéric Valentin (LNCC), Patrick Valduriez (Inria), Claire Saint-Léger (Inria).
If you want to register to the online event, please contact claire.saint-leger(at)inria.fr
Full program
Wednesday 29 October 2025
Brazil SP Hour/ French Hour
09:30-09:45/13:30-13:45 Welcome and Introduction
Jean-Frédéric Gerbeau (Inria), Fabio Borges (LNCC), Patrick Valduriez (Inria), Frédéric Valentin (LNCC)
09:45-10:15/13:45-14:15 Inria Brasil Program Activities & Objectives
Claire Saint-Léger (Inria), Patrick Valduriez (Inria)
10:15-10:45/14:15 -14:45 Keynote 1
Fabio Porto (LNCC, Inria International Chair, Inria team IROKO, Montpellier antenna): Data, model and workflow management for data driven science
10:45-11:45/14:20 -15:20 Session 1: Mathematical modeling
- Haniel Barbosa (Universidade Federal de Minas Gerais), Associate team CARMA: Modularity, proof translation, and proof reconstruction (with Inria team VERIDIS)
- Konstantin Brenner (Université Côte d’Azur, Inria team GALETS), ANR Top-Up Project: High-resolution topography upscaling for overland flows (with LNCC)
- Milica Tomasevic (CNRS, Inria team MERGE, Inria Saclay), ANR/FAPESP Project: SDAIM: Stochastic and deterministic analysis of irregular models (with UNICAMP)
11:45-12:20/15:45-16:20 Session 2: Networking
- Giorgio Valmorbida (Centrale Supélec, Inria team DISCO, Inria Saclay), STIC AmSud Project: NetConHybSDP: Networked control of hybrid systems by semidefinite programming with applications in industry 4.0 (with UNICAMP, UFRGS, CEFET-MG)
- Nicolas Nisse (Inria, COATI team, Inria Centre at Université Côte d’Azur), Associate team CANOE: Combinatorial algorithms for networking problems
Thursday 30 October 2025
Brazil SP Hour/ French Hour
09:30-10:30/13:30-15:30 Session 3: Artificial intelligence
- Lutz Strassburger (Inria, PARTOUT team, Inria Saclay), STIC AmSud Project: DLR: Dynamic logics
- Stéphane Lanteri (Inria, ATLANTIS team, at Inria Centre at Université Côte d’Azur), Associated team DNN4Photon: Deep neural networks for the design of photonic device
- Slot to be confirmed for Associate team LOGIC
10:30-11:00/14:30-15:00 Keynote 2
Eduardo Uchoa Barboza (UFF, Inria International Chair, Inria team REALOPT, Inria centre at the University of Bordeaux): Optimizing with column generation: advanced branch-cut-and-price algorithm
11:00-11:40/15:00-15:40 Session 4: Applications in biology
- Pierre-Alexandre Bliman (Inria, MUSCLEES team, Inria Paris), STIC AmSud BIO-CIVIC Project: Biological control of insect vectors and insect pests (with UNESP and UFF)
- Malika Smaïl-Tabbone (Université de Lorraine, Inria team CAPSID, centre Inria at Université de Lorraine), CAPES-COFECUB Project: NewDAFI: New drugs against invasive frungal infections: from hits to optimized leads through machine learning (with Universidade Catolica de Brasilia)
11:40-12:15/15:40-16:15 Discussion
Patrick Valduriez & Frédéric Valentin