• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2020

ECAI 2020 - 24th European Conference on Artificial Intelligence (Event)

Ingo Hans Pill (Chair)
2020

Activity: MembershipMembership in Programm Committee

AAAI-20 Thirty-Fourth AAAI Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2020

Activity: MembershipMembership in Programm Committee

IEEE/RSJ International Conference on Intelligent Robots and Systems (Event)

Gerald Steinbauer (Member)
2019 → …

Activity: MembershipMembership in Programm Committee

28th International Joint Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

Educational Robotics in Österreich

Gerald Steinbauer (Organiser), Martin Kandlhofer (Organiser), Johann Stockinger (Organiser), Alexander Hofmann (Organiser)
18 Jan 2019

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

A.I. (Artificial Intelligence) Literacy - Künstliche Intelligenz als Grundkompetenz

Martin Kandlhofer (Speaker)
May 2019

Activity: Talk or presentationInvited talk at conference or symposiumScience to public

Workshop at European Robotics Forum

Gerald Steinbauer (Organiser), Martin Kandlhofer (Organiser), Alexander Ferrein (Organiser), Paolo Fiorini (Organiser), Aydan Erkmen (Organiser), Fabio Bonsignorio (Organiser), Camila Shirota (Organiser), Andre Seyfarth (Organiser), Monica Malvezzi (Organiser)
22 Mar 2019

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

International Joint Conference on Artificial Intelligence (Event)

Gerald Steinbauer (Member)
2019 → …

Activity: MembershipMembership in Programm Committee

32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Organiser), Franz Wotawa (Chair), Roxane Koitz-Hristov (Organiser), Gerhard Friedrich (Chair), Moonis Ali (Chair)
2019

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

IJCAI-2019 - Workshop on Education in Artificial Intelligence K-12 (EduAI)

Gerald Steinbauer (Organiser), Sven Koenig (Organiser), Fredrik Heintz (Organiser), Tara Chklovski (Organiser), Martin Kandlhofer (Organiser)
11 Aug 2019

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

EDLRIS - European Driving License for Robots and Intelligent Systems: Enabling the Creation of Intelligent Things

Martin Kandlhofer (Speaker)
25 Jun 2019

Activity: Talk or presentationTalk at conference or symposiumScience to public

European Conference on Artificial Intelligence (Event)

Gerald Steinbauer (Member)
20192020

Activity: MembershipMembership in Programm Committee

30th International Workshop on Principles of Diagnosis, DX 2019 (Event)

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

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

Jorge Urrutia Galicia

Oswin Aichholzer (Host)
28 Jun 20187 Jul 2018

Activity: Hosting a visitorHosting an academic visitor

Colored Crossings and Maximum Cuts

Birgit Vogtenhuber (Speaker)
28 May 2018

Activity: Talk or presentationInvited talkScience to public

A Note on Planar Monohedral Tilings

Birgit Vogtenhuber (Speaker)
21 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Theory and Practice of Logic Programming (Journal)

Martin Gebser (Peer reviewer)
1 Nov 201830 Nov 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

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

Annals of Mathematics and Artificial Intelligence (Journal)

Martin Gebser (Peer reviewer)
1 Dec 201831 Dec 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

Creative Bodies—Creative Minds

Bernadette Spieler (Organiser)
Mar 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Agile Software Development, Software Engineering, Computer Science Didactic & Teaching

Christian Schindler (Speaker)
10 Aug 2018

Activity: Talk or presentationInvited talkScience 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

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Speaker)
18 Jul 2018

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

18th IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018

Martin Jochen Zimmermann (Participant)
16 Jul 201820 Jul 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Second IEEE International Contest on Software Testing

Martin Jochen Zimmermann (Participant)
17 Jul 2018

Activity: Participation in or organisation ofCompetition (Participation in/Organisation of)

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

Ist Künstliche Intelligenz eine Kulturtechnik?

Martin Kandlhofer (Speaker)
Mar 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Richard Alexander Schumi (Speaker)
5 Jun 2018

Activity: Talk or presentationPoster presentationScience to public

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Richard Alexander Schumi (Speaker)
6 Sep 2018

Activity: Talk or presentationPoster presentationScience to science

Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
5 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Algorithms for Molecular Biology (Journal)

Martin Gebser (Peer reviewer)
1 Oct 201831 Oct 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

NP-Completeness of Max-Cut for Segment Intersection Graphs

Birgit Vogtenhuber (Speaker)
22 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience 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

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Speaker)
1 Oct 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Contributor)
Dec 2018

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

AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence (Event)

Martin Gebser (Chair)
1 Oct 20181 Feb 2019

Activity: MembershipMembership in Programm Committee

Teaching fundamental programming principles to beginners with Pocket Code

Christian Schindler (Speaker)
6 Sep 2018

Activity: Talk or presentationInvited talkScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dec 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Bernhard Aichernig (Speaker)
11 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

The RoboCup Rescue Victim Dataset

Peter Lorenz (Speaker), Gerald Steinbauer (Contributor)
Aug 2018

Activity: Talk or presentationTalk at conference or symposiumScience 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

R. Fabila-Monroy

Oswin Aichholzer (Host)
20 May 201827 May 2018

Activity: Hosting a visitorHosting an academic visitor

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

31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Participant)
2018 → …

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

28th International Workshop on Principles of Diagnosis (Event)

Marina Zanella (Guest editor), Ingo Pill (Guest editor), Alessandro Cimatti (Guest editor)
6 Jan 2018

Activity: Publication peer-review or editorial workEditorial activity