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. Titres : "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".
  12. LICMA'19 : Lebanese International Conference on Mathematics and Applications, Lebanese University - Faculty of Sciences, April 15-18, 2019, Beirut, Lebanon. Titre : "A termination proof in typed lambda-calculus".
  13. DIMACOSTN2019 : Discrete Mathematics And Computer Science, Hammamet, Tunisia, October 26-29, 2019. Titre : "Proofs and programs".

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". Lyon, Novembre 1993. Titre : "Les entiers en logique classique". Lyon, Février 1995. Titre : "Mise en mémoire et logique mixte".
  3. Séminaire de l'université de Turin, Turin, Mars 1995. Titre :"opérateurs de mise en mémoire et logique mixte".
  4. Séminaire de Mathématiques Discrètes de l'université Claude Bernard Lyon I, Lyon, Octobre 1998. Titre : "Logique mixte propositionnelle".
    5. Lyon, Septembre 1999. Titre : "Preuves simples des théorèmes de complétude pour les logiques du second ordre classique et intuitionniste".
  5. Séminaire de l'équipe ULTRA de l'université Heriot-Watt, Edinbourg, Juillet 2005. Titre : "Classical combinatory logic".
  6. Séminaire de l'équipe LIM de l'université de la Réunion, Sainte-Clotilde, Octobre 2023. Titres : "A termination proof in typed lambda-calculus" et "Proofs and programs".
  7. Séminaire de l'équipe LIM de l'université de la Réunion, Sainte-Clotilde, Décembre 2024. Titres : "Sequent Calculus: An Important Connection Between Proofs and Programs" et "Introduction to linear logic".
  8. Séminaire de l'université Savoie Mont Blanc, Chambéry, entre 1991 et 20??. 56 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éduction naturelle classique avec disjonction".
  8. 2nd workshop on coq and rewriting, Université Paris 7, Septembre 2004. Titres : "Strong normalization for the mu-tilde-mu-reduction" and "A completeness result for the second order classical deduction system".
  9. Logique, Algèbre et Calcul, Université Joseph Fourier, Décembre 2005. Titre : "Une logique combinatoire classique".
  10. 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".
  11. Groupes de travail GEOCAL et LAC, ENS Lyon, Mars 2009. Titre : "Quelques résultats de forte normalisation par translation".
  12. Groupes de travail GEOCAL et LAC, Chevaleret Paris, novembre 2010. Titre : "Preuves à la René David des résultats de SN".
  13. Algèbre et Calcul, Loria, Nancy, Mai 2011. Titre : "Complétude pour les Types simples".
  14. Algèbre et Calcul, Créteil, Novembre 2013. Titre : "Autour de la range property pour la théorie H".
  15. Groupe de travail Scalp, ENS Lyon, Octobre 2019. Titre : "Normalization in lambda-mu-mu'-calculus".
  16. Groupe de travail Scalp, Orléans, Novembre 2023. Titre : "Realizability semantics for the lambda-mu-calculus".

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".
  6. Groupe de travail "Atelier de réalisabilité à Chambéry", Chambéry, Juin 2023. Titre : "Realizability semantics for the lambda-mu-calculus".

retour à la page de Karim Nour