Pascal Lafourcade

Enseignement

Professeur pour le module INF242 au DLST : Introduction à la logique (base de la démonstration automatique)
Professeur pour le module INF121 au DLST : Introduction à la programmation fonctionnelle

Professeur à PolyTech en RICM3 pour le cours de: Algorithmique et Programmation Fonctionnelle (APF)
Professeur dans le Master Pro 2 Sécurité, Cryptographie et codage de l'information. Accés au matériel de ce cours en anglais ici
Professeur dans le Master SAFE pour les parties Complexité et Modèles de sécurité.
Professeur à l'ENSIMAG en 3ème année : "introduction à la cryptographie".

Professeur pour le module INF242 au DLST :Introduction à la logique (base de la démonstration automatique)
Professeur à PolyTech en RICM3 pour le cours de: Langage et Programmation 2 : Programmation fonctionnelle

Professeur dans le Master Pro 2 Sécurité, Cryptographie et codage de l'information. Accés au matériel de ce cours en anglais ici
Professeur dans le Magister L2 option Mathématiques et Informatique S3 : Introduction à la cryptographie moderne.
Professeur à l'ENSIMAG en 3ème année : "introduction à la cryptographie".

Professeur pour le module INF242 au DLST :Introduction à la logique (base de la démonstration automatique)
Professeur à PolyTech en RICM3 pour le cours de: Langage et Programmation 2 : Programmation fonctionnelle

Professeur dans le Master Pro 2 Sécurité, Cryptographie et codage de l'information. Accés au matériel de ce cours en anglais ici
Professeur dans le Magister L2 option Mathématiques et Informatique S3 : Introduction à la cryptographie moderne.
Professeur à l'ENSIMAG en 3ème année. Accés au matériel de ce cours en anglais ici

Assistant en TD dans le cours INF242 d'Introduction à la logique (base de la démonstration automatique) par Michel Levy. Responsable du groupe INF-S4-01 MAT-S4-01.
Assistant en TP dans le cours INF121: Introduction à la programmation, approche fonctionnelle. Responsable du groupe INF-IAG-S2-2.

Professeur dans le Master Pro 2 Sécurité, Cryptographie et codage de l'information. Accés au matériel de ce cours en anglais ici
Professeur dans le Magister L2 option Mathématiques et Informatique S3 : Introduction à la cryptographie moderne.
Professeur à l'ENSIMAG en 3ème année. Accés au matériel de ce cours en anglais ici

Assistant en TD dans le cours INF242 d'Introduction à la logique (base de la démonstration automatique) par Michel Levy. Responsable du groupe INF-S4-02.
Assistant en TP dans le cours INF121: Introduction à la programmation, approche fonctionnelle. Responsable du groupe INM-MAT-MAI-S2-03.

Professeur dans le Master Pro 2 Sécurité, Cryptographie et codage de l'information. Accés au matériel de ce cours en anglais ici
Professeur dans le Master Recherche 2 Models and analysis of security protocols . Accés au matériel de ce cours en anglais ici

How to make a presentation ? Slides.

Un petit exemple de ce qu'on peut faire avec deux feuilles de styles css et un bout de code javascript :

[simple] [fond blanc] [verimag] [fond noir] [zen]

Liste de références pour utiliser LaTex.

LATEX: A Document Preparation System.
Essential LaTeX ++ by Jon Warbrick, David Carlisle, Michel Goossens, Sebastian Rahtz, and Adrian Clark. 27 pages.
The Not So Short Introduction to LaTeX2e by Tobias Oetiker, Hubert Partl, Irene Hyna, Elisabeth Schlegl. 101 pages
A simplified introduction to LaTex, in english. 140 pages, well writen many details and examples.
List of math symbols in LaTeX. Only 6 pages of basics LaTex symbols in mathematics. Indispensable.
Complete list of symbols , by Scott Pakin. Very indispensable.
Small Introdutcion to LaTex by Nicolas Markey in French. 60 pages well written for simple and nice things.
Joli manuel pour LaTeX by Benjamin Bayart in French. 150 pages with many details and very usefull.
Reference card for Emacs.

Comment faire une bibliographie en Latex avec Bibtex

Si vous utilisez Linux ou Unix, Ispell permet d'éviter les fautes de frappe.

Beamer permet de faire de joli transparents avec latex, ici un exemple.pdf exemple.tex qui est un exposé sur beamer proposé par Marie Duflot.

Gastex permet de faire de joli graphes et automates en latex.

Pgf tikz permet de faire des dessins et graphiques en tous genre en latex. Manual