Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has ...

Quant aux enseignantes, elles verront peu à peu leur statut être reconnu et leur formation s’améliorer avec la création des écoles normales pour le primaire (ou écoles normales primaires) puis celle ...