Précédent : Participation à des colloquesconférences, Remonter : Diffusion des résultats Suivant : Jurys de thèses
Précédent : Participation à des colloquesconférences,
Remonter : Diffusion des résultats Suivant :
Jurys
de thèses
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
Précédent : Participation à
des colloquesconférences, Suivant : Jurys de
thèses Remonter : Diffusion des résultats