Congrés

  1. Jumelage Européen du lambda calcul typé, Paris, Février 1991. Titre : "Strong storage operators".
  2. 25 Years of Constructive Type Theory, Venice, 19-21 Octobre 1995. Titre : "On storage operators".
  3. Chambéry-Krakow-Lyon: workshop on lambda-calculus, type theory and mathematical logic, Computer science department, Cracovic, Pologne, 27-28 Juin 2002. Titre : "Some strong normalization results".
  4. Chambéry-Krakow-Lyon: workshop on Computational Logic an Applications}, ENS de Lyon, 17-18 Juin 2004\. Titres : "Adequation lemma for full propositional classical" and "Strong normalization for mu-tilde-mu-reduction".
  5. Seventh International Conference on Typed Lambda Calculi and Applications (TLCA'05), Nara, Japan, 21-23 Avril 2005. Titre : "Arithmetical proofs of strong normalization results for the symmetric lambda-mu-calculus".
  6. Chambéry-Krakow-Lyon: workshop on Computational Logic an Applications, Université de Savoie, 20-21 Juin 2005. Titre : "Confluence of the call by value lambda mu calculus" and "Classical combinatory logic".
  7. Typed Lambda Calculi and Applications (TLCA'07), Paris, France, 26-28 Juin 2007. Titre : "An arithmetical proof of the strong normalization for the lambda-calculus with recursive equations on types".
  8. TYPES Workshop ``Computational Interpretations of Proofs'', Paris, France, 29-30 Novembre 2007. Titre : "A completeness result for the simply typed lambda-mu-calculus".
  9. TYPES Workshop ``Structural proof theory'', Paris, France, 12-19 Novembre 2008. Titre : "Strong normalization results by translation".
  10. Workshop ITRS'08 meeting, Turin, March 25th, 2008. Titre : "A complete realisability semantics for intersection types and expansion variables".
  11. 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, The Marmara, Istanbul, Turkey, 2008. Titre : "A complete realisability semantics for intersection types and arbitrary expansion variables".

Séminaires

  1. Séminaire de l'université Paris 7, Paris, Novembre 1991. Titre : "Opérateurs de mise en mémoire et types forall-positifs".
  2. Séminaire de l'E.N.S. Lyon, Lyon, Novembre 1992. Titre : "Mise en mémoire et logique classique".
  3. Lyon, Novembre 199. Titre : "Les entiers en logique classique". Lyon, F\'evrier 1995. Titre : "Mise en mémoire et logique mixte".
  4. Séminaire de l'université de Turin, Turin, Mars 1995. Titre :"opérateurs de mise en m\'emoire et logique mixte".
  5. Séminaire de Mathématiques Discrètes de l'université Claude Bernard Lyon I, Lyon, Octobre 1998. Titre : "Logique mixte propositionnelle".
  6. Lyon, Septembre 1999. Titre : "Preuves simples des théorèmes de complétude pour les logiques du second ordre classique et intuitionniste".
  7. Séminaire de l'équipe ULTRA de l'université Heriot-Watt, Edinbourg, Juillet 2005. Titre : "Classical combinatory logic".
  8. Séminaire de l'université de Savoie, Chambéry, entre 1991 et 2017. 50 exposés.

Journées du GDR

  1. Journées P.R.C., Aussois, Mars 1993. Titre : "Une méthode pour simuler l'appel par valeur dans le cadre de l'appel par nom".
  2. Mélanges de systèmes de réecriture algébriques et de systèmes logiques, LRI, université Paris-Sud, Octobre 1996. Titre : "Logique mixte et opérateurs de mise en mémoire".
  3. Mélanges de systèmes de réecriture algébriques et de systèmes logiques, ENS de Lyon, Avril 1999. Titre : "Les I-types du système F".
  4. Logique classique et programmation, Chambéry, Mai 1999. Titre : "Une logique classique non détrministe".
  5. Mélanges de systèmes de réecriture algébriques et de systèmes logiques, ENS de Paris, Juin 2001. Titre : "La forte normalisation de l'élimination des coupures en déduction naturelle classique avec disjonction".
  6. Logique, Algèbre et Calcul, Nancy, Chateau Saint Fiacre, Mai 2002. Titre : "Une preuve simple de la complétude de la logique du second ordre".
  7. Logique, Algèbre et Calcul Université Paris 7, Septembre 2003. Titre : "Forte normalisation de la d\'eduction naturelle classique avec disjonction".
  8. 2nd workshop on coq and rewriting, Université Paris 7, Septembre 2004. Titre : "Strong normalization for the mu-tilde-mu-reduction".
  9. Titre : "A completeness result for the second order classical deduction system".
  10. Logique, Algèbre et Calcul, Université Joseph Fourier, Décembre 2005. Titre : "Une logique combinatoire classique".
  11. Logique, Algèbre et Calcul, Université de Savoie, Février 2007. Titre : "La forte normalisation du lambda-calcul simplement typé avec des équations récursives sur les types".
  12. Groupes de travail GEOCAL et LAC, ENS Lyon, Mars 2009. Titre : "Quelques résultats de forte normalisation par translation".
  13. Groupes de travail GEOCAL et LAC, Chevaleret Paris, novembre 2010. Titre : "Preuves à la René David des résultats de SN".
  14. Algèbre et Calcul, Loria, Nancy, Mai 2011. Titre : "Complétude pour les Types simples".
  15. Algèbre et Calcul, Créteil, Novembre 2013. Titre : "Autour de la range property pour la théorie H".

Groupes de travail

  1. Journées : Mathématiques et Informatique, CIRM, Novembre 1993. Titre : "Opérateurs de mise en mémoire".
  2. Journées sur la logique classique : Computational interpretations of classical proofs, CIRM, Décembre 1993. Titre : "Classical natural numbers".
  3. Rencontre entre les équipes de Chambéry et l'ENS Lyon, Aussois, 4-6 Juin 1999. Titre : "Le lambda-mu^{++}-calcul".
  4. Journées du programme Maths-STIC et du projet TMR Linear, Hôtel ``le Prieure'', Saint Dalmas de Tende, 21-24 Septembre 2002. Titre : "Une preuve combinatoire de la forte normalisation de l'élimination des coupures en déduction naturelle classique avec disjonction".
  5. Groupe de travail "Réalisabilité à Chambéry 4", Chambéry, Juin 2011. Titre : "Completness for simply typed lambda-mu-calculus".


retour à la page de Karim Nour