{"id":431,"date":"2020-08-27T10:06:00","date_gmt":"2020-08-27T10:06:00","guid":{"rendered":"https:\/\/bizbergthemes.com\/business-event-pro\/?page_id=431"},"modified":"2025-05-05T16:14:28","modified_gmt":"2025-05-05T16:14:28","slug":"event-schedules","status":"publish","type":"page","link":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/event-schedules\/","title":{"rendered":"Event Schedules ( Dark )"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"431\" class=\"elementor elementor-431\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-1f3db47f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1f3db47f\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4b67b673\" data-id=\"4b67b673\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-69819def elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"69819def\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInDown&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">LEISYS 2025 | Program<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-275f798a elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"275f798a\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInDown&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">This year's Leipzig Symposium on Intelligent Systems will take place on May 15-16, 2025. On day 1, you may join us either on campus or remotely (keynote only). On day 2, all events will take place completely online.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-705c5fc4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"705c5fc4\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1ba0bd1c\" data-id=\"1ba0bd1c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4b82a352 elementor-invisible elementor-widget elementor-widget-naevents_unique_schedule_tab\" data-id=\"4b82a352\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"naevents_unique_schedule_tab.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<ul class=\"naeep-tab-links\"><li class=\"active\"><a class=\"naeep-item\" href=\"#naeep-1day-1\"><span class=\"title\">Day 1<\/span><\/a><\/li><li><a class=\"naeep-item\" href=\"#naeep-2day-2\"><span class=\"title\">Day 2<\/span><\/a><\/li><\/ul><div class=\"naeep-tab-content\"><div class=\"naeep-tab active\" id=\"naeep-1day-1\">\t\t<div data-elementor-type=\"section\" data-elementor-id=\"58\" class=\"elementor elementor-58\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3c5ce1b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3c5ce1b\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e20f094\" data-id=\"e20f094\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2599ad2 elementor-widget elementor-widget-naevents_unique_schedule_list\" data-id=\"2599ad2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"naevents_unique_schedule_list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-schedule-wrap\"><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 09:00 - 09:15 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Aakash Ahmad<\/li><li><i class=\"fas fa-map-marker\"><\/i> Room 726<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Welcome &amp; Introduction<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2025\/05\/Rasku.jpg\" alt=\"Keynote &quot;Future of Software Engineering in the era of Generative Artificial Intelligence&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 09:15 - 10:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Jussi Rasku<\/li><li><i class=\"fas fa-map-marker\"><\/i> Room 726<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Keynote &quot;Future of Software Engineering in the era of Generative Artificial Intelligence&quot;<\/h3><p>Software engineering is being reshaped by generative AI. Large language models can already automate a large part of routine coding, and with that, the value of traditional programming skills diminishes. Simultaneously, the importance of communication skills, system understanding, integration negotiations, and sound technological judgment increases. The future software engineer is less a coder; instead, they work at a higher level of abstraction. One needs to be able to frame problems, understand business value, and oversee AI-augmented development processes as a manager of AI agents and systems. The talk explores how these shifts are changing what we teach, how teams operate, and what competencies will continue to matter. An argument is made that software engineering is moving beyond syntax and toward abstraction, communication, and strategic thinking. Understanding these changes is critical for anyone involved in education, working with software, or just entering the field. <\/p><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 10:00 - 10:30<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Coffee Break<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2023\/02\/Male_Speaker.jpg\" alt=\"Workshop &quot;Generative AI for Software Development (Part 1)&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 10:30 - 12:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Room 726<\/li><li><i class=\"fas fa-map-marker\"><\/i> tba.<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Workshop &quot;Generative AI for Software Development (Part 1)&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 12:30 - 13:30<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Lunch Break<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2023\/02\/Male_Speaker.jpg\" alt=\"Workshop &quot;Generative AI for Software Development (Part 2)&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 13:30 - 15:30 CEST<\/li><li><i class=\"fas fa-map-marker\"><\/i> Room 635<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Workshop &quot;Generative AI for Software Development (Part 2)&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 15:30 - 16:00<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Coffee Break<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2023\/02\/Male_Speaker.jpg\" alt=\"Student AI Award\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 16:00 - 16:00 CEST<\/li><li><i class=\"fas fa-map-marker\"><\/i> Room 635<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Student AI Award<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 17:00 - 17:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Aakash Ahmad<\/li><li><i class=\"fas fa-map-marker\"><\/i> tbd.<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Wrap-up &amp; Conclusions<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t<\/div><div class=\"naeep-tab\" id=\"naeep-2day-2\">\t\t<div data-elementor-type=\"page\" data-elementor-id=\"86\" class=\"elementor elementor-86\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3c5ce1b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3c5ce1b\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e20f094\" data-id=\"e20f094\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2599ad2 elementor-widget elementor-widget-naevents_unique_schedule_list\" data-id=\"2599ad2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"naevents_unique_schedule_list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-schedule-wrap\"><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 10:30 - 12:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> tba.<\/li><li><i class=\"fas fa-map-marker\"><\/i> Online<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Workshop &quot;Network Subgroups&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 12:00 - 13:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> tba.<\/li><li><i class=\"fas fa-map-marker\"><\/i> ONLINE<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Lunch Break<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2025\/05\/Kersting.jpg\" alt=\"Research Talk &quot;Current Topics in Hybrid AI&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 13:00 - 13:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Kristian Kersting<\/li><li><i class=\"fas fa-map-marker\"><\/i> ONLINE<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Current Topics in Hybrid AI&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2025\/05\/Mossakowski.jpg\" alt=\"Research Talk &quot;Neuro-symbolic integration for ontology-based classification of structured objects &quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 13:30 - 14:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Till Mossakowski<\/li><li><i class=\"fas fa-map-marker\"><\/i> ONLINE<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Neuro-symbolic integration for ontology-based classification of structured objects &quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2025\/05\/Konigshofer.jpg\" alt=\"Research Talk &quot;Safe Reinforcement Learning via Shielding&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 14:00-14:30<\/li><li><i class=\"fas fa-user\"><\/i> Bettina K\u00f6nighofer<\/li><li><i class=\"fas fa-map-marker\"><\/i> ONLINE<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Safe Reinforcement Learning via Shielding&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><div class=\"naeep-schedule-list\">\n\t\t\t\t  \t\t\t\t\t\t\t\n\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-row align-items-center\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-2\"><div class=\"schedule-image\"><div class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-content\/uploads\/sites\/7\/2025\/05\/Ladner_neu.jpg\" alt=\"Research Talk &quot;Formally Verifying Neural Networks in Cyber-Physical Systems&quot;\"><\/div><\/div><\/div>\n\t\t\t\t\t  \t\t\t\t\t\t\t<div class=\"col-na-10\"><div class=\"schedule-content\">\n\t\t\t\t\t  \t\t\t\t\t\t\t<ul><li><i class=\"far fa-clock\"><\/i> 14:30-15:00<\/li><li><i class=\"fas fa-user\"><\/i> Tobias Ladner<\/li><li><i class=\"fas fa-map-marker\"><\/i> ONLINE<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Formally Verifying Neural Networks in Cyber-Physical Systems&quot;<\/h3><\/div><\/div>\n\t\t\t\t  \t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t    <\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t<\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>LEISYS 2025 | Program This year&#8217;s Leipzig Symposium on Intelligent Systems will take place on May 15-16, 2025. On day 1, you may join us either on campus or remotely (keynote only). On day 2, all events will take place completely online. Day 1 Day 2 13:00 &#8211; 14:00 CEST Aakash Ahmad tba. Welcome &amp; Introduction 09:15 &#8211; 10:00 CEST&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-431","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/pages\/431","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/comments?post=431"}],"version-history":[{"count":73,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/pages\/431\/revisions"}],"predecessor-version":[{"id":1890,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/pages\/431\/revisions\/1890"}],"wp:attachment":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2025\/wp-json\/wp\/v2\/media?parent=431"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}