WORDS is a biannual international conference devoted to combinatorics on words (sequences of symbols) and its links to algorithms, algebra, dynamics and number theory, as well as its applications. The foundations of combinatorics on words lie in the pioneering work of Axel Thue in the early 20th century, it is now established as an area […]
The conference E-Vote-ID will take place in Nancy from October 1st to October 3rd. This is the tenth edition of the leading international event for evoting experts from all over the world, taking place in Nancy in October 2025. One of E-Vote-ID's major objectives is to provide a forum for interdisciplinary and open discussion of […]
Quantum and Classical Programming Languages and Semantics. The first QCOMICAL School provides a range of intensive courses and tutorials covering quantum computing and classical computing, with a focus on programming language theory and formal semantics. These courses are delivered by leading researchers from the EU-funded QCOMICAL project (Marie Skłodowska-Curie Staff Exchanges). COURSES : Tutorial : […]
Dans le cadre du projet IPCEI-CIS DXP (Data Exchange Platform), Hritika Kathuria, doctorante au sein de l’équipe CEDAR (Centre Inria de Saclay). fera une présentation sur l'interrogation de données RDF sous contraintes d’accès Abstract: We present our work exploring algorithms for answering conjunctive RDF queries in the presence of RDFS ontologies under access control constraints. […]
Fiabilité du scrutin, confidentialité du vote, confiance dans les résultats... les enjeux de ce mode d'élection sont nombreux. Eclairage par Véronique Cortier, chercheuse en informatique, spécialiste des protocoles de sécurité L'irruption des scrutins par voie électronique soulève de nombreux enjeux en termes de garanties de bon fonctionnement et de sécurité informatique : comment m'assurer que […]
