1. 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

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

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

4. 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

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

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

7. 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”

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

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

10. 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

11. 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

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

13. 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

14. 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

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

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

17. 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

18. 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)

19. 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

20. 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)

21. EU projects Running projects: FP6 NoE: ARTIST2 (TU Wien) Marie Curie (40 000 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

22. 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)

23. 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 2004 - 2005