JICSLP'98 Post-Conference Workshop on Automated Software Engineering and Logic Programming Saturday 20 June 1998 Manchester, UK

Aim

ASE (Automated Software Engineering, formerly KBSE, Knowledge-Based Software Engineering) and LOPSTR (Logic-based Program Synthesis and Transformation) are two conferences with similar goals, the former having its origins in Artificial Intelligence, the latter in Logic Programming. Whilst both conferences are based on logical or formal methods for program synthesis and software development, ASE has attempted to address mainly automation in software engineering in general, whereas LOPSTR has hitherto concentrated on program development in Logic Programming.

The two conferences thus complement each other, and would combine well to attack next-generation software engineering issues, in particular automation and component-based development, and the role of LP therein.

The aim of this workshop is to provide a forum for the two communities to discuss the key issues that they should address in order to foster a concerted effort.

ASE'97 and LOPSTR'98 have started to encourage mutual representations on programme committees (1 LOPSTR person on the PCs of ASE'97 and ASE'98, 3 ASE persons on the PC of LOPSTR'98) and mutual attendance at conferences. JICSLP'98 and LOPSTR'98 would therefore provide a timely opportunity for the two communities to have an in-depth discussion.

Topics

Likely topics for discussion include:

• Automated software engineering (ASE)
• Program synthesis, analysis and transformation
• Component-based software development
• Logic program synthesis and transformation (LOPSTR)
• Logic programming languages and systems for ASE
• Links between ASE and LOPSTR

Call for Participation

The workshop is intended to be a talk shop, so it is not necessary to formally submit a paper or abstract beforehand. However, we would appreciate it if you could indicate as soon as possible whether you intend to attend.

If you plan to present a position talk on any particular topic at the workshop, then please submit an abstract before 1 June 1998.

Workshop Coordinator
Kung-Kiu Lau	University of Manchester, UK	kung-kiu@cs.man.ac.uk
Workshop Organisers
Pierre Flener	Bilkent University, Turkey	pf@cs.bilkent.edu.tr
Kung-Kiu Lau	University of Manchester, UK	kung-kiu@cs.man.ac.uk
Programme Committee
Pierre Flener	Bilkent University, Turkey	pf@cs.bilkent.edu.tr
Norbert Fuchs	University of Zurich, Switzerland	fuchs@ifi.unizh.ch
Kung-Kiu Lau	University of Manchester, UK	kung-kiu@cs.man.ac.uk
Michael Lowry	NASA Ames, USA	lowry@ptolemy.arc.nasa.gov
Ali Mili	Institute for Software Research, USA	amili@cs.wvu.edu
Michel Vanden Bossche	Mission Critical, Belgium	mvb@miscrit.be

List of Participants and Record of Meeting