Newsgroups: comp.lang.functional,comp.lang.misc,comp.theory,comp.lang.scheme,comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!julienas!news.fnet.fr!ilog!chaillou
From: gimuell@smiley.lili.uni-bielefeld.de (Gil Mueller)
Subject: Seeking for a computer science researcher
Message-ID: <1994Sep27.174932.13058@ilog.fr>
Sender: chaillou@ilog.fr (Jerome Chailloux)
Organization: Universitaet Bielefeld, Rechenzentrum
Date: Tue, 27 Sep 1994 15:56:30 GMT
Lines: 56
Xref: glinda.oz.cs.cmu.edu comp.lang.functional:5140 comp.lang.misc:17878 comp.theory:10692 comp.lang.scheme:10010 comp.lang.lisp:14864


I have posted this request on behalf of the persons mentioned below 
(they have no access to usenet news). Thus, if you are interested in 
the following offer, please contact them and not me.
 
------------------------------------------------------------------------------
 
GRAME is a research center for contemporary music sponsored by the French
Ministry of Culture. Its R&D activities in computer-music are devoted to
promoting new approaches and new tools for musicians. One of our two research
areas is concerned with formal languages for musical notation and composition.
Its objectives are:
  - promoting new techniques of musical composition.
  - favoring the link between formalization and experimentation in the process
of composition.
  - enriching the means of representation, abstraction and handling of musical
materials.
with the following directions:
  - programming models, particularly lambda-calculus, combinatory logic and
functional programming.
  - formal languages as cognitive tools for design, invention and creation.
  - relationship between notation, writing and musical thought.
  - memory and musical heritage problems introduced by computer science.
Several compositional languages (MidiLogo 1984, MidiLisp 1986, CLCE 1991) come
from these works.
 
We are now seeking for a computer science researcher with extensive background
in formal definition, semantic and theory of programming languages, especially
lambda-calculus and functional programming, to work with us on the theoretical
definition of a time based language currently in progress.
 
This post may apply to the Bc part of the European COMETT program for a
duration between 2 and 6 months. This program is intended for promoting
cooperation between universities and enterprises and to encourage training in
advanced technologies. It concern only countries of the European Community
[EEC] or of the European Free Trade Association [EFTA]. Thus, this proposal
purpose is mainly educational. It must take shape with an agreement between the
university and GRAME. All expenses related to this exchange (traveling
expenses, accommodation, etc...) are in charge of GRAME. Applications including
a C.V. addressing the above points and availability should be sent to GRAME as
soon as possible.
 
If you require any additional information, you can contact Mr. Orlarey or Mr.
Fober at the following address:
 
   GRAME
   6, quai Jean Moulin
   BP 1185
   69202 LYON Cedex 01 FRANCE
   Tel : (33) 72 07 37 00
   Fax : (33) 72 07 37 01
 
   E-mail : GRAME@AppleLink.Apple.com
 


