2nd Call for Papers JICSLP'96 
Author Message
 2nd Call for Papers JICSLP'96

Second Call for Papers



                       ON LOGIC PROGRAMMING


                 Bonn, Germany, 2-6 September, 1996


          Sponsored by the Association of Logic Programming

The Joint Conference and Symposium combines the two major annual
international conferences reporting research results in logic programming.
It will be the main logic programming forum in 1996. The technical program
for the conference will include tutorials, invited lectures, and
presentations of refereed papers and posters. A series of workshops will be
scheduled in conjunction with the conference. Papers are welcome on all
aspects of logic programming, including, but not limited to:

    Analysis and optimization           Meta-programming
    Applications                        Natural language processing
    Architecture                        Non-monotonic reasoning
    Concurrency                         Parallelism
    Constraints                         Programming environments
    Databases                           Programming language design
    Experimental evaluation             Programming methodology
    Higher-order programming            Semantics and foundations
    Implementation                      Theorem proving
    Induction                           Transformation
    Integration with other paradigms

Papers must be written in English and must not exceed 15 pages
(including references and figures). Papers that exceed this limit
risk rejection. Each submission must contain a cover page including
the following: a 200 word abstract, keywords, and postal and
electronic mailing addresses as well as phone numbers and fax numbers
of the responsible author. This information should also be sent in a

been previously published or submitted to any journals or refereed
conferences. Accepted papers must be presented at the conference.
Send six (6) copies of your submission by February 9, 1996 to

    Michael Maher
    JICSLP'96 Program Chair
    School of Computing and Information Technology
    Griffith University
    Nathan, Queensland 4111

    Annalisa Bossi              Italy
    Philippe Codognet           France
    Saumya Debray               USA
    Bart Demoen                 Belgium
    Juergen Dix                 Germany
    Mireille Ducasse            France
    Steve Gregory               UK
    Gopal Gupta                 USA
    Sverker Janson              Sweden
    Paris Kanellakis            USA
    Helene Kirchner             France
    Jean-Louis Lassez           USA
    Giorgio Levi                Italy
    Rainer Manthey              Germany
    Wiktor Marek                USA
    Kim Marriott                Australia
    Dale Miller                 USA
    Lutz Pluemer                Germany
    Peter Reintjes              USA
    Mario Rodriguez-Artalejo    Spain
    Taisuke Sato                Japan
    Divesh Srivastava           USA
    Peter Stuckey               Australia
    Paul Tarau                  Canada
    Kazunori Ueda               Japan
    Mark Wallace                UK

    Rainer Manthey (Germany)
    Lutz Pluemer (Germany)

    Thomas H. Kolbe (Germany)

    Christine Harms (Germany)

Authors will be notified of the acceptance or rejection of their
papers in late April, 1996. Final versions of the accepted papers must
be received in camera-ready form by May 24, 1996. The proceedings will
be published by MIT Press.

Further information can be obtained from the conference WWW home page at

    http://www.*-*-*.com/ ~jicslp96/


  Computer Science Department III            voice: +49 228 550276
  University of Bonn                         fax  : +49 228 550382
  Roemerstr. 164
  53117 Bonn, Germany                                    No brain - no pain !

Sun, 19 Jul 1998 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. Workshop DD&LP at JICSLP'96 - 2nd Call for Papers

2. Call for Papers - JICSLP'96

3. DCC'96 2nd Call for Papers

4. DCC'96 2nd Call for Papers

5. DCC'96 2nd Call for Papers

6. JICSLP'96 - Final Call for Participation / Registration

7. JICSLP'96 - Call for Posters (LaTeX version)

8. JICSLP'96 - Call for Posters

9. JICSLP'96 - Call For Workshop Proposals (LaTeX version)

10. JICSLP'96 - Call For Workshop Proposals

11. JICSLP'96 - Final Call for Participation / Registration

12. JICSLP'96 - Call For Workshop Proposals (LaTeX version)


Powered by phpBB® Forum Software