The seminar takes place in the meeting room of the second floor (1er étage) of the PROMES laboratory. It is scheduled on Monday at 10:30PM.
Jean-Christophe Dubacq (Université Paris 13)
Lors de la journée « Programmation sur automates cellulaires » organisée par Jean-Baptiste Yunès, nous avons devisé notamment de la nécessité de relancer un projet abandonné fin des années 90 (un simulateur d\'automates cellulaire programmable avec un méta-langage qui doit ressortir à partir de la communauté, notamment pour formaliser la notion de signaux et d\'autres outils pratiques de la réalisation concrète d\'automates cellulaires) et la question de savoir si le méta-langage devait contenir des méthodes pour aider à la production de preuves (par exemple, par calculs d\'invariants, ou aide à la preuve comme les méthodes utilisées dans le projet COQ). La conclusion est qu\'il faut probablement commencer par la première partie (simulation), et que la deuxième serait sans doute mieux à sa place dans un cadre connexe mais séparé.
'); $tpl->setVariable ($tpl_var); $tpl->show(); ?>