From mansurov@cs.msu.su Mon Mar 20 15:28:05 EST 1995 Article: 12365 of comp.lang.scheme Newsgroups: comp.theory,comp.lang.functional,comp.lang.scheme,comp.compilers Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!uhog.mit.edu!news.mtholyoke.edu!world!iecc!compilers-sender From: Mansurov Nikolay Nikolaevich Subject: FPLE'95 Call for Papers Message-ID: <95-03-113@comp.compilers> Keywords: CFP, functional, conference Sender: compilers-sender@chico.iecc.com Organization: Compilers Central Date: Thu, 16 Mar 1995 18:01:02 GMT Approved: compilers@chico.iecc.com Lines: 152 Xref: economic.mess.cs.cmu.edu comp.theory:12016 comp.lang.functional:5742 comp.lang.scheme:12365 comp.compilers:8552 Call for Papers FPLE'95 Conference on Functional Programming Languages in Education December 03-06, 1995 Moscow, Russia the conference is being organized in cooperation with IFIP WG 2.8 The conference will emphasize current state of the art in teaching computer science and related topics using Functional Programming Languages. Functional languages are to be understood in a broad sense, including lazy functional languages, strict functional languages, languages with a powerful functional subset (e.g. Scheme) and purely algebraic specification methods. Topics include experience in teaching a functional programming language as a first programming language and its consequences for other courses; explore the place of the Functional Programming paradigm in the curricula in computing at the BS, MS and PhD levels. The conference will be particularly interested in discussing experiences of using functional languages or functional formalisms in teaching of other computer science topics. For example, functional languages have been used to teach: * compiler construction * computer architecture * concurrent programming * language concepts * operational research * mathematics * physics * semantics * solid modeling The conference will be held in Moscow, 03-06 December 1995. The conference is hosted by the Institute for Systems Programming, Russian Academy of Sciences. The Chair of the conference is Professor Victor Ivannikov, corresponding member of the Russian Academy of Sciences, Director of the Institute for Systems Programming. Programme Committee: Sergei Abramov, Moscow University, Russia Hugh Glaser, University of Southampton, UK Pieter Hartel, University of Amsterdam, The Netherlands Paul Hudak, Yale University, USA John Hughes, Chalmers University, Sweden Herbert Kuchen, University of Aachen, Germany Peter Lee, Carnegie-Melon University, USA Daniel Le Metayer, Rennes, France Alexander Ljubimski, Institute for Applied Mathematics, Russia John O'Donnell, University of Glasgow, UK Rinus Plasmeijer, University of Nijmegen, The Netherlands Program Chair: Victor Ivannikov, Institute for Systems Programming, Russia Organization Committee Grigorij Amirdjanov Pieter Hartel Nikolai Mansurov Rinus Plasmeijer Papers accepted for the conference must contain material not presented previously in any formal forum. Submissions will be judged on relevance, originality, significance, correctness, and clarity. Each paper should explain its contribution in both general and technical terms, identifying what has been accomplished, saying why it is significant, and comparing it with previous work. Authors should make every effort to make the technical content of their papers understandable to a broad audience. Accepted papers will appear in a technical report to be distributed at the conference. It is intended to publish the proceedings in the Springer LNCS series. Authors of accepted papers will be expected to sign a copyright release form. Both electronic and postal submissions will be accepted. Authors should submit the full paper (up to 10 pages, typeset 10-point on 16-point spacing in two-column conference style format, double-sided if possible). Each submission (postal or electronic) should be accompanied by electronic mail to greentech@glas.apc.org, with a single postal address and electronic mail address for communication, complete title, author and affiliation information, and an ABSTRACT of the paper. This email should be send in plain ascii form. Electronic submissions could be send as either 1) compressed uuencoded postscript file, or 2) LaTeX file to greentech@glas.apc.org Please DO NOT send plain postscript files to avoid any problems with mailers. As an alternative to electronic submission 12 copies of the full paper should be posted to: Dr. Pieter Hartel Faculty of Mathematics & Computer Science University of Amsterdam Kruislaan 403 NL-1098 SJ Amsterdam The Netherlands Important dates: The deadline for submitting papers is June 30, 1995. Authors will be notified of acceptance of their paper by August 30, 1995. Camera-ready versions of accepted papers are due on September 30, 1995. ------------------------------------------------------------------ Correspondence should be sent to: Dr. Pieter Hartel Faculty of Mathematics & Computer Science University of Amsterdam Kruislaan 403 NL-1098 SJ Amsterdam The Netherlands E-mail: pieter@fwi.uva.nl or to: Dr. Nikolai Mansurov Institute for Systems Programming Russian Academy of Science 25 Bolshaya Communisticheskaja Moscow, Russia E-mail: greentech@glas.apc.org -- Send compilers articles to compilers@iecc.com, meta-mail to compilers-request@iecc.com.