I'm happy to announce the release of Patcher 3.10.
Patcher is an XEmacs package for automating the maintenance of version
control system based projects. It is the official tool for XEmacs
development.
What's new in this version:
** New feature: provide built-in themes for some revision control systems
These are PRCS, CVS, Subversion, Darcs and Mercurial. Also coming with
whitespace-resistant counterparts.
** Documentation: a chapter on how to setup Patcher for XEmacs development
** Bugfixes:
*** Cleanup the log messages wrt trailing whitespaces
*** Correctly display a missing theme name in error message
Grab it at http://www.lrde.epita.fr/~didier/software/xemacs.php, or use
the standard xemacs-devel package with XEmacs.
--
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
Hello,
I'm happy to announce the release of FiNK version 2.1.1. This is a
bugfix/documentation release only.
What's new in this version:
* Fix trailing whitespace in \fink@restore
* Added some hints about filenames with special characters
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#fink
or wait until it propagates through CTAN...
--
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
Hello,
I'm happy to announce the release of CurVe version 1.15.
CurVe is a LaTeX2e class for writing curricula vitae.
What's new in this version:
* Support for itemize environments
* Added some documentation about vertical spacing problems in |bbl| files
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#curve
or wait until it propagates through CTAN...
--
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
We are happy to announce that the following paper has been accepted for
publication at the 8th workshop on Language Descriptions,Tools and
Applications (LDTA'08) that will take place in Budapest, Hungary, on
April 5th, 2008.
Akim Demaille and Renaud Durlin and Nicolas Pierron and Benoît Sigoure.
Semantics driven disambiguation: A comparison of different approaches.
http://publis.lrde.epita.fr/200802-LDTA
Context-sensitive languages such as C or C++ can be parsed using a
context-free but ambiguous grammar, which requires another stage,
disambiguation, in order to select the single parse tree that complies
with the language's semantical rules. Naturally, large and complex
languages induce large and complex disambiguation stages. If, in
addition, the parser should be extensible, for instance to enable the
embedding of domain specific languages, the disambiguation techniques
should feature traditional software-engineering qualities: modularity,
extensibility, scalability and expressiveness.
We evaluate three approaches to write disambiguation filters for SDF
grammars: algebraic equations with ASF, rewrite-rules with programmable
traversals for Stratego, and attribute grammars with TAG, our system. To
this end we introduce Phenix, a highly ambiguous language. Its
``standard'' grammar exhibits ambiguities inspired by those found in the
C and C++ standard grammars. To evaluate modularity, the grammar is
layered: it starts with a small core language, and several layers add
new features, new production rules, and new ambiguities.
--
Daniela Becker
We are pleased to announce that the following paper has been accepted
for publication at the 4th Information Security Practice and Experience
Conference (ISPEC'08) that will take place in Sydney, Australia, 21-23
April 2008.
Cuong Le Quoc and Patrick Bellot and Akim Demaille. Towards the
World-Wide Quantum Network.
http://publis.lrde.epita.fr/200804-ISPEC
Quantum Key Distribution (QKD) networks are of much interest due to
their capacity of providing extremely high security keys to network
participants. Most QKD network studies so far focus on trusted models
where all the network nodes are assumed to be perfectly secured. This
restricts QKD networks to be small. In this paper, we first develop a
novel model dedicated to large-scale QKD networks, some of whose nodes
could be eavesdropped secretely. Then, we investigate the key
transmission problem in the new model by an approach based on
percolation theory and stochastic routing. Analyses show that under
computable conditions large-scale QKD networks could protect secret keys
with an extremely high probability. Simulations validate our results.
--
Daniela Becker
+------------------------------------------------------------+
| CALL FOR PAPERS |
| 5th European Lisp Workshop |
| July 7, Paphos, Cyprus - co-located with ECOOP 2008 |
+------------------------------------------------------------+
Important Dates:
****************
Submission deadline (papers & breakout groups): May 04, 2008
Notification of acceptance: May 19, 2008
ECOOP early registration deadline: June 01, 2008
5th European Lisp Workshop: July 07, 2008
For more information visit http://elw.bknr.net/2008/
Contact: Didier Verna, didier(a)lrde.epita.fr
Organizers
**********
Didier Verna, EPITA Research and Development Laboratory, Paris
Christophe Rhodes, Goldsmiths College, University of London
Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel
Hans Hübner, Software Developer, Berlin
Overview
********
"...Please don't assume Lisp is only useful for Animation and
Graphics, AI, Bioinformatics, B2B and E-Commerce, Data Mining,
EDA/Semiconductor applications, Expert Systems, Finance, Intelligent
Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation,
Natural Language, Optimization, Research, Risk Analysis, Scheduling,
Telecom, and Web Authoring just because these are the only things they
happened to list."
-- Kent Pitman
Lisp is one of the oldest computer languages still in use today. In
the decades of its existence, Lisp has been a fruitful basis for
language design experiments as well as the preferred implementation
language for applications in diverse fields.
The structure of Lisp makes it easy to extend the language or even to
implement entirely new dialects without starting from scratch. Common
Lisp, with the Common Lisp Object System (CLOS), was the first
object-oriented programming language to receive an ANSI standard and
retains the most complete and advanced object system of any
programming language, while influencing many other object-oriented
programming languages that followed.
It is clear that Lisp is gaining momentum: there is a steadily growing
interest in Lisp itself, with numerous user groups in existence
worldwide, and in Lisp's metaprogramming notions which are being
transferred to other languages, as for example in Aspect-Oriented
Programming, support for Domain-Specific Languages, and so on.
This workshop will address the near-future role of Lisp-based
languages in research, industry and education. We solicit papers and
suggestions for breakout groups that discuss the opportunities Lisp
provides to capture and enhance the possibilities in software
engineering. We want to promote lively discussion between researchers
proposing new approaches and practitioners reporting on their
experience with the strengths and limitations of current Lisp
technologies.
The workshop will have two components: there will be
formally-presented talks, and breakout groups discussing or working on
particular topics. Additionally, there will be opportunities for
short, informal talks and demonstrations on experience reports,
underappreciated results, software under development, or other topics
of interest.
Papers
******
Formal presentations in the workshop should take between 20 minutes
and half an hour; additional time will be given for questions and
answers. We encourage that papers be published on the website, to
provide all participants with background information in advance.
Suggested Topics:
- New language features or abstractions
- Experience reports or case studies
- Protocol Metaprogramming and Libraries
- Educational approaches
- Software Evolution
- Development Aids
- Persistent Systems
- Dynamic Optimization
- Implementation techniques
- Innovative Applications
- Hardware Support for Lisp systems
- Macro-, reflective-, meta- and/or rule-based development approaches
- Aspect-Oriented, Domain-Oriented and Generative Programming
Breakout Groups
***************
The workshop will provide for the opportunity to meet face to face and
work on focused topics. We will organize these breakout groups and
provide for rooms and infrastructure.
Suggested Topics for Breakout Groups:
- Lisp Infrastructure Development and Distribution
- Language Features (e.g. Predicate Dispatching)
- Environments for creating web applications
- Brainstorming sessions for new or existing open source projects
- Persistence Systems
- Compiler technology
- Lisp on bare metal / Lisp hardware / Lisp operating systems
- Compare and enhance curricula for computer science education
Submission Guidelines
*********************
Potential attendees are encouraged to submit:
- a long paper (10 pages) presenting scientific and/or
empirical results about Lisp-based uses or new approaches for
software engineering purposes,
- a short essay (5 pages) defending a position about where
research, practice or education based on Lisp should be heading in
the near future,
- a proposal for a breakout group (1-2 pages) describing the theme, an
agenda and/or expected results.
Submissions should be mailed as PDF to Didier Verna
(didier(a)lrde.epita.fr) before the submission deadline.
--
Resistance is futile. You will be jazzimilated.
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
Chers collègues,
la prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
20 Février 2008.
Au programme:
14h: Performance et Généricité dans Qgar
Vitor Vasconcelos Araujo Silva, LORIA Nancy
Dans cet exposé nous verrons l'ensemble des outils de la plate-forme
Qgar, avec une attention particulière pour la généricité et les
performances du code de la bibliothèque QgarLib. Nous verrons également
les autres composants du logiciel, quelques standards de développement
Qgar, ainsi que les défis pour l'évolution de la plate-forme.
L'entrée du séminaire est libre.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
Merci de bien vouloir diffuser cette information le plus largement possible.
--
Resistance is futile. You will be jazzimilated.
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
We are pleased to announce that the following paper has been accepted
for publication at the first Symposium on Algorithmic Game Theory (SAGT
2008) that will take place at Paderborn, Germany from April 30th to May 2nd.
Sébastien Hémon, Miklos Santha and Michel de Rougemont. Approximate Nash
Equilibria for multi-players Games.
http://publis.lrde.epita.fr/2008-01-18-SAGT
We consider Games of complete information with r players, and study the
existence of polynomial time algorithms for \eps-approximate Nash
equilibria in the additive and multiplicative sense. For the additive
approximation, we prove an \frac{r-1}{r} lower bound on \eps for
strategies using a support less than \sqrt[r-1]{\log{n}} where n is the
maximum number of pure strategies, and give a polynomial time algorithm
which computes an \frac{r-1}{r}-approximate Equilibrium. For the
multiplicative approximation, we prove a Lipton-result to approximate a
Nash Equilibrium. If we assume that the gains of the players at a Nash
Equilibrium are greater than a value g, we find an \eps-approximate Nash
equilibrium whose support is included in the support of the Nash
equilibrium of size \frac{\log n.r}{g.\eps^2}. We exhibit a class of
games where this hypothesis does not hold and where the support size of
such an \eps-approximate Nash equilibrium is greater than
\frac{n}{2.(1+\eps)}.
--
Daniela Becker
Chers collègues,
la prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
30 Janvier.
Au programme:
* 14h: Robustesse, efficacité et généricité dans la bibliothèque CGAL
Sylvain Pion, chargé de recherche, INRIA Sophia Antipolis
* 15h15: Morph-M et généricité en traitement d'images
Romain Lerallut, ingénieur R&D chez A2iA
Raffi Enficiaud, ingénieur de recherche chez DxO Labs
L'entrée du séminaire est libre.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
Merci de bien vouloir diffuser cette information le plus largement possible.
--
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 16 janvier 2008 à 14 heures en Amphi Masters (KB).
-----------------------------------------------------------------------
Le programme :
*Transformers, Théorie des Jeux & Vérification du locuteur*
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-01-16
TRANSFORMERS
14h00 : revCPP : Un préprocesseur C++ réversible -- Quentin Hocquet
14h30 : Transformation de programmes en syntaxe concrète en C++ --
Benoit Sigoure
15h00 : Propagation automatique des attributs pour des grammaires
attribuées modulaires -- Nicolas Pierron
15h30 : Désambiguïsation guidée par la sémantique: Comparaison de
différentes méthodes -- Renaud Durlin
THEORIE DES JEUX
16h15 : La tablette de chocolat transfinie -- Nicolas Neri
VERIFICATION DU LOCUTEUR
16h45 : Combinaison de noyaux à partir de systèmes SVM en vérification
du locuteur -- Charles Alban Deledalle
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
TRANSFORMERS
revCPP : Un préprocesseur C++ réversible -- Quentin Hocquet
Le but du projet Transformers est de créer un framework générique pour
de la transformation source à source de code C++. Une transformation
"source à source" consiste à retravailler le code et produire un fichier
de code source modifié. Ce code peut être relu, ré-utilisé, modifié ...
par des programmeurs et doit donc être lisible. De plus, il doit
respecter le coding style d'origine. Ce processus de préservation de la
mise en page est appelé "High fidelity program transformation".
Transformers cible les langages C et C++. Contrairement à de nombreux
langages, le C++ est un langage préprocessé pour obtenir le code source
effectif. Dans le contexte de la transformation de programmes, il faut
dé-préprocesser le code pour le rendre lisible au programmeur. Ce
document présente le travail de recherche que nous avons mené pour
implémenter un préprocesseur de C++ réversible et un postprocesseur,
c'est-à-dire un outil permettant d'obtenir le code d'origine à partir du
code préprocessé.
Transformation de programmes en syntaxe concrète en C++ -- Benoit Sigoure
La transformation de programmes dans des langages généralistes tels que
le C++ est fastidieuse car elle nécessite de manipuler l'AST du
programme transform en syntaxe abstraite (c'est-à-dire dans le langage
hôte, ici le C++). Le code à écrire est lourd et coûteux à maintenir.
Le but de ce séminaire est de présenter la mise en œuvre de nouvelles
techniques de transformation de programmes en syntaxe concrète
(c'est-à-dire utilisant directement le langage du programme transformé)
dans un environnement C++ standard. Notre approche utilise l'analyseur
syntaxique l'exécution pour appliquer des règles de transformation
dynamiques. Un compilateur de Tiger servira de support à la présentation.
Propagation automatique des attributs pour des grammaires attribuées
modulaires -- Nicolas Pierron
Les grammaires attribuées sont plus adaptées pour décrire (des parties
de) la sémantique d'un langage de programmation : accrochées sur les
règles de production syntaxique, elles permettent d'exprimer des
relations locales qui sont par la suite liées entre elles globalement
par un évaluateur générique. Cependant elles ne passent pas à l'échelle
quand on travaille avec des langages volumineux et complexes.
Premièrement les attributs qui sont requis quasiment partout ont besoin
d'être véhiculés par chaque règle de production. Deuxièmement, ces
contraintes cassent la modularité car le fait d'étendre une grammaire
nécessite la propagation des nouveaux attributs à travers le reste du
langage. Ce papier montre comment résoudre ces problèmes en introduisant
un système de propagation automatique des attributs qui complète
l'ensemble des règles sémantiques. Nous avons défini formellement les
contraintes de propagations de manière optimisée afin d'éviter l'ajout
de règles sémantiques inutiles. Ainsi les grammaires attribuées sont
devenus plus maintenables, modulaires et facile à utiliser.
Désambiguïsation guidée par la sémantique: Comparaison de différentes
méthodes -- Renaud Durlin
Modularité, extensibilité et expressivité, trois aspects fondamentaux
pour un système de désambiguïsation. La désambiguïsation est l'étape
survenant juste après l'analyse syntaxique qui consiste à analyser la
sortie obtenue lors de l'utilisation d'un parseur LR généralisé. Le but
de cette étape étant de sélectionner, parmi toute une forêt, l'unique
arbre valide correspondant à l'entrée en prenant en compte les règles de
sémantique contextuelles. Au travers d'une comparaison avec deux autres
techniques reposant sur SDF (le formalisme ASF et le langage Stratego),
le système de grammaires attribuées utilisé dans Transformers sera évalu
par rapport à ces aspect fondamentaux pour en faire ressortir les
avantages et inconvénients.
THEORIE DES JEUX
La tablette de chocolat transfinie -- Nicolas Neri
Dans ce rapport technique, nous nous attardons sur le jeu de la tablette
de chocolat. On dispose d'une tablette de chocolat dont le carré
inférieur gauche est empoisonné. Les joueurs jouent à tour de rôle. Un
coup consiste à choisir un carré de chocolat et à le manger ainsi que
tous les carrés qui sont à sa droite et au dessus de lui. Le joueur qui
mange le carré empoisonné perd la partie. Dans cet exposé, nous nous
intéresserons particulièrement au cas où les dimensions du jeu sont de
classe cardinale infinie. On présentera également, pour une meilleure
compréhension, les nombres ordinaux et leur ordre associé.
VERIFICATION DU LOCUTEUR
Combinaison de noyaux à partir de systèmes SVM en vérification du
locuteur -- Charles Alban Deledalle
Les meilleurs systèmes de Verification du Locuteur (VL) sont fondés sur
la fusion des scores de décision de plusieurs approches. Les méthodes
basées sur les Séparateurs à Vaste Marge (SVM) donnent des résultats
très performants. En conséquence, l'apport de ces méthodes est très
important pour la fusion. Dans notre approche, nous proposons une
nouvelle méthode de fusion des systèmes de VL basés sur les méthodes SVM
en construisant une nouvelle fonction noyau à partir d'une combinaison
linéaire de plusieurs fonctions. Dans cette combinaison, les poids
utilisés varient selon les locuteurs, ce qui diffère des approches par
fusion de score qui elles utilisent des poids universels.
--
Daniela Becker