>>
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

Le pouvoir possède la radio et la télévision, et un parlement à sa main. Nous allons nous expliquer directement dans la rue[...]

D. Cohn-Bendit, 5 mai 1968

du partage et de la solidarité

Pepe Mujica -- Président de l'Urugay, 2010-15

Le mot «français» n'est pas français.

Les matinales -- 16 mars 2015

... 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)

Tireras-tu Léviathan avec un hameçon, et lui serreras-tu la langue avec une corde ? Lui passeras-tu un jonc dans les narines, et lui perceras-tu la mâchoire avec un anneau ? T'adressera-t-il d'ardentes prières, te dira-t-il de douces paroles ? Fera-t-il une alliance avec toi, le prendras-tu pour toujours à ton service ? Joueras-tu avec lui comme un passereau ; l'attacheras-tu pour amuser tes filles ? Les pêcheurs associés en font-ils commerce, le partagent-ils entre les marchands ? Cribleras-tu sa peau de dards, perceras-tu sa tête du harpon ? Essaie de mettre la main sur lui : souviens-toi du combat, et tu n'y reviendras plus.

Job 40 : 25-32 (Crampon)

Once you realize we are all mad, life starts to make sense.

CFCC