• 8010

    Inffeldgasse 16b Graz

    Österreich

Aktivitäten 1996 2019

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

Martin Kandlhofer (Redner/in)
25 Jun 2019

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to public

Workshop at European Robotics Forum

Gerald Steinbauer (Organisator/-in), Martin Kandlhofer (Organisator/-in), Alexander Ferrein (Organisator/-in), Paolo Fiorini (Organisator/-in), Aydan Erkmen (Organisator/-in), Fabio Bonsignorio (Organisator/-in), Camila Shirota (Organisator/-in), Andre Seyfarth (Organisator/-in), Monica Malvezzi (Organisator/-in)
22 Mär 2019

Aktivität: Teilnahme an / Organisation vonWorkshop, Seminar oder Kurs (Teilnahme an/Organisation von)

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

Gerald Steinbauer (Organisator/-in), Sven Koenig (Organisator/-in), Fredrik Heintz (Organisator/-in), Tara Chklovski (Organisator/-in), Martin Kandlhofer (Organisator/-in)
11 Aug 2019

Aktivität: Teilnahme an / Organisation vonWorkshop, Seminar oder Kurs (Teilnahme an/Organisation von)

Educational Robotics in Österreich

Gerald Steinbauer (Organisator/-in), Martin Kandlhofer (Organisator/-in), Johann Stockinger (Organisator/-in), Alexander Hofmann (Organisator/-in)
18 Jan 2019

Aktivität: Teilnahme an / Organisation vonWorkshop, Seminar oder Kurs (Teilnahme an/Organisation von)

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

Martin Kandlhofer (Redner/in)
Mai 2019

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to public

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

Martin Jochen Zimmermann (Teilnehmer/-in)
16 Jul 201820 Jul 2018

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Redner/in)
9 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Jorge Urrutia Galicia

Oswin Aichholzer (Gastgeber/in)
28 Jun 20187 Jul 2018

Aktivität: Aufnahme von GästenAufnahme von akademischen Gästen

Colored Crossings and Maximum Cuts

Birgit Vogtenhuber (Redner/in)
28 Mai 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to public

On the Superiority of Conflict-Driven Search in MUS Enumeration

Franz Wotawa (Redner/in)
29 Aug 2018

Aktivität: Vortrag oder PräsentationPosterpräsentationScience to science

A Note on Planar Monohedral Tilings

Birgit Vogtenhuber (Redner/in)
21 Mär 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Theory and Practice of Logic Programming (Zeitschrift)

Martin Gebser (Peer reviewer)
1 Nov 201830 Nov 2018

Aktivität: Peer review oder HerausgebertätigkeitPeer review-Tätigkeit

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

Bernhard Aichernig (Redner/in)
10 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Annals of Mathematics and Artificial Intelligence (Zeitschrift)

Martin Gebser (Peer reviewer)
1 Dez 201831 Dez 2018

Aktivität: Peer review oder HerausgebertätigkeitPeer review-Tätigkeit

Creative Bodies—Creative Minds

Bernadette Spieler (Organisator/-in)
Mär 2018

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

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

Christian Schindler (Redner/in)
10 Aug 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to science

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

Franz Wotawa (Redner/in)
13 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

The 29th IEEE International Symposium on Software Reliability Engineering

Ingo Pill Pill (Teilnehmer/-in)
15 Okt 201818 Okt 2018

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

Predicting and Testing System Response-Times

Richard Alexander Schumi (Redner/in)
27 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Künstliche Intelligenz & Robotik in Schule und Universität

Martin Kandlhofer (Redner/in)
Sep 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

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

Bernhard Aichernig (Redner/in)
5 Jun 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

AAAI-18 (Ereignis)

Ingo Pill (Mitglied)
2018

Aktivität: MitgliedschaftMitgliedschaft in Forschungsnetzwerk oder Expertengruppe

Algorithms for Molecular Biology (Zeitschrift)

Martin Gebser (Peer reviewer)
1 Okt 201831 Okt 2018

Aktivität: Peer review oder HerausgebertätigkeitPeer review-Tätigkeit

28th International Workshop on Principles of Diagnosis (Ereignis)

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

Aktivität: Peer review oder HerausgebertätigkeitHerausgebertätigkeit

NP-Completeness of Max-Cut for Segment Intersection Graphs

Birgit Vogtenhuber (Redner/in)
22 Mär 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Research vehicle for autonomous inner-city goods transport

Helmut Brunner (Redner/in), Mario Hirz (Redner/in), Gerald Steinbauer (Redner/in)
18 Mai 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to public

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Redner/in)
1 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Beitragende/r)
Dez 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Martin Gebser (Vorsitzende/r)
1 Okt 20181 Feb 2019

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

Second IEEE International Contest on Software Testing

Martin Jochen Zimmermann (Teilnehmer/-in)
17 Jul 2018

Aktivität: Teilnahme an / Organisation vonWettbewerb (Teilnahme an/Organisation von)

Teaching fundamental programming principles to beginners with Pocket Code

Christian Schindler (Redner/in)
6 Sep 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dez 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

29th International Workshop on Principles of Diagnosis, DX 2018 (Ereignis)

Ingo Pill (Mitglied)
2018 → …

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

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

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Bernhard Aichernig (Redner/in)
11 Jun 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

The RoboCup Rescue Victim Dataset

Peter Lorenz (Redner/in), Gerald Steinbauer (Beitragende/r)
Aug 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

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

Franz Wotawa (Redner/in)
28 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Ingo Pill (Teilnehmer/-in)
2018 → …

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Redner/in)
18 Jul 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

R. Fabila-Monroy

Oswin Aichholzer (Gastgeber/in)
20 Mai 201827 Mai 2018

Aktivität: Aufnahme von GästenAufnahme von akademischen Gästen

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

Richard Alexander Schumi (Redner/in)
6 Sep 2018

Aktivität: Vortrag oder PräsentationPosterpräsentationScience to science

Educational Robotics in Österreich

Gerald Steinbauer (Organisator/-in), Martin Kandlhofer (Organisator/-in), Johann Stockinger (Organisator/-in), Alexander Hofmann (Organisator/-in)
18 Jan 2018

Aktivität: Teilnahme an / Organisation vonWorkshop, Seminar oder Kurs (Teilnahme an/Organisation von)

European Driving License for Robotics and Intelligent Systems

Martin Kandlhofer (Redner/in)
Jan 2018

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to public

Ist Künstliche Intelligenz eine Kulturtechnik?

Martin Kandlhofer (Redner/in)
Mär 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

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

Bernhard Aichernig (Redner/in)
11 Sep 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Jean Cardinal

Oswin Aichholzer (Gastgeber/in)
20 Nov 201823 Nov 2018

Aktivität: Aufnahme von GästenAufnahme von akademischen Gästen

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

Franz Wotawa (Redner/in)
29 Aug 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Electronic Newsletter of the Association for Logic Programming (Zeitschrift)

Martin Gebser (Peer reviewer)
1 Okt 201831 Dez 2018

Aktivität: Peer review oder HerausgebertätigkeitHerausgebertätigkeit

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Redner/in)
27 Aug 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science