AINF researchers receive ACM SIGSOFT Distinguished Paper Award

/in /by

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.

Der Beitrag AINF researchers receive ACM SIGSOFT Distinguished Paper Award erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

ÖGAI Award 2013-2016 for Patrick Rodler

/in /by

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)

Der Beitrag ÖGAI Award 2013-2016 for Patrick Rodler erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

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

/in , /by

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, 76 renowned authors, many of whom have been companions of Heinrich 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 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.

 

Der Beitrag EMISA Journal – Special Issue on Conceptual Modelling in honour of Heinrich C. Mayr erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

Judith Michael moves to a senior research position at RWTH Aachen

/in /by

AINF News

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.

Der Beitrag Judith Michael moves to a senior research position at RWTH Aachen erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

Dagstuhl Seminar Approved

/in , , , , , , , /by

The research group Application Engineering proudly presents:

Next Generation Domain Specific Conceptual Modeling: Principles and Methods

Seminar, Schloss Dagstuhl, November 19-23, 2018.

Participation by invitation

Submitters and organizers: Heinrich C. Mayr (AAU Klagenfurt), Sudha Ram (University of Arizona Tucson), Wolfgang Reisig (Humboldt-Universität zu Berlin), Markus Stumptner (University of South Australia, Adelaide)

Judith Michael moves to a senior research position at RWTH Aachen

/in /by

 

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, 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.

MASTER THESIS: Manage and monitor the availability of IT

/in /by

Student: Dietmar Jost
Supervisor: P. Schartner in cooperation with G. Frankl (FA E-Learning)

The master thesis gives an overview of the most important aspects of availability and deals with technological and organizational measures to ensure availability. The technological measure IT monitoring is discussed in detail. Another focus of this work is the development of a monitoring concept for an existing IT infrastructure. It illustrates the possibilities of a monitoring system and how it can be used to monitor IT systems and services.

Der Beitrag MASTER THESIS: Manage and monitor the availability of IT erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

Course Announcement: August-Wilhelm Scheer gives lesson on ‘Automation of business processes’

/in /by

March 9/10, 2018 – August Scheer’s lecture on “Automation of business processes – from modelling to robotics in the office”

See: www.aau.at/blog/lehrveranstaltung-mit-prof-dr-dr-h-c-mult-august-wilhem-scheer/

Der Beitrag Course Announcement: August-Wilhelm Scheer gives lesson on ‘Automation of business processes’ erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

Job Announcement: Search for a University Assistant (f/m)

/in /by

The Department of Applied Informatics (Semantic Systems) invites applications for the position of a

University Assistant (prae doc)

Duration of employment: 4 years

Job description:

  • Participation in research and teaching within the Group Semantic Systems
  • Scientific research with the goal to obtain a doctorate degree
  • Involvement in administrative and organizational tasks of the department
  • Participation in public relations activities of the department and faculty

Skills:

  • Adequate completed Austrian or equivalent foreign university education
  • A working knowledge of English and willingness to learn German within an appropriate time frame

In research and teaching, the research group Semantic Systems works on knowledge representation in intelligent systems. The research group focuses in particular on logic-based, declarative languages. The spectrum of the research activities ranges from the development and formal analysis of new and existing declarative languages, over implementation of systems supporting such languages, to their applications. The Department of Applied Informatics is very well networked internationally in science and industry.

Applications must be submitted no later than March 14th 2018, see the official Job Announcement (in German) and  its non-binding English translation.

Der Beitrag Job Announcement: Search for a University Assistant (f/m) erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI

Job Announcement: Search for a PostDoc Assistant (f/m, without qualification agreement)

/in /by

The Department of Applied Informatics (Semantic Systems) invites applications for the position of a

PostDoc Assistant (f/m, without qualification agreement)

(fixed-term employment for a period of 6 years)

 

Job description:

  • Autonomous research (intensifying and broadening of subject and academic knowledge towards habilitation level)
  • Participation in research and teaching within the Group Semantic Systems
  • Autonomous teaching
  • Examining (collaborating and leading)
  • Student supervision
  • Involvement in administrative and organizational tasks and quality assurance
  • Involvement in expansion of international scientific contacts of the department and faculty
  • Participation in public relations activities of the department and faculty

 Skills:

  • Completed relevant master’s or diploma studies at a university in Austria or abroad
  • Profound knowledge or experience in one or more of the following areas:
    • Computational complexity of logic-based languages
    • Rule-based formalisms
    • Implementation of logic-based systems
    • Deductive databases
    • Semantic web
    • Computational linguistics
    • Mathematical logic
  • Fluent knowledge of German and English in spoken and written form or willingness to acquire them within the first year of employment

In research and teaching, the research group Semantic Systems works on knowledge representation in intelligent systems. The research group focuses in particular on logic-based, declarative languages. The spectrum of the research activities ranges from the development and formal analysis of new and existing declarative languages, over implementation of systems supporting such languages, to their applications. The Department of Applied Informatics is very well networked internationally in science and industry.

Applications must be submitted no later than March 14th 2018, see the official Job Announcement (in German) and  its non-binding English translation.

Der Beitrag Job Announcement: Search for a PostDoc Assistant (f/m, without qualification agreement) erschien zuerst auf Alpen-Adria-Universität Klagenfurt.

Source: AAU TEWI