Consortium members. The consortium consists of representatives (faculties, departments or institutes) from the following universities:

  • University of Udine, Italy (later UNIUD)
  • INRIA Sophia Antipolis, France (later INRIA)
  • Technical University of Valencia, Spain (later UPV)
  • University of Novi Sad, Serbia (later UNS)
  • Mathematical Institute – SANU, Belgrade, Serbia (Later MI-BG)

Ongoing and previous cooperation between consortium members. In 2001 an Agreement concerning the exchange of academic staff and PhD students in Computer Science was signed by the Rectors of University of Udine, University of Turin and University of Novi Sad. The consortium members have strong scientific collaboration since 1990. UNIUD, INRIA, UNS and MI-BG are consortium members of the ongoing European FP6 Information Society Technology project “Types for proofs and programs- TYPES” (FP6-IST no 510996). On the national level, Serbian partners have a long-term ongoing scientific collaboration through seminars, joint research and national scientific projects. Since April 2005, the EU consortium members run a joint International Doctoral School in computer science and information technologies. This joint international Doctoral School is the focus of the Project.

Founded in 1978, the University of Udine has a considerable European profile and this is considered as a central way to enhance the potential of the students. The University has co-operation agreements in Socrates, Leonardo, Alfa programmes, EU/USA, under the framework of mobility and project co-operation and has more than 200 partner institutions in 32 countries. Every year over 300 students from the University of Udine are studying or doing practical training abroad, while at the same time over 250 international mobility students study in different programmes at the University of Udine. The International Office provides up-to-date services for students, international students and staff mobility, in cooperation with regional, national and international organisations and partners.The Department of Mathematics and Computer Science at the University of Udine (UNIUD) is devoted to basic and applied research in the areas of Mathematics and Computer Science. The Department runs several programmes for postgraduate students, and particularly in Computer Science and in Mathematics and Physics. Research areas developed at UNIUD include databases, multimedial systems, bioinformatics, image processing, e-health, artificial intelligence, human-computer interaction, computational analysis, robotics, artificial vision, operational research, semantics of programs and processes. The members of the Department participate in many European and national research projects, within the Sixth Framework Programme and other EU initiatives. UNIUD has a long experience in projects with Universities in Partner countries, with the strong support of local authorities interested in development of new structures in accordance with the European Higher Education. There is a long-standing Office of Evaluation (CESV) at UNIUD, which will contribute to the project with long-term experience in evaluation. The following is the list of Tempus projects of UNIUD, which are currently running: Reform of Curriculum Content to Undergraduate Medical Education at University of Montenegro 2006, Rebulding Of The Economic Faculty In Serbia 2005, Organic Farming in Transbalkania 2005, Restructuring teaching at Serbian Medical Faculties 2004, Moving Ahead with the Bologna Process in Croatia 2003.

The INRIA Sophia Antipolis research unit was founded in 1983 within the Sophia Antipolis technology campus. The unit gathers together 500 persons, including 380 scientists, in its Sophia Antipolis, Marseille and Montpellier sites. The unit boasts about 30 research teams working in partnership with CNRS and several universities and engineering schools. Research concerns the design and programming of high performance computer systems, the representation and handling of complex information, and the creation, modeling and simulation of complex experiments. It results in advances in four major areas: networks and systems; software engineering and symbolic computation; human-machine interaction, images, data, knowledge; simulation and optimization of complex systems.

To carry out such studies, the research unit remains in constant interaction with its partners in universities, engineering schools and research centers all over the world through scientific publications, software and international exchanges. It also hosts the ERCIM consortium services that regroups European research centers in information and communication science and technology. ERCIM also hosts an important team of the W3C consortium.

The other strategic objective is technology transfer. INRIA Sophia Antipolis maintains partnerships with many local, national and international companies and institutions, within the framework of contracts, research networks and European programs. Meetings are held on a regular basis to reinforce these partnerships, in the framework of Intech'Sophia, the unit's partners club. In addition, work by INRIA Sophia Antipolis researchers has led to the founding of ten technology companies.

With their joint concern of excellence and transfer, the unit's researchers participate in training in information and communication science and technology, by attracting students, researchers and engineers from all over the world. "Creating, modeling, simulating" are the three keywords that describe the work of INRIA Sophia Antipolis researchers, with a double-edged strategic objective-scientific excellence and technology transfer.

The Technical University of Valencia (Universidad Politécnica de Valencia, UPV) was founded in 1971. Currently, the UPV has 35.000 students (including 1700 postgraduate students), more than forty departments and around fifty postgraduate programs. The Departamento de Sistemas Informáticos y Computación (DSIC, i.e., the CS & SE Department at the UPV) is one of the biggest ones in the university (around 150 people). It was formed in 1986. Its main concern is the study of software in all its aspects. The DSIC hosts three different postgraduate programs which can lead to the obtention of a PhD degree. Research at DSIC is carried out by ten different groups. Areas of research include Software Engineering and Information Systems, OO Software Production Methods, Pattern Recognition, High Performance Computing, Distributed Computing, Human Language Technology, Computer Graphics, and Artificial Intelligence. Among the research groups in the department, the Extensions of Logic Programming (ELP) group (14 PhD, 34 researchers), led by Prof. María Alpuente, was created in 1987. The main activities of the group are centered around multiparadigm (declarative) programming, term rewriting systems, and automatic software engineering, that is, the application of algebraic techniques, logics, and semantics to the analysis, transformation, verification, debugging, validation, synthesis, certification, and optimization of programs and software systems. The group has a long experience in competitive research projects: more than 30 in the last ten years, leading to an average of 5 SCI journal articles and more than 15 conference papers per year. The group has also a long experience in training researchers (more than 10 PhD Thesis defended in the last ten years). Nowadays, there are 14 PhD in the group. Together with other universities from Argentina, Brazil, Colombia, France, The Netherlands, Portugal, Spain, Sweden, and Uruguay, the group currently has an active EC ALFA project where around six foreign students are expected to develop their postgraduates and PhD Theses in the aforementioned research areas. Similarly, another European project, within the EU-India Economic Cross Cultural Programme is finishing this year. The project aims at exchanging graduate students between India and the European Union. The ELP group has participated together with researchers from the University of Udine (Italy) and from the University of Hyderabad (India). The group maintains solid relationships with a number of top-level research groups in Europe and the USA: Aachen and Kiel, in Germany, Vienna in Austria, Grenoble and Paris in France, Illinois in the USA, Bristol in the UK, and Pisa, Sienna, and Udine in Italy. This gives the members of the group the opportunity to develop the necessary and complementary predoctoral and postdoctoral activities.

The University of Novi Sad was founded in 1960. Today it comprises 14 Faculties located in the four major towns of the Autonomous Province of Vojvodina: Novi Sad, Subotica, Zrenjanin, and Sombor. The University of Novi Sad can, therefore, be seen as a regional university. It is based on a long tradition of educational activities and a significant cultural heritage enriched by various peoples living in Vojvodina. Having invested considerable efforts toward intensifying international cooperation and participating in the process of university reforms in Europe, the University of Novi Sad has come to be recognized as a reform-oriented university, both in the region and on the map of universities in Europe. Well aware of the fact that actions speak louder than words, the University of Novi Sad has made many vital steps in promoting European values among its students and academics and working towards achieving the European area of education, learning and research. Faculty of Technical Sciences, University of Novi Sad (UNS), founded in 1960, is a scientific-educational institution consisting of 10 departments with 644 employees and around 8,000 students. Most of the academic staff have high information technology skills and a good command of English, as well as other languages such as Italian and French. According to the new Serbian Law on Higher Education, the Faculty is running a new Doctoral programme starting autumn 2006 which is foreseen to enroll 85-179 doctoral students each academic year. UNS and MI-BG have a joint research group with recognized expertise in foundations of computer science (especially in type theory, proof theory, computational logic and associated application) and global computing (models of distributed and mobile computing). The group participates actively in several projects in the domain of informational technologies: the members of the group run 3 national projects and 1 bilateral project with Slovenia and participate in 2 FP6-IST projects.

Mathematical Institute - Serbian Academy of Sciences and Arts (MI-BG), founded in 1946, is the central and most prestigious scientific institution in Serbia in mathematics and computer science that gathers researchers from leading Serbian Universities. It has 30 full-time and more than 200 part-time researchers from over 30 different institutions from University of Belgrade, Novi Sad, Nis and Kragujevac. MI-BG runs currently 12 fundamental research and 2 technological development projects funded by the Serbian Ministry of Science ranging from pure to applied research. The activities of the MI-BG involve more than 10 permanent Colloquiums and Seminars. The goals of the Institute are to promote national research and international cooperation by establishing closer ties with scientific institutions from abroad as well as to enable even greater flexibility, the flow of young talents and innovative forms of collaboration and teamwork. A special attention is related to organizing open information days for establishing cooperation with IT-companies in order to respond to socio-economic needs in the region. According to the new Serbian Law on Higher Education, “an institute may host part of the accredited study programmes for master’s and/or doctoral courses at the university”. Therefore there exists a legal framework to set up this joint doctoral school between UNS and MI-BG. MI-BG will have a special role in regional cooperation within this project, since via MI-BG leading experts in IT will be involved in this Doctoral Scool. On the other hand, MI-BG will play an important role in the dissemination as well, since it brings together scholars (teachers and PhD students) from all Universities in Serbia.

Individual experts:

  1. Prof. Pierre Lescanne, Ecole Normale Superieure de Lyon, France, will contribute to the implementation of the project with his accumulated experience as President of the French Society of Higher Education and Research in Informatics, Director of the Master School in Computer Science and deputy director of the Doctoral School in Mathematics and Computer Science in Lyon, France.
  2. Prof. Pawel Urzyczyn, University of Warsaw, Poland, will contribute to the project with his expertise based on the experience of University of Warsaw as a member of the Control Group for monitoring the European University Association Doctoral Programmes Project.