Programme 14.00 Welcome (Markus) 14.05 Scientific Talks – 10 min slot for each speaker (* Railway table *) (* Timetabling *) (* Ladder Logic Verification & Verifying Z3 results *) (* monitoring data of High-speed Railway using Large Language Models *) (* Schemeplans & Graphs *) — coffee break (with time to play with Liam’s railway table) […]
