Title: "Benefits and Perspectives of Automated Algorithm Selection for the Traveling Salesperson Problem "
Begin: Thursday, 22nd of October 2020 (4:15 PM) via Zoom Meeting
The Euclidean Traveling Salesperson Problem (TSP) is a classical optimization problem which is of high relevance for science and industry. Although it has been well-studied for decades, there is no algorithm in the…
Begin: Friday, 18. of September 2020 (3:00 PM) via BigBlueButton
On September 18, 2020, Jun.-Prof. Dr. Henning Wachsmuth from the Paderborn University will give a SFB-lecture about "Machines that Argue: Advances in Natural Language Argument Generation" in the context of the SFB 901.
Computational methods for processing natural language arguments are receiving more and more attention in research, due to their expected impact on future…
On August 20th, 2020, Prof. Dr. Iris Junglas (University of Liechtenstein) will give a talk about "Capturing the ‚Social‘ in Social Networks—A Conceptualization and Empirical Application of a Comprehensive Measurement" in the context of the SFB 901.
Zoom Meeting https://zoom.us/j/91481727980?pwd=Tmk4UEZ3SGdEV2dURHh1Y0dzZjIzdz09
Meeting ID: 914 8172 7980 Password: 836012
Social networks are omnipresent in both our private and…
Begin: Mon, 2. of March 2020 (9:00 AM) End: Fri, 6. of March 2020 (3:30 PM) Location: Paderborn University
The 7th annual conference of the association "Digital Humanities in German-speaking countries e.V." will take place from March 2 to 6, 2020 at the Paderborn University under the topic "Leeway - Digital Humanities between modeling and interpretation".
Do we make use of existing leeway? Do they give us the freedom to make a decision beyond…
On February 19th, 2020, Prof. Dr. Dirk Meyer (LMU Munich) will give a talk about " Software Verification - An Overview of the State of the Art " in the context of the SFB 901.
This presentation provides an overview of the techniques that are used in state-of-the-art tools for software verification. The advance of technology in automatic verification is visible via annual comparative evaluations in the area (competitions). We will have…
On January 8, 2020, the 4th SFB 901 seminar in the winter semester will take place.
4:00 - 4:25 subproject B1 Speaker: Jun.-Prof. Dr. Henning Wachsmuth Title: Style Transfer in Natural Language Processing
In phase 3 of the CRC, subproject B1 deals with the chatbot-based specification and explanation of services in natural language. The style of the explanations is meant to match the style of the user's specifications. In this talk,…
On December 19th, 2019, Prof. Dr. Philippe Palanque (University Toulouse 3 “Paul Sabatier”, France) will give a talk about "Automation as a Design Option for Interactive Systems and its Implications on Usability, UX, Dependability and Safety" in the context of the SFB 901.
Innovation and creativity are the research drivers of the Human-Computer Interaction (HCI) community which is currently investing a vast amount of resources in the…
On December 13, 2019, Marten Maack (Kiel University, CAU) will give a talk about "Inapproximability Results for Scheduling with Interval and Resource Restrictions" in the context of the SFB 901. Abstract:
In the restricted assignment problem, the input consists of a set of machines and a set of jobs each with a processing time and a subset of eligible machines. The goal is to find an assignment of the jobs to the machines minimizing the…
On November 20, 2019, the 2nd SFB 901 seminar in the winter semester will take place.
4:00 - 4:20 subproject B3 Speaker: Prof. Dr. Heike Wehrheim Title: Validating Properties of Machine Learning Models
4:20 - 5:00 Speaker: Arnab Sharma, subproject B3 Title: Validating Properties of Machine Learning Models
Abstract: One task of subproject B3 is the quality assurance of software compositions. In the context of AutoML, such compositions often…