Tag Archives: Workshop

informatik-bilderleiste-02

Österreichs LogikerInnen vernetzen sich

Vor kurzem fand im Universitätszentrum Obergurgl der Universität Innsbruck der Helmut Veith Memorial Workshop (HVW) statt. Vom 31. Jänner bis 02. Februar 2017 trafen sich Österreichs LogikerInnen um im Namen von Helmut Veith, dem vor einem Jahr verstorbenen führenden Logiker und Computerwissenschaftler, die Vernetzung voranzutreiben.

Teamfoto des HVW 2017 in Obergurgl © Georg Moser
Teamfoto des HVW 2017 in Obergurgl © Georg Moser

Veith ist es gelungen Österreich zum weltweiten Zentrum der Verifikation zu machen. Die Verifikation bezeichnet die automatisierte Korrektheitsanalyse von Software, welche zusehends an Bedeutung gewinnt, da die IT geradezu alle Lebensbereiche durchdringt. Methode dieser Forschung ist die Logik, die “lingua franca” der Computerwissenschaft.

Renommierte Gastredner sprachen in ihren Beiträgen über grundlegenen Überlegungen zur Logik sowie über die Entwicklung industriell verwertbarer Verifikationswerkzeuge. Moshe Vardi, Professor an der Rice University in Texas, ist Editor der “Communication of the ACM”, der weltweiten Vereinigung von IT Fachkräften und darüberhinaus für seine klarsichtigen Beiträge zur Auswirkung der Automatisierung auf unseren Arbeitsmarkt bekanne. Erich Grädel, Professor der RWTH Aachen, ist Spezialist der endlichen Modelltheorie, Herausgeber u.a. des Journals “Mathematical Logic Quarterly” und veröffentliche mehrere Bücher zur Logik, Spiel- und Entscheidungstheorie.

Der erfolgreiche Workshop wurde von assoz. Prof. Dr. Georg Moser, Computation with Bounded Ressources, Computational Logic, geleitet. Der nächste HVM-Workshop wird 2018 in Salzburg stattfinden.

Links:

http://cbr.uibk.ac.at/events/hvw/
http://cbr.uibk.ac.at

(Gabriele Strasser, Georg Moser)
informatik-bilderleiste-04

Study, network, get ahead!

Join QSP Tirol, the Quality and Security Program of the University of Innsbruck. Application oriented events support you to “study, network, get ahead” in the areas of software engineering, information security and IT management.

Workshops with external practitioners from industry and business

QSP Labs are one to three half day workshops with renown experts and hands-on knowledge transfer.

In QSP Talks you will meet the experts in talks and get together.

QSP Teaching comprises elective lectures and labs in the area of Software Engineering and Information Security offered within the Bachelor and Master Program in Computer Science at the University of Innsbruck. Additionally we offer Bachelor and Master Theses in collaboration with the QSP Partners.

Registration is open now. The first labs will take place on 27th and 28th of November 2014.

More informationen:qsp

QSP Tirol: www.qsp-tirol.at
QSP Labs-Programm: http://qsp-tirol.at/start.html#labs
Anrechnung QSP Labs: http://qsp-tirol.at/start.html#teaching
Registrierung: https://lms.uibk.ac.at/url/RepositoryEntry/3756392549