>>
Université Pierre et Marie Curie
Preuves Programmes et Système
Pascal MANOURY
<<

<> De quoi j'ai l'air <>


<> Enseignement

<> Recherche

<> Autre


O'Reilly france n'est plus. J'ai eu le plaisir et je garde la fierté d'y avoir été (co)auteur de Développement d'applications avec Objective Caml.

Aussi, paracamplus a édité, sous le tire Programmation de droite à gauche (et vice-versa), une version étendue du cours LI220 que je donne en licence d'informatique 2ème année à l'UPMC. Il est disponible au Monde en Tique.


Le campus Jussieu fut le plus grand site amianté d'Europe. Pour mettre fin à cette situation, dont on n'ose plus nier le danger qu'elle représente pour la santé publique, le Comité Anti-Amiante Jussieu s'y est constitué en association 1901 en octobre 1994.


Pascal MANOURY
PPS
Université Denis Diderot -- Paris 7
Case 7014
75205 PARIS Cedex 13
FRANCE

Mèl : Pascal.Manoury@pps.univ-paris-diderot.fr
Tél : (+33) 01.44.27.61.99


Anciennement :
Laboratoire d'Informatique de Paris 6
Sémantique Preuve et Implantation
Cliquez moi

... la justification de l'un, c'est que l'autre en parle. Et si l'autre en parle, c'est que tout le monde en parle. Et si tout le monde en parle, c'est que, de toute façon, tout est déjà sur Internet ...

Louis Marie Horeau

Quand on entend ce que l'on entend, quand on voit ce que l'on voit et quand on sait ce que l'on sait, on a raison de penser ce que l'on pense.

Sagesse populaire

Quand les plus grands rêves d'un homme c'est de reprendre du dessert, de faire un câlin de temps en temps et de se lever à midi le dimanche matin; personne ne peut lui détruire ses rêves

Marge SIMPSON

Jusqu'à présent j'ai fait ce qu'il convint que je fisse, désormais je ferai ce qu'il est nécessaire que je fasse

Théobald DROMARD
in Le monocle rit jaune
(en substance)

Une balle perdue est une balle qui quitte sa trajectoire et frappe l'objectif à côté de son impact.

Anonyme
in manuel d'instruction des EOR

C'est quand le marchés sont rassurés que je commence à m'inquiéter.

Un économiste dont j'ai oublié le nom, entendu à la radio
(en substance)

Ton futur commence à ta naissance; ton passé commence à ta mort. Ton futur vient donc avant ton passé.

Nargäjuna
cité par G.H aux GGJJ

Je ne les appelle pas des populistes. Car dans «populiste», il y a «peuple». Je les appelle des démagogues.

C. Goasguen, ancien ministre, député maire du XIVe
FC au Rdv des politiques le 12 mars 2011

Le fini est inépuisable.

D. Vaudène

L'altérité, c'est que personne ne se fait rire en se chatouillant lui même

J. Baudrillard (en substance)