http://blog.gmane.org/gmane.comp.lang.lightweight hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.lang.lightweight/4521 Hi all, The ll-discuss list has been almost entirely dormant for a couple of years, but with the recent flurry of activity, I humbly request that you please send mail to the list using the same email address that you are subscribed with. Otherwise, I need to rescue your message out of the potential-spam queue before it gets delivered to the list, which tends to delay your message from getting to the list for about 0 - 48 hours. Thanks! -- Trevis Rothwell ll-discuss administrator Trevis Rothwell 2008-06-08T21:38:52 http://comments.gmane.org/gmane.comp.lang.lightweight/4512 Hi -- Video recordings of all talks given at the S3 Workshop on Self-sustaining Systems (held May 15-16 at the Hasso-Plattner-Institute in Potsdam, Germany) are available online via the tele-TASK system at http://www.swa.hpi.uni-potsdam.de/s3/program/. Best, Robert Robert Hirschfeld 2008-05-21T11:20:37 http://comments.gmane.org/gmane.comp.lang.lightweight/4510 LAST CALL FOR PAPERS Second Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2008) http://events.cs.bham.ac.uk/cicm08/workshops/plmms/ As part of CICM / Calculemus 2008 Birmingham, UK, 28-29 July 2008 This workshop is focused on the intersection of programming languages (PL) and mechanized mathematics systems (MMS). The latter category subsumes present-day computer algebra systems (CAS), interactive proof assistants (PA), and automated theorem provers (ATP), all heading towards fully integrated mechanized mathematical assistants that are expected to emerge eventually (cf. the objective of Calculemus). The two subjects of PL and MMS meet in the following topics, which are of particular interest to this workshop: * Dedicated input languages for MMS: covers all aspects of languages intended for the user to deploy or extend the system, both algorithmic and declarative ones. Typical examples are tactic definition languages such as Ltac in Coq, mathematical proof languages as in Mizar or Isar, or specialized programming languages built into CA systems. Of particular interest are the semantics of those languages, especially when current ones are untyped. * Mathematical modeling languages used for programming: covers the relation of logical descriptions vs. algorithmic content. For instance the logic of ACL2 extends a version of Lisp, that of Coq is close to Haskell, and some portions of HOL are similar to ML and Haskell, while Maple tries to do both simultaneously. Such mathematical languages offer rich specification capabilities, which are rarely available in regular programming languages. How can programming benefit from mathematical concepts, without limiting mathematics to the computational worldview? * Programming languages with mathematical specifications: covers advanced "mathematical" concepts in programming languages that improve the expressive power of functional specifications, type systems, module systems etc. Programming languages with dependent types are of particular interest here, as is intentionality vs extensionality. * Language elements for program verification: covers specific means built into a language to facilitate correctness proofs using MMS. For example, logical annotations within programs may be turned into verification conditions to be solved in a proof assistant eventually. How need MMS and PL to be improved to make this work conveniently and in a mathematically appealing way? These issues have a very colorful history. Many PL innovations first appeared in either CA or proof systems first, before migrating into more mainstream programming languages. Some examples include type inference, dependent types, generics, term-rewriting, first-class types, first-class expressions, first-class modules, code extraction etc. However, such innovations were never aggressively pursued by builders of MMS, but often reconstructed by programming language researchers. This workshop is an opportunity to present the latest innovations in MMS design that may be relevant to future programming languages, or conversely novel PL principles that improve upon implementation and deployment of MMS. We also want to critically examine what has worked, and what has not. Why are all the languages of mainstream CA systems untyped? Why are the (strongly typed) proof assistants so much harder to use than a typical CAS? What forms of polymorphism exist in mathematics? What forms of dependent types may be used in mathematical modeling? How can MMS regain the upper hand on issues of "genericity" and "modularity"? What are the biggest barriers to using a more mainstream language as a host language for a CAS or PA/ATP? Invited Talk ------------ Conor McBride (Alta Systems, Northern Ireland) will give an invited talk "Theorem Proving for the Lazy Programmer" Submission ---------- Submission works through EasyChair http://www.easychair.org/conferences/?conf=plmms2008 Two kinds of papers will be considered: * Full research papers may be up to 12 pages long. Authors of accepted papers are expected to present their work on the workshop in a regular talk. * Position papers may be up to 4 pages long. The workshop presentation of accepted position papers consists of two parts: a stimulating statement of certain issues or challenges by the author, followed by a discussion in the plenum. Papers should use the usual ENTCS style http://www.entcs.org/prelim.html (11 point version), and will be reviewed by the program committee. Informal workshop proceedings will be circulated as a technical report. Moreover there will be post-workshop proceedings of improved research papers, or position papers that have been completed into full papers, to appear in a special issue of the Journal of Automated Reasoning. There will be a separate submission and review phase for this, where papers from both PLMMS 2007 and 2008 will be considered. Programme Committee ------------------- Jacques Carette (Co-Chair) (McMaster University, Canada) John Harrison (Intel Corporation, USA) Hugo Herbelin (INRIA, Ecole polytechnique, France) James McKinna (Radboud University Nijmegen, Netherlands) Ulf Norell (Chalmers University, Sweden) Bill Page Christophe Raffalli (Universite de Savoie, France) Josef Urban (Charles University, Czech Republic) Stephen Watt (ORCCA, University of Western Ontario, Canada) Makarius Wenzel (Co-Chair) (Technische Universitaet Muenchen, Germany) Freek Wiedijk (Radboud University Nijmegen, Netherlands) Important Dates --------------- * Submission deadline - 5 May 2008 * Notification of acceptance - 6 June 2008 * Final version - 7 July 2008 (approximately) * Workshop - 28-29 July 2008 Jacques Carette 2008-04-23T19:53:25 http://comments.gmane.org/gmane.comp.lang.lightweight/4509 A recording of Gilad Bracha's talk on "The Newspeak Programming Language" (Hasso-Plattner-Institute, Potsdam, March 11, 2008) is now online at http://www.tele-task.de/page50_lecture3490.html Best, Robert Robert Hirschfeld 2008-04-19T19:06:37 http://comments.gmane.org/gmane.comp.lang.lightweight/4508 ---------------------------------------------------------------------- Call for Participation *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Hasso-Plattner-Institut Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ ---------------------------------------------------------------------- [ Important dates ] * Early registration: April 20, 2008 * S3 workshop: May 15-16, 2008 [ Program ] * 3 invited talks * 6 technical papers * http://www.swa.hpi.uni-potsdam.de/s3/program/ [ Invited speakers ] * Ian Piumarta (Viewpoints) * Dan Ingalls (Sun Labs) * Richard P. Gabriel (IBM Research) [ Registration ] * http://www.swa.hpi.uni-potsdam.de/s3/registration/ We hope to see you in Potsdam, Kim Rose and Robert Hirschfeld ---------------------------------------------------------------------- Robert Hirschfeld 2008-04-12T13:22:04 http://comments.gmane.org/gmane.comp.lang.lightweight/4507 ************************************************************************ * * * 1st European Lisp Symposium (ELS 2008) * * * * http://prog.vub.ac.be/~pcostanza/els08 * * * * Bordeaux, France, May 22-23, 2008 * * LaBRI, Université Bordeaux 1 * * * ************************************************************************ News: We have published the list of accepted papers that will be presented at the 1st European Lisp Symposium (ELS 2008) in Bordeaux/France on May 23. We have papers about temporal reasoning, context-oriented programming, visual programming, object-relational mappings, clim presentation types, custom specializers for object-oriented lisp, binary methods programming in CLOS. See http://prog.vub.ac.be/~pcostanza/els08/page9/page9.html for the programme of the symposium. We have also provided information about Bordeaux and about the social events programme accompanying the symposium. There will be a cocktail party, a dinner, and an optional excursion to the atlantic coast. See http://prog.vub.ac.be/~pcostanza/els08/page7/page7.html for the information about Bordeaux, including how to reach Bordeaux by plane and by train. See http://prog.vub.ac.be/~pcostanza/els08/page8/page8.html for details about the social programme. Registration for the symposium and for the optional excursion is open! Please take advantage of the reduced registration fees before the early registration deadline, April 25, 2008. Registering early helps us in planning the details of the symposium better. The early registration fee is 50€ for students and 120€ for regular participants. See http://prog.vub.ac.be/~pcostanza/els08/page4/page4.html for the registration page. You have to take care of accommodation yourself. We have provided a list of recommended hotels. For some of them, accounts for symposium participants are available. See http://prog.vub.ac.be/~pcostanza/els08/page10/page10.html for the list of recommended hotels. Looking forward to seeing you in Bordeaux, Pascal Costanza Pascal Costanza 2008-04-09T10:26:03 http://comments.gmane.org/gmane.comp.lang.lightweight/4505 Hi everybody, There is a new article about Context-oriented Programming in the Journal of Object Technology, and it can be viewed and downloaded athttp://www.jot.fm/issues/issue_2008_03/article4/ It discusses context-oriented extensions for Smalltalk, Common Lisp and Java, namely ContextS, ContextL and ContextJ, with new examples for all the presented languages. Here are links for more information and/or downloads for the discussed language extensions: - ContextS: http://www.swa.hpi.uni-potsdam.de/cop/ - ContextL: http://common-lisp.net/project/closer/contextl.html - ContextJ: http://prog.vub.ac.be/~pcostanza/contextj.html Please feel free to send feedback and suggestions. Best, Pascal Pascal Costanza 2008-03-13T11:35:02 http://comments.gmane.org/gmane.comp.lang.lightweight/4503 I'd like to organize a monthly Boston Lisp Meeting. http://fare.livejournal.com/120393.html Those amongst you who are in the Boston area, or may come by, are invited to participate or give a talk. I am also particularly looking for co-organizers, and potential speakers. If there are people you'd like to hear, please help me contact them. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Whatever says the law, it is only ever forbidden but to get caught. Faré 2008-02-22T22:46:38 http://comments.gmane.org/gmane.comp.lang.lightweight/4502 Please note that the deadline for paper submissions to the Workshop on Self-sustaining Systems (S3) 2008 has been extended. The new submission deadline in now *** February 24, 2008 *** For more information on S3, please visit http://www.swa.hpi.uni-potsdam.de/s3/ Regards, Kim Rose and Robert Hirschfeld -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2008-02-15T00:15:27 http://comments.gmane.org/gmane.comp.lang.lightweight/4501 Hi, Please note that we have extended the submission deadline for original papers for the European Lisp Symposium 2008. The submission deadline is now February 25, 2008. Find more information about the European Lisp Symposium at http://prog.vub.ac.be/~pcostanza/els08/ Best, Pascal Pascal Costanza 2008-02-10T14:09:29 http://comments.gmane.org/gmane.comp.lang.lightweight/4500 CALL FOR PAPERS *** Dynamic Languages Symposium (DLS) 2008 *** July 8, 2008 (Tuesday) Co-located with ECOOP 2008, Paphos, Cyprus Sponsored by ACM SIGPLAN http://www.swa.hpi.uni-potsdam.de/dls/dls08/ ------------------------------- IMPORTANT DATES ------------------------------- Submission deadline: April 25, 2008 (hard deadline) Author notification: May 23, 2008 Camera-ready copy due: June 6, 2008 DLS 2008: July 8, 2008 ------------------------------- ABOUT DLS ------------------------------- The Dynamic Languages Symposium (DLS) at ECOOP 2008 in Paphos, Cyprus, is a forum for discussion of dynamic languages, their implementation and application. While mature dynamic languages including Smalltalk, Lisp, Scheme, Self, Prolog, and APL continue to grow and inspire new converts, a new generation of dynamic scripting languages such as Python, Ruby, PHP, Tcl, and JavaScript are successful in a wide range of applications. DLS provides a place for researchers and practitioners to come together and share their knowledge, experience, and ideas for future research and development. DLS 2008 invites high quality papers reporting original research, innovative contributions or experience related to dynamic languages, their implementation and application. Accepted Papers will be published in the ACM Digital Library. ------------------------------- TOPICS OF INTEREST ------------------------------- Areas of interest include but are not limited to: - Innovative language features and implementation techniques - Development and platform support, tools - Interesting applications - Domain-oriented programming - Very late binding, dynamic composition, and runtime adaptation - Reflection and meta-programming - Software evolution - Language symbiosis and multi-paradigm languages - Dynamic optimization - Hardware support - Experience reports and case studies - Educational approaches and perspectives - Object-oriented, aspect-oriented, and context-oriented programming ------------------------------- SUBMISSION GUIDELINES ------------------------------- We invite original contributions that neither have been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Papers are to be submitted electronically at http://www.swa.hpi.uni-potsdam.de/dls/dls08/ in PDF format. Submissions must not exceed 12 pages and need to use the ACM format, templates for which can be found at http://www.acm.org/sigs/pubs/proceed/template.html. ------------------------------- PROCEEDINGS ------------------------------- Accepted Papers will be published in the ACM Digital Library. ------------------------------- PROGRAM COMMITTEE ------------------------------- Chair: Johan Brichau (Université catholique de Louvain, Belgium) Joe Armstrong (Ericsson AB, Sweden) Pierre Cointe (École des Mines de Nantes, France) William R. Cook (University of Texas at Austin, USA) Pascal Costanza (Vrije Universiteit Brussel, Belgium) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Maja D'Hondt (IMEC, Belgium) Robert Hirschfeld (Hasso-Plattner Institüt, Germany) Roberto Ierusalimschy (PUC-Rio, Brazil) Andy Kellens (Vrije Universiteit Brussel, Belgium) Michele Lanza (University of Lugano, Switzerland) Michael Leuschel (University of Düsseldorf, Germany) Oscar Nierstrasz (University of Berne, Switzerland) Kent Pitman (PTC, USA) Lynne Shaw (CheckFree Investment Services, USA) David Ungar (Sun Microsystems, USA) Peter Van Roy (Université catholique de Louvain, Belgium) Martin von Löwis (Hasso-Plattner Institüt, Germany) Daniel Weinreb (ITA Software, USA) Robert Hirschfeld 2008-01-25T07:50:50 http://comments.gmane.org/gmane.comp.lang.lightweight/4499 [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2008-01-21T20:11:18 http://comments.gmane.org/gmane.comp.lang.lightweight/4498 [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2007-12-13T12:39:36 http://comments.gmane.org/gmane.comp.lang.lightweight/4497 ****************************************************************************** * * * 1st European Lisp Symposium (ELS 2008) * * * * http://prog.vub.ac.be/~pcostanza/ els08 * * * * Bordeaux, France, May 22-23, 2008 * * LaBRI, Université Bordeaux 1 * * * ****************************************************************************** Important Dates: **************** * Submission of research papers: February 11, 2008 * Work-in-progress papers: March 24, 2008 * Author notification: April 7, 2008 * First final versions due: April 28, 2008 Accepted research papers will be invited for a special issue of the Journal of Universal Computer Science (J.UCS). See symposium website for more details. Scope: ****** The European Lisp Symposium 2008 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, ISLISP, Dylan, and so on. Topics include, but are not limited to: * Language design and implementation techniques * Language integration, interoperation and deployment * Experience reports and case studies * Reflection and meta-level architectures * Educational approaches * Software adaptation and evolution * Configuration management * Artificial intelligence * Large and ultra-large-scale systems * Development methodologies * Development support and environments * Persistent systems * Scientific computing * Parallel and distributed computing * Data mining * Semantic web * Dynamic optimization * Innovative applications * Hardware and virtual machine support * Domain-oriented programming We also encourage submissions about past approaches that have been largely forgotten about, as long as they are presented in a new setting. We invite submissions in two categories: original contributions and work-in-progress papers. *** Original contributions have neither been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art, or presents old results from a new perspective. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Accepted papers will be published in the Journal of Universal Computer Science (J.UCS). Authors of accepted papers are expected to present their work at the symposium main track in Bordeaux on May 23, 2008. *** Work in progress describes ongoing work that is not ready for publication yet, but would benefit strongly from feedback by other researchers, practitioners and educators. Such contributions will not be published in the symposium proceedings, but will be made available at the symposium website. The work-in-progress track will be organized as a series of writers' workshops where authors work together to improve their papers. Some authors who submit papers for the main track will be suggested to contribute their work in this track instead, if the program committee decides that their submission is not yet ready for a publication. The writers' workshops will take place at the symposium in Bordeaux on May 22, 2008. Submissions: ************ Papers for the main track must be submitted electronically, preferably as PDF or PostScript file (level 1 or 2). However, submissions in RTF or Word format are also accepted. Initial submissions may not exceed 15 pages in the J.UCS style, including all appendices. (Invited papers for the journal publication will have a page limitation of 25 pages in the same format.) See the symposium website for more details, including about the submission procedure. Papers for the work-in-progress track may be in PDF, PostScript level 1 or 2, RTF or Word, and may not exceed 25 pages. There are no further requirements on their format. Papers for the work-in-progress track must be sent via email to pascal.costanza< at >vub.ac.be. Program Chair: ************** * Pascal Costanza, Vrije Universiteit Brussel, Belgium Program Committee: ****************** * Marco Antoniotti, Universita Milano Bicocca, Italy * Marie Beurton-Aimar, Université Bordeaux 1, France * Jerry Boetje, College of Charlston, USA * Theo D'Hondt, Vrije Universiteit Brussel, Belgium * Irène Durand, Université Bordeaux 1, France * Marc Feeley, Université de Montréal, Canada * Erick Gallesio, Universite de Nice / Sophia Antipolis, France * Rainer Joswig, Independent Consultant, Germany * António Leitão, Technical University of Lisbon, Portugal * Henry Lieberman, MIT, USA * Scott McKay, ITA Software, Inc., USA * Ralf Möller, Hamburg University of Technology, Germany * Nicolas Neuss, Universität Karlsruhe, Germany * Kent Pitman, PTC, USA * Christophe Rhodes, Goldsmiths College, University of London, United Kingdom * Jeffrey Mark Siskind, Purdue University, USA * Didier Verna, EPITA Research and Development Laboratory, France Pascal Costanza 2007-12-05T22:17:10 http://comments.gmane.org/gmane.comp.lang.lightweight/4491 Hi, This is a question for historians. ;) Who 'invented' or discovered continuation-passing style? Was this part of the lambda papers or did this come up earlier? Was the style used before it got that name? Thanks a lot in advance for any hints... Pascal Pascal Costanza 2007-11-29T20:20:31 http://comments.gmane.org/gmane.comp.lang.lightweight/4490 An interactive tutorial for uCalc Language Builder is now available. It will walk you through various concepts and allow you to experiment as you go along. In addition to that, this beta now comes with a full help file for uCalc LB and one for the Interactive Interpreter. If you have downloaded previous betas of uCalc LB, and couldn't figure it out, then you should download this one. With the included help files and interactive tutorial, it should now be significantly easier to understand how to make use of uCalc LB. The fully functional download includes the following: * uCalc Language Builder component * Interactive interpreter (which can also run script files) * Interactive instructional tutorial * Interpreted versions of Lisp, Forth, BASIC, and more * Line-by-line explanation files to accompany source code files * Help files for uCalc LB and uCalc Interpreter The file to download is _http://www.ucalc.com/beta/lbnov07b.zip_ (http://www.ucalc.com/beta/lbnov07b.zip) . I look forward to hearing from others in this Lightweight Languages forum. So what exactly is uCalc Language Builder? uCalc LB is designed to let you easily create your own interpreted / scripting languages. It comes with sample languages such as Lisp, Forth, BASIC and more. These are defined in plain text files, which you can load right up into the generic uCalc interpreter, at which point it becomes an interpreter for the language you have just loaded. The interpreter can run code either from script files or interactively. In addition to constructing programming languages, you can use the interpreter for powerful text processing, or as a command line calculator / expression evaluator. The current version runs under Windows. Daniel Corbier uCalc Language Builder www.ucalc.com ************************************** See what's new at http://www.aol.com UCalcLang< at >aol.com 2007-11-08T22:53:28 http://comments.gmane.org/gmane.comp.lang.lightweight/4489 On behalf of the Steering Committee and the Editors Committee, I am extremely pleased to announce that the R6RS is now available in pdf format at http://www.r6rs.org . An HTML version will be available shortly. The editors have asked me to include the following statement. The editors would like to make the following suggestion to the steering committee and, by extension, the Scheme community. Among the differences between the R6RS and its predecessors, the sheer size of the report is the most obvious. This difference can be explained by the primary goal that drove the R6RS effort, which was to enable a new level of portability among Scheme implementations. Given that goal, many language constructs that implementations supply out of practical necessity---including modules, records, expressive macro systems, byte vectors, hash tables, and exceptions---fell under the purview of the new report, instead of individual implementations. The result is a significantly larger report. The expanded scope and size of the report make its compromises and flaws more keenly felt than before; quite simply, there are more details to get wrong. Compromises and flaws are inherent in a standardization process, just as they are inherent in the production of software artifacts (at least given our current technology). As with software, the clearest way forward is a process of continual refinement. We therefore suggest that the standardization process be refined to accommodate a series of incremental reports (R6.1RS, R6.2RS, etc.) to address problems in R6RS as flaws and their solutions become clear. On behalf of the Steering Committee, I would like to thank all the editors for their efforts over the last four years. The scale and length of this process is unprecedented in our community. I would also to like to thank the many people who contributed to the discussion and participated in the R6RS process. I will be giving a report on the process at the Scheme Workshop on Sunday. I look forward to seeing many of you there. Sincerely, --Mitch Wand for the Steering Committee: Alan Bawden Guy Steele Mitch Wand Mitchell Wand 2007-09-28T17:49:13 http://comments.gmane.org/gmane.comp.lang.lightweight/4488 Context-dependent behavior is becoming increasingly important for a wide range of application domains. Unfortunately, mainstream programming languages do not provide mechanisms that enable software entities to adapt their behavior dynamically to the current execution context. In collaboration with various researchers, we have developed a new programming technique called "Context-oriented Programming" (COP). ContextL - http://common-lisp.net/project/closer/contextl.html - is our first fully implemented and currently most mature programming language extension for COP and is built on top of the Common Lisp Object System (CLOS). ContextL has first been made available to the public in early 2005, and has already been adopted by a number of programmers. We would now like to assess how well ContextL has been received so far. Please consider participating in our first survey about ContextL - this will help us a lot to develop ContextL and related projects further (like Closer to MOP, etc.). You can find the survey and more information about it at http:// prog.vub.ac.be/~pcostanza/COP/survey.html Thanks a lot, Pascal Pascal Costanza 2007-09-03T12:27:05 http://comments.gmane.org/gmane.comp.lang.lightweight/4487 According to the Scheme Charter, at the end of the review process, the Steering Committee could choose either to finalize the submitted draft or to restart the review process. In order to be sure that the new revised Scheme standard enjoyed wide support among the Scheme community, the Steering Committee adopted a procedure in which there would be a vote on the question of whether the draft should be ratified, and they agreed to be bound by the results of that vote. 112 people registered to vote on the question. 102 of those electors cast their ballots before the poll closed on 12 August 2007. 67 electors voted to ratify draft 5.97 as R6RS. 35 electors were opposed to ratification. Thus 65.7% of those who voted, voted in favor of ratification. This is more than the 60% required for ratification. The Steering Committee therefore ratifies the draft numbered 5.97 as the official "Revised6 Report on the Algorithmic Language Scheme". The Editors are directed to prepare the final text of the document, correcting only minor errata. The final record of the ratification vote can be found at http://www.r6rs.org/ratification/results.html. (Additional correspondence received after the poll closed will be published separately.) ---The Scheme Language Steering Committee: Alan Bawden Guy Steele Mitch Wand Mitchell Wand 2007-08-29T14:54:15 http://comments.gmane.org/gmane.comp.lang.lightweight/4486 ======================================================================= *** Call for Participation *** D L S 2 0 0 7 Dynamic Languages Symposium October 22, 2007 Palais des congres de Montreal Montreal, Canada co-located with OOPSLA 2007 sponsored by ACM SIGPLAN http://www.swa.hpi.uni-potsdam.de/dls07/ ======================================================================= The Dynamic Languages Symposium (DLS) is a forum for discussion of dynamic languages, their implementation and application. While mature dynamic languages including Smalltalk, Lisp, Scheme, Self, and Prolog continue to grow and inspire new converts, a new generation of dynamic scripting languages such as Python, Ruby, PHP, and JavaScript are successful in a wide range of applications. DLS provides a place for researchers and practitioners to come together and share their knowledge, experience, and ideas for future research and development. This year 30 papers were submitted to the Dynamic Languages Symposium of which 9 papers were accepted. The program committee reviewed each paper and met electronically to select papers for the final program. We are pleased host invited talks by Mark Miller and Jim Hugunin. The program of the Dynamic Languages Symposium is available from http://www.swa.hpi.uni-potsdam.de/dls07/ Please note that participation in DLS requires registration with OOPSLA at http://www.regmaster.com/conf/oopsla2007.html or http://www.oopsla.org/oopsla2007/ Contact: Pascal Costanza (pascal.costanza< at >vub.ac.be) Robert Hirschfeld (hirschfeld< at >hpi.uni-potsdam.de) ======================================================================= Robert Hirschfeld 2007-08-07T10:48:29 http://comments.gmane.org/gmane.comp.lang.lightweight/4485 _______________________________________________ Scheme-announcements mailing list Scheme-announcements< at >lists.ccs.neu.edu https://lists.ccs.neu.edu/bin/listinfo/scheme-announcements Mitchell Wand 2007-07-25T15:23:01 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.lightweight