Muhammad Nafey Builds Pakistan’s First AI-Powered E-Commerce Automation System ETAPS https://t.co/MovNraNSMY https://t.co/EomtEdAHLm https://t.co/Q2NiQr4wsO

ETAPS PhD dissertation award goes to Yotam Feldman ⁦@ETAPSconf⁩ ⁦@SagivMooly⁩ ⁦@yotamfe⁩

Nuevas actuaciones de agua y saneamiento en 18 municipios y Sayagua dentro del #PlanEmergencia2025 🤝 Firma de convenios con 887.235€(625.480€ aportados por diputación 💧 Mejoras en redes,depósitos, eliminación de arsénico,ETAPs.. 🎯 Garantizar agua potable y saneamiento

Ruzica Piskac is giving an invited talk at ETAPS on Zero-Trust Verification ⁦@ETAPSconf⁩

Jauns etaps tēva un meitas attiecībās. 😍 https://t.co/Tjof2Vxlw4

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

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!

Nelūgts padoms. Uztaisām seju, ka nekad mūžā neesam dzēruši ūdeni. Īpaši pēc nakts pastaigas. Nākamais solis - stipri elsojam. Trešais etaps - iedod truša austiņu. Loģika? Noup. Šeit to nemeklēt. Tikai dod truša austiņu!!

https://t.co/dynp6PVDPM AstroVeiksmes kodēšana visam gadam - 1.etaps no 4.iespējām!

Journée de l'olympisme avec les écoles de Saint Maurice de Beynost et Beynost...Jeux coopératifs organisés par les ETAPS. Bravo pour cette belle journée !

Tas AI flop vairāk nav smieklīgs, drīzāk baigi cringe. Noiets etaps.

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. https://t.co/2Yn5C4NMvJ

Ar replikām ir noslēgts, palicis pēdējais etaps pirms sprieduma - apsūdzēto pēdējais vārds. Uļmans grib 1.5 h, Babenko grib 3-4 h, Krivošejs grib 2 darba dienas. Kāda laipnība no darba devējiem - Krivošejs grib sākt pirmais. Babenko un Uļmans tam neiebilst. Tikai nianse, viņam ir

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. https://t.co/z3HrKnv3gk

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 😛

#MédailleOlympique | 🤩🥉🏹 Accueillie par Fabrice Magnet, Vice-président délégué aux sports, les inspecteurs académiques, les ETAPS, et les directeurs et enseignants, Lisa Barbelin a rencontré les élèves niveau CM des écoles de Lussat et Chappes ! 🎯

Fascinating Keynote by Ina Schaefer to kick off #etaps

Congrats Muhammad Nafey on being selected in #Connected30Under30! Pakistan’s youngest CEO (Govt. recognized), founder of eTaps & HMN Group, & youngest speaker at Seamless ME 2024 — leading 🇵🇰’s digital economy forward. 🎟️ https://t.co/uOo5uvWx5w

INVERSIONES ESTRATÉGICAS: ✔️ Renovación y mejora de redes de abastecimiento y alcantarillado. 5,6 M€. ✔️ Adaptación de las infraestructuras a las nuevas demandas energéticas y climáticas. ➡️1,75 M€ (mejora ETAPs) ➡️ 800.000 € (EDAR). ✔️ Innovación y digitalización (100.000 €)