Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) LaHDAK
Witness Generation for JSON Schema
Mohamed-Amine BAAZIZI

30 May 2022, 00h00
Salle/Bat : 455/PCRI-N
Contact :

Activités de recherche : Langages et systèmes centrés données

Résumé :
JSON Schema is becoming the standard language for describing JSON datasets.
It is an expressive language combining structural assertions with Boolean operators, and featuring negation and recursion.
Many interesting problems like schema satisfiability, inclusion, and equivalence are decidable and can reduced to the witness generation problem.
Despite the importance of this problem, no generation algorithm has yet been formally described.
I will introduce a first algorithm for JSON Schema witness generation that we defined, implemented, and experimented over several schema collections.

Pour en savoir plus : https://webia.lip6.fr/~baazizi/
Séminaires
Heterogeneous Treatment Effects Estimation: When M
Raisonnement automatique
Thursday 02 June 2022 - 10h30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Langages et systèmes centrés données
Monday 30 May 2022 - 00h00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................

TUTORIAL CODALAB - Apprenez à organiser un challen
Wednesday 13 April 2022 - 00h00
Salle : 1 - DIG-Moulon
Adrien Pavao .............................................

Generative Neural Networks for Observational Causa
Raisonnement automatique
Thursday 07 April 2022 - 10h30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

Datamining in Epi- and Phylogenetics
Tuesday 15 March 2022 - 11h00
Salle : 455 - PCRI-N
Thomas Haschka .............................................