Deuxième atelier sur les modèles non classiques d'automates et d'applications à Iéna, en Allemagne
23 Août 2010 - 23 Août 2010
Allemagne
Le deuxième atelier sur les modèles non classiques d'automates et d'applications (NCMA - Non-Classical Models of Automata and Applications), aura lieu les 23 et 24 août 2010 à Iéna, en Allemagne
De nombreux modèles d'automates non classiques sont des éléments de l'informatique théorique. Ils sont étudiés selon différents points de vue, en tant que concepts théoriques mais aussi comme modèles formels pour des applications. Cet atelier vise à regrouper des chercheurs travaillant sur différents aspects de variantes de modèles non classiques, afin d'échanger et de développer des idées originales. Une couverture interdisciplinaire plus large de ce domaine particulier pourrait conduire à de nouvelles idées et à des progrès substantiels.
Parmi les sujets traités lors de l'atelier, citons:
- les automates d'inspiration biologique,
- les automates cellulaires
- les automates à redémarrage (restarting), les automates sans mémoire,
- les automates aux ressources complémentaires,
- les réseaux d'automates, de coopération et de communication,
- les automates quantiques
- les autres modèles formels inspirés par la linguistique, la bioinformatique, le traitement de texte, l'ingénierie de document et l'auto-assemblage.Pour de plus amples informations, consulter:
http://www.informatik.uni-giessen.de/ncma2010/(s’ouvre dans une nouvelle fenêtre)
De nombreux modèles d'automates non classiques sont des éléments de l'informatique théorique. Ils sont étudiés selon différents points de vue, en tant que concepts théoriques mais aussi comme modèles formels pour des applications. Cet atelier vise à regrouper des chercheurs travaillant sur différents aspects de variantes de modèles non classiques, afin d'échanger et de développer des idées originales. Une couverture interdisciplinaire plus large de ce domaine particulier pourrait conduire à de nouvelles idées et à des progrès substantiels.
Parmi les sujets traités lors de l'atelier, citons:
- les automates d'inspiration biologique,
- les automates cellulaires
- les automates à redémarrage (restarting), les automates sans mémoire,
- les automates aux ressources complémentaires,
- les réseaux d'automates, de coopération et de communication,
- les automates quantiques
- les autres modèles formels inspirés par la linguistique, la bioinformatique, le traitement de texte, l'ingénierie de document et l'auto-assemblage.Pour de plus amples informations, consulter:
http://www.informatik.uni-giessen.de/ncma2010/(s’ouvre dans une nouvelle fenêtre)