home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / news / announce / conferen / 1410 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  3.3 KB
  1. Path: sparky!uunet!nwnexus!ole!quick!sumax.seattleu.edu!news.u.washington.edu!usenet.coe.montana.edu!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!spool.mu.edu!olivea!tekbspa!denny
  2. From: Annemarie.Besselink@phil.ruu.nl (Annemarie Besselink)
  3. Newsgroups: news.announce.conferences
  4. Subject: Call for papers: Int. Workshop on Semantics of Specification Languages
  5. Message-ID: <C1HMyv.AIL@tss.com>
  6. Date: 27 Jan 93 01:04:07 GMT
  7. Expires: Thu, 1 Apr 1993 08:00:00 GMT
  8. Sender: denny@tss.com (Denny Page)
  9. Organization: Department of Philosophy, University of Utrecht, The Netherlands
  10. Lines: 85
  11. Approved: denny@tss.com
  12.  
  13.  
  14. Call for papers
  15.  
  16. International Workshop on
  17. Semantics of Specification Languages
  18. SoSL
  19.  
  20. 25-27 october, 1993, Utrecht, the Netherlands
  21.  
  22. The workshop intends to investigate the problems of giving semantics
  23. for  specification languages. It will incorporate a number of invited
  24. talks concentrating on giving an overview of major approaches to the
  25. semantics of specification languages. The workshop also intends to
  26. investigate general issues related to this area, such as type
  27. checking and the derivation of proof rules and proof obligations.
  28. The purpose of the workshop is to discuss various attempts of
  29. formally defining specification languages and to identify common
  30. issues that arise in this important area of formal methods. It will
  31. enable the various groups working in this area to interchange
  32. problems and ideas and possibly to identify a common programme of
  33. work for further investigation.
  34. Full original papers (up to 15 pages) are solicited, particularly in
  35. the following areas:
  36.  
  37.  
  38. - Semantics for specification languages;
  39.  
  40. - Specification languages applied to formal software development;
  41.  
  42. - Derivation of proof rules and proof obligations;
  43.  
  44. - Techniques for type checking of specifications and related
  45. analysis;
  46.  
  47. - Foundations of specification languages (logic, type theory,
  48. category theory, etc.).
  49.  
  50.  
  51. Survey papers of major approaches to the semantics of specification
  52. languages (up to 30 pages) are also solicited. Submitted papers will
  53. be refereed and accepted papers will be published.
  54.  
  55.  
  56. Program
  57. The author of an accepted research paper is expected
  58. to give a presentation of 25-30 minutes and the
  59. author of an accepted survey paper is expected
  60. to give a presentation of 50-60 minutes.
  61. Sufficient time will be scheduled for discussion
  62. groups.
  63.  
  64. Submission
  65. Four copies of each submission should be sent to the
  66. SoSL secretariat at the address shown at the right.
  67. Authors who have limited access to reproduction
  68. facilities may submit one copy of the paper.
  69.  
  70. Program Committee
  71. Derek Andrews, University of Leicester (chair)
  72. Jan Bergstra, University of Amsterdam
  73. George Leih, PTT Research
  74. Brian Monahan, Universitiy of Manchester
  75. Hans Toetenel, Delft University of Technology
  76. Jim Woodstock, Oxford University
  77.  
  78. SoSL Secretariat
  79. Annemarie Besselink
  80. Department of Philosophy
  81. University of Utrecht
  82. P.O. Box 80126, 3508 TC Utrecht
  83. The Netherlands
  84. Telephone: +31 30 53 18 31
  85. Fax: +31 30 53 28 16
  86. Email: Annemarie.Besselink@phil.ruu.nl
  87.  
  88. Organizing committee
  89. Annemarie Besselink, University of Utrecht
  90. Kees Middelburg, University of Utrecht (chair)
  91. Jan Friso Groote, University of Utrecht
  92. Rick Thomas, University of Leicester
  93.  
  94. Deadlines
  95. Submission of a full paper:   1 April 1993
  96. Notification of authors:      1 June 1993
  97. Camera-ready copies:          1 August 1993
  98.