• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2019

Filter
Talk at workshop, seminar or course

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser (Speaker)
20 Nov 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Speaker)
9 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

SchülerInnen Konferenz "Ich bin online" WKO Steiermark

Bernadette Spieler (Speaker)
18 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
10 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Speaker)
27 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Speaker)
18 Jul 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System

Franz Wotawa (Speaker)
13 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Software configuration diagnosis – A Survey of existing methods and open challenges

Franz Wotawa (Speaker)
28 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Contributor)
Dec 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Research vehicle for autonomous inner-city goods transport

Helmut Brunner (Speaker), Mario Hirz (Speaker), Gerald Steinbauer (Speaker)
18 May 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

Qualitative deviation models vs. quantitative models for fault localization in spreadsheets

Birgit Gertraud Hofer (Speaker)
21 Aug 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Birgit Gertraud Hofer (Speaker)
26 Jul 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Pocket Code - Computational Thinking for all

Matthias Müller (Speaker)
14 Sep 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

Birgit Gertraud Hofer (Speaker)
23 Oct 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

V-Net 2.1Adv "Intelligente und vernetzte Systeme*"

Christian Josef Kreiner (Speaker), Gerald Steinbauer (Speaker)
6 Jul 20177 Jul 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

SchülerInnenkonferenz „DIGITALISIERUNG- Wer geht den Weg mit uns?“

Bernadette Spieler (Speaker)
31 Oct 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

A superlinear lower bound on the number of 5-holes

Birgit Vogtenhuber (Speaker)
13 Apr 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

InternationalWorkshop on Defeasible and Ampliative Reasoning

Franz Wotawa (Speaker)
29 Aug 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Knowledge-based Techniques for Problem Solving and Reasoning

Franz Wotawa (Speaker)
10 Jul 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Verification and Validation of Adaptive Systems

Franz Wotawa (Speaker)
2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Qualitative Reasoning

Franz Wotawa (Speaker)
11 Jul 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

7th IEEE International Workshop on Program Debugging

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

39th German Conference on Artificial Intelligence

Martin Kandlhofer (Speaker)
27 Sep 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

7th IEEE International Workshop on Program Debugging

Birgit Gertraud Hofer (Speaker)
24 Oct 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week

Bernhard Aichernig (Keynote speaker)
11 Apr 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Speaker)
23 Jun 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Vamos 2015 Workshop

Alexander Felfernig (Speaker)
21 Jan 201523 Jan 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

FinRec'15 Workshop

Alexander Felfernig (Speaker)
16 Apr 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Vamos 2015 Workshop

Alexander Felfernig (Speaker)
21 Jan 201523 Jan 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

A-MOST 2015, the 11th Advances in Model Based Testing workshop

Bernhard Aichernig (Speaker)
17 Apr 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Crossing Number Workshop 2015

Thomas Hackl (Keynote speaker)
21 May 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems

Bernhard Aichernig (Speaker)
23 Jun 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

AIM Workshop on Exact crossing numbers

Oswin Aichholzer (Speaker)
28 Apr 20142 May 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

The 10th Workshop on Advances in Model Based Testing (A-MOST)

Franz Wotawa (Speaker)
4 Apr 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

4.International Workshop on Cognitive Robotics

Clemens Mühlbacher (Speaker)
8 Sep 201411 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

9th International Workshop on Automation of Software Test (AST'14)

Josip Bozic (Speaker)
31 May 20141 Jun 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Decision Making and Recommender Systems 2014

Alexander Felfernig (Speaker)
18 Sep 201419 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

ACM RecSys'2014 CrowdRec Workshop

Alexander Felfernig (Speaker)
6 Oct 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Defeasible and Ampliative Reasoning

Franz Wotawa (Speaker)
19 Aug 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Seminar

Bernhard Aichernig (Speaker)
19 Dec 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Software Engineering Methods in Spreadsheets

Birgit Gertraud Hofer (Speaker)
2 Jul 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

LVIS Workshop

Alexander Felfernig (Speaker)
16 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

25th International Workshop on Principles of Diagnosis

Birgit Gertraud Hofer (Speaker)
9 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Graz Discrete Mathematics and Optimization Seminar

Birgit Vogtenhuber (Speaker)
28 Jan 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Evaluation and Usability of Programming Languages and Tools

Roxane Koitz (Speaker)
21 Oct 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

30th European Workshop on Computational Geometry

Birgit Vogtenhuber (Speaker)
3 Mar 20145 Mar 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS

Johannes Maurer (Speaker)
16 Jun 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science