
Le LITIS (Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes) organisera du 11 au 13 juin 2012 à Rouen, une rencontre SDA2 (Systèmes Dynamiques, Automates et Algorithmique) du pôle Algorithmique et Combinatoire du GDR IM (Informatique Mathématique) du CNRS.
Cette rencontre constituera la réunion annuelle du groupe de travail SDA2. Elle sera l'occasion pour les jeunes chercheurs de présenter leurs travaux dans ces domaines. Des tutoriels seront également dispensés par des chercheurs confirmés.
Thèmes principaux :
- Automates et langages formels
- Systèmes dynamiques discrets, dynamique symbolique
- Automates cellulaires
- Systèmes de numération
Conférenciers invités:
- Nathalie Aubrun (Université de Turku, Finlande),
- Émilie Charlier (Université libre de Bruxelles, Belgique),
- Julien David (LIPN, Université de Paris 13, France),
- Jean-Éric Pin (LIAFA, CNRS, Université de Paris 7, France),
- Michel Rigo (Institut de Mathématiques, Université de Liège, Belgique)
- Marc Tommasi (LIFL, Université de Lille 3, France)
- Bruce Watson (FASTAR Research Group, Centre for Knowledge Dynamics and Decision-Making, Stellenbosch University, South Africa)
Télécharger l'affiche
+ de détails sur le programme :
http://jmc2012.colloques.univ-rouen.fr/
Date : du 11 au 13 juin 2012
Lieu : l'amphi A150 de la faculté de droit,
Avenue Pasteur à Rouen.