janis@suadb.UUCP (Janis Bubenko) (12/17/83)
THEORETICAL AND FORMAL ASPECTS OF INFORMATION
SYSTEMS
CALL FOR PAPERS
IFIP Working Group 8.1 on Design and Evaluation of Information
Systems has issued a CALL FOR PAPERS for a Working Conference on
Theoretical and Formal Aspects of Information Systems (TFAIS)
April, 16-18, 1985, Sitges (Barcelona, Catalonia)
The conference is aimed at topics such as: conceptual models,
data models, behavioral models, specification logics and
languages, etc etc.
FIVE COPIES of a paper (double spaced, max. 5000 words) should be
submitted by July 1, 1984, to TFAIS Program Chairman
Amilcar Sernadas
TFAIS, Faculdade de Ciencias,
Rua da Escola Politecnica 58
1294 LISBOA Codex, PORTUGAL
Notifications are to be sent by October 15 and accepted, camera
ready papers are due December 1, 1984.
The Conference is sponsored by IFIP and supported by the Systems
Development Laboratory (SYSLAB), Sweden, the University of Lisbon
and the Polytecninc University of Barcelona.
General Chairman is Janis Bubenko jr, University of Stockholm,
S-10691, Stockholm, Sweden. Organizing Committee Chairman is
Antoni Olive, Facultat d'Informatica, Jordi Girona Salgado, 31
Barcelona (34).
If you want more information, send a message to Janis Bubenko
( ...mcvax!enea!suadb!janis) and I will mail you the complete
call for papers.