IFI Infomail

News:

Monday, 07 May 2012 13:05

There are no translations available.

„You can make IT“ – Informatik erfahren und begreifen

04052012pkminromanichaweb Unter dem Slogan „You can make IT“ starten österreichische Universitäten unter Federführung der Universität Innsbruck eine Initiative zur Bewerbung des Informatik-Studiums. Heute wurde die Kampagne gemeinsam mit Wissenschaftsminister Karlheinz Töchterle in Wien präsentiert.

Foto: Janusz Filipiak (Gründer und CEO der Comarch AG), Prof. Ruth Breu (Universität Innsbruck, Projektleiterin), Minister Karlheinz Töchterle, Gabriele Kotsis (Vizerektorin an der JKU Linz), Bernd Geiger (Geschäftsführer des allgemeinen Rechenzentrums Innsbruck). (Foto: HBF/Icha)

FWF Translational Research Project Accepted

Assoc. Prof Radu Prodan's FWF Translational Research Project "Workflows on Manycore Processors" has been accepted.

Manycore processors have a profound effect on software development in industry, business, and also science, as most applications are not designed to exploit manycore-based parallel computing systems, and the large majority of software developers have little expertise in creating parallel programs. Software developers need new programming models, tools, and abstractions by the operating system to handle concurrency and complexity of numerous processors. An important class of applications which has been largely ignored so far when dealing

Intern at the Institute of Computer Science receives

Using the motto "I know what you did yesterday" Philipp Wirtenberger analysed the behaviour of Tyrolean youngsters in social networks, as part of the "Talents Initiative" by the Austrian Research Promotion Agency (FFG). Now he received an award for his outstanding internship report.

Next Colloquium 16. May 2012

Renato Lo Cigno, Assoc. Prof. at DISI, University of Trento

Optimal and Robust Scheduling for Real Time Streaming in Unstructured Meshes

12:15
3W04

Tuesday, 20 March 2012 14:24

FWF Project linking Austria and Japan accepted

Prof. Middeldorp's project “Constrained Rewriting and SMT: Emerging Trends in Rewriting”, funded by Austrian Science Fund (FWF) and the Japan Society for Promotion of Science (JSPS) has been accepted. The project is a joint project between Austria and Japan. It is planned for 3 years and will commence shortly. The volume of the project is EUR 463K.

This Austria-Japan joint project combines the expertise in term rewriting in the Computational Logic research group at the University of Innsbruck and in the Theory and Logic research group at Vienna University of Technology, with four research groups in Japan: Hokkaido University, Japan Advanced Institute of Science and Technology, Nagoya University, and the University of Yamanashi.

The project aims at advancing the state of the art in constrained rewriting and in the applicability of SMT solvers in rewriting by pooling the available expertise of the six partners.

http://cl-informatik.uibk.ac.at/news/fwf-jsps-joint-project-austria-japan-accepted/