VeranstaltungsortN.2.01Veranstalter Institut für MathematikBeschreibungTitel: Nonlinear Energy Network and Heuristic Methods forLarge-scale MINLPKurzfassung:In this talk I will introduce a nonlinear maximization problem for a simpleenergy network instance. The network consists of machines to produceheat and a storage tank and it is formulated as a mixed-integer nonlinearprogramming problem (MINLP). This problem is NP-hard, a large-scaleMINLP cannot be solved efficiently by nonlinear solvers. In this talk, I willexplain the formulation of the model, the difficulties of this problem andthe methods used to solve this problem in practice.Vortragende(r)Shudian ZhaoKontaktSenka Haznadar (senka.haznadar@aau.at)

VeranstaltungsortS.1.37Veranstalter Fakultät für Technische WissenschaftenBeschreibungIn the past decade, research on test-suite-based automatic program repair has grown significantly. Each year, new approaches and implementations are featured in major software engineering venues. However, most of those approaches are evaluated on a single benchmark of bugs, which are also rarely reproduced by other researchers. In this paper, we present a large-scale experiment using 11 Java test-suite-based repair tools and 2,141 bugs from 5 benchmarks. Our goal is to have a better understanding of the current state of automatic program repair tools on a large diversity of benchmarks. Our investigation is guided by the hypothesis that the repairability of repair tools might not be generalized across different benchmarks. We found that the 11 tools 1) are able to generate patches for 21% of the bugs from the 5 benchmarks, and 2) have better performance on Defects4J compared to other benchmarks, by generating patches for 47% of the bugs from Defects4J compared to 10-30% of bugs from the other benchmarks. Our experiment comprises 23,551 repair attempts, which we used to find causes of non-patch generation. These causes are reported in this presentation, which can help repair tool designers to improve their approaches and tools. This work was presented at ESEC/FSE19 and was given an ACM SIGSOFT Distinguished Paper Award.Vortragende(r)Assoc.-Prof. Rui AbreuKontaktChristian Timmerer (christian.timmerer@itec.aau.at)

VeranstaltungsortZ.1.09Veranstalter Institut für KulturanalyseBeschreibungMilena Olip ist mit ihrem Dokumentarfilm "SINE LEGIBUS" am Institut für Kulturanalyse zu Gast: Die Gedanken von Mica Olip und flüchtige Einblicke in ihr 105-jähriges Leben. Gedanken, die uns ins zweisprachige Kärnten und ins Jahr 1976 führen. Ins Jahr, als die österreichische Bundesregierung österreichweit eine Minderheitenfeststellung durchführt, die als Grundlage für die Aufstellung von zweisprachigen Ortstafeln dienen soll. Die Zählung wird von den Kärntner Slowenen boykottiert. Im kleinen Bergdorf Zell/Sele entscheiden sich vier junge Männer für eine »Operation« besonderer Art: sie stürmen das Wahllokal und stehlen die Wahlurne.Vortragende(r)Milena Olip (Zell)KontaktDr. Janine Schemmer (janine.schemmer@aau.at)

VeranstaltungsortN.2.01Veranstalter Institut für MathematikBeschreibungTitel:Patterns in lattice paths: The case of several patternsKurzfassung:In my last talk, I presented a method for enumeration of lattice paths that avoid a fixed pattern. This method can be used for a much broader family of problems; however, it does not produce a uniform closed-form formula that fits all cases. In this talk I will present some closed-form formulas for avoiding/counting several patterns at once.The talk is based on a joint work with Cyril Banderier (Paris) and Valerie Roitner (Vienna).Bachelor and Master students are explicitly invited to attend the talk!Vortragende(r)Andrei AsinowskiKontaktSenka Haznadar (senka.haznadar@aau.at)