HCM SOL Network Applicants

Appeared in Volume 8/2, May 1995

The partners of the HCM network SOL are opening fellowship positions for durations from 3 to 12 months at the PhD and post-doc levels. HCM stands for the "Human Capital and Mobility" funding programme launched by the Commission of the European Communities to foster "the mobility of young researchers and the setting up of intra-European networks" in the E.C.

The HCM network SOL consists of three European Universities (Lisbon, Paris-Orsay and Porto), and two research centers (INRIA Lorraine and ECRC) that are pursuing research in the domain of constraint systems over integers, in particular systems of linear Diophantine equations, and in the integration of such constraint systems into automated deduction and logic programming systems.

We are planning to apply the results in the design of efficient theorem proving strategies, in automated deduction with constraints and in the field of constraint logic programming.

If you are interested in joining one of the nodes and if you are citizen of one of the Europeen countries allowed to apply for HCM fellowships (EC and EFTA countries), send as soon as possible a detailed CV to the node concerned and to the main contractor. Email applications are welcome.

Main contractor:

Claude Kirchner
Institut National de Recherche en Informatique et Automatique (INRIA)
UR Lorraine & Crin
615, rue du Jardin Botanique
BP101, 54602 Villers-les-Nancy CEDEX
Nancy, France
Tel: +33 83 593 011
Fax (INRIA): +33 83 278 319
Email: Claude.Kirchner@loria.fr

Network Nodes:

Pedro Barahona
Grupo de Programacao em Logica com Restricoes
Departamento de Informatica
Universidade Nova de Lisboa
Quinta da Torre
2825 Monte da Caparica, Portugal
Email: pb@fct.unl.pt

Alexander Herold
European Computer-Industry Research Centre (ECRC)
Arabellastr. 17
8000 Muenchen 81, Germany
Email: herold@ecrc.de

Evelyne Contejean
LRI, Batiment 490
91405 Orsay, France
Email: Evelyne.Contejean@lri.fr

Miguel Filgueiras
Grupo de Matematica Aplicada
Faculdade de Ciencias
Universidade do Porto
Rua das Taipas 135
4000 Porto, Portugal
Email: mig@ciup1.ncc.up.pt