+------------------------------------------------------------+
| CALL FOR PARTICIPATION |
| 5th European Lisp Workshop |
| July 7, Paphos, Cyprus - co-located with ECOOP 2008 |
+------------------------------------------------------------+
The 5th European Lisp Workshop will be held on July 7, in Paphos,
Cyprus, as part of this year's European Conference on Object-Oriented
Programming (ECOOP 2008). The workshop will feature two keynote
presentations: "Lisp for the 21st Century", by Mark Tarver, and "A
detailed look at the Lisp Nature of Clojure", by Rich Hickey. We have
also accepted four scientific papers about description logic systems,
data parallelism for quantum simulation, interactive code generation,
and a rant about make-method-lambda.
Get all the programme details at http://elw2008.bknr.net/programme.
Registration
************
Main registration is with ECOOP via the following page:
https://cyprusconferences.org/ecoop08/form_ecoop.htm
There is still room for attending the workshop, so if you want to
participate, please contact me by email as well (didier(a)lrde.epita.fr).
--
5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org
Bonjour,
Vous êtes tous cordialement invités à assister au séminaire qui aura
lieu le mercredi 2 juillet 2008 à 14 heures en Amphi 4 (KB).
-----------------------------------------------------------------------
Le programme :
*Olena, Vérification du Locuteur et Spot*
http://publis.lrde.epita.fr/Seminar-2008-07-02
OLENA
14h00 : Cartes de distances -- Etienne Folio
14h30 : Les types de couleur dans Milena -- Caroline Vigouroux
VÉRIFICATION DU LOCUTEUR
15h00 : Système de discriminants linéaires pour la vérification du
locuteur -- Antoine Legrand
SPOT
15h45 : Traduction d’une LTL étendue en TGBA dans Spot -- Damien Lefortier
16h15 : Front-end Promela dans Spot -- Guillaume Sadegh
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
OLENA
Cartes de distances -- Etienne Folio
Une carte de distances est une représentation sous forme d’image d’une
fonction distance à un objet. Ces cartes sont utilisées dans de
nombreuses applications, en particulier en analyse d’images de documents
qui nous serviront d’illustration. Certaines méthodes de calcul de
cartes moins génériques que d’autres peuvent s’avérer plus rapides : par
exemple, des cartes calculées par propagation de fronts permettent de
déterminer des plus courts chemins mais ne fonctionnent que lorsque le
support est connu pour être non-convexe. Cette présentation fait un tour
d’horizon des différents algorithmes de calculs de cartes de distances,
met en évidence leurs atouts et faiblesses et explique les choix retenus.
Les types de couleur dans Milena -- Caroline Vigouroux
Le projet Olena fournit une bibliothèque générique pour le traitement
d’images, Milena. Nous voulons que cette bibliothèque procure de
nombreux types de valeur tels que l’utilisateur puisse toujours choisir
le type adapté pour son application. Par exemple, nous fournissons de
nombreux encodages en niveau de gris, de nombreux espaces de couleur,
etc. Nous présentons la manière dont nous mettons en oeuvre les types de
couleurs dans Milena. Il existe différents espaces de couleur (RGB, HSI,
et bien d’autres) et il existe plusieurs encodages possibles pour les
mêmes espaces de couleur (rgb_3x8, rgb_f, etc.). Nous voulons rendre les
choses plus faciles pour l’utilisateur. Donc, notre objectif est de
rendre possible l’utilisation des espaces de couleur sans se soucier des
mécanismes internes. Par exemple, dans les formules de conversion, on ne
veut pas faire apparaître les détails d’implémentation (division par 255).
VÉRIFICATION DU LOCUTEUR
Système de discriminants linéaires pour la vérification du locuteur --
Antoine Legrand
Dans la reconnaissance du locuteur, les modèles GMM occupent une place
très importante dans le développement des systèmes performants. Les
méthodes de discrimination linéaire à base de SVM donnent actuellement
de meilleurs résultats. On s’intéressera ici à un système de
discriminant linéaire (le SVM-GLDS). Celui-ci utilise directement, sans
passer par un modèle GMM, des statistiques issues de l’ensemble des
paramètres de la parole pour définir le modèle de reconnaissance. On
évaluera les performances d’un tel système sur la base de données
NIST-SRE en le comparant avec les autres systèmes à base de SVM-GMM.
SPOT
Traduction d’une LTL étendue en TGBA dans Spot -- Damien Lefortier
Spot repose sur l’approche automate du model checking. La bibliothèque
permet de vérifier des propriétés exprimées en logique temporelle à
temps linéaire (LTL) sur une modélisation d’un système représentée par
un automate de Büchi généralisé basé sur les transitions (TGBA). Spot
propose actuellement deux algorithmes de traduction de LTL en TGBA, une
des deux étapes principales de l’approche automate. Nous présentons une
nouvelle traduction en TGBA d’une logique LTL qui a été étendue en y
ajoutant des opérateurs représentés par des automates finis. Cette
traduction permet à Spot de vérifier des propriétés qui n’étaient pas
exprimables auparavant.
Front-end Promela dans Spot -- Guillaume Sadegh
Spot est une bibliothèque de model checking. Pour vérifier des modèles,
Spot utilise un format d’entrée représentant des automates de Büchi
généralisés basés sur les transitions (TGBA). Ce format est peu pratique
pour des utilisateurs, par son manque d’abstraction et par la taille des
automates à représenter, souvent composés de millions d’états. Promela
(Process Meta- Language) est un langage de spécification de systèmes
asynchrones, utilisé par le model checker Spin. Il permet de représenter
des systèmes concurrents dans un langage impératif de haut niveau. Nous
allons présenter plusieurs approches pour l’ajout d’un front-end Promela
dans Spot, qui devront permettre une exploration à la volée du graphe
d’états, afin d’éviter de conserver en mémoire tous les états.
--
Daniela Becker
Hello,
here are some important news on the 5th European Lisp Workshop, July 7,
Pahpos, Cyprus, co-located with ECOOP 2008:
* The paper selection process is over; the final programme will be
available shortly. Stay tuned for the upcoming call for participation!
* We now have the abstracts for the two keynote presentations:
Lisp for the 21st Century (Mark Tarver)
As Lisp reaches its 50th anniversary, the talk looks at some of the
reasons why Lisp has not found a wider acceptance amongst the
programming community. Part of the reasons lie in a vicious cycle
between education and industry within which Lisp is trapped. One
solution is the L21 project - to produce a rationalized and revised
update of Lisp for the C21. Qi fits many of the constraints of the L21
project. The talk concludes on what needs to be done within Qi and the
Lisp world to bring Lisp to the center stage.
A Detailed Look at the Lisp Nature of Clojure (Rich Hickey)
The small essential core of Lisp makes dialects easy to define and
implement. Most dialects are viewed skeptically by the community, as
their features can be realized via the extensibility mechanisms of
Scheme or Common Lisp. However, functional programming,
interoperability, extensibility and concurrency objectives call for
different decisions at many Lisp design points. Meeting those objectives
in a Lisp dialect testifies to the continued vitality of the Lisp idea.
This talk will provide a rationale for Clojure as a substantive and
unique dialect of Lisp, and details of its design and implementation on
the JVM.
* Courtesy of EPITA, the workshop will have printed proceedings. A PDF
version will also be made available on the website after the event.
* Finally, please note that the official ELW website,
http://elw.bknr.net, now contains an archive of all past occurrences
of the workshop.
--
5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org
Bonjour,
Vous êtes tous cordialement invités à assister au séminaire qui aura
lieu le mercredi 25 juin 2008 à 14 heures en Amphi 4 (KB).
Veuillez noter qu'après les étudiants, Sébastien Hémon présentera entre
16h45 et 17h45 l'article "Equilibres de Nash approchés dans les jeux
multi-joueurs" de Sébastien Hémon, Miklos Santha and Michel de Rougemont
présenté à SAGT 08 en mai 2008.
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/2008-01-18-SAGT
-----------------------------------------------------------------------
Le programme du séminaire :
*Olena et Théorie des Jeux*
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-25
OLENA
14h00 : Ligne de partage des eaux topologique -- Alexandre Abraham
14h30 : Taxonomie des images de Milena -- Nicolas Ballas
15h00 : Transformation des courbes de niveau rapide -- Matthieu Garrigues
15h30 : Recalage d'image rapide -- Ugo Jardonnet
THEORIE DES JEUX
16h15 : Etude et implémentation du Fictitious Play alterné -- Antoine
Leblanc
16h45 : Equilibres de Nash approchés dans les jeux multi-joueurs --
Sebastien Hemon et al.
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
OLENA
Ligne de partage des eaux topologique -- Alexandre Abraham
Segmenter une image consiste à en extraire les régions d’intérêt, par
exemple pour séparer des cellules cancéreuses en imagerie médicale.
L’approche par transformation de la ligne de partage des eaux (LPE) ou
Watershed Transform permet d’obtenir une telle segmentation. Il en
existe de nombreuses définitions, ainsi que diverses implémentations,
dont certaines sont à la fois performantes et produisent un résultat
avec de bonnes propriétés, comme le Topological Watershed. Cet exposé
présentera l’implémentation d’un algorithme calculant cette LPE au sein
de Milena, la bibliothèque C++ générique de traitement d’images de la
plate-forme Olena, développée au LRDE. Nous nous intéresserons tout
d’abord aux formats d’images “classiques”, puis à la généralisation à
des formats d’images plus inhabituels (images à support de graphe
généraux, etc.).
Taxonomie des images de Milena -- Nicolas Ballas
Milena est la bibliothèque de traitement d’images générique de la
plate-forme Olena. Cette bibliothèque a pour but d’être performante tout
en restant simple. L’introduction dans Milena de nouveaux types d’images
basés sur des graphes a mis en évidence des problèmes de modélisation
qui sont un frein pour sa généricité. Par exemple, nous avons toujours
considéré que "les images ont des points". Néanmoins, certains types
d’images possèdent des sites qui ne sont pas des points (mais des
arrêtes, faces, ou même des ensembles de points). Une autre supposition
erronée était de considérer que les sites étaient toujours localisés par
un vecteur (càd, (x,y) dans le plan 2D). Cette supposition est fausse
lorsque l’on manipule des sites qui ne sont pas "Pointwise". Il etait
donc nécessaire de modifier les types d’images utilisés dans Milena et
les propriétées qui leur sont associées. Pendant ce séminaire, nous
présenterons une nouvelle classification d’images permettant de résoudre
ces problèmes.
Transformation des courbes de niveau rapide -- Matthieu Garrigues
La transformation rapide des courbes de niveaux (FLLT) construit une
représentation d’une image indépendante du contraste. Cet algorithme
construit un arbre suivant les inclusions des formes. Pour un filtre,
être invariant suivant le contraste est un plus. Par exemple, en analyse
de document, cette représentation a le précieux avantage d’extraire
facilement et rapidement les caractères indépendamment du fait qu’ils
soient plus clairs ou plus foncés que leur voisinage. Ce document
présente l’introduction de l’algorithme dans notre bibliothèque de
traitement d’images et montre les résultats de quelques filtres
connectés que peut engendrer cette représentation.
Recalage d'image rapide -- Ugo Jardonnet
Le recalage d’images est une technique classique en traitement d’images.
Soit A et B deux images représentant le même objet (par exemple une
radiographie et une image à résonance magnétique (IRM)), on calcule une
transformation deAtelle que le recalage de l’objet dans A soit aligné
sur l’objet dans B. Typiquement, cette technique peut permettre la
lecture simultanée de deux mesures A et B. Cet exposé discutera des
procédés de recalage rapide utilisés dans Milena, la bibliothèque C++
générique de traitement d’images de la plate-forme Olena, développée au
LRDE. Certaines améliorations seront présentées.
THEORIE DES JEUX
Etude et implémentation du Fictitious Play alterné -- Antoine Leblanc
Le calcul d’un équilibre de Nash dans un jeu fini est un problème
démontré PPAD-complet, ce qui signifie qu’il paraît impossible de
trouver une méthode de calcul efficace ; la complexité en pire cas des
algorithmes usuels est 2O(n) pour un jeu de taille n. La recherche en ce
domaine s’oriente donc vers le calcul d’équilibres approchés, à savoir
des situations vérifiant les conditions d’un équilibre de Nash à ! près.
L’algorithme du Fictitious Play s’inscrit dans cette démarche de
recherche. Son principe est simple : à chaque itération, chacun des
joueurs “renforce” celle de ses stratégies pures qui est la plus
efficace face à ses adversaires. Pour certains jeux, cet algorithme
converge vers un équilibre de Nash, fournissant ainsi un algorithme
d’approximation efficace. La convergence ne peut toutefois être prouvée
que pour un nombre limité de cas. Pour cette raison, il est intéressant
d’étudier d’autres algorithmes basés sur le Fictitious Play, afin de
trouver d’autres cas de convergence. Nous allons étudier ici le
Fictitious Play alterné, dans lequel seul le joueur le plus “éloigné” de
son gain optimal renforce sa stratégie la plus efficace.
Equilibres de Nash approchés dans les jeux multi-joueurs -- Sebastien
Hemon et al.
Les équilibres de Nash sont des positions-clés de tout jeu admettant une
représentation finie : en effet, quel que soit le nombre de joueurs et
de stratégies, une telle position existe toujours. Lorsqu’elle est
atteinte, elle dissuade tout joueur de vouloir se détourner de sa
stratégie actuelle, d’où la notion d’équilibre. De nombreux problèmes y
font appel mais calculer de façon effective l’équilibre demeure un
problème difficile. En effet, le meilleur algorithme connu pour, dans le
cas général, calculer un équilibre est exponentiel en le nombre de
stratégies. Nous présenterons ici la notion d’équilibres approchés, et
donnerons des résultats concernant leur calcul. Nous montrerons qu’il ne
saurait exister d’algorithmes pouvant calculer un équilibre, même
approché, sans utiliser au moins, pour un joueur, un nombre
logarithmique de stratégies. Nous montrerons comment calculer un
équilibre approché en temps sub-exponentiel nO( ln n 2 ), ce qui demeure
actuellement, pour le cas général, la meilleure complexité en pire cas.
Enfin, nous présenterons une approche inductive de transfert
d’approximation d’une position d’un jeu à deux joueurs en une
approximation pour un jeu à r joueurs, ce qui confère des résultats
novateurs dans le domaine.
--
Daniela Becker
Bonjour,
Vous êtes tous cordialement invités à assister au séminaire qui aura
lieu le mercredi 18 juin 2008 à 14 heures en Amphi 1 (KB).
-----------------------------------------------------------------------
Le programme :
*Transformers & Vaucanson*
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-18
TRANSFORMERS
14h00 : SCOOL : Programmation générique et concepts -- Maxime Van Noppen
14h30 : Découpage de programme C++ avec Transformers -- Florian Quèze
VAUCANSON
15h15 : Parser d’expressions rationnelles -- Vivien Delmon
15h45 : FSMXML et son utilisation dans Vaucanson -- Florian Lesaint
16h15 : Booster les itérateurs de Vaucanson -- Jimmy Ma
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
TRANSFORMERS
SCOOL : Programmation générique et concepts -- Maxime Van Noppen
SCOOL est un langage statique orienté objet qui a été créé afin de
pouvoir utiliser toute la puissance du C++ statique de manière plus
aisée grâce à une syntaxe plus expressive et agréable. Il n’a pas pour
but d’être directement compilé mais d’être traduit en C++. Cette année
le travail revêt une importance particulière. En effet, SCOOL est
développé en étroite collaboration avec l’équipe de développement de la
bibliothèque de traitement d’images MILENA de la plate-forme OLENA ;
l’an passé a été pour elle le cadre de grands changements internes. Un
des axes majeurs du développement de SCOOL va donc être de s’adapter aux
nouveaux paradigmes et aux nouveaux besoins de la bibliothèque. Le
second axe essentiel de travail est la poursuite du développement du
langage. Cette année le travail va être concentré sur la programmation
par concepts qui est une approche permettant de formaliser facilement
des contraintes sur la programmation générique.
Découpage de programme C++ avec Transformers -- Florian Quèze
Transformers est un ensemble d’outils basés sur les technologies
Stratego/XT permettant la manipulation de programmes C++. Le découpage
de programmes est un domaine important de la transformation de
programmes. Nous allons expliquer ce qu’est le découpage de programmes,
donner un aperçu rapide de ses différents aspects et montrer comment
Transformers pourrait être utilisé comme un outil permettant le
découpage de programmes.
VAUCANSON
Parser d’expressions rationnelles -- Vivien Delmon
La bibliothèque Vaucanson permet de manipuler des automates et des
transducteurs. Le parser d’expression rationnelles doit donc lui aussi
traiter ces différentes structures. Malheureusement l’ancien parser ne
permettait pas de lire des expressions rationnelles décrivant des
transducteurs ou même des automates à poids autres que des nombres. Le
nouveau parser permet de lire des expressions rationnelles contenant des
poids de toutes sortes et des alphabets définis sur des produits de
monoïdes. Ces différentes améliorations permettent d’interpréter des
expressions rationnelles complexes représentant entre autres des
transducteurs.
FSMXML et son utilisation dans Vaucanson -- Florian Lesaint
Nous avions commencé l’année dernière à travailler sur une nouvelle
proposition de format XML de description d’automates, devenu FSMXML.
Nous présentons cette année une version aboutie de ce travail sous forme
de rfc. FSMXML comprend notamment une gestion complète des expressions
rationnelles généralisées, il permet de décrire n’importe quel type
d’automate et sa gestion est facilitée. Nous avons repensé la structure
du parseur XML de VAUCANSON pour s’affranchir d’une mauvaise gestion de
dépendances et l’avons mise à jour conformément à la rfc.
Booster les itérateurs de Vaucanson -- Jimmy Ma
Vaucanson est une bibliothèque générique de manipulation d’automates. Le
coeur de sa généricité réside dans le support de types d’automates
variés mais aussi sa capacité à s’appuyer sur différentes structures de
données. Actuellement, nous avons différentes manières de manipuler des
transitions. Cependant, aucune d’entre elles n’est réellement
indépendante de la structure de données utilisée. Afin de pallier cela,
nous allons nous tourner vers le design pattern Iterator. Nous
évaluerons l’impact de ce design pattern sur les performances et sur
l’utilisation de la bibliothèque en termes d’écriture d’algorithmes.
--
Daniela Becker
