Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:fssp [2018/03/07 13:44]
apeiron actualisation Coq et LaTeX
fr:research:fssp [2018/03/29 16:06]
apeiron
Ligne 1: Ligne 1:
-Mon stage postdoctoral((Financé par l'ANR TARMAC 12 BS02 007 01.)) a commencé ​fin 2015. J'ai travaillé avec Jean-Baptiste Yunès et Luidnel Maignan ​à l'​Université Paris-Diderot ​sur le problème de la synchronisation dans les automates cellulaires,​ le << Firing Squad Synchronization Problem >>.+Ce travail est issu de mon stage postdoctoral((Financé par l'ANR TARMAC 12 BS02 007 01.)) de fin 2015 à fin 2016. J'ai travaillé avec Jean-Baptiste Yunès et Luidnel Maignan ​au [[http://​archives.liafa.univ-paris-diderot.fr|LIAFA]] ​sur le problème de la synchronisation dans les automates cellulaires,​ le << Firing Squad Synchronization Problem >>.
  
 ====== Versions ====== ====== Versions ======
  
-Pour l'​instant nous n'​avons implémenté {{ :​fr:​research:​fssp-coq-13.rar |en Coq}} que les résultats préliminaires,​ qui nous ont servi à déterminer à quel point les preuves devaient être détaillées pour être ensuite implémentées le plus facilement possible. La preuve de la correction des champs infinis est quasiment terminée, voici la dernière version du {{ :fr:​research:​fssp-report-17.pdf ​|rapport technique}}.+Pour l'​instant nous n'​avons implémenté {{ :​fr:​research:​fssp-coq-13.rar |en Coq}} que les résultats préliminaires,​ qui nous ont servi à déterminer à quel point les preuves devaient être détaillées pour être ensuite implémentées le plus facilement possible. La preuve de la correction des champs infinis est quasiment terminée ​et est disponible sur [[https://​hal.archives-ouvertes.fr/hal-01739317|HAL]].
  
 ====== Contexte du problème ====== ====== Contexte du problème ======