Annonce July 2020

annonce@lrde.epita.fr

3 participants
3 discussions

by Didier Verna

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

4 years, 5 months

New publication: Practical “paritizing” of Emerson-Lei automata

by Florian Renkin

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

4 years, 5 months

Soutenance Julie Rivet 17 juillet 14h

by jrivet

**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

4 years, 5 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce July 2020