_______________________________________________________________________
My apologies if you receive this more than once!
_______________________________________________________________________
FINAL CALL FOR PARTICIPATION
First International Workshop on
COMPONENT-BASED SOFTWARE DEVELOPMENT IN COMPUTATIONAL LOGIC
September 19, 1998
Pisa (Italy)
[A satellite event of ALP-PLILP-SAS]
................................................................
See also the Workshop home page:
http://www.di.unipi.it/~brogi/cocl.html
for more information.
.................................................................
This workshop will focus on investigating and promoting the use of
computational logic for developing component-based computer systems,
and will emphasize practical solutions to problems inherent in
developing large and complex computer systems.
WORKSHOP ORGANISERS:
Antonio Brogi (Univ. of Pisa, Italy)
Patricia Hill (Univ. of Leeds, UK)
WORKSHOP PROGRAMME for COCL98:
SESSION 1 Composing and synthesizing software
09.00: Invited talk
Developing a Higher Order Programming Style for Prolog
Lee Naish
10.00: On Specification and Correctness of OO Frameworks in
Computational Logic
K.K Lau, M. Ornaghi
10.30: COFFEE
11.00: Composing complete and partial knowledge
S. Verbaeten, A. Bossi
SESSION 2 Interactive systems and distribution
11.30: Towards a Game-based Architecture for developing Complex
Interactive Components in Computational Logic
K. Stathis
12.00: Distribution in a Demand Driven Style
J. Holyer, N. Davies, E. Spiliopoulou
12.30: LUNCH
SESSION 3 Abstract data types
14.30: Invited talk
Functional Logic Programming with Multiset Constraints
Mario Rodriguez-Artalejo
15.30: Logic Abstract Modules: A new TLA-based model to Specifying
and Verifying Concurrent Programs
Y. Slimani, E.H. Daho
16.00: COFFEE
SESSION 4 Reusability
16.30: Using a Modular Distributed Temporal Logic for In-the-large
Object Specification
J. Kuester Filipe
17.00: A functional-logic alternative to monads
R. Caballero Roldan and F. J. Lopez Fraguas
17.30: Composing reusable synthesis methods through viewpoints
J. Eusterbrock
ABSTRACTS:
Abstracts of the papers can be found at the address:
http://www.di.unipi.it/~brogi/cocl.html
PROGRAM COMMITTEE:
Oskar Bartenstein (IF Computer, Japan)
Antonio Brogi (Univ. of Pisa, Italy)
Danny De Schreye (Univ. of Leuven, Belgium)
Phan Minh Dung (AIT, Thailand)
Patricia Hill (Univ. of Leeds, UK)
Kung-Kiu Lau (Univ. of Manchester, UK)
Gary Leavens (Iowa State U., USA)
Dennis Merrit (Amzi!inc, USA)
Dale Miller (Pennsylvania State U., USA)
Zoltan Somogyi (Univ. Of Melbourne, Australia)
Paul Tarau (U. of Moncton, Canada)
Michel Vanden Bossche (Mission Critical, Belgium)
REGISTRATION
The workshop registration fee is 100.000 ITL. This fee includes
participation to the workshops, lunch and coffee breaks on Saturday,
September 19.
To register use the same form as that for SAS and PLILP/ALP
http://www.di.unipi.it/di/groups/lp/spa98/
Please complete the form and return by email to
[EMAIL PROTECTED]
AND by fax to ``Norci Viaggi'' (Corso Italia 51 - 56125 Pisa, Italia),
to the attention of Mrs. Francesca Marras. FAX NUMBER: +39 50 502466
Please contact us or the SAS-PLILP/ALP organisers direct
if there are any problems.
