IT-Park Timisoara Main Goal: IT developement Partners: Academic, Governamental History: Institutul e-Austria Current situation and achievements Concepts and design of the IT-Park Future developement

IT-Park Timisoara Main Goal Sustainable IT development –Human potential –International cooperation Virtuos cycle –High education –Scientific research –Industrial applications

IT-Park Timisoara Partners Universitatea Politehnica Departamentul de Calculatoare Universitatea de Vest Departamentul de Informatica Institutul e-Austria Consiliul Judetean Timis Consiliul Local Timisoara

IT-Park Timisoara Institutul e-Austria Universitatea Politehnica Departamentul de Calculatoare Universitatea de Vest Departamentul de Informatica Johannes Kepler Universität Linz Research Institute for Symbolic Computation IT Research and Technology Transfer Promote IT-Park

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler Universität Linz, Austria

Research Institute for Symbolic Computation Founded in 1987 –Professor Bruno Buchberger Staff: –10 faculty members –10 diploma students –30 doctoral students

Goals and Objectives RISC (Research Institute for Symbolic Computation) Chairman: Bruno Buchberger Integration of –Research –Education –Industrial applications In the area of Symbolic Computation. Driving force of the “Software Park Hagenberg”

Education Research Application (Industry) Positive Feed-Back Positive Feed-Back Positive Feed-Back

Mathematical Solution Real-World Problem Software Symbolic Computation Advanced Mathematics Mathematical Model

Partners and Facilities Linz university institutes on Linz campus Linz university institutes in Hagenberg –Institute for Applied Knowledge Processing (FAW) –Fuzzy Logic Laboratory Linz-Hagenberg (FLLL) Fachhochschule Hagenberg Software Park Hagenberg Conference center

RISC Courses Objective: –Education of experts in symbolic computation Programs offered: –Diploma (Master’s) study –Doctorate (Ph.D) study Curriculum –Choice of 40 courses (in English) EDUCATION

RISC (Research Institute for Symbolic Computation) Chairman: Bruno Buchberger Fundamental Research Computer Algebra Geometric Design Automated Reasoning Combinatorics Parallel and Distributed Computing

RISC (Research Institute for Symbolic Computation) Chairman: Bruno Buchberger Fields of Applied Research Modeling and Simulation Program Verification Robotics Knowledge Based Systems Computer Aided Learning Symbolic Modeling in Chemistry Parallel and Distributed Computing Software Engineering

Projects Software Park Hagenberg –Group of 25 companies –Initiated and managed by RISC Projects with Upper-Austrian, Austrian, and international partners (approximately 1500 man- months over the past 10 years). RISC Software GMBH: Applied projects

International Cooperation Research –contacts –EU projects Doctoral students Faculty visits

Institutul e-Austria Timisoara Research Technology transfer Sci-Tech Park

International Goals Bilateral –Stimulate cooperation –EU integration Romania –Stabilization of specialists –Access to international research –Atractor of foreign investment Austria –Frame for expansion IT companies –Access to local expertize and work force

e-Austria Timisoara: Structure Partners –RISC –University of the West, Polytechnical University –IT companies: Lasting, Alcatel, Siemens Management –Establishment of the research institute –Organization of the science and technology park Research –Program verification (with RISC, Alcatel)

Funding –Austrian Ministery of Education (BMBWK) – 100 K€ –Austrian Ministery of Economy (BMWA) – 100 K€ –Romanian Ministery of Education (MEC) – 15 K€ Duration: Oct 2002 – June 2004 Cooperations –Local administration Timis/Timisoara –Reiffeisenbank –Austrian Computer Society (ÖCG) –Austrian Chamber of Commerce (WIFI) Institutul e-Austria: Pilot phase 2003

Companies and External Partners Alcatel, Siemens: working contracts Lasting, UTI: strategic partners 25 companies interested RISC GmbH, Comneon: contracts West Romania Development Agency Chamber of Commerce Timisoara Other Universities (Lugoj, Arad, Iasi, Cluj)

EU projects Running projects: FP6 NoE: ARTIST2 (TU Wien) Marie Curie ( Euro) France ECO-NET (Uni. Paris 12) Planned proposals FIT-IT (Uni. Salzburg) NATO Advanced Research Workshop Contacts and dissemination Conferences, info-days, national and EU info points

Scientific research Project: Formal verification (combined expertize from Timisoara and RISC-Linz) Publications 3 journal papers, ~20 conference papers. IeAT technical reports series Symposia SYNASC 2002, 2003, 2004 CAVIS-1 (Feb 2003), CAVIS-2 (Oct 2003), CAVIS-3 (2004) Applications Interest in industry (e.g. Alcatel, Lasting, Síemens, QCT)

Funding –Austrian Ministery of Education (BMBWK) – 150 K€ –Austrian Ministery of Economy (BMWA) – 150 K€ –Romanian Ministery of Education (MEC) + others Duration: July 2004 – Dec 2005 Proposal and Feasibility Study for 10 years project (Mar 2005) –Austria: 5 Mio € –Romania: 1 Mio € –Other sources and partners Institutul e-Austria: Current phase