ITCLS 2003 Call for Papers and Participation

[colognet-ws@clip.dia.fi.upm.es]

[Apologies if you receive this more than once]

                                                                       
                   Call for Papers and Participation                   

                         COLOGNET Workshop on                          
                                                                       
       Implementation Technology for Computational Logic Systems       
                                                                       
                             (ITCLS 2003)                              

               Satellite Workshop of FME 2003 Symposium                

                     9 September 2003, Pisa, Italy                     

           http://clip.dia.fi.upm.es/Conferences/ITCLS-2003/

CoLogNet, the European Network of Excellence in Computational Logic is
organizing the Second Workshop on Implementation Technology for
Computational Logic Systems (ITCLS) as a satellite workshop of Formal
Methods 2003, to take place in Pisa. The previous edition was held in
September 2002 in Madrid, affiliated with Logic-based Program
Development and Transformation (LOPSTR'02), and co-located with the 
International Static Analysis Symposium (SAS'02) and the 
APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02).

The workshop is a forum open to both academia and industry and whose
aim is to present and discuss work (possibly in progress) related to
the topics mentioned below. The ITCLS workshop builds on the tradition
of the series of workshops on Implementations of Logic Programming
Systems held in the context of COMPULOG NET, the former Network of
Excellence in Computational Logic, but opens up its scope to a broader
use of logic and formal methods within computational systems.

ITCLS 2003 focuses on implementation techniques from the different
areas addressed by CoLogNet. The aim is to bring together researchers
from fields such as automated reasoning, formal methods and theorem
proving, natural language processing, constraint logic programming,
inductive logic programming, non-monotonic logic programming, etc. in
order to share common problems and solutions regarding implementation
and usability issues which arise in formal and logic-based
computational systems.

Topics of interest for this workshop include, but are not limited to:

  * Implementation techniques for all aspects of the implementation of
    systems related to computational logic and formal systems,
    including:
   
      + Formal Methods and its relationship with Computational Logic,
      + Compiling Specifications,
      + Theorem Proving,
      + Non-monotonic Reasoning, Higher Order, Linear Logics,
      + Logic Programming,
      + Constraint Programming, and
      + Natural Language Processing
   
  * Environments for computational logic and formal systems, including:
   
      + User-interfaces and User-needs,
      + Software Development,
      + Debugging and Visualization Techniques, and
      + Interfaces to Other (possibly Computational Logic) Systems

PROGRAMME

The workshop will take place during the afternoon and evening of
September 9th. The programme will consist of an invited talk (to be
announced later) and the presentation of the accepted papers.

SUBMISSIONS AND DEADLINES

Authors are invited to contribute to the workshop by submitting
extended abstracts (6 pages maximum) or full papers (12 pages maximum)
on the workshop themes. Limits are strict, and the llncs format
(http://www.springer.de/comp/lncs/authors.html) must be used.
Submissions are to be sent in PS or PDF format to the organizing
committee by emailing them to:
colognet-ws-submission_at_clip.dia.fi.upm.es (substitute _at_ by the @
symbol to send email). Submissions originally prepared with LaTeX are
highly encouraged, as this will help in preparing the final
proceedings, which will be available at the workshop in printed form,
as well as electronically.

The table below highlights the important dates:

                 Submission deadline:     July 7                       
                 Notification to authors: July 28                      
                 Camera-ready copies:     August 15                    
                 Workshop:                September 9                  

ORGANIZING COMMITTEE

    Jesus Correas, UPM, Madrid, Spain
    Manuel Hermenegildo, UPM, Madrid, Spain
    Manuel Carro, UPM, Madrid, Spain
    Christian Schulte, KTH, Stockholm, Sweden
   
Please address any question directly related to the workshop to 
colognet-ws_at_clip.dia.fi.upm.es (substitute _at_ by @).