FOCALRSS

Journée Présentation et Formation - FOCAL

11.06.2009
Докладчики : David Delahaye - Damien Doligez - Francois Pessaux
À l'occasion de la récente release du nouveau compilateur de Focal (Focalize), nous vous convions à une journée de formation Focal qui aura lieu le jeudi 11 juin 2009 au LIP6 (salle à 847). La journée s'adresse aussi bien aux débutants qui auront l'opportunité de manipuler l'environnement Focal en pratique, qu'aux utilisateurs plus confirmés de Focal qui auront la possibilité de connaître les caractéristiques du nouveau compilateur. La journée sera organisée en deux parties, avec une partie composée d'exposés (le matin) et une partie de travaux pratiques (l'après-midi). Ci-dessous, vous trouverez tous les détails concernant l'organisation de cette journée.
Programme de la journée: -----------------------
- 10h: "Présentation générale de Focal" (David Delahaye) Contenu: introduction à l'environnement Focal, historique et motivations, description du langage, exemples de spécifications Focal.
- 10h45: "Preuves en Focal avec Zenon" (Damien Doligez) Contenu: présentation de Zenon (l'outil de preuve automatique de Focal), exemples de preuves en Focal avec l'aide de Zenon.
- 11h30: "Focalize: le nouveau compilateur de Focal" (François Pessaux) Contenu: description du nouveau compilateur de Focal (Focalize), utilisation pratique (options, codes générés, ...).
- 12h15: Déjeuner
- 13h30: Séance de travaux pratiques (Philippe Ayrault, David Delahaye, Damien Doligez, François Pessaux, Pierre Weis) Contenu: installation du compilateur Focalize, développement d'exemples de spécifications Focal et notamment d'un tutorial.
- 16h30/17h: Fin de la journée
Organisation: ------------
La participation à la journée est gratuite, mais nous vous demandons d'envoyer un mail (à David.Delahaye@cnam.fr) afin d'indiquer votre intention de participation et pour que nous puissions prévoir la logistique nécessaire.
Pour la séance de travaux pratiques, nous vous demandons d'apporter votre ordinateur portable. Cela nous permettra notamment de vous installer une version du compilateur Focalize qui fonctionne pour votre système (attention Linux uniquement) et que vous pourrez réutiliser par la suite.

Более подробно …
Mathieu.Jaume (at) nulllip6.fr
Mentions légales
Карта сайта