INTAS-93-1702 project
Efficient Symbolic Computing
Description
The objective of the project is to set up a research network with
eight nodes in four member states of the Former Soviet Union and
eleven nodes in seven member states of the European Union. The research
undertaken focusses on efficient symbolic computing with efficiency
understood at the levels of implementations, algorithms and
development of code. The research encompasses both theory
and practice. It is organised in seven tasks including
theoretical foundations, program construction and transformation
methodologies, program analysis techniques, implementation,
programming environments, language design, and applications.
Keywords
Symbolic programming, Semantics, Programming methodologies,
Programming environments, Implementation, Theoretical computer science.
Project leader
Jacquet Jean-Marie
Duration
01/12/94 -> 01/04/99
Funding body
The INTAS Association
Partners
- Co-ordinator: Facultes Universitaires Notre-Dame de la Paix -
Institut d'Informatique, Namur, Belgium
(Dr. Jean-Marie Jacquet)
- University of Leuven - Department
of Computer Science,
Leuven, Belgium
(Prof. Maurice Bruynooghe)
- University of Paris VI and VII - LITP,
Paris, France
(Prof. Maurice Nivat)
- University of Bristol - Department
of Computer Science,
Bristol, United Kingdom
(Prof. John Gallagher)
- City University,
London, United Kingdom
(Prof. David Gilbert)
- INRIA,
Paris, France
(Prof. Philippe Codognet)
- University of Lisbon - Department
of Computer Science,
Lisbon, Portugal
(Prof. Luis Monteiro)
- University of Passau - Department
of Computer Science,
Passau, Germany
(Prof. Sergei Gorlatch)
- University of Pisa - Department of
Computer Science,
Pisa, Italy
(Prof. Antonio Brogi)
- University of Rome - Department of Computer Science,
Rome, Italy
(Prof. Alberto Pettorosi)
- University of Vienna - Prof. Ulrich Neumerkel)
- Armenian Academy of Science,
Yerevan, Armenia
(Prof. Yuri Shoukourian)
- Belarusian Academy of Science,
Minsk, Belarus
(Prof. Arkadij Zakrevskij)
- Irkutsk University,
Irkutsk, Russia
(Prof. Andrei Mantsivoda)
- Moscow Engineering Physics Institute,
Moscow, Russia
(Prof. Nikolai Ilinski)
- Russian Academy of Science,
Moscow, Russia
(Prof. Edouard Lioubinski)
- Russian Academy of Science,
St. Petersburg, Russia
(Prof. Evgeny Dantsin)
- Ukrainian Academy of Science,
Kiev, Ukraine
(Prof. Alexander Letichevsky)
- International Software Technology Center,
Kiev, Ukraine
(Dr. Michael Reviakin)
More information
- Work programme
- The first
workshop (Namur, November 8th 1995 - November 10th 1995)
- The second
workshop (St-Petersburg, October 24th 1996 - October 26th 1996)
Administration
- Forms for Teams
- Request
form
in MS-word format
- Request
form
in Postscript format
- Individual forms
- Request
form
in MS-word format
- Request
form
in Pdf format
Jean-Marie Jacquet - May 15, 2000