Université de Perpignan

---

L'équipe DALI est la jeune équipe de recherche en Informatique de l'Université de Perpignan. Créée en 2004, l'équipe DALI est d'abord soutenue par l'ACI Jeune Chercheur (JC-9276, 2003-2006) du Ministère délégué à la Recherche. En janvier 2007, elle devient une des trois équipes du laboratoire ELIAUS, EA 3679 (DS STIC), Université de Perpignan.

Présentation	Opportunités -- A voir
Membres	Stages
Publications	Recrutement emploi MCF en 2010
Liens	Séminaire
Contact	Rapports d'activités

A venir.

• SAS 2010, the 17th International Static Analysis Symposium, aura lieu à Perpignan du 14 au 16 septembre 2010 et est co-organisé par M. Martel et R. Cousot (Program co-chairs).

Actualités, en 2009.

• Décembre : Félicitations au Matthieu Martel, lauréat de l'appel à projets Chercheur d'avenir de la Région Languedoc-Roussillon, à Montpellier, le 15 décembre 2009.
• Décembre : Félicitations au Docteur Eric Petit qui a soutenu sa thèse à l'IRISA, Rennes, 3 décembre 2009.
• Décembre : Visite du comité d'évaluation AERES et expertise de DALI au LIRMM, Montpellier, 2 décembre 2009.
• Novembre : Ph. Langlois participe au Dagstuhl Seminar : Computer-assisted proofs: tools, methods and applications.
• Octobre : S. Collange, D. Defour, A. Ioualalen, Ph. Langlois et E. Petit participent à RAIM'09 : 3ème rencontres Arithmétique de l'Informatique Mathématique, 26 au 28 octobre 2009, Lyon.
• Septembre : M. Bouache, S. Collange, B. Goossens, D. Parello et E. Petit participent à Toulouse'09 du 9 au 11 septembre 2009.
• Septembre : M. Martel est presque en première page du magazine Le Point du 10 septembre 2009.
• Septembre : deux vrais-faux nouveaux dans l'équipe. E. Petit est ATER en 2009-2010 et A. Ioualalen commence sa thèse (direction : M. Martel, financement FNRAE).
• Août : S. Collange participe à Euro-Par 2009, 25-28 août 2009, Delft, Hollande.
• Juin : Bienvenue à L. Thévenoux stagiaire de master 1 dans l'équipe.
• Juin : L'équipe participe à la journée de prospective scientifique du LIRMM (UM2, CNRS) au Hameau de l'Etoile, St Martin de Londres.
• Juin : S. Collange participe à ARITH19, 8-10 juin 2009, Portland, Oregon, USA.
• Mai : D. Defour participe à ICCS 2009: Compute. Discover. Innovate., 25-27 mai 2009, Baton Rouge, Louisiana, USA.
• Mars : M. Bouache, D. Defour, B. Goossens et S. Collange participent à l'école thématique ARCHI09, 30 mars-3 avril 2009, Plomeur Bodou.
• Mars : Ph. Langlois est invité à INVA'09, 23-27 mars 2008, Miyako-jima, Japon.
• Février : Lancement du projet SARDANES financé par la Fondation pour la Recherche en Aéronautique et Espace (FNRAE).
• Février : A. Ioulalen et M. Martel participent au Workshop ES_PASS: Frontiers of abstract interpretation, Toulouse.
• Février : D. Parello participe aux Journées "Informatique Massivement Multiprocesseur et Multicoeur", co-organisées par D. Defour, Rocquencourt, 4-5 février 2009.
• Février : Ch. Negre est invité par Anwar Hasan au Département ECE de l'Université de Waterloo, Ontario, Canada.
• Février : Bienvenue à A. Ioualalen et Y. Yu, stagiaires de master 2 dans l'équipe.
• Février : D. Parello participe à 4th HiPEAC conference, Cyprus, January 25-28, 2009.
• Janvier : M. Martel participe à POPL 2009: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, Georgia, USA
• Janvier : M. Martel participe à PEPM'09: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, Georgia, USA
• Janvier : Bienvenue à E. Petit, ATER dans l'équipe.

Et les années précédentes ...