{"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":"2024-08-09T09:17:01","modified_gmt":"2024-08-09T09:17:01","slug":"event-schedules","status":"publish","type":"page","link":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/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 2024 | 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 September 16-17, 2024. On day 1, you may join us either on campus or remotely. 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> 12:00-13:00 CEST<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Lunch<\/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> 13:00 - 14:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Thomas Schmid<\/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\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.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> 14:00 - 14:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Till Mossakowski<\/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>Research Talk &quot;Neuro-symbolic integration for ontology-based classification of structured objects&quot;<\/h3><p>Reference ontologies play an essential role in organising knowledge in the life sciences and other domains. They are built and maintained manually. Since this is an expensive process, many reference ontologies only cover a small fraction of their domain. We develop techniques that enable the automatic extension of the coverage of a reference ontology by extending it with entities that have not been manually added yet. The extension shall be faithful to the (often implicit) design decisions by the developers of the reference ontology. While this is a generic problem, our use case addresses the Chemical Entities of Biological Interest (ChEBI) ontology with classes of molecules, since the chemical domain is particularly suited to our approach. ChEBI provides annotations that represent the structure of chemical entities (e.g., molecules and functional groups).\n\nWe show that classical machine learning approaches can outperform ClassyFire, a rule-based system representing the state of the art for the task of classifying new molecules, and is already being used for the extension of ChEBI. Moreover, we develop RoBERTa and Electra transformer neural networks that achieve even better performance. In addition, the axioms of the ontology can be used during the training of prediction models as a form of semantic loss function. Furthermore, we show that ontology pre-training can improve the performance of transformer networks for the task of prediction of toxicity of chemical molecules. Finally, we show that our model learns to focus attention on more meaningful chemical groups when making predictions with ontology pre-training than without, paving a path towards greater robustness and interpretability. This strategy has general applicability as a neuro-symbolic approach to embed meaningful semantics into neural networks.<\/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 class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Research Talk &quot;Enhancing LTL synthesis through semantic machine learning (SemML)&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 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Maximilian Prokop<\/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>Research Talk &quot;Enhancing LTL synthesis through semantic machine learning (SemML)&quot;<\/h3><p>In this talk we outline the neuro-symbolic nature of the LTL Synthesis\ntool \"SemML\", the winner of SYNTCOMP's realizability track in 2024.\nSpecifically, we demonstrate how its machine-learning-based heuristics\nenhance the underlying formal algorithms to solve LTL synthesis more\nefficiently. Finally, we identify some criteria of other algorithms\nwhere such techniques could be employed.<\/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> 15:00 - 15: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\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Research Talk &quot;Causal agents for trustworthy hybrid human-agent teams&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> 15:30 - 16:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Andr\u00e9 Meyer-Vitali<\/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>Research Talk &quot;Causal agents for trustworthy hybrid human-agent teams&quot;<\/h3><p>Team-work is better than struggling alone for achieving complex tasks. Such tasks usually involve expertise in multiple domains and require diverse capabilities. Hybrid teams of human and artificial actors (aka. humans and agents) can contribute their respective strengths to achieve their common goals. Common goals can be negotiated, while taking into account the diverse capabilities of hybrid actors. In combination, the goals can be achieved by performing a suitable set of tasks. In order to determine the set of tasks, actors need to communicate about and agree on the appropriate actions that cause the desired effects. In the proposed system, a shared causal model is used to enable the alignment, distribution and delegation of tasks.<\/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 class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Research Talk &quot;Hybrid AI in autonomous driving&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> 16:00 - 16:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Reinhard Stolle<\/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>Research Talk &quot;Hybrid AI in autonomous driving&quot;<\/h3><p>I will give a short overview of my experience with combining different AI techniques for driver assistance and autonomous driving systems. One particular interesting aspect is safety engineering for AI-based systems.<\/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 class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Research Talk &quot;End-to-end neural system identification with neural information flow networks&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> 16:30 - 17:00<\/li><li><i class=\"fas fa-user\"><\/i> Katja Seeliger<\/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>Research Talk &quot;End-to-end neural system identification with neural information flow networks&quot;<\/h3><p>Recently recorded large-scale neuroimaging datasets allow us to train artificial intelligence models end-to-end on brain activity alone. These large-scale recordings are expected to revolutionize neuroscience, providing us with new insight on how intelligence works in nature; and overcoming simplistic previous assumptions. The talk will introduce one current neural networks-based method of deriving digital twins of neural information processing from neuroimaging data.<\/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> 17:00 - 17:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> tba.<\/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>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> 09:00 - 10:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> tba.<\/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>Workshop &quot;Aims&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><\/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><\/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> Room 726<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Workshop &quot;Strategy &amp; Next Steps&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<\/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\/2024\/wp-content\/uploads\/sites\/5\/2022\/04\/Male_Speaker.jpg\" alt=\"Research Talk &quot;Partially Explainable Policies using dtControl&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 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Jan K\u0159et\u00ednsk\u00fd<\/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;Partially Explainable Policies using dtControl&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\/2024\/wp-content\/uploads\/sites\/5\/2022\/04\/Male_Speaker.jpg\" alt=\"Research Talk &quot;A Neurosymbolic Meetup of AI and Formal Methods &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 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Nils Jansen<\/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;A Neurosymbolic Meetup of AI and Formal Methods &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 2024 | Program This year&#8217;s Leipzig Symposium on Intelligent Systems will take place on September 16-17, 2024. On day 1, you may join us either on campus or remotely. On day 2, all events will take place completely online. Day 1 Day 2 11:30 &#8211; 12:00 CEST tba. 7th Floor Registration 12:00-13:00 Lunch Break 14:00 &#8211; 15:15 CEST tba&#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\/2024\/wp-json\/wp\/v2\/pages\/431","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/comments?post=431"}],"version-history":[{"count":70,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages\/431\/revisions"}],"predecessor-version":[{"id":1752,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages\/431\/revisions\/1752"}],"wp:attachment":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/media?parent=431"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}