We invite you to join the next session of the KriKTehS seminar, which will be held on April 14, 2023 at 3:30 p.m. online. The topic of the seminar: methods and technologies of development and formal verification of railway automation and safety systems.
Speakers:
🔹Vitaliy Gaevskyi (Ph.D., director of RAILWAYAUTOMATIC®, Kharkiv)
🔸Alexei Iliasov (Director of Formal Route Ltd, Newcastle, Great Britain)

Google Meet link: https://meet.google.com/coh-ieee-pfr
Live streaming: video.csn.khai.edu