previous up next top index
Précédent : Participation à des colloquesconférences, Remonter : Diffusion des résultats Suivant : Jurys de thèses


Conférences invitées, tutoriels, séminaires

Nous avons donné au cours de l'année les séminaires suivants :

FSEG, Université de Sfax, Janvier, 96, Adel Bouhoula

Faculté des Sciences de Tunis, Janvier, 96, Adel Bouhoula

Ecole Supérieure des postes et des télécommunications de Tunis, Janvier, 96, Adel Bouhoula

Prototyping Deduction with constraints in Rewriting Logic, Conférence invitée, Fourth International Symposium on Artificial Intelligence and Mathematics, Fort-Lauderdale, Florida, janvier 96, Hélène Kirchner

On the use of orderings in automated theorem proving, Conférence invitée, American Mathematical Society, Short Course on Artificial Intelligence, Orlando, Florida, janvier 96, Hélène Kirchner

Higher-order unification via explicit substitutions, Université de l'Illinois, Urbana-Champaign, 13 février 96 et Université de Chicago, 14 février 96, Claude Kirchner

Présentation du Groupe Déduction et Calcul Formel, séminaire du GDR-PRC AMI, La Bussière, février 96, Hélène Kirchner

Déduction automatique avec contraintes symboliques dans les théories équationnelles, séminaire du LABRI, Bordeaux, février 96, Laurent Vigneron

Sortes ordonnées et déduction équationnelle, réunions du groupe AMI ``esquisses'', Jussieu, mars et avril 96, Hélène Kirchner

Déduction automatique modulo E et contraintes, séminaire du CRID, Dijon, avril 96, Laurent Vigneron

SRI International, USA, Mai, 96, Adel Bouhoula

Déduction avec fonctions partielles, appartenances et égalités, séminaire, INRIA-Sophia Antipolis, mai 96, Hélène Kirchner

Démonstration dans une théorie équationnelle et contraintes, séminaire du LIFL, Lille, mai 96, Laurent Vigneron

Automated Study of Rough Algebras, séminaire, Université de Varsovie, mai 96, Laurent Vigneron

Logique de réécriture, systèmes de calcul et ELAN, séminaire, Université de Metz, juin 96, Hélène Kirchner

Toward the Concurrent Implementation of Computational Systems, Conférence invitée, Fifth International Conference on Algebraic and Logic Programming, Aachen, Germany, septembre 96, Claude Kirchner

E-Unification d'ordre supérieur via les substitutions explicites, réunion du groupe AMI ``mélange de systèmes de réécriture algébriques et de systèmes logiques'', octobre 96, Christophe Ringeissen

Combinaison et intégration d'algorithmes d'unification : premier ordre et ordre supérieur, séminaire du Laboratoire d'Informatique Fondamentale d'Orléans, octobre 96, Christophe Ringeissen

Esquisses et sous-sortes, Journée AMI, Groupe Déduction et Calcul Formel, Paris, décembre 96, Hélène Kirchner

Routage dans les graphes de Cayley, Journées RUMEUR I3S, Sophia Antipolis, décembre 96, Pauline Strogova

Automated Reasoning in Equational Theories, Conférence invitée, Conference on Logic, Algebra and Computer Science, Varsovie, décembre 1996, Laurent Vigneron



previous up next top index Précédent : Participation à des colloquesconférences, Suivant : Jurys de thèses Remonter : Diffusion des résultats