Back to Results
First PageMeta Content
Romanian media / Framework Programmes for Research and Technological Development / Computer science / Research Institute for Symbolic Computation / Formal verification / European Union / Europe / Formal methods / .ro / Internet in Romania


Institute e-Austria Timisoara IeAT Advancing Information Technology through
Add to Reading List

Document Date: 2013-07-08 03:40:06

Open Document

File Size: 3,31 MB

Share Result on Facebook

Company

EC / IBM / Quatermill SRL / Knowledge Transfer RISC GmbH / Alcatel Lucent / HP / /

Country

Romania / /

/

Facility

Research Institute / Goals Institute / /

/

IndustryTerm

software industry / start-up / computing / multi-agent systems / research groups / natural computing / Internet Services / /

Organization

Romanian Ministry of Education / Institute for Symbolic Computation of Johannes Kepler University Linz / Austrian Ministry of Economy MEC / Research and Applications Office / National Science Foundation / Goals Institute / Austrian Ministry of Education / /

Person

Dana Petcu / /

/

Position

Director Prof. / /

Region

West Romania / /

Technology

information technologies / Information Technology / API / /

URL

http /

SocialTag