home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2459 < prev    next >
Encoding:
Text File  |  1993-01-28  |  3.4 KB  |  106 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!enterpoop.mit.edu!ira.uka.de!Germany.EU.net!ecrc!mireille
  3. From: mireille@ecrc.de (Mireille Ducasse)
  4. Subject: CFP: Intl workshop on Automated and Algorithmic Debugging
  5. Message-ID: <1993Jan28.063733.26773@ecrc.de>
  6. Sender: news@ecrc.de
  7. Organization: European Computer-Industry Research Centre GmbH, Munich, Germany
  8. Date: Thu, 28 Jan 1993 06:37:33 GMT
  9. Lines: 95
  10.  
  11.  
  12.                    CALL FOR PAPERS
  13.                       
  14.                       
  15.                  AADEBUG'93
  16.                       
  17.       1st International Workshop on Automated and Algorithmic Debugging
  18.                       
  19.        Linkoping University, Linkoping, Sweden, May 3-5, 1993
  20.                       
  21.  
  22.  
  23. The area referred to as automated debugging has seen major developments over
  24. the last decade. One especially successful area of automated debugging is
  25. algorithmic debugging which originated in logic programming but later has
  26. been generalized to concurrent languages, imperative languages, lazy
  27. functional languages, etc. Important advances have also been made in
  28. knowledge-based program debugging, and in approaches to automated debugging
  29. based on static and dynamic program slicing.
  30.  
  31. The goal of the workshop is to bring together researchers from different
  32. areas of automated debugging and different programming communities to
  33. exchange ideas and advance the state of the art of automated debugging.
  34. Typical topics of the workshop include (but are not limited to):
  35.  
  36.  - Declarative debugging
  37.  - Algorithmic debugging for different classes of languages
  38.  - Practical experience on realistic programs
  39.  - Automated debugging for parallel languages
  40.  - Testing and automated debugging
  41.  - Program Slicing approaches
  42.  - Knowledge based debugging approaches
  43.  - Assertion based approaches
  44.  - Relationships to other areas
  45.  
  46. In order to encourage discussion and exchange of ideas, the workshop will be
  47. limited to at most 70 people. Authors are invited to submit 5 copies of
  48. papers of up to 15 pages to Peter Fritzson before February 15:th.  Email
  49. submission of papers in postscript form to henni@ida.liu.se is encouraged.
  50. All accepted papers will be included in the workshop proceedings, which will
  51. be distributed to the workshop participants.  We are currently negotiating
  52. with Springer-Verlag regarding the publication of the proceedings.
  53.  
  54.  
  55. Invited keynote speaker:  Ehud Shapiro
  56.  
  57.  
  58. Deadlines:
  59.  
  60.  *   Papers should be submitted before               Febr  15:th
  61.  
  62.  *   Notification of acceptance                      March 25:th
  63.  
  64.  *   Final version of paper before                   April 7:th
  65.  
  66.  *   Deadline for registration                       April 15:th
  67.  
  68.  
  69.  
  70. Program chair:
  71.  
  72. Peter Fritzson
  73. Department of Computer and Information Science
  74. Linkoping University
  75. S-581 83 Linkoping, Sweden
  76. Phone: +46 13 281484
  77. Fax:   +46 13 282666
  78. Email: petfr@ida.liu.se
  79.  
  80.  
  81. Program Committe
  82.  
  83. Luis Moniz Pereira     (Lisbon New University, Portugal)
  84. Gerard Ferrand         (University of Orleans, France)
  85. Nahid Shahmehri        (Linkoping University, Sweden)
  86. Jan Maluszynski        (Linkoping University, Sweden)
  87. Mireille Ducasse       (ECRC, Munich, Germany )
  88. Bogdan Korel           (Wayne State University, Detroit, USA)
  89. Rudolph Seviora        (University of Waterloo, Canada)
  90. Mary-Lou Soffa           (University of Pittsburgh, USA)
  91.  
  92.  
  93. Registration, submissions and local organization:
  94.  
  95. Henrik Nilsson
  96. Department of Computer and Information Science
  97. Linkoping University
  98. S-581 83 Linkoping, Sweden
  99. Email: Henrik.Nilsson@ida.liu.se
  100. Phone: +46 13 282601
  101. Fax  : +46 13 282666
  102.  
  103.  
  104.  
  105.  
  106.