ASE-LP Home Page

JICSLP'98 Post-Conference Workshop on

Automated Software Engineering and Logic Programming

Saturday 20 June 1998

Manchester, UK


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.


Likely topics for discussion include:

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.

Please send all communications to Kung-Kiu Lau (

Workshop Coordinator
Kung-Kiu Lau University of Manchester, UK
Workshop Organisers
Pierre FlenerBilkent University, Turkey
Kung-Kiu Lau University of Manchester, UK
Programme Committee
Pierre FlenerBilkent University, Turkey
Norbert FuchsUniversity of Zurich, Switzerland
Kung-Kiu Lau University of Manchester, UK
Michael Lowry NASA Ames, USA
Ali Mili Institute for Software Research, USA
Michel Vanden Bossche Mission Critical, Belgium

List of Participants and Record of Meeting

Back to JICSLP'98 home page
Kung-Kiu Lau
Department of Computer Science
University of Manchester
Manchester M13 9PL
United Kingdom
Phone: +44 161 275 5716
Fax: +44 161 275 6204