Florent Jacquemard

Florent Jacquemard

Research Scientist

Projects, Contracts and Grants

Polifonia Permalink  A digital harmoniser for musical heritage knowledge

H2020-SC6-TRANSFORMATIONS 2021 — 2025

The objective of this European project is to realise an ecosystem of computational methods and tools supporting discovery, extraction, encoding, interlinking, classification, exploration of, and access to, European musical heritage knowledge on the Web, and to demonstrate that these tools improve the state of the art of Social Science and Humanities methodologies.

The partners are Alma Mater Studiorum, Università di Bologna (coordinateur), Open University, Stichting Vrije Universiteit Amsterdam, Insight Centre for Data Analytics, NUI Galway, Istituto Centrale del Catalogo e della Documentazione, Istituto Centrale per i Beni Sonori e Audiovisivi, IReMus/CNRS/SU, Cedric/CNAM, Netherlands Institute for Sound and Vision, Royal Netherlands Academy of Arts and Sciences, Digital Paths srl.

Kakenhi  Automatic music transcription based on formal language theory

JSPS foundation 2020 — 2025

The team Vertigo at Cedric/CNAM and Action Codex is a foreign partner of this Japanese National project on music transcription, with Principal Investigator: Masahiko Sakai (Nagoya University), and Co-investigator: Satoshi Tojo (JAIST).

CollabScore Permalink  Collaborative spaces for digitalized music scores

ANR 2020 — 2024

This project aims at developing approaches for music score digitalisation in semi-structured formats, with Optical Music Recognition (OMR) and methods for large scale collaborative correction and the valorisation of music collections.

It implies Cedric/CNAM (coordinator), Irisa, IReMus/CNRS/SU, the BnF (French National Library), 2 libraries of Fondation Royaumont, and the company Antescofo.

Codex Permalink  Generation and processing digital music scores

Inria Exploratory Action 2020 — 2023

role: responsible of the project

Inria Exploratory Action on the formal representation and processing of symbolic musical data and applications to information retrieval in digital music score databases, computational musicology, music transcription and corpus digitization.

This Inria project is hosted by the Vertigo team at CNAM/Cedric and is carried out in collaboration with musicologists at IReMus, Ircam/STMS and librarians at BnF.

PolyMIR  Music Information Retrieval in Polyphonic Corpora

Émergence Sorbonne Universités 2017 — 2018

18 months exploratory project in digital musicalogy between IReMus, STMS/Ircam and Cedric/CNAM.

RQ Permalink  Rhythm Quantization OpenMusic library

Ircam Unité-Projet Innovation 2016

role: Principal Investigator

Project internaly funded by Ircam for the development of an OpenMusic Library for Rhythm Quantization.

The project was co-coordinated with Jean Bresson, main developper of OpenMusic, most of the developpement was done by Adrien Ycart hired as development engineer. It was conducted in collaboration with composers and musicologists.

GioQoso Permalink  Gestion de la Qualité des partitions musicales ouvertes

CNRS defi Mastodons 2016 2016 — 2018

Project between French National Library BnF Paris, Vertigo team in Cedric CNAM, CESR Tours, IReMus Paris, team DKM/Shaman at Irisa, Lannion on methods and tools for the quality management of data in collaborative corpora of digital music scores.

MusICAL Permalink  Interaction Calcul Algorithmique Langages appliqués à la Musique

RNSC 2015

Thematic network of the RNSC (National Network on Complex Systems) on interactive algorithmic composition and languages applied to music, involving Ircam (UMR 9912 STMS), AlgoMus from Universities Lille 1 and Picardie Jules Verne, LaBRI form University Bordeaux, Grame (Centre National de Création Musicale, Lyon), IReMus from Universities Paris-Sorbonne / CNRS / BnF and UMI UMMISCO IRD / UPMC.

LETITBE  Logical Execution Time for Interactive and Composition Assistance Music Systems

PHC Amadeus 2015 — 2016

role: responsible for the french side

2 years partnership (Partenariat Hubert Curien Amadeus, France-Austria) between the Computational Systems group at the Software Systems Center of Salzburg University and Inria’s team Mutant at Ircam, Paris, on Logical Execution Time For Interactive Music Systems. The main objective of the project was the application to the development of interactive music systems of programming paradigms and formal techniques and tools for real-time critical embedded software. The PhD of Pierre Donat-Bouillud has started during this project.

EFFICACe Permalink  Extended Framework for "In-time" Computer-Aided Composition

ANR JCJC SIMI 2 2013 — 2015

Collaboration to a project leaded by Jean Bresson, at Ircam, on computation, time and interactions in computer-aided music composition.

Inedit Permalink  INteractivité dans l’Écriture De l’Interaction et du Temps

ANR ConInt 2012 — 2015

Project between Ircam (UMR 9912 STMS), LaBRI (University Bordeaux) and Grame (Centre National de Création Musicale, Lyon) on authoring time and interaction in real-time computer music.

Brick Permalink  Formal verification of Web Services Security, XML Access Control Policies and Firewalls

Inria-DGRSRT 2010 — 2011

role: coordinator for the french partner

Bilateral project (Inria-DGRSRT program STIC Tunisie) between the teams Cassis (Nancy, Inria), Dahu (Saclay, Inria) and Digital Security Group (Tunis, Sup’Com) on the Formal verification of Web Services Security, XML Access Control Policies and Firewalls.

ACCESS Permalink  Access Control Policies for XML, Verification, Enforcement and Collaborative Edition

ARC Inria 2010 — 2011

role: coordinator

Action de Recherche Collaborative involving the Inria teams Cassis and Pareo (Nancy), Mostrare (Lille) and Dahu (Saclay), on the Access Control Policies for XML, Verification, Enforcement and Collaborative Edition.

Webdam Permalink  Foundation of Web data management

ERC 2009 — 2013

Participation to the Advanced Investigator Webdam (Prime Investigator Serge Abiteboul), on the theme Foundation of Web data management.

FireB  Automated Verification of Firewall conformance to Access Control Policies

Inria-DGRSRT 2008 — 2009

role: coordinator

Bilateral project (Inria-DGRSRT program STIC Tunisie 2008) between the teams Cassis (Nancy, Inria), Dahu (Saclay, Inria) and Digital Security Group (Tunis, Sup’Com) on the theme automated verification of firewall conformance to access control policies.

FoX Permalink  Safe Processing of Dynamic Data over the Internet

STREP FP7 ICT - FET-open 2008 — 2010

Research network involving Inria team Dahu (LSV, ENS Cachan), University of Oxford, Dortmund T. University, The University of Edinburgh, Universiteit van Amsterdam, Hasselt University, Uniwersytet Warszawski on Safe Processing of Dynamic Data over the Internet.

AVOTÉ Permalink  Formal Analysis of Electronic Voting Protocols

ANR Sesur 2007 — 2009

Project between France Télécom R&D, Inria team SECSI at LSV (ENS Cachan), team Cassis at LORIA (Inria Nancy) and team DCS at Verimag (Grenoble) on the Formal Analysis of Electronic Voting Protocols.

SyDRA  Automated inductive theorem proving techniques for the validation of protocols and distributed systems.

Inria-DGRSRT 2006 — 2007

role: coordinator

Bilateral project (Inria-DGRSRT program STIC Tunisie 2006) between the Inria team Secsi (Saclay), the LaBRI (U. Bordeaux) and the team Digital Security (Tunis, Sup’Com) on the study of Automated inductive theorem proving techniques for the formal validation of protocols and distributed systems.

Rossignol  Algebraic properties and probabilistic models of security protocols

ACI Securite Informatique 2003 — 2006

role: responsible for the partner LSV/ENS Cachan

Action Concertee Incitative between team MOVE (LIF, Marseille), team SECSI (Inria, LSV/ENS Cachan) and VERIMAG (Grenoble) on Algebraic properties and probabilistic models of security protocols.

Prouvé Permalink  Automated Verification Tools for Cryptographic Protocols

RNTL 2003 — 2006

Project between CRIL Technologies, France Telecom R&D, LORIA Inria Lorraine, Inria team SECSI at LSV ENS Cachan, Verimag (Grenoble) on Automated Verification Tools for Cryptographic Protocols.

EVA  Explanation and Verification of Cryptographic Protocols

RNTL 2000 — 2003

role: responsible for the industrial partner Trusted Logic (2000-2001), responsible for the academic partner LSV/ENS Cachan (2002-2003)

Project between LSV (ENS Cachan), VERIMAG (Grenoble) and Trusted Logic SA (Versailles) on the Explanation and verification of cryptographic protocols. The goal of this project is the highly automatized formal verification of cryptographic protocols and the production of proof explanations, i.e. attacks scenario or certification documents (e.g. in the framework of Common Criteria).

The main realizations of the project are :

  • the development of prototypes of tools for the automatic verification of protocols based on model checking procedures and methods for the automatic computation of relevant finite abstractions of infinite models ;
  • the conception of a base of protocols, as case studies, in a syntax defined for the purpose of the project ;
  • the development of proof explanation tools.

AVISS  Automated Verification of Infinite State Systems

IST FP6 FET-open 2000 — 2001

role: contribution to the preparation and submission

1 year assessment project between Universitat Freiburg, University Genova, Inria team Protheo at LORIA, Nancy on Automated Verification of Infinite State Systems. It has been followed by the IST FET-open projects AVISPA and AVANTSSAR, involving the same partners.

CALIFE  Environment for Formal Proof and Test of Algorithms used in Telecommunication

RNRT 1999 — 2000

Participation to the RNRT (National Network for the Research on Telecommunications) project CALIFE between INRIA Lorraine, Labri (Bordeaux), LSV/ENS Cachan), France Télécom R&D, DCRIL Technology and Alcatel, on the theme Environment for Formal Proof and Test of Algorithms used in Telecommunication.