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

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

Activités de recherche : Data-Centric Languages and Systems

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
Automated Reasoning
Thursday 02 June 2022 - 10:30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Data-Centric Languages and Systems
Monday 30 May 2022 - 00:00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................

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

Generative Neural Networks for Observational Causa
Automated Reasoning
Thursday 07 April 2022 - 10:30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

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