Hello,
as a program committee member, it is my pleasure to announce the next
International Lisp Conference:
***********************************************************************
* *
* International Lisp Conference 2010 *
* October 19-21, 2010 *
* John Ascuaga's Nugget (Casino) *
* Reno/Sparks, Nevada, USA (near Lake Tahoe) *
* *
* Collocated with SPLASH 2010 (OOPSLA & DLS & more) *
* see also http://splashcon.org as well as *
* http://www.dynamic-languages-symposium.org/dls-10/ *
* *
* In association with ACM SIGPLAN (PENDING) *
* *
***********************************************************************
The Association of Lisp Users is pleased to announce that the 2010
International Lisp Conference will be held in Reno, Nevada, in
collocation with SPLASH 2010. The scope includes all areas related to
the Lisp family of programming languages.
Accepted papers will be published in the ACM Digital Library (PENDING).
Extended Abstracts and Papers must be written in English and submitted
electronically at http://www.easychair.org/conferences?conf=ilc2010 in
PDF or WORD format. If an Extended Abstract is submitted, it must be
between 2 and 4 pages, with full paper to follow before final deadline.
Final submissions must not exceed 15 pages and need to use the ACM
format, for which templates which can be found at:
http://www.acm.org/sigs/pubs/proceed/template.html.
Important Dates:
****************
* Deadline for Abstract Submission August 1, 2010
* Deadline for Paper Submission September 6, 2010
* Author notification September 20, 2010
* Final paper due (in electronic form) October 5, 2010
* Conference October 19-21, 2010
Scope:
******
Lisp is one of the greatest ideas from computer science and a major
influence for almost all programming languages and for all
sufficiently complex software applications.
The International Lisp Conference is a forum for the discussion of
Lisp and, in particular, the design, implementation and application of
any of the Lisp dialects. We encourage everyone interested in Lisp to
participate.
We invite high quality submissions in all areas involving Lisp
dialects and any other languages in the Lisp family, including, but
not limited to, ACL2, AutoLisp, Clojure, Common Lisp, ECMAScript,
Dylan, Emacs Lisp, ISLISP, Racket, Scheme, etc.
Topics may include any and all combinations of Lisp and:
* Language design and implementation
* Language critique
* Language integration, inter-operation and deployment
* Applications (especially commercial)
* 'Pearls' (of wisdom)
* Experience reports and case studies
* Reflection, meta-object protocols, meta-programming
* Domain-specific languages
* Programming paradigms and environments
* Parallel and distributed computing
* Software evolution
* Theorem proving
* Scientific computing
* Data mining
* Semantic web
We also encourage submissions about known ideas as long as they are
presented in a new setting and/or in a highly elegant way.
Authors concerned about the appropriateness of a topic may communicate
by electronic mail with the program chair prior to submission.
Each paper should explain its contributions in both general and
technical terms, identifying what has been accomplished, explaining
why it is significant, and comparing it with previous work. Authors
should strive to make their papers understandable to a broad audience.
Each paper will be judged according to its significance, novelty,
correctness, clarity, and elegance.
The official language of the conference is English. Some further
information is available at the conference web site, with more details
added later. See: http://www.international-lisp-conference.org
Technical Program:
******************
Original submissions in all areas related to the conference themes are
invited for the following categories.
* Papers: Technical papers of up to 15 pages that describe original
results or explain known ideas in new and elegant ways, or extended
abstracts of 4 pages soon followed by the corresponding full paper.
* Demonstrations: Abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
* Tutorials: Abstracts of up to 4 pages for in-depth presentations
about topics of special interest for at least 90 minutes and up to
180 minutes.
* Workshops: Abstracts of up to 4 pages for groups of people who
intend to work on a focused topic for half a day.
* Panel discussions: Abstracts of up to 4 pages for discussions about
current themes. Panel discussion proposals must mention panel
members who are willing to partake in a discussion.
* Lightning talks: Abstracts of up to one page for talks to last for
no more than 5 minutes.
Depending on the technical content, each submitted paper will be
classified by the program committee as either a technical paper or as
an experience paper; and authors will be informed about this
classification. Note that all interesting submissions are considered
valuable contributions to the success of the ILC series of
conferences. As in past ILC's since 2007, accepted papers in both
categories will be presented at the conference, included in the
proceedings, and submitted to the ACM digital library.
Organizing Committee:
*********************
* General Chair:
JonL White The Ginger IceCream Factory of Palo Alto, ALU
* Program Chair:
Antonio Leitao Instituto Superior Tecnico/INESC-ID
* Conference Treasurer:
Duane Rettig Franz, Inc., ALU Director
* Publicity Chair:
Daniel Herring ALU Director
* ALU Treasurer:
Rusty Johnson TASC, Inc., ALU Director
Program Committee:
******************
* Antonio Leitao Instituto Superior Tecnico/INESC-ID, Portugal
* Alex Fukunaga University of Tokyo, Japan
* Charlotte Herzeel Vrije Universiteit Brussel, Belgium
* Christophe Rhodes Goldsmiths College, University of London, UK
* Didier Verna EPITA Research and Development Laboratory, France
* Duane Rettig Franz, Inc., USA
* Giuseppe Attardi University of Pisa, Italy
* Jeff Shrager Symbolic Systems Program, Stanford University, USA
* Joe Marshall Google, Inc., USA
* Julian Padget University of Bath, UK
* Keith Corbet Clozure Associates, USA
* Kent Pitman PTC, USA
* Manuel Serrano INRIA Sophia Antipolis, France
* Marc Feeley University of Montreal, Canada
* Marie Beurton-Aimar University of Bordeaux 1, France
* Mark Stickel SRI International, USA
* Matthias Felleisen Northeastern University, USA
* Scott McKay ITA Software, USA
Contacts:
*********
* Questions: ilc10-organizing-committee at alu.org
* Program Chair: ilc2010 at easychair.org
For more information, see http://www.international-lisp-conference.org
--
Resistance is futile. You will be jazzimilated.
Scientific site: http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com
EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22
Bonjour,
nous avons le plaisir de vous inviter au séminaire des étudiants du
LRDE. Il aura lieu le mercredi 9 juin 2010 à 14 heures en Amphi Masters
(KB).
-----------------------------------------------------------------------
Au programme:
*CLIMB, OLENA, SPOT, VAUCANSON*
http://publis.lrde.epita.fr/Seminar-2010-06-09
CLIMB
* 14h00 : Généricité par propriétés : une approche dynamique -- Loïc
Denuzière
* 14h30 : Approche fonctionnelle de la généricité du traitement d'image
et documentation de projet -- Christopher Chedeau
OLENA
* 15h00 : Filtrage à base de contours pour la segmentation d'images --
Edwin Carlinet
* 15h30 : Outils pour la dématérialisation dans SCRIBO -– Julien Marquegnies
SPOT
* 16h15 : Minimisation d’automates représentant des obligations -– Félix
Abecassis
VAUCANSON
* 16h45 : Vers Vaucanson 2.0 -– Alex Hamelin
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
CLIMB
* 14h00 : Généricité par propriétés : une approche dynamique -- Loïc
Denuzière
La généricité par propriétés est un paradigme de programmation orientée
objet qui permet de modéliser de manière générique certains systèmes
délicats à représenter en programmation objet classique. Elle a été
introduite par le paradigme orienté C++ SCOOP utilisé dans Olena, une
bibliothèque de traitement d'images. Le principe fondamental est de
caractériser une classe non pas par ses relations d'héritage, mais par
une liste des propriétés que possèdent ses instances. Nous présenterons
ce paradigme et montrerons qu'il peut s'étendre à d'autres langages que
le C++ et d'autres domaines d'application que le traitement d'images.
Nous introduirons ensuite un exemple d'implémentation de généricité par
propriétés en Common Lisp qui tire parti des capacités dynamiques de ce
langage ainsi que de son extensibilité.
* 14h30 : Approche fonctionnelle de la généricité du traitement d'image
et documentation de projet -- Christopher Chedeau
Olena est l'une des bibliothèques de traitement d'images dont la
généricité est la plus poussée. Celle-ci vient principalement d'une
vision différente de la notion d'image via des concepts clés tels que
les fenêtres, accumulateurs ainsi que les morphers. On va s'attacher à
en faire une description détaillée ainsi que montrer comment les
implémenter en Lisp.
La documentation d'un projet comme Olena est une tâche difficile. Il
faut d'abord faire changer les mentalités et voir la documentation comme
un gain de temps et non l'inverse. La documentation doit être un effort
collaboratif et s'adresser à un large panel de personnes. Des conseils
pratiques de mise en application sont enfin disponibles pour vous aider
dans votre projet.
OLENA
* 15h00 : Filtrage à base de contours pour la segmentation d'images --
Edwin Carlinet
Nous proposons une nouvelle méthode basée sur l'utilisation des
contours, dédiée à la segmentation des images. Les derniers temps ont
été marqués par le développement des techniques de traitement d'image
utilisant les filtres connectés qui préservent les contours des objets
et deviennent ainsi de puissants outils à des fins de segmentation. Les
méthodes de segmentation à base d'opérateurs connectés procèdent
généralement en deux étapes. Elles calculent un attribut sur les
composantes connectées puis filtrent celles qui ne satisfont pas un
critère. Nous proposons un nouvel algorithme basé sur l'union-find qui
permet de calculer un attribut sur les contours des composantes
connectées. Nous introduisons ainsi les attributs basés sur les contours
et en proposons qui évaluent l'énergie d'une composante connectée. Pour
finir, nous concluons avec le filtrage à base de contours pour produire
une nouvelle méthode de segmentation.
* 15h30 : Outils pour la dématérialisation dans SCRIBO -– Julien Marquegnies
SCRIBO, pour Semi-automatic and Collaborative Retrieval of Information
Based on Ontologies, est un projet de dématérialisation et d'annotation
semi-automatique ayant pour finalité la mise en place d'algorithmes et
d'outils collaboratifs visant à extraire des connaissances à partir de
textes et d'images.
L'extraction des différentes structures d'un document numérisé se base
sur la mise en place d'une chaîne de traitements constituée d'un certain
nombre d'étapes primordiales afin d'optimiser la qualité du rendu. Le
redressement de l'image, en amont de la chaîne, est une phase nécessaire
afin de corriger l'éventuel angle dû à la numérisation du document. De
plus, l'extraction et l'étude des informations des caractères composant
le texte permet non seulement de réaliser une reconstitution la plus
fidèle possible du texte mais également de préparer ce dernier à son
passage dans l'OCR.
Ainsi, nous présenterons dans un premier temps un algorithme permettant
de détecter rapidement l'inclinaison d'un document pour de petits
angles, puis l'étude menée sur l'extraction des différentes
caractéristiques des caractères.
SPOT
* 16h15 : Minimisation d’automates représentant des obligations -– Félix
Abecassis
Le model checking est une discipline s’intéressant à la vérification
automatique de la conformité d’un système fini vis-à-vis d’une propriété.
Spot est une bibliothèque de model checking basée sur une approche
automate: le système à vérifier est représenté par un automate de Büchi
généralisé basé sur les transitions, les propriétés sont exprimées par
des formules de logique temporelle linéaire (LTL) et sont traduites en
automate de Büchi.
Les formules LTL peuvent être classées dans une hiérarchie selon le type
de propriété qu'elles représentent. Nous étudierons le cas des formules
LTL représentant des propriétés d'obligation, ces formules peuvent être
reconnues par un type plus précis d’automates dont il est possible de
calculer une forme minimale canonique.
VAUCANSON
* 16h45 : Vers Vaucanson 2.0 -– Alex Hamelin
Vaucanson est une plateforme de manipulation d'automates finis et de
transducteurs. Son utilisation a su mettre en évidence son interface
trop complexe lors de la manipulation des automates. Une nouvelle
approche de sa définition fut par conséquent considérée, impliquant
l'utilisation du concept de kind d'un automate. La précédente équipe de
développement de Vaucanson démarra cette série de changements qui se
conclurent par l'implémentation du kind labels-are-letters. Toutefois,
ces modifications lais- sèrent la bibliothèque dans un état de
fonctionnement transitoire.
Dans la continuité de leur travail et de façon à restaurer la force
ainsi que la généricité de Vaucanson, nous introduirons deux nouveaux
kind d'automates dans la bibliothèque: labels-are-words et
labels-are-series. Ce travail pourra mener à plusieurs changements
impliquant d'une part la réécriture d'algorithmes et d'autre part la
modification de structures de données, ceci afin de permettre une
manipulation plus facile, mais aussi plus puissante, des automates.
--
Daniela Becker
Responsable administrative du LRDE
