Alejandro Díaz-Caro (Argentina) and Gilles Dowek (France), got the “Best Paper Award” at the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) for their work “A New Connective in Natural Deduction, and Its Application to Quantum Computing“.
The 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) will run from July 17th to July 24th on the Clowdr virtual platform. It has been organized by the Universidad de Buenos Aires by several members of SINFIN. The main conference is from July 19th to July 22th, and the remaining days are used by its 7 affiliated workshops:
HoTT/UF: 6th Workshop on Homotopy Type Theory/Univalent Foundations
ITRS: 10th Workshop on Intersection Types and Related Systems
WPTE: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
UNIF: 35th International Workshop on Unification
LSFA: 16th Logical and Semantics Frameworks with Applications
IWC: 10th International Workshop on Confluence
IFIP WG 1.6: 24th meeting of the IFIP Working Group 1.6: Rewriting
Alejandro Díaz-Caro (Argentina), Malena Ivnisky (Argentina), Hernán Melgratti (Argentina), and Benoît Valiron (France) got their work “A finite-dimensional model for affine, linear quantum lambda calculi with general recursion” accepted for presentation at TYPES (27th International Conference on Types for Proofs and Programs) and at WiL (5th Workshop on Women in Logic).
Malena is presenting at both venues.
Alejandro Díaz-Caro (Argentina) and Gilles Dowek (France) participated at the 18th International Conference on Quantum Physics and Logic with their work “A New Connective in Natural Deduction, and its Application to Quantum Computing“. The video of the presentation is here.
The following is an English translation of the announcement which will appear in the ‘’Carnets’’ of the French Journal ”le Monde”, in the Section ‘’Mémoire’’
%%%%%%%%%%%%%%
Philippe Flajolet
Computer scientist and mathematician.
Member of the Academy of Sciences,
left us ten years ago, on March 22, 2011.
All of us, who work in the fields of mathematical informatics, in France and abroad, we will not forget him.
Philippe’s work accompanies us every day in our research and shows us the way.
%%%%%%%%%%%%%%
Several members of SINFIN, notably in the ”Randomness and Analysis of Algorithms” team, worked hand by hand with Philippe Flajolet.
As announced before, the Instituto de Ciencias de la Computación (ICC) will be the organiser of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). A news article about it appeared in the ICC news:
Virtual meeting: “Workshop on Randomness and Analysis of Algorithms ( RAPA2 )“, which is a STIC AMSUD project involving SINFIN members. The meeting has been held on December 10th and 11th in the morning for the South Americans and in the afternoon for the French partners.
STIC-Amsud project “Qapla’ – Quantum Aspects of Programming Languages”. Director: Alejandro Díaz-Caro (UNQ & ICC (UBA/CONICET)).
Local directors: Gilles Dowek (Inria, LSV. Paris Saclay, France)
Simon Perdrix (CNRS, Loria, France)
Federico Olmedo (UChile, Chile)
Octavio Malherbe (UdelaR, Uruguay).
Period: 2021-2023.
On November 26, 2020, a workshop from the STALGRAPH MathAmSud project (involving several SINFIN members) will take place online.
