ALP 2019 Award an Martin Gebser

Martin Gebser wurde im Rahmen der 35. International Conference on Logic Programming mit dem „Alain Colmerauer 10 year test of time award“ ausgezeichnet.

Weiterlesen →

Studienassistenz (10h/Woche) gesucht!!!!

Die AAU Klagenfurt / TeWi sucht für den Zeitraum Oktober 2019 bis einschließlich Februar 2020 eine Studienassistentin bzw. einen Studienassistenten (10h/Woche).

Aufgaben:

– Wartung der Lehrveranstaltungen im LVOnline

– Unterstützung bei der Erfassung der Lehrveranstaltungen

– Umsetzung der Raumplanung

– Mitarbeit bei der PASS!-Initiative (z.B. Recherchetätigkeit)

Erwünscht sind:

+ Deutschkenntnisse

+ Genauigkeit

+ Verlässlichkeit

+ Organisationstalent und die Bereitschaft zur raschen Einarbeitung.

Bewerbungen an Peter Schartner oder Birgit Schaller erbeten.

Universität Klagenfurt besetzt erste Professur am Digital Age Research Center (D!ARC): Elisabeth Oswald kommt mit Forschungsschwerpunkt Cybersecurity nach Klagenfurt

Schritt für Schritt weitet die Universität Klagenfurt ihre Aktivitäten zum neuen Initiativschwerpunkt „Humans in the Digital Age“ aus. Ein Meilenstein ist dabei die Berufung von Elisabeth Oswald (University of Bristol) nach Klagenfurt. Elisabeth Oswald arbeitet als angewandte Kryptographin eng an der Schnittstelle zwischen Mathematik und Informatik. Ihre Forschung widmet sich vor allem den kryptographischen Aspekten der Cybersecurity.

Weiterlesen →

Workshop zu „Epistemic Extensions of Logic Programming“ in Cruces, New Mexico

Die Forschungsgruppe Semantic Systems veranstaltet am 20. September 2019 im Rahmen der International Conference on Logic Programming (ICLP) in Las Cruces, New Mexico, USA einen Workshop zum Thema „Epistemic Extensions of Logic Programming“ (EELP Workshop 2019).