{"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":"2022-04-05T00:03:28","modified_gmt":"2022-04-05T00:03:28","slug":"event-schedules-dark","status":"publish","type":"page","link":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/event-schedules-dark\/","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 2022 | 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 April 28-29, 2022. 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><span class=\"date\">Apr 28, 2022<\/span><\/a><\/li><li><a class=\"naeep-item\" href=\"#naeep-2day-2\"><span class=\"title\">Day 2<\/span><span class=\"date\">Apr 29, 2022<\/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:30 - 12:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Thomas Schmid &amp; Sven Linker<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Workshop &quot;Hybrid Artificial Intelligence&quot;<\/h3><p>In this face-to-face workshop, on-campus participants will together explore the growing, diverse, and exciting field of hybrid AI concepts. In particular, we will discuss not only classical hybrid approaches likes neural-symbolic integration, but also more general combinations of different strategies from different fields of artificial intelligence. The overall goal of this interactive workshop is to find the connecting dots between diverse research topics of the participants.<\/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><\/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\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Biopic_Davies_Nigel.jpg\" alt=\"Opening &quot;Welcome to LEISYS 2022&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:45 - 14:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Nigel Davies<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1 (+ONLINE)<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Opening &quot;Welcome to LEISYS 2022&quot;<\/h3><p>Nigel Davies, Head of the School of Computing and Communications at Lancaster University and Co-Director of the Data Science Institute at Lancaster University, will introduce the audience to LEISYS and the campus of Lancaster University in Leipzig.<\/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\/2022\/wp-content\/uploads\/sites\/2\/2020\/08\/Gabler_Uwe_klein.jpg\" alt=\"Keynote &quot;Embedding the Future: Opportunities and Prospects of Edge AI from the Perspective of a Chipmaker&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 - 15:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Uwe G\u00e4bler<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1 (+ONLINE)<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Keynote &quot;Embedding the Future: Opportunities and Prospects of Edge AI from the Perspective of a Chipmaker&quot;<\/h3><p>AI has the potential to sustainably change social, economic and ecological processes. The semiconductor industry plays an important role in this development, because AI applications are usually based on semiconductor solutions. Infineon is already a user and provider of AI solutions today. Infineon connects the real world with the digital world through system expertise in hardware, software as well as algorithms and hence helps to make AI applications more robust, energy-efficient and secure. In this context, Edge or Embedded AI applications are becoming increasingly important. Within Edge AI solutions, data is processed close to sensors making applications energy-efficient, fast and secure. Therefore, Embedded AI creates special opportunities for European semiconductor manufacturers such as Infineon and the Silicon Saxony industry cluster.<\/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\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Female_Speaker.jpg\" alt=\"Research Talk &quot;Convolutional Neural Networks and Human Visual Information Processing&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:00 - 15:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Katja Seeliger<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1 (+ONLINE)<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Convolutional Neural Networks and Human Visual Information Processing&quot;<\/h3><p>In parallel to the successes of neural networks for computer vision during the past decade, computational visual neuroscience has experienced a paradigm shift: The type of neural network behind their resurgence in computer vision happened to be the convolutional neural network, which originally had been proposed \u2013 in the form of the neocognitron \u2013 as the mechanism of object recognition behind the experimental findings in the early visual system by Hubel & Wiesel in the 1960s. In a rare succession of mutual scientific inspiration, convolutional neural networks trained on object recognition tasks turned out to be the best model for information processing in the human visual cortex as well. Recent approaches are using this processing similarity as a given, and train the networks directly (end-to-end) on newly recorded large-scale human neuroimaging data sets. This leads to biological properties learned implicitly, and to data-driven visual cortex models that allow wide-scaled in-silico exploration what higher brain areas are responding to. <\/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\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Male_Speaker.jpg\" alt=\"Research Talk &quot;Defining Rational Argumentation Semantics through the Principal-based Approach&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> Marcos Cramer<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1 (+ONLINE)<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Defining Rational Argumentation Semantics through the Principal-based Approach&quot;<\/h3><p>In the field of abstract argumentation one studies the possibility to make decisions about the acceptability of arguments based on the structure of the attack relation between arguments. For this purpose multiple argumentation semantics have been proposed. But which of these argumentation semantics give outcomes in line with what humans judge to be rational? This question can be tackled in different ways. In this talk, we focus on the principle-based approach to abstract argumentation, in which one defines certain principles that argumentation semantics should satisfy. One then studies which semantics proposed in the literature satisfy which principles, and if some desired combination of principles is not satisfied by any existing semantics, one studies the possibility of defining a new semantics that does satisfy this combination of principles. In this talk we pay special attention to the principle of Irrelevance of Necessarily Rejected Arguments and two argumentation semantics that were developed in order to satisfy this principle as well as certain other principles: SCF and choice-preferred semantics.<\/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\/2022\/wp-content\/uploads\/sites\/2\/2020\/08\/profile_PB.jpg\" alt=\"Research Talk &quot;Information Stability, Stochastic Complexity and Generalization&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> Pradeep Banerjee<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1 (+ONLINE)<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Research Talk &quot;Information Stability, Stochastic Complexity and Generalization&quot;<\/h3><p>The generalization capability of a learning algorithm is intrinsically related to the information that the output hypothesis reveals about the input training dataset: The lesser the information revealed, the better the generalization. This argument has been formalized in recent years by appealing to different notions of information stability. In this talk, I will present a unifying picture of information stability-based upper bounds on the generalization error of randomized learning algorithms under different assumptions on the loss function. Optimizing these bounds naturally gives rise to a method called Stochastic Complexity Minimization for which we discuss two practical examples for learning with neural networks, namely Entropy- and PAC-Bayes- SGD.<\/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><\/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> 17:00 - 18:00 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Thomas Schmid &amp; Sven Linker<\/li><li><i class=\"fas fa-map-marker\"><\/i> Lecture Hall 1<\/li><\/ul>\n\t\t\t\t\t  \t\t\t\t\t\t\t<h3>Award &amp; Panel Discussion &quot;What is an Intelligent System?&quot;<\/h3><p>In this face-to-face closing session, we will bring together on-campus participants in order to review day 1 of LEISYS 2022, discuss lessons learned and identify future directions of research.<\/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>\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 class=\"naeep-image\"><img decoding=\"async\" src=\"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Biopic_Dennis_Louise.jpg\" alt=\"Research Talk &quot;Verifying Machine Ethics&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> Louise Dennis<\/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;Verifying Machine Ethics&quot;<\/h3><p>Machine ethics is concerned with the challenge of constructing ethical and ethically behaving artificial agents and systems.\u00a0 One important theme within machine ethics concerns explicitly ethical agents \u2013 those which are not ethical simply because they are constrained by their programming or deployment to be so but which use a concept of ethics in some way as part of their operation.\u00a0 Normally this requires the provision of rules, utilities or priorities by a programmer, knowledge engineer or user.\u00a0 In this talk I will address the question of how such explicitly ethical programs can be verified.\u00a0 What kind of properties can we consider and what kind of errors might we find?<\/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\/2022\/wp-content\/uploads\/sites\/2\/2020\/08\/Biopic_Cebarian_Manuel_2.jpg\" alt=\"Research Talk &quot;Networked and Crowdsourced Response to Time-critical Threats&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> Manuel Cebrian<\/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;Networked and Crowdsourced Response to Time-critical Threats&quot;<\/h3><p>This talk explores the physical, behavioral, and computational limits of crowd-assembly for time-critical problem-solving. I follow several real-world experiments where we utilized social media to mobilize the masses in tasks of unprecedented complexity. From finding red weather balloons, to locating thieves in distant cities, to reconstructing shredded classified documents, the potential of crowdsourcing is real, but so are exploitation, sabotage, and hidden biases that undermine the power of crowds.<\/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\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Biopic_Dobson_Simon.jpg\" alt=\"Research Talk &quot;Sensor Tensors&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:00 - 15:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Simon Dobson<\/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;Sensor Tensors&quot;<\/h3><p>Sensor networks are becoming increasingly common, but the torrent of data they provide is not without its problems. It's intuitively clear that issues such as the placement of the sensors, their accuracy, the degradations caused by physical wear and tear, and deliberate attacks will all affect the confidence we should place in the conclusions we draw from the data collected, but we have only a limited understanding of how these issues affect what we observe. This talk describes work in progress that represents a sensor system as a tensor -- a three-dimensional generalisation of a matrix -- that can be used to perform data interpolation. It might also help us understand the effects of errors and develop additional algorithms for in-network data analytics.<\/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><\/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\/2022\/wp-content\/uploads\/sites\/2\/2020\/08\/Biopic_Suda_Martin.jpg\" alt=\"Research Talk &quot;Boosting Automated Reasoning using Machine Learning&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> Martin Suda<\/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;Boosting Automated Reasoning using Machine Learning&quot;<\/h3><p>Clause selection is one of the key decision points within the saturation-style architecture\nof automated theorem provers (ATPs) for first-order logic. I will describe how machine learning (ML)\ncan be used to greatly improve the clause selection heuristics and thus the prover performance.\nI will then try to put this prototypical example of the ATP+ML synergy into a broader context.<\/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\/2022\/wp-content\/uploads\/sites\/2\/2020\/08\/Biopic_Rosca_Mihaela.jpg\" alt=\"Research Talk &quot;The Importance of Discretisation Drift in Deep Learning&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 CEST<\/li><li><i class=\"fas fa-user\"><\/i> Mihaela Rosca<\/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;The Importance of Discretisation Drift in Deep Learning&quot;<\/h3><p>Gradient descent is an ubiquitous\u00a0tool in the area of deep learning. Still, much of the\u00a0underpinnings of gradient descent in the deep learning context have yet to be understood. In this talk we will explore a line of work which uses backward error analysis to quantify the discretisation drift induced by gradient descent and shed light on its effects in supervised learning and two-player games. We will uncover the implicit regularisation effect that gradient descent has in supervised learning, and see how it can aid generalisation. In two-player games however, we will find a more complicated picture which shows that for adversarial games such as GANs discretisation drift can have a harmful effect, and that by cancelling parts of the drift using explicit regularisation we can improve performance and stability.\u00a0<\/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\/2022\/wp-content\/uploads\/sites\/2\/2022\/04\/Biopic_McClelland_James_2.jpg\" alt=\"AI- &amp; Human-Inspired Attentional Learners as Models of Human Thinking &amp; Planning\"><\/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> 17:00 - 17:30 CEST<\/li><li><i class=\"fas fa-user\"><\/i> James L. McClelland<\/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>AI- &amp; Human-Inspired Attentional Learners as Models of Human Thinking &amp; Planning<\/h3><p>James will consider the Transformer Architecture that has become a standard tool for AI and Natural Language Processing (NLP) and examine its relevance for understanding human thinking and planning.  He will suggest that human-like instantiations of this architecture might allow us to build models that capture many aspects of human performance using a general-purpose architecture that has its roots in models of human memory that originated almost 50 years ago, and he will discuss some of the open questions that James and his group is grappling with as they seek to implement such systems to model human goal-directed problem solving and planning.<\/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>\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 2022 | Program This year&#8217;s Leipzig Symposium on Intelligent Systems will take place on April 28-29, 2022. On day 1, you may join us either on campus or remotely. On day 2, all events will take place completely online. Day 1Apr 28, 2022 Day 2Apr 29, 2022 09:30 &#8211; 12:00 CEST Thomas Schmid &amp; Sven Linker Lecture Hall 1&#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\/2022\/wp-json\/wp\/v2\/pages\/431","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/comments?post=431"}],"version-history":[{"count":38,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/pages\/431\/revisions"}],"predecessor-version":[{"id":952,"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/pages\/431\/revisions\/952"}],"wp:attachment":[{"href":"https:\/\/www.lancaster.ac.uk\/leisys\/2022\/wp-json\/wp\/v2\/media?parent=431"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}