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