If you read this message, this means that neither JavaScript, nor CSS are compatible with (or set up by) your current browser.

To correctly visualise this website, I advise you to use a browser able to execute JavaScript or CSS.

Se vi legas tiun ĉi mesaĝon, signifas ke nek JavaScript, nek CSS ruleblas (aŭ estas ŝaltata) per via nuna foliumilo.

Por bone foliumi tiun retejon, mi konsilas al vi uzi retfoliumilon kiu kapablas ruli Javaskripton aŭ CSSn.

Si vous lisez ce message, c’est que ni JavaScript, ni CSS ne sont supportés (ou activés) par votre navigateur actuel.

Pour naviguer correctement sur ce site, je conseille fortement d’utiliser un navigateur capable d’exécuter du JavaScript ou du CSS.

CVFP 2013

CVFP 2013

CVFP 2013

Martin Bodin — CVFP 2013

Martin Bodin — CVFP 2013

Martin Bodin — CVFP 2013

Read more

Hide

This page may not be displayed in your prefered language: would you prefer to read it in English?

It seems that your browser is not strictly following the ECMAScript standard of JavaScript, version 5.1, on which this site has been based on.

Do not worry too much: I am not aware of any browser completely following this standard. This warning aims at emphasing on the gap between theory and practise, and at yielding some thoughts about it. To stop displaying this message, click here.

An error occured while executing some social scripts…

It seems that you were redirected to the wrong page: if you don’t find what you were looking for here, maybe try there.

Legi pli

Malmontri

Tiu ĉi paĝo eble ne afiŝas en la ĝusta lingvo: ĉu pliŝatus vi legi ĝin Esperante?

Aspektas ke via retfoliumilo ne perfekte respektas la normon ECMAScript de Javaskripto, versio 5.1, en kiu ĉi tiu retejo sinbazas.

Ne tro zorgu: mi ne konas retfoliumilon kiu respektas ĝin entute. Tiu averto pli celas konsciigi la diferencon inter teorio kaj praktiko, kaj ekŝalti cerbumadojn prie. Por ne plu vidi ĉi tiun averton, klaku ĉi tien.

Ia problemo okazis dum la eko de ies socia skripto…

Ŝajnas ke vi estis redirektigita al malĝusta paĝo: se vi ne trovas kion vi serĉis, eble provu tie.

En savoir plus

Cacher ce message

Il est possible que cette page ne s’affiche pas dans votre langue préférée : préférez-vous la lire en Français ?

Il semblerait que votre navigateur ne respecte pas strictement la norme ECMAScript de JavaScript dans sa version 5.1, sur laquelle ce site est basé.

Pas d’inquiétude : je ne connais pas de navigateur qui le respecte complètement. Cet avertissement est plus destiné à faire prendre conscience du fossé entre théorie et pratique, afin de déclencher quelques réflexions. Pour arrêter d’afficher ce message, cliquez ici.

Une erreur s’est produite lors de l’exécution de certain scripts sociaux.

Il semblerait que vous ayez été redirigé vers la mauvaise page : si vous ne trouvez pas ce que vous cherchez ici, vous pouvez essayer ici.

Link

Hide

Show

Hide All

Show All

Ligilo

Malafiŝi

Afiŝi

Malafiŝi ĉion

Afiŝi ĉion

Lien

Cacher

Montrer

Cacher tout

Montrer tout

Tutorials

Superrigardataj laboroj

TP

Let’s Play With Spin

A tutorial about dinning philosophers.

Unua uzo de Spin

Superrigardata laboro pri manĝantaj filosofiistoj

Première utilisation de Spin

Un TP sur le dîner des philosophes.

Let’s Play With Coq

A first usage of Coq on very simple programs.

Pruvi programaĵojn per Coq

Unua uzo de Coq en simplegaj programaĵoj.

Prouver des programmes à l’aide de Coq

Un premier cas d’utilisation de Coq pour des programmes très simples.

Miscellanous

Aliaĵoj

Autres

Pictionnary

Students have to draw and guess sentences using only ULM diagrams (behaviour diagrams, structure diagrams, or interaction diagrams).

Pictionnary

Studentoj devas desegne divenigi frazojn per UML-diagramoj (uzdiagramoj, klasdiagramoj, aŭ interagdiagramoj).

Pictionnary

Les étudiants doivent faire deviner des phrases à l’aide de diagrammes UML (diagrammes de cas d’utilisations, diagrammes de classes, ou diagrammes de séquence).