Bonjour,
nous avons le plaisir de vous annoncer la sortie du n°25 du bulletin du
LRDE.
C'est un numéro spécial dédié aux parcours professionnels d'anciens
élèves du LRDE depuis la promo 2000 jusqu'à celle de 2011.
Vous y trouverez également les dernières publications et nouvelles du LRDE.
Vous pouvez télécharger le bulletin en couleur à la page suivante :
http://publis.lrde.epita.fr/201205-l-air-de-rien-25
--
Daniela Becker
Responsable administrative du LRDE
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
Mercredi 20 juin 2012 (14h00-16h00).
Au programme:
* 14h00: GPU Computing : début d'une ère ou fin d'une époque ?
-- Eric Mahé, responsable du projet OpenGPU
L'arrivée des GPU (Graphics Processing Unit) a profondément changé la
manière de concevoir la notion de coprocesseur. A moins de 500€, il est
désormais possible d'avoir à sa disposition une puissance de calcul qui
n'était réservée jusqu'à un passé récent qu'aux grands centres de
calcul. La société Nvidia, en mettant au point l'environnement CUDA, a
fourni à la communauté des développeurs des moyens simples et efficaces
pour rendre cette puissance de calcul accessible au plus grand nombre.
Depuis, sous l'impulsion de la société Apple, le standard OpenCL est
venu ouvrir la voie d'une véritable parallélisation des applications sur
l'ensemble des ressources processeur offertes aux développeurs.
Cet exposé décrira les différentes technologies permettant la
programmation parallèle des GPU en mettant l'accent sur les contraintes
actuelles et les progrès à venir des futures architectures comme le
processeur Kepler. Des démonstrations ainsi que des exemples de code
viendront compléter cet exposé.
-- Eric Mahé a été responsable des nouvelles technologies au sein de
l'équipe marketing de Sun France pendant 20 ans après avoir occupé
différents postes de chef de projet dans le domaine du nucléaire et de
la défense. Son rôle fut d'évangéliser les choix technologiques et
stratégiques de Sun auprès des communautés concernées par le langage
Java, les développements du Logiciel Libre et les applications
citoyennes de la fédération d'identité basées sur le projet Liberty
Alliance. Diplômé de plusieurs troisièmes cycles en marketing, biologie
et informatique, Eric Mahé est administrateur de l'association Silicon
Sentier, expert auprès du pôle de compétitivité CAP Digital et
professeur de communication à l'université René Descartes – Paris V.
-- Eric Mahé assure depuis 2009 la direction du projet OpenGPU dont
l'objectif est la mise au point de nouvelles chaînes de compilation à
destination des architectures hybrides GPU/CPU et a fondé la société
MassiveRand spécialisée dans les nombres aléatoires dans le domaine de
la sécurité.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.
--
Akim Demaille
Akim.Demaille(a)lrde.epita.fr
_______________________________________________
Seminaire mailing list
Seminaire(a)lrde.epita.fr
https://www.lrde.epita.fr/mailman/listinfo/seminaire
CALL FOR PAPERS
SAC'13 - ACM 2013 SYMPOSIUM ON APPLIED COMPUTING
Technical Track on "Programming Languages"
March 18-22, 2013
Coimbra, Portugal
SAC '13
Over the past 27 years, the ACM Symposium on Applied Computing has become a
primary forum for applied computer scientists,
computer engineers, software engineers, and application developers from around
the world to interact and present their work.
SAC 2013 is sponsored by the ACM Special Interest Group on Applied Computing
(SIGAPP). For additional information, please
check the SAC web page: http://www.acm.org/conferences/sac/sac2013/. This
document is also available at:
http://www.cse.unt.edu/~bryant/sac2013/PL-SAC13-CFP.pdf
PROGRAMMING LANGUAGES (PL) TRACK
A technical track on Programming Languages will be held at SAC'13. It will be
a forum for engineers, researchers and practitioners throughout the world to
share technical ideas and experiences relating to implementation and
application of programming languages. Original papers and experience reports
are invited in all areas of programming languages. Major topics of interest
include but are not limited to the following:
− Compiling Techniques,
− Domain-Specific Languages,
− Formal Semantics and Syntax,
− Garbage Collection,
− Language Design and Implementation,
− Languages for Modeling,
− Model-Driven Development and Model Transformation,
− New Programming Language Ideas and Concepts,
− New Programming Paradigms,
− Practical Experiences with Programming Languages,
− Program Analysis and Verification,
− Program Generation and Transformation,
− Programming Languages from All Paradigms (Agent-Oriented, Aspect-Oriented,
Functional, Logic, Object-Oriented, etc.),
− Visual Programming Languages.
GUIDELINES FOR SUBMISSION
Paper submissions must be original, unpublished work. Submissions should be in
electronic format, via the START site:
https://www.softconf.com/c/sac2013/.
Author(s) name(s) and address(es) must not appear in the body of the paper,
and self-reference should be avoided and made
in the third person. Submitted papers will undergo a blind review process.
Authors of accepted papers should submit an
editorial revision of their papers that fits within six two-column pages (an
extra two pages, to a total of eight pages,
may be available at a charge). Please comply with this page limitation already
at submission time. For accepted papers,
registration for the conference is required and allows accepted papers to be
printed in the conference proceedings.
For each accepted paper, an author or a proxy attending SAC MUST present the
paper. This is a requirement for the paper
to be included in the ACM/IEEE digital library. A set of selected papers,
which did not get accepted as full papers,
will be accepted as poster papers and will be published as extended 2-page
abstracts in the symposium proceedings.
After the conference, selected accepted papers will be invited to a special
issue of the Computer Languages, Systems and
Structures journal
(http://www.journals.elsevier.com/computer-languages-systems-and-structures/).
IMPORTANT DATES
September 21, 2012: Full Paper Submissions
November 10, 2012: Author Notification
November 30, 2012: Camera-Ready Copy
The SAC 2013 Programming Language Track Program Committee Members
Vasco Amaral, Universidade Nova de Lisboa, Portugal
Roberto da Silva Bigonha, Universidade Federal de Minas Gerais, Brasil
Haiming Chen, Chinese Academy of Sciences, China
Johan Fabry, University of Chile, Chile
Sebastian Guenter, Vrije Universiteit Brussel, Belgium
Gopal Gupta, University of Texas at Dallas, USA
Christian Haack, University of Nijmegen, The Netherlands
Christian Hammer, Saarland University, Germany
Matthias Hauswirth, University of Lugano, Switzerland
Pedro Henriques, University of Minho, Portugal
Michael Hind, IBM, USA
Nigel Horspool, University of Victoria, Canada
Zoltan Horvath, Eotvos Lorand University, Hungary
Bo Huang, Intel, China
Geylani Kardas, Ege University, Turkey
Shih Hsi "Alex" Liu, California State University, Fresno, USA
Hanspeter Moessenboeck, Johannes Kepler Universitat Linz, Austria
Jesús García Molina, University of Murcia, Spain
Nikolaos Papaspyrou, National Technical University of Athens, Greece
Corneliu Popeea, Technical University of Munich, Germany
Andre Santos, Universidade Federal de Pernambuco, Brazil
Bostjan Slivnik, University of Ljubljana, Slovenia
Didier Verna, EPITA, France
Wuu Yang, National Chiao-Tung University, Taiwan
Youtao Zhang, University of Pittsburgh, USA
Track Chairs
Marjan Mernik, University of Maribor, Slovenia, marjan.mernik(a)uni-mb.si
Barrett Bryant, University of North Texas, USA, Barrett.Bryant(a)unt.edu
--
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
We are pleased to announce the release of Spot 0.9.
Spot is a model-checking library developed collaboratively by LRDE and
LIP6. It provides algorithms and data structures to implement the
automata-theoretic approach to LTL model checking.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.9.tar.gz (11MB)
The major news in this release are all related to the
logic-to-Büchi-automaton translation engine:
1. The linear-time fragment of PSL is supported.
This first implementation, enough to experiment with the
logic, shall be improved in future versions.
(Feedback most welcome.)
2. The LTL simplification code has been overhauled and
augmented with new rules.
3. A new simulation-based post-processing can be used
to simplify the TGBA constructed.
For more details about the first two points (supported operators, and
rewritings performed), please read the file doc/tl/tl.pdf included in
spot-0.9.tar.gz.
A consequence of the last two points is that Spot 0.9 is faster than
Spot 0.8.3 and can produce even smaller automata. For some
comparative benchmarks, please download
http://spot.lip6.fr/dl/bench-0.9.pdf
Please direct any feedback and questions to <spot(a)lrde.epita.fr>.
(Subscribe at https://www.lrde.epita.fr/mailman/listinfo/spot if you wish.)
A more detailed list of new features follows.
New in spot 0.9 (2012-05-09):
* New features:
- Operators from the linear fragment of PSL are supported. This
basically extends LTL with Sequential Extended Regulat
Expressions (SERE), and a couple of operators to bridge SERE and
LTL. See doc/tl/tl.pdf for the list of operators and their
semantics.
- Formula rewritings have been completely revamped, and augmented
with rules for PSL operators (and some new LTL rules as well).
See doc/tl/tl.pdf for the list of the rewritings implemented.
- Some of these rewritings that may produce larger formulas
(for instance to rewrite "{a;b;c}" into "a & X(b & Xc)")
may be explicitely disabled with a new option.
- The src/ltltest/randltl tool can now generate random SEREs
and random PSL formulae.
- Only one translator (ltl2tgba_fm) has been augmented to
translate the new SERE and PSL operators. The internal
translation from SERE to DFA is likely to be rewriten in a
future version.
- A new function, length_boolone(), computes the size of an
LTL/PSL formula while considering that any Boolean term has
length 1.
- The LTL/PSL parser recognizes some UTF-8 characters (like ◇ or
∧) as operators, and some output routines now have an UTF-8
output mode. Tools like randltl and ltl2tgba have gained an -8
option to enable such output. See doc/tl/tl.pdf for the list
of recognized codepoints.
- A new direct simulation reduction has been implemented. It
works directly on TGBAs. It is in src/tgbaalgos/simlation.hh,
and it can be tested via ltl2tgba's -RDS option.
- unabbreviate_wm() is a function that rewrites the W and M operators
of LTL formulae using R and U. This is called whenever we output
a formula in Spin syntax. By combining this with the aforementioned
PSL rewriting rules, many PSL formulae that use simple SERE can be
converted into LTL formulae that can be feed to tools that only
understand U and R. The web interface will let you do this.
- changes to the on-line translator:
+ SVG output is available
+ can display some properties of a formula
+ new options for direct simulation, larger rewritings, and
utf-8 output
- configure --without-included-lbtt will prevent LBTT from being
configured and built. This helps on systems (such as MinGW)
where LBTT cannot be built. The test-suite will skip any
LBTT-based test if LBTT is missing.
* Interface changes:
- Operators ->, <->, U, W, R, and M are now parsed as
right-associative to better match the PSL standard.
- The constructors for temporal formulae will perform some trivial
simplifications based on associativity, commutativity,
idempotence, and neutral elements. See doc/tl/tl.pdf for the
list of such simplifications.
- Formula instances now have many methods to inspect their
properties (membership to syntactic classes, absence of X
operator, etc...) in constant time.
- LTL/PSL formulae are now handled everywhere as 'const formula*'
and not just 'formula*'. This reflects the true nature of these
(immutable) formula objects, and cleanups a lot of code.
Unfortunately, it is a backward incompatible change: you may have
to add 'const' to a couple of lines in your code, and change
'ltl::const_vistitor' into 'ltl::visitor' if you have written a
custom visitor.
- The new entry point for LTL/PSL simplifications is the function
ltl_simplifier::simplify() declared in src/ltlvisit/simplify.hh.
The ltl_simplifier class implements a cache.
Functions such as reduce() or reduce_tau03() are deprecated.
- The old game-theory-based implementations for direct and delayed
simulation reductions have been removed. The old direct
simulation would only work on degeneralized automata, and yet
produce results inferior to the new direct simulation introduced
in this release. The implementation of delayed simulation was
unreliable. The function reduc_tgba_sim() has been kept
for compatibility (it calls the new direct simulation whatever
the type of simulation requested) and marked as deprecated.
ltl2tgba's options -Rd, -RD are gone. Options -R1t, -R1s,
-R2s, and -R2t are deprecated and all made equivalent to -RDS.
- The tgba_explicit hierarchy has been reorganized in order to
make room for sba_explicit classes that share most of the code.
The main consequence is that the tgba_explicit type no longuer
exists. However the tgba_explicit_number,
tgba_explicit_formula, and tgba_explicit_string still do.
========================================================================
Séminaire MeFoSyLoMa
http://www.mefosyloma.fr/j2012-05-04.html
Méthodes Formelles pour Les Systèmes Logiciels et Matériels
Vendredi 4 mai 2012, 14h-17h
Adresse :
Epita, Amphi 4 (derrière la verrière à gauche dans la cour)
24 rue Pasteur, 94270 Le Kremlin-Bicêtre
Métro Porte d'Italie
Plans d'accès :
http://maps.google.fr/maps?q=48.815379,2.363139http://www.lrde.epita.fr/~adl/dl/lrde-amphi4.pdf
========================================================================
Le séminaire MeFoSyLoMa est animé conjointement par les laboratoires
Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris 12), LIP6 (UPMC),
LIPN (Univ. Paris 13), LRDE (Epita), LSV (École Normale Supérieure de
Cachan) et LTCI (TELECOM ParisTech). Son objet est de permettre la
confrontation de différentes approches ou points de vue sur
l'utilisation des méthodes formelles dans les domaines du génie
logiciel, de la conception de circuit, des systèmes répartis, des
systèmes temps-réel ou encore des systèmes d'information. Il
s'organise autour de réunions bimestrielles où sont exposés des
travaux de recherche récents sur ce thème.
========================================================================
Programme
14h00-15h00 (Amphi 4) : Serge Haddad (LSV)
Synthesis and Analysis of Product-form Petri Nets
For a large Markovian model, a “product form” is an explicit
description of the steady-state behaviour which is otherwise
generally untractable. Being first introduced in queueing networks,
it has been adapted to Markovian Petri nets. Here we address three
relevant issues for product-form Petri nets which were left fully or
partially open: (1) we provide a sound and complete set of rules for
the synthesis; (2) we characterise the exact complexity of classical
problems like reachability; (3) we introduce a new subclass for
which the normalising constant (a crucial value for product-form
expression) can be efficiently computed.
15h00-15h30 (Amphi 4) : Samira Chaou (LACL)
Modélisation et analyse d'un système de notation dans un système de
stockage pair-à-pair.
Dans un système de stockage de données distribué, la disponibilité
des données est une propriété critique à assurer. Pour analyser la
robustesse du système de stockage UbiStorage on a procédé à
l'évaluation de ce dernier en présence d'attaquants internes en
utilisant la simulation. Pour résoudre le problème de perte de
données ainsi détecté, un système de réputation est mis en
place. Dans cet exposé, nous allons voir l'utilisation du formalisme
ABCD pour la modélisation du système de stockage pair-à-pair
d'UbiStorage et la modélisation des différentes attaques ainsi que
du système de notation. Nous allons aussi voir les résultats
d'analyse par model-checking du système de notation.
15h30-16h00 (LRDE) : pause café
Elle aura lieu dans la bibliothèque du LRDE, au 18 rue Pasteur (2e étage).
16h00: vie du groupe (dans une salle voisine).
========================================================================
--
Alexandre Duret-Lutz
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
Mercredi 9 mai 2012 (14h00-17h30).
Au programme:
* 14h00: Un modèle générique de traitement et de représentation des images
-- Antoine Manzanera
http://www.ensta-paristech.fr/~manzaner
Concilier généricité et performance des systèmes de vision a toujours
été au cœur des préoccupations scientifiques du laboratoire
d'Électronique et Informatique d'ENSTA-ParisTech. Nous y avons abordé ce
problème sous différents points de vue: électronique, algorithmique, et
logiciel. Depuis nos travaux sur les rétines programmables et leur
algorithmique exotique, nous avons progressivement intégré la
multiplicité des modèles et structures de données, ainsi que l'emprise
des architectures sur étagères, pour appréhender l'hétérogénéité des
systèmes multi-plateformes.
Dans cette présentation à deux voix, on abordera le problème sous deux
angles complémentaires, l'un touchant au modèle et aux algorithmes,
l'autre au logiciel et aux plateformes de calcul.
Ce premier exposé présente un modèle générique de traitement et de
représentation des images fondé sur les espaces de caractéristiques
"local jets" (LJ, ou dérivées partielles multi-échelles), comme exemple
de cadre algorithmique unifié. Grâce à un espace où la métrique
naturelle est directement liée à la similarité visuelle, ce cadre permet
d'aborder un grand nombre d'opérateurs de traitement d'images de bas
niveau, qui correspondent généralement à la rétro-projection dans
l'espace image de points de l'espace des caractéristiques transformé. Il
permet aussi d'aborder des représentations visuelles de plus haut niveau
(modèles d'objet par exemple) à partir de statistiques globales
extraites de l'espace des caractéristiques. On justifiera cette
représentation et on l'illustrera par diverses applications : Moyennes
non locales (NL-Means) par Convolution dans l'espace LJ pour le
débruitage de vidéos, Calcul du flux optique par recherche du plus
proche voisin dans l'espace LJ, Modélisation de fond statique par
échantillonnage de l'espace LJ, Détection d'objets par transformée de
Hough dense...
-- Antoine Manzanera est diplômé de l'Université Claude Bernard à Lyon
(Licence de Maths 1991 et Master d'Informatique Fondamentale 1993), et
Docteur de Télécom-ParisTech en Signal et Images ("Vision artificielle
rétinienne", 2000). Depuis 2001 il est Enseignant-Chercheur à
l'ENSTA-ParisTech. Dans ses recherches, il s'intéresse au Traitement
d'Images et à la Vision de bas niveau, du modèle mathématique à
l'implantation parallèle sur un système embarqué. Il enseigne
principalement en 2ème et 3ème année du cycle Ingénieur ENSTA, et dans
le Master d'Informatique de l'UMPC (Paris 6), dans les spécialités
Imagerie et IAD.
* 15h30: Analyse des mouvements apparents dans un flux vidéo
-- Matthieu Garrigues
http://www.ensta-paristech.fr/~garrigues
Dans ce second exposé, Matthieu Garrigues parlera de ses travaux sur
l'analyse des mouvements apparents dans un flux vidéo. La primitive de
base, présentée dans un séminaire précédent, permet le suivi temps réel
(supérieur à 30 images par seconde) de plusieurs milliers de particules.
Ces travaux nous ont permis de développer un cadre générique facilitant
l'analyse de scènes dynamiques prises de caméras fixes ou mobiles. Nous
montrerons comment cette brique logicielle a été utilisée dans deux
exemples d'applications : L'extraction des plans principaux et
l'estimation de la profondeur dans un système mono-caméra. Le suivi de
particules a été implémenté sur processeurs graphiques avec le framework
CUDA, et sur CPU-multicœurs avec OpenMP. Nous expliquerons comment C++ a
été utilisé pour factoriser un maximum de code entre ces deux
implémentations.
-- Matthieu Garrigues est diplômé de la promotion CSI 2009 de l'EPITA.
Depuis, il s'intéresse au développement et à l'implantation
d'applications de vision sur des architectures parallèles. Il est
actuellement ingénieur de recherche à l'unité d'électronique et
d'informatique de l'ENSTA, où il travaille sur l'analyse temps réel de
scènes acquises par des systèmes mobiles mono-caméra.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.
--
Akim Demaille
Akim.Demaille(a)lrde.epita.fr
_______________________________________________
Seminaire mailing list
Seminaire(a)lrde.epita.fr
https://www.lrde.epita.fr/mailman/listinfo/seminaire
Dear all,
I'm happy to inform you that my contribution to the next TeX Users Group
international conference, TUG 2012, has been accepted. Please find the
title and abstract below.
Star TeX, the Next Generation
In 2010, I asked Donald Knuth why he chose to design and implement TeX as a
macro-expansion system (as opposed to more traditional procedure calls). His
answer was that:
1/ he wanted something relatively simple for his secretary who was not a
computer scientist,
2/ the very limited computing resources at that time practically mandated the
use of something much lighter than a true programming language.
The first part of the answer left me with a slight feeling of skepticism. It
remains to be seen that TeX is simple to use, and when or where it is, its
underlying implementation has hardly anything to do with it.
The second part of the answer, on the other hand, was both very convincing and
arguably now obsolete as well. Time has passed and the situation today is very
different from what it was 50 years ago. The available computing power has
grown exponentially, and so has our overall skills in language design and
implementation.
Several ideas on how to modernize TeX already exist. Some have been actually
implemented. In this talk, I will present mine. Interestingly enough, it seems
to me that modernizing TeX can start with grounding it in an old yet very
modern programming language: Common Lisp. I will present the key features that
make this language particularly well suited to the task, emphasizing on points
such as extensibility, scriptability and multi-paradigm programming. The
presentation will include reflections about the software engineering aspects
(internals), as well as about the surface layer of TeX itself. Most notably, I
will explore the possibilities of providing a more consistent syntax to the
TeX API, while maintaining backward compatibility with the existing code base.
--
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
Hello,
my Onward! 2011 essay, entitled "Biological Realms in Computer Science",
has been published in the ACM Digital Library and is now available
online. You can download it at the following address:
http://www.lrde.epita.fr/~didier/research/publis.php#verna.11.onward
In biology, evolution is usually seen as a tinkering process, different
from what an engineer does when he plans the development of his systems.
Recently, studies have shown that even in biology, there is a part of
good engineering. As computer scientists, we have much more difficulty
to admit that there is also a great deal of tinkering in what we do, and
that our software systems behave more and more like biological realms
every day. This essay relates my personal experience about this
discovery.
--
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
Dear collegues,
I'm happy to inform you that our paper entitled
"Generic Image Processing with CLIMB"
has just been accepted to the next European Lisp Symposium (April 30 -
May 1, Zadar, Croatia). Please find the abstract below:
We present Climb, an experimental generic image processing library
written in Common Lisp. Most image processing libraries are developed in
static languages such as C or C++ (often for performance reasons). The
motivation behind Climb is to provide an alternative view of the same
domain, from the perspective of dynamic languages. More precisely, the
main goal of Climb is to explore the dynamic way(s) of addressing the
question of genericity, while applying the research to a concrete
domain. Although still a prototype, Climb already features several
levels of genericity and ships with a set of built-in algorithms as well
as means to combine them.
--
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
Chers collègues,
attention : changement d'horaire !
Le séminaire commencera à 14h30 et non à 14h.
Au programme:
* 14h: Le point de vue d'un théoricien sur l'intérêt de la généricité pour le traitement d'images
-- Laurent Najman
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.
--
Akim Demaille
Akim.Demaille(a)lrde.epita.fr
_______________________________________________
Seminaire mailing list
Seminaire(a)lrde.epita.fr
https://www.lrde.epita.fr/mailman/listinfo/seminaire