J'ai participé à la rencontre « Programmation sur automates cellulaires » organisée par Jean-Baptiste Yunès. Les grands noms des automates cellulaires en France étaient présents (comme à JAC 2008), et la rencontre a été plaisante. 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é.
À cause d'occupations familiales, je n'ai pas présenté de choses nouvelles. J'ai présenté ce que j'avais fait pour mon stage de DEA en 1995, à peine modifié. Il se trouve que je fais partie de la poignée de gens à avoir conçu de tels algorithmes (à base de signaux en particulier), et j'étais content de pouvoir participer à cette réunion.