home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / specific / 613 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  5.1 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!yorkohm!minster!zedan
  2. From: zedan@minster.york.ac.uk
  3. Newsgroups: york.news,uk.events,comp.specification
  4. Subject: BCTCS'9 at York
  5. Message-ID: <726746966.18954@minster.york.ac.uk>
  6. Date: 11 Jan 93 10:09:26 GMT
  7. Organization: Department of Computer Science, University of York, England
  8. Lines: 138
  9.  
  10.  
  11.  
  12.     BRITISH COLLOQUIUM fOR THEORETICAL COMPUTER SCIENCE
  13.                         ( BCTCS 9 )
  14.  
  15.                       29-31 March 1993 
  16.  
  17.                    The University of York
  18.                         York, U.K.
  19.  
  20.                      CALL FOR PAPERS
  21.  
  22.  
  23. The 9th Technical Meeting of the British Colloquium for Theoretical
  24. Computer Science (BCTCS) will be held on 29-31 March 1993 at the
  25. University of York.
  26.  
  27. The BCTCS is intended to be the main annual event in the U.K.
  28. theoretical computer science calandar.
  29. It is an informal forum covering all aspects of theoretical
  30. computer science, and is an ideal place for the discussion of new
  31. developments in the field: as such research students are particularly
  32. encouraged to attend and, if appropriate, to present talks.
  33.  
  34. Original research contributions on any aspects of theoretical computer
  35. science are invited. Talks may cover work currently in progress
  36. provided that it is sufficiently advanced. 
  37. Topics include and NOT limited to:
  38.  
  39.     Logic and Semantics of Programming Languages;
  40.     Mathematics of Computation; 
  41.     Program Specification and Verification;
  42.     Theory of Concurrency; Formal Methods; 
  43.     Abstract Data Types; Algorithms and Data Structures; 
  44.     Artificial Intelligence; Automoata and Formal Languages, 
  45.     Computational Complexity; Symbolic and Algebraic Computation;
  46.     Computer Systems Theory; Foundation of Logic Programming;
  47.     Term Rewriting; Theory of Parallel and Distributed Computation;
  48.     VLSI Structures; and Theory of Databses.
  49.  
  50. If you wish to present your work, please send an abstract/summary
  51. together with your completed registration form to one of the local
  52. organisers.
  53.  
  54. The scientific programme includes invited lectures by
  55.  
  56.     (o) Jean-Marc Steyeart (Ecole Polytechnique, Paris)
  57.     (o) Michael Atkinson (St. Andrews University, UK)
  58.     (o) Bob Tennant (Queen's University, Ontario)
  59.     (o) Gordon Plotkin (Edinburgh University)
  60.     (o) John Lloyd (Bristol University)
  61.  
  62. Local Organisers:
  63.    Hussein Zedan and Alan Dix
  64.    Computer Science Dept.
  65.    YORK, YO1 5DD, UK
  66.    fax:  +44 904 432767
  67.    email: {zedan,alan}@minster.york.ac.uk
  68.  
  69. ----------------------------------------------------------------
  70.  
  71.                REGISTRATION FORM
  72.  
  73. The British Colloquium for Theoretical Computer Science invites all those
  74. interested in all aspects of theoretical computer science to attend its
  75. 9th Technical Meeting at the University of York.
  76.  
  77. The meeting will take place at the University campus in the Physics
  78. Departement Lecture theaters and book exihbition in the physics
  79. Concourse.
  80. Accommodation and catering will be provided on campus in Wentworth College.
  81.  
  82. The meeting is planed to start at 9.00 am on Monday 29 March and and ends
  83. at 3.00 pm on Wednesday 31 March. A Sherry Reception will be held on the 
  84. night of Sunday, 28 March from 8.00 pm in Wentworth at W/JCR.
  85.  
  86. To register, please apply using the form below and send it to
  87.  
  88. Local Organisers:
  89.    Hussein Zedan and Alan Dix
  90.    Computer Science Dept.
  91.    YORK, YO1 5DD, UK
  92.    fax:  +44 904 432767
  93.    email: {zedan,alan}@minster.york.ac.uk
  94.  
  95. To guarantee accommodation all registrations must be received by
  96. \fB15th March\fP. Note also, the early booking discount for registrations
  97. before 15th February.
  98.  
  99. The registration fee includes all morning coffees, afternoon teas and 
  100. a copy of all abstracts, but not lunches.
  101. Residential accommodation includes B&B for the nights of 28th to 30th March
  102. inclusive; and all meals on 29th to 31st March excluding conference dinner.
  103.  
  104. The number of places at this meeting is limited to 100 and places will be
  105. allocated in order of receipt of registration form.
  106. Please complete a separate form for each delegate.
  107.  
  108.  
  109.                                                Students          Standard 
  110.  
  111. REGISTRATION:
  112.   Early booking (before 15 Feb.)                 30 pounds [  ]       45 [  ]
  113.   Late booking                                   40 [  ]           60 [  ]
  114.  
  115. ACCOMMODATION:
  116.    Residential (exc. conf. dinner)               74        [  ]   119 [  ]
  117.    Conference dinner                             15 [  ]            25 [  ]
  118.    Non-residential (lunches only):               15 [  ]            24 [  ]
  119.                    or (including all dinners):   44 [  ]            69 [  ]
  120.  
  121.  
  122. EXTRA NIGHT(s) at  20. Please specify:
  123.  
  124. Name_________________________________________ 
  125.  
  126. Organisation_________________________________
  127.  
  128. Address______________________________________
  129.  
  130. _____________________________________________
  131.  
  132. _____________________________________________
  133.  
  134. E-mail_______________________________ 
  135.  
  136. Tel______________________________
  137.  
  138. Cheque/draft payable to "The University of York" for   _______
  139.  
  140. OR 
  141. Official order form:  order number _________ 
  142.  
  143. Special dietary needs:  please brecify details on a separate sheet  ______
  144.  
  145. Arrival date____________  Departure Date____________
  146.  
  147. I will be travelling by AIR/TRAIN/CAR      _________
  148.