Beitrags-Archiv für die Kategory 'AINF'

Studienassistentin gesucht !!!!

Freitag, 3. August 2018 9:32

Die Forschungsgruppe Systemsicherheit sucht für das Studienjahr 18/19 eine Studienassistentin !!!!!

Aufgaben: Pflege der LV- und Webseiten, Re-Design von go2algo, Austesten von Laborübungen.

Voraussetzungen: Java-Programmierung und Lernbereitschaft

 

Bewerbungen an Peter Schartner erbeten.

Share

Thema: AINF, Institut, Jobs, PR_AINF, Praktikum | Kommentare (0) | Autor:

TEWI Kolloquien – Stiftungsprofessur „Adaptive und vernetzte Produktionssysteme“ – 14. und 15. Mai 2018

Dienstag, 8. Mai 2018 14:11

Montag, 14. MAi 2018

9:00 – 10:00 Uhr Dr. Klaus SCHEWE

Vortragsthema: The CyPHER Model for End-to-End Hybrid Systems Engineering

11:00 – 12.00 Dr. Jan Olaf BLECH

Vortragsthema: Spatio-temporal Reasoning and Decision Support for Industrial Automation

14:00 – 15.00 Dr. Anna FENSEL

Vortragsthema: Increasing efficiency employing sensors, smart data and user engagement

16:00 – 17.00 Dr. Hans Georg FILL

Vortragsthema: Digitization of Future Production Systems Using Enterprise Modeling Methods

 

Dienstag, 15. Mai 2018

9:00 – 10:00 Dr. Martin GEBSER

Vortragsthema: Wissensbasierte Methoden für den Entwurf und die Optimierung von Produktionssystemen

11:00 – 12.00 DI DDr. Philipp HUNGERLÄNDER

Vortragsthema: Lösung eines Flottenoptimierungsproblems mit strukturierten Zeitfenstern für eine der weltweit größten Supermarktketten

 

Titel und Abstracts finden Sie hier.

Share

Thema: AINF, Institut, Veranstaltung | Kommentare (0) | Autor:

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

Donnerstag, 22. Februar 2018 14:51

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.

Share

Thema: AINF, Institut, Jobs | Kommentare (0) | Autor:

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

Donnerstag, 22. Februar 2018 14:46

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.

Share

Thema: AINF, Institut, Jobs | Kommentare (0) | Autor:

Vom Sinn und Unsinn von Frauenfördermaßnahmen in der Technik

Mittwoch, 25. Oktober 2017 9:11

frauenfoerderung in Technik

O.Univ.Prof. Gertrude Kappel (TU Wien, Software Technology and Interactive Systems) spricht am 15.11.2017 um 18 Uhr über „Wozu brauchen wir das alles ? Vom Sinn und Unsinn von Frauenfördermaßnahmen insbesondere in der Technik“.

Um Voranmeldung bis 10.11. wird gebeten: gender.zentrum@aau.at Wir freuen uns auf Ihr Kommen!

Share

Thema: AINF, Institut, Veranstaltung | Kommentare (0) | Autor:

14. Österreichische IT-Sicherheitstag in Klagenfurt

Donnerstag, 12. Oktober 2017 15:32

Bild Sicherheitstag

Der Österreichische IT-Sicherheitstag fand am 5. Oktober 2017 bereits zum 14. mal statt und gut 170 TeilnehmerInnen verfolgten die angebotenen Vorträge bzw. Tutorials mit großem Interesse. Die Veranstaltung richtet sich an Entscheider und Mitarbeiter von kleinen und mittleren Unternehmen, im Speziellen Software-Firmen, denen IT-Sicherheitsfragen ein Anliegen sind.

Organisiert wurde der IT-Sicherheitstag vom Institut für Angewandte Informatik, Forschungsgruppe Systemsicherheit (syssec) der Universität Klagenfurt begleitend zur IT Carinthia, der IKT-Kongress-Messe für Südösterreich und den Alpen-Adria Raum.

Es gab insgesamt 10 Vorträge bzw. Tutorials zu folgenden Themen: […]

Share

Thema: AINF, Institut, Veranstaltung | Kommentare (0) | Autor:

Research Project Assistant / Doctoral Student

Mittwoch, 4. Oktober 2017 13:40

The Institute of Applied Informatics of the Alpen-Adria Universität Klagenfurt in cooperation with the DynaCon research project is seeking a

Research Project Assistant / Doctoral Student. Further informations please find here.

Share

Thema: AINF, Institut, Jobs, Studium | Kommentare (0) | Autor:

Der nächste große Schritt für die Künstliche Intelligenz

Donnerstag, 21. April 2016 9:20

Heuristik für Industrie 4.0

artikel_siemens_geleise

 

Mit dem Projekt „Heuristic Intelligence“ – HINT werden buchstäblich neue Weichen gestellt. Mit der von der FFG geförderten Forschungskooperation der Angewandten Informatik unter Projektleiter Univ.-Prof. Gerhard Friedrich, des Instituts für Psychologie, der TU-Wien/Oxford, Siemens und Infineon werden neue Maßstäbe für die Industrie 4.0 gelegt.

Ausführliche Informationen über das Projekt finden Sie unter: HINT – Heuristik für Industrie 4.0

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Gastvortrag: Dr. Carmine Dodaro (University of Calabria)

Dienstag, 12. April 2016 12:54

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „Efficient Solving Techniques for Answer Set Programming“

Zeit:           Dienstag, 19. April 2016, 14:00-16:00 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

Answer Set Programming (ASP) is a well-established declarative programming paradigm. The high expressivity of ASP, combined with the growing number of industrial applications, made the implementation of efficient ASP solvers a challenging and crucial research topic. Efficient ASP solvers are required to address several reasoning tasks that go beyond the mere computation of answer sets. Among them are cautious reasoning, for modeling query entailment, and optimum answer set computation, for supporting numerical optimization. This talk reports on the techniques employed by the most efficient ASP solvers, and details the algorithms and the design choices for addressing several reasoning tasks in ASP.

CV: see http://www.cdodaro.eu

Die Folien zum Gastvortrag finden Sie hier: slides

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Vortrag: Radu Mateescu, INRIA, Grenoble

Mittwoch, 2. März 2016 12:01

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „On-the-Fly Verification for Extended Action-Based Temporal Logics“

Zeit:           Donnerstag, 3. März 2016, 11:00-12:30 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

For analyzing the dynamic behaviour of concurrent value-passing systems, classical temporal logics must be extended with data-handling primitives. Since the early days of formal verification, many such extensions were proposed, both in the linear/branching time and the state/action based settings. We present here MCL (Model Checking Language), an extension of the alternation-free modal mu-calculus with data-handling features, generalized regular expressions over transition sequences, and fairness operators. MCL was designed to allow a versatile and succinct formulation of temporal properties interpreted on labeled transition systems (LTSs) containing data values. We illustrate the usage of MCL by means of classical examples of properties (safety, liveness, fairness). We also describe the implementation of MCL provided by the EVALUATOR 4.0 model checker of the CADP verification toolbox, which evaluates an MCL formula on-the-fly on an LTS and also produces full diagnostics (witnesses and counterexamples), i.e., subgraphs of the LTS illustrating the truth value of the formula. We discuss the expressiveness and evaluation complexity of MCL, and we outline directions of ongoing work.

CV: see http://convecs.inria.fr/people/Radu.Mateescu/

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor: