home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / theory / 2921 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  5.8 KB
  1. Xref: sparky comp.theory:2921 comp.lang.prolog:2439 comp.lang.functional:1551 sfnet.tiede.tietotekniikka.tohtorix:35
  2. Path: sparky!uunet!mcsun!news.funet.fi!hydra!hydra!not-for-mail
  3. From: vilo@cs.Helsinki.FI (Jaak Vilo)
  4. Newsgroups: comp.theory,comp.lang.prolog,comp.lang.functional,nordunet.dcom.baltics,sfnet.tiede.tietotekniikka.tohtorix
  5. Subject: Constraint Programming (NATO summerschool)
  6. Date: 25 Jan 1993 12:39:00 +0200
  7. Organization: University of Helsinki, Department of Computer Science
  8. Lines: 154
  9. Distribution: inet
  10. Message-ID: <1k0g04INNg5p@hydra.Helsinki.FI>
  11. NNTP-Posting-Host: hydra.helsinki.fi
  12.  
  13.  
  14.  
  15.                      FIRST ANNOUNCEMENT
  16.  
  17.                NATO Advanced Study Institute
  18.  
  19.          C O N S T R A I N T   P R O G R A M M I N G
  20.  
  21.                     August 13-24, 1993
  22.                       Parnu, Estonia
  23.  
  24.  
  25. OBJECTIVES
  26.  
  27.   The Advanced Study Institute (ASI) aims to bring together leading 
  28. researchers and practitioners from industry and academy involved 
  29. in constraint programming.
  30.  
  31.   The ASI seeks to provide a forum to address and discuss the state of 
  32. the art as well as the future trends. The institute is biased towards 
  33. comparison different existing schools and treatments in constraint 
  34. programming, to establish a network of researchers and to encourage 
  35. the build up of new ideas and theories.
  36.  
  37.  
  38. SCOPE
  39.  
  40.  Topics of the ASI include:
  41.    *     theoretical aspects of constraint programming;
  42.    *     specification of constraints;
  43.    *    constraints and mathematical logic;
  44.    *    constraints and interval arithmetic;
  45.    *    constraint programming and object-oriented programming paradigm;
  46.    *    constraint-based reasoning;
  47.    *    consistency and satisfaction of constraints;
  48.    *    constraint propagation;
  49.    *    parallel and distributed computing with constraints;
  50.    *    constraint-based interfaces, languages and systems;
  51.    *    applications of constraint programming.
  52.  
  53.  
  54. INVITED LECTURERS
  55.  
  56.   In the ASI approximately 15 invited lecturers will participate, 
  57. among them:
  58.  
  59.  H. Ait-Kaci (DEC Research Lab, France), 
  60.  A. Borning (Washington University, USA), 
  61.  R. Dechter (University of California, USA), 
  62.  S. Haridi (SICS, Sweden), 
  63.  B. Mayoh (Arhus University, Denmark), 
  64.  G. Mints (Stanford University, USA), 
  65.  E. Tyugu (Royal Institute of Technology, Sweden), 
  66.  etc. 
  67.  
  68.   Participants (students) will also have the opportunity to present their 
  69. own work with the help of posters as well as oral presentations and discussions.
  70.  
  71.  
  72. PROCEEDINGS
  73.  
  74.   The results of the ASI are intended to be published in a book from 
  75. the NATO ASI series by Springer Verlag.
  76.  
  77.  
  78. VENUE
  79.  
  80.   The institute will be held in Parnu, which is easily reached from Tallinn, 
  81. the capital of Estonia, on August 13-24, 1993.
  82.  
  83.   Parnu is a delightful summer resort on the shore of the Gulf of Riga.  
  84. Parnu's 60 kilometres of tree-lined streets were once considered the most 
  85. complete botanical garden of the Russian Empire. Parnu is also famous 
  86. for its international jazz festivals being held every year.
  87.  
  88.   For the participants of the ASI, dormitory rooms will be available in 
  89. a campus. All the attenders are expected to stay for the full duration of 
  90. the institute.  The ASI will be followed by the Fifth International Symposium 
  91. on Programming Languages Implementation and Logic Programming (PLILP'93), 
  92. to be held on August 25-27, 1993. More precise information on the symposium 
  93. can be achieved by e-mail plilp@ioc.ee
  94.  
  95.  
  96. APPLICATIONS
  97.  
  98.   Participation is by invitations only. Persons wishing to apply for attending 
  99. the institute are invited to send:
  100.  
  101.    *    full address including e-mail or fax if possible,
  102.    *    curriculum vitae,
  103.    *    list of publications and copies of major publications if possible,
  104.    *    motivation how you would contribute to the ASI,
  105.    *    arguments why a scolarship may be justified.
  106.  
  107.   Applications should be sent by e-mail or regular mail to one of the addresses
  108.  below.
  109.  
  110.   The deadline for applications is April 1, 1993. Earlier applications are 
  111. most welcome. Notification will be given by May 15, 1993.
  112.  
  113.   Only a limited number of participants (maximum 80) will be accepted. 
  114. Participants come mostly from the NATO Alliance countries. A certain percentage 
  115. of non-NATO nationals can attend as well as participants from Central and 
  116. Eastern European countries.
  117.  
  118.  
  119. FEES
  120.  
  121.   To cover living expenses  an attendance fee will be charged. It is anticipated
  122. that the fee will be 3250 EEK (250 USD) for participants from the NATO Alliance 
  123. and Central/East European countries, and 6500 EEK (500 USD) for participants 
  124. from other countries.
  125.  
  126.   The registration fee for industrial participants is 12.000 EEK (925 USD).
  127. There is no registration fee for academic participants.
  128.  
  129.   Every participant covers his/her own travel expenses. Any health and accident
  130. insurance is also an individual responsibility.
  131.  
  132.   A limited number of scholarships  are available for subsidising those ASI 
  133. students who are unable to obtain support from other sources.
  134.  
  135.  
  136. ORGANIZING COMMITTEE
  137.  
  138. B. Mayoh (Arhus University, Denmark), director 
  139. E. Tyugu (Royal Institute of Technology, Sweden) 
  140. J. Penjam (Institute of Cybernetics, Estonia) 
  141.  
  142. CORRESPONDANCE ADDRESSES
  143.  
  144. Jaan Penjam                      Brian Mayoh 
  145. Institute of Cybernetics         Comp.Sci.Dept.Arhus University 
  146. 21 Akadeemia tee                 Ny Munkegade Bldg. 540 
  147. EE0026 Tallinn (via Helsinki)    DK-8000 Arhus 
  148. Estonia                          Denmark 
  149.  
  150. E-mail:natoasi@ioc.ee         E-mail: brian@daimi.aau.dk
  151. Tel.: +7014-2 52 57 28           Tel.:  +45 86 12 71 88 
  152. Fax: +7014-2 52 79 01            Fax:  +45 86 13 57 25 
  153.  
  154.   NB!    The country code of Estonia will change in the nearest 
  155.     future (probably in March, 1993). The new code will be +372-2.
  156.  
  157.  
  158. SPONSORS
  159.  
  160.   The ASI is organized by the Institute of Cybernetics (Tallinn, Estonia) 
  161. in collaboration with the Arhus University (Denmark).
  162.  
  163.   The institute is sponsored by NATO as a NATO Advanced Study Institute.
  164.  
  165.  
  166.  
  167.