Projet : CALLIGRAMME - calligramme

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1 align="center">Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles</h1> <p align="center"><strong>CALLIGRAMME<br> <br> <br> Rapport d'activité de l'année 1999<br> <br> <br> <i><a name="tex2html1" href= "/inria/organigramme/fiche_ur-lor.fr.html" target="_top" id= "tex2html1">Nancy</a></i><br> <br> <br> Thème : <a name="tex2html2" href= "/recherche/equipes/projets_theme2.fr.html" target="_top" id= "tex2html2">2a</a><br> <br> <br> <a name="tex2html3" href= "/recherche/equipes/calligramme.fr.html" target="_top" id= "tex2html3">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/calligramme.ps.gz" target="_top" id="tex2html4">PostScript</a> ou <a name= "tex2html5" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/calligramme.pdf" target="_top" id="tex2html5">PDF</a></strong></p> <blockquote> CALLIGRAMME est un projet du LORIA (UMR 7503) commun au CNRS, à l'INRIA, à l'université Henri P<small>OINCARÉ</small> Nancy 1, à l'Université Nancy 2 et à l'Institut National Polytechnique de Lorraine. </blockquote><br> <hr>  <a name="CHILD_LINKS" id="CHILD_LINKS"></a> <ul> <li> <a name="tex2html11" href="compo_mn.html" target="main" id="tex2html11"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html12" href= "compo_mn.html#SECTION00010100000000000000" target= "main" id="tex2html12"><small>Responsable scientifique</small></a></li> <li><a name="tex2html13" href= "compo_mn.html#SECTION00010200000000000000" target= "main" id="tex2html13"><small>Responsable permanent</small></a></li> <li><a name="tex2html14" href= "compo_mn.html#SECTION00010300000000000000" target= "main" id="tex2html14"><small>Assistantes de projet</small></a></li> <li><a name="tex2html15" href= "compo_mn.html#SECTION00010400000000000000" target= "main" id="tex2html15"><small>Personnel Universitaire</small></a></li> <li><a name="tex2html16" href= "compo_mn.html#SECTION00010500000000000000" target= "main" id="tex2html16"><small>Chercheurs doctorants</small></a></li> </ul> </li> <li><a name="tex2html17" href="prese_mn.html" target="main" id="tex2html17"><small>Présentation et objectifs généraux</small></a></li> <li> <a name="tex2html18" href="fonde_mn.html" target="main" id="tex2html18"><small>Fondements scientifiques</small></a> <ul> <li><a name="tex2html19" href="fonde_logique_mn.html" target="main" id="tex2html19"><small>La logique linéaire</small></a></li> <li> <a name="tex2html20" href="fonde_sequents_mn.html" target="main" id="tex2html20"><small>Calcul des séquents, réseaux de démonstration et d'interaction</small></a> <ul> <li><a name="tex2html21" href= "fonde_sequents_mn.html#SECTION00032100000000000000" target="main" id="tex2html21"><small>Les réseaux multiplicatifs</small></a></li> <li><a name="tex2html22" href= "fonde_sequents_mn.html#SECTION00032200000000000000" target="main" id="tex2html22"><small>Les variantes multiplicatives</small></a></li> <li><a name="tex2html23" href= "fonde_sequents_mn.html#SECTION00032300000000000000" target="main" id="tex2html23"><small>Extension aux autres connecteurs</small></a></li> <li><a name="tex2html24" href= "fonde_sequents_mn.html#SECTION00032400000000000000" target="main" id="tex2html24"><small>Les réseaux d'interaction</small></a></li> </ul> </li> <li> <a name="tex2html25" href= "fonde_logique-lineaire_mn.html" target="main" id= "tex2html25"><small>Logique linéaire et parallélisme</small></a> <ul> <li><a name="tex2html26" href= "fonde_logique-lineaire_mn.html#SECTION00033100000000000000" target="main" id="tex2html26"><small>Deux paradigmes opérationnels</small></a></li> <li><a name="tex2html27" href= "fonde_logique-lineaire_mn.html#SECTION00033200000000000000" target="main" id="tex2html27"><small>Le paradigme fonctionnel</small></a></li> <li><a name="tex2html28" href= "fonde_logique-lineaire_mn.html#SECTION00033300000000000000" target="main" id="tex2html28"><small>Le paradigme logique</small></a></li> </ul> </li> <li> <a name="tex2html29" href="fonde_grammaires_mn.html" target="main" id="tex2html29"><small>Logique linéaire et grammaires formelles</small></a> <ul> <li><a name="tex2html30" href= "fonde_grammaires_mn.html#SECTION00034100000000000000" target="main" id="tex2html30"><small>Logique linéaire et grammaires catégorielles</small></a></li> <li><a name="tex2html31" href= "fonde_grammaires_mn.html#SECTION00034200000000000000" target="main" id="tex2html31"><small>Construction d'un modèle linguistique</small></a></li> </ul> </li> <li> <a name="tex2html32" href= "fonde_lamda-calcul_mn.html" target="main" id= "tex2html32"><small>Lambda calculs typés, sémantique, complexité</small></a> <ul> <li><a name="tex2html33" href= "fonde_lamda-calcul_mn.html#SECTION00035100000000000000" target="main" id="tex2html33"><small>Logique classique et opérateurs de contrôle</small></a></li> <li><a name="tex2html34" href= "fonde_lamda-calcul_mn.html#SECTION00035200000000000000" target="main" id= "tex2html34"><small>Polymorphisme</small></a></li> <li><a name="tex2html35" href= "fonde_lamda-calcul_mn.html#SECTION00035300000000000000" target="main" id="tex2html35"><small>Sémantique dénotationnelle et sémantique des jeux</small></a></li> <li><a name="tex2html36" href= "fonde_lamda-calcul_mn.html#SECTION00035400000000000000" target="main" id="tex2html36"><small>Complexité implicite des calculs</small></a></li> <li><a name="tex2html37" href= "fonde_lamda-calcul_mn.html#SECTION00035500000000000000" target="main" id="tex2html37"><small>Théorie algorithmique de l'information</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html38" href="domai_mn.html" target="main" id="tex2html38"><small>Domaines d'applications</small></a> <ul> <li><a name="tex2html39" href="domai_domaine_mn.html" target="main" id="tex2html39"><small>Les grammaires catégorielles dans la linguistique informatique</small></a></li> <li><a name="tex2html40" href="domai_analyse_mn.html" target="main" id="tex2html40"><small>Analyse syntaxique</small></a></li> <li><a name="tex2html41" href="domai_gen-texte_mn.html" target="main" id="tex2html41"><small>Génération automatique de textes</small></a></li> </ul> </li> <li> <a name="tex2html42" href="resul_mn.html" target="main" id="tex2html42"><small>Résultats nouveaux</small></a> <ul> <li><a name="tex2html43" href="resul_resultats_mn.html" target="main" id="tex2html43"><small>Calcul des séquents, réseaux de démonstration et d'interaction</small></a></li> <li><a name="tex2html44" href= "resul_grammaires-r_mn.html" target="main" id= "tex2html44"><small>Logique linéaire et grammaires formelles</small></a></li> <li> <a name="tex2html45" href= "resul_lambda-calcul-r_mn.html" target="main" id= "tex2html45"><small>Lambda calculs typés, sémantique, complexité</small></a> <ul> <li><a name="tex2html46" href= "resul_lambda-calcul-r_mn.html#SECTION00053010000000000000" target="main" id="tex2html46"><small>Complexité implicite des calculs</small></a></li> <li><a name="tex2html47" href= "resul_lambda-calcul-r_mn.html#SECTION00053100000000000000" target="main" id="tex2html47"><small>Théorie algorithmique de l'information</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html48" href="contr_mn.html" target="main" id="tex2html48"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html49" href="contr_xerox_mn.html" target="main" id="tex2html49"><small>Collaboration avec Xerox</small></a></li> </ul> </li> <li> <a name="tex2html50" href="inter_mn.html" target="main" id="tex2html50"><small>Actions régionales, nationales et internationales</small></a> <ul> <li><a name="tex2html51" href="inter_national_mn.html" target="main" id="tex2html51"><small>Actions nationales</small></a></li> <li><a name="tex2html52" href="inter_europe_mn.html" target="main" id="tex2html52"><small>Actions européennes</small></a></li> <li><a name="tex2html53" href= "inter_international_mn.html" target="main" id= "tex2html53"><small>Actions internationales</small></a></li> <li><a name="tex2html54" href="inter_visites_mn.html" target="main" id="tex2html54"><small>Visites et invitations de chercheurs</small></a></li> </ul> </li> <li> <a name="tex2html55" href="diffu_mn.html" target="main" id="tex2html55"><small>Diffusion de résultats</small></a> <ul> <li> <a name="tex2html56" href="diffu_animation_mn.html" target="main" id="tex2html56"><small>Animation de la Communauté scientifique</small></a> <ul> <li><a name="tex2html57" href= "diffu_animation_mn.html#SECTION00081100000000000000" target="main" id= "tex2html57"><small>Administrative</small></a></li> <li><a name="tex2html58" href= "diffu_animation_mn.html#SECTION00081200000000000000" target="main" id="tex2html58"><small>Worskshop et groupe de travail</small></a></li> </ul> </li> <li> <a name="tex2html59" href= "diffu_enseignement_mn.html" target="main" id= "tex2html59"><small>Enseignement</small></a> <ul> <li><a name="tex2html60" href= "diffu_enseignement_mn.html#SECTION00082010000000000000" target="main" id="tex2html60"><small>Enseignement en Maitrise et DEA</small></a></li> <li><a name="tex2html61" href= "diffu_enseignement_mn.html#SECTION00082020000000000000" target="main" id="tex2html61"><small>Encadrement Doctoral</small></a></li> </ul> </li> <li><a name="tex2html62" href="diffu_jury_mn.html" target="main" id="tex2html62"><small>Jurys de thèse</small></a></li> <li><a name="tex2html63" href= "diffu_participation_mn.html" target="main" id= "tex2html63"><small>Participation à des colloques, séminaires, invitations</small></a></li> </ul> </li> <li><a name="tex2html64" href="bibliographie_mn.html" target="main" id= "tex2html64"><small>Bibliographie</small></a></li> </ul> </body>