- boston-lisp - mailman3.common-lisp.net

[boston-lisp] [CfPart] 6th European Lisp Workshop at ECOOP, July 6th 2009
by Didier Verna 18 May '09

18 May '09

Apologies for multiple reception. Please forward, to any person you think might be interested. +------------------------------------------------------------+ | CALL FOR PARTICIPATION | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | | http://elw.bknr.net/2009 | +------------------------------------------------------------+ Important Dates =============== ECOOP early registration deadline: May 20, 2009 ECOOP late registration deadline: July 03, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. There is a reduced registration fee for workshop-only attendance. The early registration deadline is in two days, so register now! See http://ecoop09.disi.unige.it/ for details. 2009 Special News ================= * Edi Weitz will give a keynote address on the use of his notorious open source libraries in commercial / industrial application. * The workshop is sponsored by ITA Software, Inc. Please visit them at http://www.itasoftware.com/ * This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. Programme ========= In addition to Edi Weitz's keynote address, the workshop will feature: - technical papers on tools to interface modelling in biology, an infrastructure for offline work in web applications and a denotational semantics for modelling the class relationships of CLOS and its MOP, - tutorials on filtered dispatch and SWCLOS, a semantic web processor. Please visit the workshop's website in the next few days for a more detailed description. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[boston-lisp] Boston Lisp Meeting TUESDAY 2009-05-26: Norman Ramsey on HOFs & CPS for Dataflow Optimization
by fare＠tunes.org 14 May '09

14 May '09

Boston Lisp Meeting: TUESDAY May 26th - Norman Ramsey on Using HOFs and CPS to Make Dataflow Optimization Simple http://fare.livejournal.com/144312.html A Boston Lisp Meeting will take place on Tuesday, May 26th 2009 at 1800 at MIT 34-401B, where Norman Ramsey will speak about Using Higher-Order Functions and Continuation-Passing Style to Make Dataflow Optimization Simple. Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A). Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below. * Norman Ramsey will speak about Using Higher-Order Functions and Continuation-Passing Style to Make Dataflow Optimization Simple. Norman Ramsey's research spans theory (a foundational model for probabilistic programming languages) and practice (methods for making code generators reusable). While he has contributed to a variety of topics in programming languages and software engineering, his primary interests lie in functional programming and programming-language infrastructure. His introduction to functional programming came on a Symbolics Lisp machine, but shortly afterward he was seduced by the beauty of algebraic data types and pattern matching. These days his favorite programmable programming systems are Haskell (look! it has Prolog in the type checker and will generate your code for you!) and Lua (the best of scripting, metaobjects, and C rolled up into a tiny package). He is currently Associate Professor of computer science at Tufts University, a job which he enjoys tremendously except that it does not leave him time for enough programming. His website is at http://www.cs.tufts.edu/~nr/ * * Having observed the success of the formula at ILC'2009, we have instituted Lightning Talks at the Boston Lisp Meeting. At every meeting, before the main talk, there are two slots for strictly timed 5-minute talks followed by 2-minute for questions and answers. The slots for next Monday are still open. Step up and come talk about your pet project! * * * The Lisp Meeting will take place on Tuesday May 26th 2009 at 1800 (6pm) at MIT, Room 34-401B. Note that the meeting will NOT take place as usual on the last Monday of the Month, but on the next day, Tuesday. Indeed, that last Monday of May is Memorial Day, a holiday, and the next day thus makes do as a "Virtual Monday". As the numbers indicate, the room is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge. MIT map: http://whereis.mit.edu/bin/map?selection=34 Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * * * Dinner: ITA Software, a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * * * * * The previous Boston Lisp Meeting on April 27th had 35 participants. Noah Goodman gave a talk about Lambda the Ultimate Gamble Alan Bawden also gave a Lightning Talk about a better proposed representation for quasiquotes. In the near future, we expect to have Bruce Lewis on 2009-06-29 about BRL http://brl.codesimply.net and ourdoings.com, Emmanuel Schanzer on 2009-08-31 about BootstrapWorld.org, and Christine Flood on some undetermined date about Fortress http://projectfortress.sun.com * * * * * * We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html Also sought are volunteers to give Lightning Talks http://fare.livejournal.com/143723.html For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

1 0

[boston-lisp] Boston Lisp Meeting 2009-04-27: Noah Goodman on Lambda the Ultimate Gamble.
by fare＠tunes.org 23 Apr '09

23 Apr '09

Boston Lisp Meeting: This Monday April 27th - Noah Goodman on Lambda the Ultimate Gamble http://fare.livejournal.com/141901.html A Boston Lisp Meeting will take place on Next Monday, April 27th 2009 at 1800 at MIT 34-401B, where Noah Goodman will speak about MIT-Church, a non-deterministic Scheme. Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A). Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below. * Noah Goodman will talk about Church: a language for probabilistic modeling, or, Lambda, the Ultimate Gamble. He will describe the probabilistic programming language Church. Probabilistic generative models have exploded in recent years, becoming central to machine learning and AI. These models are usually described with a mixture of informal english, math, and box-and-arrow diagrams. Such descriptions can be error prone and are difficult to scale in model complexity. Church is a formal language for probabilistic generative models, derived from the pure subset of Scheme and extended with probabilistic constructs. As a description language Church is a convenient and powerfull way to construct models; in this talk I will show several examples drawn from recent machine learning research. Beyond mere description, Church makes it possible to automate the process of inference in probabilistic models. The MIT-Church implementation of Church is a universal inference engine based on Markov chain monte carlo. I will indicate the design of this implementation and highlight some of the unique challenges of probabilistic programming languages relative to standard languages. I will close with some examples of MIT-Church in action. Noah D. Goodman is a research scientist in the Department of Brain and Cognitive Sciences at MIT, and a member of the Computer Science and Artificial Intelligence Laboratory. He studies the computational basis of human thought, merging behavioral experiments with formal methods from statistics and logic. He received his Ph.D. in mathematics from the University of Texas at Austin, several years later he joined the Computational Cognitive Science group at MIT, working with professor Joshua Tenenbaum. Goodman has published more than twenty-five publications in psychology, cognitive science, and artificial intelligence. Goodman is project leader of the MIT-Church probabilistic programming project. His website is at http://www.mit.edu/~ndg/ * * Having observed the success of the formula at ILC'2009, we have instituted Lightning Talks at the Boston Lisp Meeting. At every meeting, before the main talk, there are two slots for strictly timed 5-minute talks followed by 2-minute for questions and answers. The slots for next Monday are still open. Step up and come talk about your pet project! * * * The Lisp Meeting will take place on Monday April 27th 2009 at 1800 (6pm) at MIT, Room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge. MIT map: http://whereis.mit.edu/bin/map?selection=34 Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * * * Dinner: ITA Software, a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * * * * * The previous Boston Lisp Meeting on March 30th had between 30 and 40 participants. Carl Eastlund gave a talk about Modular ACL2. We also had our first Lightning Talks: François-René Rideau talked about "Better Stories, Better Languages", and Dan Stanger gave a short introduction to BRL. (Matt Knox couldn't be there to speak about GoaLoC as previously announced.) In the near future, we expect to have Norman Ramsey on 2009-05-25 about purely functional dataflow optimization in Haskell, Bruce Lewis on 2009-06-29 about BRL and ourdoings, Christine Flood on 2009-08-31 about Fortress. * * * * * * We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

1 0

[boston-lisp] DEADLINE EXTENSION: 6th European Lisp Workshop at ECOOP, July 6 2009
by Didier Verna 08 Apr '09

08 Apr '09

Dear colleagues, upon request from several potential contributors, we have postponed the submission deadline for the 6th European Lisp Workshop by two weeks. The new deadline is now April 22nd. +------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 22, 2009 (EXTENDED) Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines (see http://www.acm.org/sigs/publications/proceedings-templates) and include ACM classification categories and terms (see http://www.acm.org/about/class/1998) Authors will later be required to sign an ACM copyright form. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 Didier Verna <didier(a)lrde.epita.fr> @ LRDE: 01 44 08 01 85

1 0

[boston-lisp] Mailing list administrivia
by Richard M Kreuter 31 Mar '09

31 Mar '09

Hello, At last night's Boston Lisp meeting, a few people said their RSVP emails to boston-lisp-meeting-register at common-lisp.net had bounced. Would any of you who received a bounce to that address forward the bounced mail to me at kreuter(a)progn.net, so we can see about straightening this out? (I administer the boston-lisp-meeting-register mailing list, but not the common-lisp.net MTA, so I can't look in the common-lisp.net MTA logs.) Thanks, Richard

1 0

[boston-lisp] Reminder [CFP] 6th European Lisp Workshop, July 6th 2009
by Didier Verna 31 Mar '09

31 Mar '09

+------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 08, 2009 Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines (see http://www.acm.org/sigs/publications/proceedings-templates) and include ACM classification categories and terms (see http://www.acm.org/about/class/1998) Authors will later be required to sign an ACM copyright form. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com

1 0

[boston-lisp] 2009-03-30 Boston Lisp Meeting: Carl Eastlund on Modular ACL2
by fare＠tunes.org 04 Mar '09

04 Mar '09

Next Boston Lisp Meeting: Monday March 30th 2009 at 1800 at MIT 34-401B - Carl Eastlund on Modular ACL2 http://fare.livejournal.com/140695.html Carl Eastlund will give a talk about Modular ACL2. ACL2 is a Common Lisp-based fully automated theorem prover. It was originally based on the Boyer-Moore theorem prover (Nqthm), and is currently developed by J Moore and Matt Kaufmann at the University of Texas at Austin. ACL2 has been used to verify critical hardware and software systems by companies including Intel, AMD, Rockwell-Collins, and Sun Microsystems, and won the 2005 ACM Software Systems award. This talk presents Modular ACL2, an extension of the language of ACL2 to include a module system supporting reusable proof components, external specifications, and separate development/verification. Carl Eastlund is a Ph.D. candidate at Northeastern University's Programming Research Lab. His past research has included hardware description languages, models of object oriented programming, functional GUI representations, and the Fortress programming language. His current work contributes programming tools and language extensions to the ACL2 theorem prover. His website is at http://www.ccs.neu.edu/home/cce/ * The Lisp Meeting will take place on Monday March 30th 2009 at 1800 (6pm) at MIT, Room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge. MIT map: http://whereis.mit.edu/bin/map?selection=34 Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * Dinner: ITA Software, a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * * * The previous Boston Lisp Meeting on February 23rd had 40 participants. Dimitris Vyzovitis gave a demonstration of his powerful toolkit to build distributed systems in PLT Scheme, Gerbils: http://web.media.mit.edu/~vyzo/gerbil/ NB: the following Boston Lisp Meeting is scheduled to take place on Monday April 24th 2009. Norman Ramsey will speak about purely functional dataflow optimization (in Haskell). We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

1 0

[boston-lisp] [CFP] 6th European Lisp Workshop, July 06, 2009
by Didier Verna 24 Feb '09

24 Feb '09

+------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 08, 2009 Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- Didier Verna <didier(a)lrde.epita.fr> Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[boston-lisp] TOMORROW 2009-02-23 Boston Lisp Meeting: Dimitris Vyzovitis on gerbils
by fare＠tunes.org 22 Feb '09

22 Feb '09

Reminder: TOMORROW Next Boston Lisp Meeting Monday February 23th 2009 at 1800 at MIT 34-401B Dimitris Vyzovitis Programming gerbils: Distributed programming with PLT-Scheme http://fare.livejournal.com/139926.html Dimitris Vyzovitis will give a talk about Programming gerbils: Distributed programming with PLT-Scheme. vyzo will talk about gerbil, a little language for distributed programming using PLT-Scheme. Gerbil is a macro language that provides facilities for actor-based distributed programs and transparent network simulation. vyzo is a PhD student at the MIT Media Lab who suffers from a severe scheme addiction. His website is at http://web.media.mit.edu/~vyzo/ * The Lisp Meeting will take place on Monday February 23th 2009 at 1800 (6pm) at MIT, Room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge. MIT map: http://whereis.mit.edu/bin/map?selection=34 Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * Dinner: ITA Software, a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * * * The previous Boston Lisp Meeting on January 26th had over 30 participants. David O'Toole gave a wide-ranging overview of the hacks he uses as an infrastructure to write Rogue-like games in Lisp. NB: the following Boston Lisp Meeting will take place on Monday March 30th 2009. Carl Eastlund will speak about Modularity in ACL2. We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

1 0

[boston-lisp] 2009-02-23 Boston Lisp Meeting: Dimitris Vyzovitis on gerbils
by fare＠tunes.org 11 Feb '09

11 Feb '09

Next Boston Lisp Meeting Monday February 23th 2009 at 1800 at MIT 34-401B Dimitris Vyzovitis Programming gerbils: Distributed programming with PLT-Scheme http://fare.livejournal.com/139926.html Dimitris Vyzovitis will give a talk about Programming gerbils: Distributed programming with PLT-Scheme. vyzo will talk about gerbil, a little language for distributed programming using PLT-Scheme. Gerbil is a macro language that provides facilities for actor-based distributed programs and transparent network simulation. vyzo is a PhD student at the MIT Media Lab who suffers from a severe scheme addiction. His website is at http://web.media.mit.edu/~vyzo/ * The Lisp Meeting will take place on Monday February 23th 2009 at 1800 (6pm) at MIT, Room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge. MIT map: http://whereis.mit.edu/bin/map?selection=34 Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * Dinner: ITA Software, a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * * * The previous Boston Lisp Meeting on January 26th had over 30 participants. David O'Toole gave a wide-ranging overview of the hacks he uses to write the meanings of English words as programs, and how computers could learn such programs through various interactions. We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http:// fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

1 0