AICS News:
Workshop on “Epistemic Extensions of Logic Programming” in Cruces, New Mexico
On September 20, 2019, the Semantic Systems research group will host a workshop on “Epistemic Extensions of Logic Programming” (EELP Workshop 2019) at the International Conference on Logic Programming (ICLP) […]
Tool-assisted Fault Discovery in Knowledge Bases: A Novel Approach from Klagenfurt
Artificial intelligence systems — for instance, in biomedicine — are often based on knowledge bases, which store expert knowledge in machine readable form. Unfortunately, it is not uncommon that mistakes […]
New cooperative FFG research project: AYUDO
The project AYUDO (Spanish: „I assist”) aims to support elderly or chronically ill people by digitizing their health data in order to be able to take early and regular measures […]
Offene Stelle: Wissenschaftlicher Mitarbeiter/ wissenschaftliche Mitarbeiterin (DoktorandIn)
Artificial Intelligence im Software Engineering Im Rahmen des vom FWF geförderten Projekts „iDEOS – Interactive Spreadsheet Debugging“ ist die Stelle eines/r wissenschaftlichen Mitarbeiters/-in (DoktorandIn) (Laufzeit 3.5 Jahre, Beschäftigungsausmaß 75%) zu […]
Studierende gesucht – Diplom- / Master-Arbeit – Integration von Sunset/FFapl in JCrypTool
Integration von Sunset/FFapl in JCrypTool JCrypTool (https://www.cryptool.org/de/jcryptool) ist ein modernes, mächtiges und leicht erlernbares eLearning Werkzeug für das (Selbst-)Studium von Kryptographie. Das System ist plugin-basiert, und bietet per Menü Zugriff […]
Studierende gesucht – Diplom- / Master-Arbeit – Verifiable Secret Sharing in JCrypTool
Verifiable Secret Sharing in JCrypTool JCrypTool (https://www.cryptool.org/de/jcryptool) ist ein modernes, mächtiges und leicht erlernbares eLearning Werkzeug für das (Selbst-)Studium von Kryptographie. Das System ist plugin-basiert, und bietet per Menü Zugriff […]
Studierende gesucht – Softwarepraktikum – Virulentes Postscript File
Virulentes Postscript File Digitale Signaturen sind prinzipiell auf jeder Form von Datei möglich, sichern im Allgemeinen jedoch lediglich die Unverändertheit der Datei an sich, nicht jedoch die Integrität der Inhalte, […]
Studierende gesucht – Softwarepraktikum/Praxissemester AINF – Simulation of Critical Infrastructures
Simulation of Critical Infrastructures Kritische Infrastrukturen sind Systeme, von denen das Bestehen der Gesellschaft wesentlich abhängt, etwa Stromversorgung, Wasserversorgung, Transport, Gesundheitssysteme, Kommunikation, u.v.m. Diese Systeme stehen in starker wechselseitiger Abhängigkeit, […]
Papers SEARCHED: Workshop on Epistemic Extensions of Logic Programming
Wolfgang Faber and Michael Morak organize the first Workshop on Epistemic Extensions of Logic Programming, which will be held at the International Conference on Logic Programming in late September 2019 […]
New research project on spreadsheet errors (FWF / iDEOS)
Spreadsheets based on Microsoft Excel are omnipresent in most organizations. Errors in these spreadsheets can however be highly problematic and a number of examples exist where wrong calculations led to […]
Open positions at AICS - Cluster of Excellence
Slot open November 1 until December 31 2024
Foyer der Universität Klagenfurt | Foto: aau/David Schreyer
