Inria-Brasil Workshop 2025

Welcome and Introduction

Jean-Frédéric Gerbeau (Inria), Fabio Borges (LNCC), Patrick Valduriez (Inria), Frédéric Valentin
(LNCC)

Inria Brasil Program Activities & Objectives

Claire Saint-Léger (Inria), Patrick Valduriez (Inria)

Keynote 1

Fabio Porto (LNCC, Inria International Chair, Inria team IROKO, Montpellier antenna): Data,
model and workflow management for data driven science

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)

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

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

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

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 its to optimized leads through machine learning (with Universidade Catolica de Brasilia)

Discussion

Patrick Valduriez & Frédéric Valentin