AINF researchers receive ACM SIGSOFT Distinguished Paper Award

Researchers of TU Graz, TU Dortmund, and AAU have developed a new technique that automatically predicts which formulas in a spreadsheet are most probably faulty. The work was accepted for publication at the prestigious ICSE 2018 conference (NIER track) and received an ACM SIGSOFT Distinguished Paper Award.

ÖGAI Award 2013-2016 for Patrick Rodler

Congratulations:  Patrick Rodler was awarded in January 2018 with the  Recognition Award of the Austrian Society for Artificial Intelligence 2013-2016 (ÖGAI) for his outstanding master thesis “A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics”.

The Austrian Society for Artificial Intelligence awards the ÖGAI-Award for the best diploma thesis / master thesis in a sub-area of Artificial Intelligence to support young scientists.

(from left to right): Prof. Stefan Woltran (Jury), Patrick Rodler (Winner), Prof. Ernst Buchberger (ÖGAI President), Thomas Krismayer (Winner), Prof. Thomas Eiter (Jury)

EMISA Journal – Special Issue on Conceptual Modelling in honour of Heinrich C. Mayr

On the occasion of Heinrich C. Mayr’s 70th birthday, the current issue of the EMISA Journal was published under the title “Special Issue on Conceptual Modelling in Honour of Heinrich C. Mayr“.

In this issue of the EMISA Journal, dedicated to Heinrich C. Mayr, 76 renowned authors, many of whom have been companions of Heinrich C. Mayr for many years, wrote 26 articles on topics ranging from the basics of conceptual modelling, petri nets, business processes, ontology-based modelling and software engineering to database and application engineering.

The bound ‘first edition of this commemorative publication’ was handed over to Heinrich C. Mayr at the evening event of the conference “Modellierung 2018″  at the premises of the Alstadtrathaus Braunschweig, the Dornse (see photo: Heinrich C. Mayr with one of the editors Judith Michael).

 

 

 

 

 

 

 

 

The EMISA Journal (Enterprise Modelling and Information Systems Architectures – International Journal of Conceptual Modeling) is a peer reviewed Open Access Journal focusing on new and innovative approaches to conceptual modeling and its application.

 

Judith Michael moves to a senior research position at RWTH Aachen

Congratulations: With March 1, Judith Michael will take up new challenges at the Department of Computer Science 3 of RTWH Aachen (Prof. Dr. Bernhard Rumpe).

We thank her for all her contributions and dedication to research, teaching and the organization of great conferences at the Department of Applied Informatics, and we wish her success and all the best at the new position.

Clearly, in the scientific world, Aachen is nearby, so that we are looking forward to an on-going intensive cooperation.