{"id":408,"date":"2020-08-25T07:44:32","date_gmt":"2020-08-25T07:44:32","guid":{"rendered":"https:\/\/bizbergthemes.com\/business-event-pro\/?page_id=408"},"modified":"2024-09-24T18:26:01","modified_gmt":"2024-09-24T18:26:01","slug":"speaker-details","status":"publish","type":"page","link":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/speaker-details\/","title":{"rendered":"Speaker Details"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"408\" class=\"elementor elementor-408\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-7c19fbe7 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7c19fbe7\" 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-6ab7eb1\" data-id=\"6ab7eb1\" 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-6f073e07 elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"6f073e07\" 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 | Speakers<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-66172f91 elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"66172f91\" 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\">Meet experts from around the world - at Lancaster University in Leipzig or 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-89929d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"89929d5\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-68bb4fc elementor-invisible\" data-id=\"68bb4fc\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;animation&quot;:&quot;fadeInUp&quot;}\">\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-bbda106 elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"bbda106\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2022\\\/04\\\/Male_Speaker.jpg&quot;,&quot;id&quot;:731,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2022\/04\/Male_Speaker.jpg\" alt=\"Nils Jansen\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Nils Jansen<\/h3><h5>Ruhr-Universit\u00e4t Bochum<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Nils is a Full Professor at the Ruhr-University Bochum in Germany. He leads the Chair of Artificial Intelligence and Formal Methods. He is also an Associate Professor with Institute for Computing and Information Sciences at Radboud University Nijmegen, The Netherlands. His group conducts broad foundational and application-driven research. The group&#039;s vision of neurosymbolic AI brings together the areas of machine learning and formal methods, in particular, formal verification. His team tackles problems that are inspired by autonomous systems and planning problems in robotics. <\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/nilsjansen.org\/\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9058873 elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"9058873\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2023\\\/02\\\/Male_Speaker.jpg&quot;,&quot;id&quot;:1259,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Jan K\u0159et\u00ednsk\u00fd\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Jan K\u0159et\u00ednsk\u00fd<\/h3><h5>Technical University Munich<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Jan is a professor for Formal Methods for Software Reliability at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany. His research areas include verification and synthesis, probabilistic model checking, applications of machine learning in verification, verification of learnt systems,  explainable AI, temporal logics, automata theory continuous-time stochastic processes and games, and modal transition systems.\n<\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/www7.in.tum.de\/~kretinsk\/\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-928b610 elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"928b610\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2024\\\/09\\\/Meyer-Vitali_A.jpg&quot;,&quot;id&quot;:1829,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2024\/09\/Meyer-Vitali_A.jpg\" alt=\"Andr\u00e9 Meyer-Vitali\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Andr\u00e9 Meyer-Vitali<\/h3><h5>Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz  (DFKI)<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Andr\u00e9 is a computer scientist who got his Ph.D. in software engineering, ubiquitous computing and distributed AI from the University of Z\u00fcrich. He worked on many applied research projects on Ambient Intelligence and multi-agent systems at Philips Research and TNO in the Netherlands and contributed to AgentLink. He also worked at the European Patent Office. Currently, he is a senior researcher at DFKI focused on engineering and promoting Trusted AI and is active in the AI networks TAILOR and CLAIRE. He is principal investigator of the Centre for European Research in Trusted Artificial Intelligence (CERTAIN). His research interests include Software and Knowledge Engineering, Design Patterns, Neuro-Symbolic AI, Causality, Human-Agent Interaction, and Agent-based Social Simulation (ABSS) with the aim to create Trust by Design. He is also contributing to the development of standards and roadmaps for trustworthy AI at OECD and the German Ministry for Digital and Transport (BMDV).<\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/www.dfki.de\/en\/web\/about-us\/employee\/person\/anme08\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><a href=\"https:\/\/www.linkedin.com\/in\/andrepmeyer\/\"  ><i class=\"fab fa-linkedin-in\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ed5d212 elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"ed5d212\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2023\\\/02\\\/Male_Speaker.jpg&quot;,&quot;id&quot;:1259,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Till Mossakowski\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Till Mossakowski<\/h3><h5>Otto-von-Guericke-Universit\u00e4t Magdeburg<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Till is a professor of theoretical computer science at Otto-von-Guericke University of Magdeburg, Germany. He has co-designed the distributed ontology, model and specification language DOL, as well as the corresponding Heterogeneous Tool Set. His research interests are logic, knowledge representation, semantics, and neural-symbolic integration, as well as applications in energy network simulation models, chemistry and material sciences.<\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/www.theo.ovgu.de\/Staff\/Till+Mossakowski.html\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-69c105e elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"69c105e\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2023\\\/02\\\/Male_Speaker.jpg&quot;,&quot;id&quot;:1259,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Maximilian Prokop\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Maximilian Prokop<\/h3><h5>Technical University Munich<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Max is a joint PhD candidate between TU Munich and Masaryk University\nBrno. He is part of the LiVe-Lab under the supervision of Jan Kretinsky\nwhere he works on applying learning techniques to the formal problem of\nLTL Synthesis. He is the main developer of the LTL Synthesis tool\n&quot;SemML&quot;, which won the realizability track of Syntcomp2024.<\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/live-lab.fi.muni.cz\/team\/maximilian-prokop.html\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-703aeeb elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"703aeeb\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2024\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2022\\\/04\\\/Female_Speaker.jpg&quot;,&quot;id&quot;:792,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2022\/04\/Female_Speaker.jpg\" alt=\"Katja Seeliger\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Katja Seeliger<\/h3><h5>Max Planck Institute for Human Cognitive and Brain Sciences<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>After studying Computer Science and Media at Bauhaus University Weimar and Computational Neuroscience in at Technical &amp; Humboldt University Berlin, Katja obtained a PhD in Cognitive Computational Neuroscience at Donders Institute in The Netherlands. She is now at Martin Hebarts Vision and Computational Cognition Group at Max Planck Institute for Human Cognitive and Brain Sciences in Leipzig. <\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/seelikat.github.io\/\"  ><i class=\"fas fa-home\" aria-hidden=\"true\"><\/i><\/a><a href=\"http:\/\/www.\"  ><i class=\"fab fa-twitter\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c9afbec elementor-widget elementor-widget-naevents_basic_team_single\" data-id=\"c9afbec\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;team_image&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/www.lancaster.ac.uk\\\/leisys\\\/2023\\\/wp-content\\\/uploads\\\/sites\\\/4\\\/2023\\\/02\\\/Male_Speaker.jpg&quot;,&quot;id&quot;:1259,&quot;size&quot;:&quot;&quot;,&quot;alt&quot;:&quot;&quot;,&quot;source&quot;:&quot;library&quot;}}\" data-widget_type=\"naevents_basic_team_single.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-team-single-wrap\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-team-single-item\">\n\t\t\t\t\t\t\t\t<div class=\"single-mate-image\"><div class=\"naeep-image\"><div class=\"image-wrap hide-shape\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2023\/02\/Male_Speaker.jpg\" alt=\"Reinhard Stolle\"><\/div><\/div><\/div>\n\t\t\t\t\t\t\t\t<div class=\"single-mate-info\">\n\t\t\t\t\t\t\t\t\t<h3 class=\"team-title\">Reinhard Stolle<\/h3><h5>Fraunhofer IKS<\/h5>\n\t\t\t\t\t\t\t\t\t<ul><li><\/li><\/ul><p>Reinhard directs the business unit Mobility at the Fraunhofer Institute for Cognitive Systems, focusing on the transfer of \u201cAI for Safety\u201d from research to industry. He has been active in the field of Artificial Intelligence for more than 30 years. He holds a PhD in Computer Science from the University of Colorado at Boulder and did a post-doc at Stanford University. His research experience centers around knowledge representation and reasoning techniques and spans from model-based reasoning to computational linguistics. Reinhard has an industry track record of developing and deploying software in automotive and safety domains including infotainment, driver assistance and autonomous driving. He previously served in leadership positions at Xerox PARC, BMW, Autonomous Intelligent Driving, and Argo AI.<\/p><div class=\"naeep-social rounded\"><a href=\"https:\/\/www.linkedin.com\/in\/reinhardstolle\/\"  ><i class=\"fab fa-linkedin-in\" aria-hidden=\"true\"><\/i><\/a><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-4042627 elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4042627\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\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-c0c8a03\" data-id=\"c0c8a03\" 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-bc5cb66 elementor-invisible elementor-widget elementor-widget-naevents_unique_sessions\" data-id=\"bc5cb66\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"naevents_unique_sessions.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t<div class=\"naeep-sessions\">\n\t\t\t\t<h2>All Sessions By Lori Walker\u200b<\/h2>\n\t\t\t\t<div class=\"col-na-row\">\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 1<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 1<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 2<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 2<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 3<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 3<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 4<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 4<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 5<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 5<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t\t\t<div class=\"col-na-4\"><div class=\"naeep-sessions-item naeep-item\"><h3 class=\"sessions-title\">Day 6<\/h3><span class=\"time\">08:00 - 10:00<\/span><h5>Conference Room 6<\/h5><\/div><\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\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-4c8fe458 elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4c8fe458\" 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-2ed1c9d5\" data-id=\"2ed1c9d5\" 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-6ec2bd7c elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"6ec2bd7c\" 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<h4 class=\"elementor-heading-title elementor-size-default\">VIDEOS<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-19a88a8d elementor-widget elementor-widget-spacer\" data-id=\"19a88a8d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-796f937f elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"796f937f\" 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\">Event Session<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-99e60e4 elementor-widget-divider--view-line_icon elementor-view-default elementor-widget-divider--element-align-center elementor-invisible elementor-widget elementor-widget-divider\" data-id=\"99e60e4\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInDown&quot;}\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon elementor-divider__element\">\n\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-hotjar\"><\/i><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c99c5fb elementor-widget elementor-widget-spacer\" data-id=\"c99c5fb\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-8fbe475 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8fbe475\" 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-33 elementor-inner-column elementor-element elementor-element-68a294d elementor-invisible\" data-id=\"68a294d\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;animation&quot;:&quot;fadeInLeft&quot;}\">\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-b88d909 elementor-widget elementor-widget-naevents_basic_video\" data-id=\"b88d909\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"naevents_basic_video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-video-wrap\"><div class=\"naeep-image\" style=\"background-image: url(https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-2263436.jpeg);\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-2263436.jpeg\" alt=\"Video\"><a href=\"https:\/\/www.youtube.com\/watch?v=NvR60Wg9R7Q\" class=\"naeep-popup-video\"><span class=\"naeep-video-btn-wrap\"><span class=\"naeep-video-btn\"><i class=\"fa fa-play\" aria-hidden=\"true\"><\/i><span class=\"naeep-ripple\"><\/span><\/span><span class=\"video-label\">Session 1<\/span><\/span><\/a><\/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<div class=\"elementor-column elementor-col-33 elementor-inner-column elementor-element elementor-element-34491f2 elementor-invisible\" data-id=\"34491f2\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;animation&quot;:&quot;fadeInUp&quot;}\">\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-1b204ed elementor-widget elementor-widget-naevents_basic_video\" data-id=\"1b204ed\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"naevents_basic_video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-video-wrap\"><div class=\"naeep-image\" style=\"background-image: url(https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-1120162.jpeg);\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-1120162.jpeg\" alt=\"Video\"><a href=\"https:\/\/www.youtube.com\/watch?v=NvR60Wg9R7Q\" class=\"naeep-popup-video\"><span class=\"naeep-video-btn-wrap\"><span class=\"naeep-video-btn\"><i class=\"fa fa-play\" aria-hidden=\"true\"><\/i><span class=\"naeep-ripple\"><\/span><\/span><span class=\"video-label\">Session 1<\/span><\/span><\/a><\/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<div class=\"elementor-column elementor-col-33 elementor-inner-column elementor-element elementor-element-1baad11 elementor-invisible\" data-id=\"1baad11\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;}\">\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-e28c5f1 elementor-widget elementor-widget-naevents_basic_video\" data-id=\"e28c5f1\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"naevents_basic_video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"naeep-video-wrap\"><div class=\"naeep-image\" style=\"background-image: url(https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-518389.jpeg);\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-content\/uploads\/sites\/5\/2020\/08\/pexels-photo-518389.jpeg\" alt=\"Video\"><a href=\"https:\/\/www.youtube.com\/watch?v=NvR60Wg9R7Q\" class=\"naeep-popup-video\"><span class=\"naeep-video-btn-wrap\"><span class=\"naeep-video-btn\"><i class=\"fa fa-play\" aria-hidden=\"true\"><\/i><span class=\"naeep-ripple\"><\/span><\/span><span class=\"video-label\">Session 1<\/span><\/span><\/a><\/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\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 | Speakers Meet experts from around the world &#8211; at Lancaster University in Leipzig or online. Nils Jansen Ruhr-Universit\u00e4t Bochum Nils is a Full Professor at the Ruhr-University Bochum in Germany. He leads the Chair of Artificial Intelligence and Formal Methods. He is also an Associate Professor with Institute for Computing and Information Sciences at Radboud University Nijmegen,&#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-408","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages\/408","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=408"}],"version-history":[{"count":234,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages\/408\/revisions"}],"predecessor-version":[{"id":1835,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/pages\/408\/revisions\/1835"}],"wp:attachment":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2024\/wp-json\/wp\/v2\/media?parent=408"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}