@inproceedings{anoun-2004-icharate,
    title = "{ICHARATE} : Un Atelier Logique pour les Grammaires Multimodales",
    author = "Anoun, Houda",
    editor = "B{\'e}chet, Fr{\'e}d{\'e}ric  and
      Vanrullen, Tristan",
    booktitle = "Actes de la 11{\`e}me conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. REncontres jeunes Chercheurs en Informatique pour le Traitement Automatique des Langues (Posters)",
    month = apr,
    year = "2004",
    address = "F{\`e}s, Maroc",
    publisher = "ATALA",
    url = "https://preview.aclanthology.org/fix-sig-urls/2004.jeptalnrecital-recitalposter.1/",
    pages = "1--6",
    language = "fra",
    abstract = "Cet article pr{\'e}sente le projet de l{'}atelier logique ICHARATE d{\'e}di{\'e} {\`a} l'{\'e}tude des grammaires cat{\'e}gorielles multimodales. Cet atelier se pr{\'e}sente sous la forme de biblioth{\`e}ques pour l{'}assistant de preuves Coq."
}