ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3721 ETAPS B77L ACC-FRA
Time: 2026-04-09 12:05:17 CEST
Min Alt: 822 m
Min Dist: 5.9 km (-158deg SSW)
Squawk: 0167
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3408 ETAPS B77L JED-MST
Time: 2026-04-09 09:14:15 CEST
Min Alt: 175 m
Min Dist: 2.84 km (43deg NE)
Squawk: 0626
EHBK #MST Maastricht Aachen MaastrichtAachenAirport- adsb kx1t airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3408 ETAPS B77L JED-MST
Time: 2026-04-09 09:08:51 CEST
Min Alt: 5150 ft
Min Dist: 2.84 km (-78deg WNW)
Squawk: 0626
airplanes flightaware

Original post on blahaj.zone

Is anybody I know going to **CMCS (Coalgebraic Methods in Computer Science)** in Turin this year? It is co-located with @ETAPSconf@mastodon.education.

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti@mastodon.social […]

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3794 ETAPS B77L MST-HKG
Time: 2026-03-29 21:55:24 CEST
Min Alt: 525 m
Min Dist: 2.39 km (-136deg SW)
Squawk: 0150
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3769 ETAPS B77L HKG-EMA
Time: 2026-03-29 18:27:19 CEST
Min Alt: 129 m
Min Dist: 2.8 km (43deg NE)
Squawk: 4632
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3769 ETAPS B77L HKG-EMA
Time: 2026-03-29 18:21:03 CEST
Min Alt: 4750 ft
Min Dist: 5.96 km (-67deg WNW)
Squawk: 4632
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3734 ETAPS B77L MST-ZAZ
Time: 2026-02-07 17:45:09 CET
Min Alt: 647 m
Min Dist: 2.65 km (-135deg SW)
Squawk: 2146
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3400 ETAPS B77L ADD-MST
Time: 2026-02-07 15:43:05 CET
Min Alt: 312 m
Min Dist: 2.82 km (43deg NE)
Squawk: 7544
airplanes flightaware

ICAO: 040060
Owner: ETHIOPIANAIRLINES
Flt: ETH3400 ETAPS B77L ADD-MST
Time: 2026-02-07 15:37:11 CET
Min Alt: 5500 ft
Min Dist: 0.88 km (-83deg W)
Squawk: 7544
airplanes flightaware

ETAPS Joint Call for Papers Turin, Italy, April 11–16, 2026

Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it!

etaps.org/2026/cfp/

#etaps #etapsconf #etaps2026

Thank you @etapsconf.bsky.social for the great event — so many interesting talks and discussions at #etaps this year!
I also had the opportunity to present my #tacas paper on verifying behavioral equivalence of neural networks 😃