Foreword, with a Dedication to Vladimir Gerdt

Matthew England (1) , François Boulier (2) , Timur Sadykov (3) , Thomas Sturm (4, 5, 6)

1 Coventry University
2 Université de Lille
3 PRUE - Plekhanov Russian University of Economics [Moscow]
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
5 MOSEL - Proof-oriented development of computer-based systems
6 MPII - Max-Planck-Institut für Informatik

Domaines: Calcul formel [cs.SC]; Logique en informatique [cs.LO]; Réseaux moléculaires [q-bio.MN]; Géométrie algébrique [math.AG]; Systèmes dynamiques [math.DS]

Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Foreword, with a Dedication to Vladimir Gerdt. Mathematics in Computer Science, 2021, 15 (3), pp.369 - 371. ⟨10.1007/s11786-021-00509-0⟩. ⟨hal-03438175⟩