Dear all,
I am pleased to announce my habilitation defense, entitled
(dynamic (programming paradigms)) ;; performance and expressivity
to be held on Friday, July 10, 14:00 CEST. Due to the current pandemic,
the defense will take place on a Zoom public channel. The actual link to
the video-conference will be provided later on, at the following URL:
https://www.lrde.epita.fr/~didier/research/publications/papers.php#verna.20…
The jury is composed as follows.
Reporters:
Robert Strandh, University of Bordeaux, France
Nicolas Neuß, FAU, Erlangen-Nürnberg, Germany
Manuel Serrano, INRIA, Sophia Antipolis, France
Examiners:
Marco Antoniotti, University of Milan, Italy
Ralf Möller, Université of Lübech, Germany
Gérard Assayag, IRCAM, Paris, France
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
I am happy to announce that the following paper has been accepted at
the 18th International Symposium on Automated Technology
for Verification and Analysis (ATVA'20)
Practical "paritizing" of Emerson-Lei automata
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
https://www.lrde.epita.fr/wiki/Publications/renkin.20.atva [1]
Abstract:
We introduce a new algorithm that takes a Transition-based
Emerson-Lei Automaton (TELA), that is, an ω-automaton whose
acceptance condition is an arbitrary Boolean formula on sets of
transitions to be seen infinitely or finitely often, and
converts it into a Transition-based Parity Automaton (TPA). To
reduce the size of the output TPA, the algorithm combines and
optimizes two procedures based on a latest appearance record
principle, and introduces a partial degeneralization. Our
motivation is to use this algorithm to improve our LTL synthesis
tool, where producing deterministic parity automata is an
intermediate step.
--
Florian Renkin
Links:
------
[1] https://www.lrde.epita.fr/wiki/Publications/blahoudek.20.atva
**English below**
Bonjour à toutes et à tous,
J'ai le plaisir de vous inviter à la soutenance de ma thèse qui
s'intitule "Non-iterative methods for image improvement in digital
holography of the retina" (ci-joint un court résumé).
Elle aura lieu le 17 juillet à 14h, dans l'amphithéâtre 401 à l'EPITA,
14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre (pour plus d'informations :
https://www.lrde.epita.fr/wiki/Affiche-these-JR), dans le respect des
distances de sécurité.
Elle sera également diffusée par visioconférence. Le lien pour y accéder
vous sera communiqué prochainement.
La soutenance sera suivie d'un pot à côté de l'amphithéâtre.
A bientôt je l'espère,
Julie Rivet
--
Hello everyone,
I am pleased to invite you to the defense of my thesis entitled
"Non-iterative methods for image improvement in digital holography of
the retina" (a short abstract is attached).
It will take place on July 17th at 2pm, in the amphitheatre 401 at
EPITA, 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre (for more
information: https://www.lrde.epita.fr/wiki/Affiche-these-JR), with
respect to safety distances.
It will also be broadcast by videoconference. The link to access it will
be communicated to you shortly.
The defense will be followed by a toast next to the amphitheatre.
See you soon I hope,
Julie Rivet
