Transparencies
Pour trouver les supports des cours que je fais dans la
filière Informatique fondamentale, voyez ici.
- Notes
d'un cours sur la logique de la connaissance que j'ai fait
dans la cadre du master recherche en informatique de Lyon,
filière Connaissance et raisonnement dans le cours
Cognition et connaissances d'Alain Mille, le 10
novembre 2006
- Les
algorithmes babyloniens, l'algorithme
d'Euclide, l'émergence
de la notion de calculabilité, la
correspondance de Curry-Howard sont les notes d'un cours
sur l'histoire des algorithmes que je fais dans la
cadre du module histoire des sciences organisé par l'école doctorale IIS
- «Tu
sais que je ne sais pas«: la logique de la connaissance ou
logique épistémique exposé fait le le jeudi 18 novembre à
18h dans le cadre du groupe
séminaire de l'ENS de Lyon.
- Logique
épistémique, notes d'une intervention que j'ai faite dans
la cadre du master recherche en informatique de Lyon, filière
Connaissance et raisonnement dans le cours Cognition
et connaissances d'Alain Mille.
- Comment
calculait-on il y a quatre mille ans?, conférence donnée
dans le cadre de la Fête de la Science 2004.
nouvelle version
-
X: un langage de communication, un exposé sur le langage
X, fait à Marseille le 10 septembre 2004 (résumé).
-
Science
de l'information: science du matériel ou science de
l'immatériel ? (PDF),
conférence donnée dans le cadre de la Fête de la Science
2002. Je me suis inspiré des sites de Nachum
Dershowitz et Thomas
Huckle
- Les
protocoles de sécurité sur Internet et la logique de la
connaissance, Conférence donnée dans le cadre de la
semaine de la science 2001.
- Les problèmes de correspondance Conférence
donnée le 14 septembre 2001 aux nouveaux élèves dans le cadre de la présentation du LIP. (source Latex) avec un texte et son source LaTeX.
-
N'essaie pas de tricher !: protocoles de
sécurité (in French) par Pierre Lescanne, conference donnee le 24 octobre 1999 dans le cadre de la semaine de la
science.
-
Implantation et sémantique opérationnelle: mémoire,
partage, stratégies (in french) texte d'un exposé fait à Rennes le 15 février 1999.
-
Substitutions explicites et forte
normalisation
(in french) texte d'une conférence donnée à la
réunion de travail du groupe PRC AMI «Mélanges de
systèmes de réécriture algébriques et de
systèmes logiques« le 25 octobre 1996 au LRI à
l'Université de Paris-Sud
ainsi qu'à l'École Normale Supérieure de Lyon le
27 novembre 1996.
- A talk at the Computational Logic and Applications workshop in Krakow on the relation between computational logic and the word of economists.
- A course
at the International Doctoral School "Chambéry - Torino" In
Theoretical Computer Science and In Semantic Web
- A
talk
at the Japan Advanced Institute for Science and Technology on
the mechanization of epistemic logic.
- A talk
in Paris on Types with intersection in an extension of the
lambda-µ-µ~
-
A talk
in Turin on the calculus of explicit substitutions lambda-x and its
links with strong normalization and intersection types.
-
A presentation
of explicit substitutions
-
A talk
I gave at Worcester Polytechnic Institute tex.
-
A talk to the students of Ecole Normale Superieure de Lyon.
Pierre Lescanne
Last modified: Fri Nov 10 11:33:24 CET 2006