On the occasion of the visit of Delia Kesner, director from the French side of SINFIN, and Olivier Carton, from the Randomness and Analysis of Algorithms team, we have organised this mini-workshop on Monday, March 11, 2024, with the following program.
18.00-18.30 – Team: Logics and Dynamics of Programming Languages
Talk #1: Linear logic as a key to understand programs
Speaker: Pablo Barenbaum 馃嚘馃嚪
Joint work with Delia Kesner 馃嚝馃嚪, Mariana Milicich 馃嚝馃嚪, and Eduardo Bonelli 馃嚭馃嚫
Talk #2: A polymorphic extension of a linear proof language for intuitionistic linear logic
Speaker: Malena Ivnisky 馃嚘馃嚪
Co-authors: Alejandro D铆az-Caro 馃嚘馃嚪, Gilles Dowek 馃嚝馃嚪, and Octavio Malherbe 馃嚭馃嚲
18.35-19.05 – Team: Graph Theory and Combinatorial Optimization
Talk: Parameterized algorithms for thinness via the cluster module number
Speaker: Eric Brandwein 馃嚘馃嚪
Co-authors: Flavia Bonomo 馃嚘馃嚪 and Ignasi Sau 馃嚝馃嚪
19.10-19.40 – Team: Theory of Structured Data
Talk: First Order Logic with unary negation and transitive closure
Speaker: Santiago Figueira 馃嚘馃嚪
Co-authors: Diego Figueira 馃嚝馃嚪 and Edwin Pin 馃嚘馃嚪
19.45-20.15 – Team: Randomness and Analysis of Algorithms
Talk: Nested perfect arrays
Speaker: Olivier Carton 馃嚝馃嚪
Co-author: Ver贸nica Becher 馃嚘馃嚪