Nouvelle formation #breakdance à Manciet aujourd'hui à destination d'enseignant(e)s, ETAPS et apprentis BPJEPS ! Focus sur les rôles sociaux et l'inclusion pour coller au plus près des attentes des stagiaires ! 🔵🟡⚫️🟢🔴

En route pour Paris 2024 pour nos B-boys et B-girls ! 😏

Magnifiques Jeux Olympiques Ville de Moirans ! 800 élèves ont participé à de nombreuses rencontres sportives, ateliers créatifs, sports adaptés organisés par les ETAPS et enseignants des écoles et du collège Le Vergeron 💪👏 Paris 2024

Rastorgujevam šodien ļoti labs etaps!

Pre-Proceedings of FMBC-24 -- Formal Methods for Blockchains -- are online! You can find our paper about Securing the Aptos Framework with the Move Prover on page 127. Looking forward to present the work at the ETAPS event later today. fmbc.gitlab.io/2024/files/FMB…

The last ETAPS 2024 invited talk given by Ruzica Piskac has just started.

1. Etaps ir iziets. Atradu materiālu, kas tiks izmantots jaunajā video ir “How … really play csgo”
Jūs varat droši minēt komentāros, kurš ir latviešu spēlētājs vai komanda, kas tiks iesvētīts!

Inserting an ad-hoc talk about the implementation of the Move Prover at the Rust Verification Workshop here at ETAPS. There is a lot of relation of what we are doing with the Move Prover to Rust Verification. Perhaps in some future, we can extend this work from Move to Rust 😛

Jeudi, vendredi et hier, #formation #srav à ANGLET, en partenariat avec le #sdjes , à destination des Etaps et agents communaux : temps de réflexion et mise en pratique autour des 3 blocs, avec un groupe de stagiaires impliqué et motivé!!
Merci à Ville d'Anglet pour l'accueil!

Workshop talk done, on to the Industry Day on Tuesday with the larger ETAPS audience.

Deuxième sortie vélo sur la ViaRhôna pour valider le bloc 3 du #SRAV avec l’aide des parents agréés bénévoles et l’expertise de notre #ETAPS #EPS ⁦USEP DRÔME⁩ ⁦Ville de Bourg-lès-Valence⁩ ⁦TwictaDrôme⁩

Looking forward to talk at the ETAPS '24 Industry Day about Securing the Aptos Framework through Formal Verification. ETAPS is a premier research venue and the research paper about the Move Prover was published at the '22 event.

etaps.org/2024/industry-…

Olympiades des maternelles de Port Saint Louis, un grand merci aux lycéennes secteur petite enfance du lycée Henri Leroy pour leur aide , aux Etaps ainsi qu'aux enseignants pour ce moment sportif.

Le temps maussade n'arrête pas les #CM1 dans l'apprentissage du #vélo avec les #Etaps de Val-de-Reuil. Circonscription apprenante - Val-de-Reuil (27)

#JournéeOlympique et rencontre EPS Athlétisme pour les élèves de cycle 3 des écoles Génération2024 GRENOBLE L’Armailler CE2/CM1Armailler et Barthelon de Ville de Bourg-lès-Valence ! 🥇🥈🥉
Avec l’aide de Serge Dida, ETAPS 💪🏼👷🏻
À la suite d’un travail avec le CDOS Drôme
👏🏼 aux enseignants

Drīz Latvijas režīma locekļi domā parakstīt PVO Pandēmijas līgumu.Tas nākamais etaps pēc cov*dafēras,kas testa režīmā palaista,lai apjaustu cik dancos pēc pavēles.Lai izperētu kas jāmaina,nu līgums,kas strikti ierobežos vairumu.Un atkal TV ekrānos propagandistu viepļi nāks pretī.

Bernhard Steffen received the ETAPS Lifetime achievements award. Congratulations!

Hari is delivering an invited talk at HCVS 2024 @ ETAPS #etaps2024 ⁦University of Waterloo⁩

ETAPS PhD dissertation award goes to Yotam Feldman ⁦ETAPS Conferences⁩ ⁦Mooly Sagiv⁩ ⁦Yotam Feldman⁩

Fin de 4 jours d'Olympiades scolaires à Bois d'Arcy de la P.S. au C.M.2 ! Bravo aux élèves et merci aux enseignants, ETAPS, Mairie et circo de Bois d'Arcy !
Sandrine Lair Dominique PATARD Julian Pourchet Stéphane Peulvast christine delomenie Pascale Diot

Austrumu maģistrāles būvdarbi norit atbilstoši grafikam! Būvprojekta pirmajā kārtā darbi noslēgušies, savukārt otrajā sācies noslēdzošais būvdarbu etaps. Darbus plānots pabeigt šoruden. Vairāk: bit.ly/46fcYPN