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

[boston-lisp] I need *you* to help with Boston Lisp Meetings
by Faré 27 Apr '10

27 Apr '10

Yesterday we had a nice meeting but the turnaround is disappointing, probably because we aren't looking for the potential public where it is. And so I'm calling for helpers to 1- Design posters to invite people to join. e.g. xkcd.com/297/ or a "lisp is the red pill" thingie, slogans like "Meet other coders who code code coding code for fun!" 2- Actually print and post these posters in various computer science departments or software companies around boston. 3- Maintain a website / blog. 4- Find places and mailing-lists where to announce meetings 5- Automate the announcement of meetings to those places. 6- Find good speakers. 7- Give lightning talks 8- Optionally, find sponsors to offer a buffet or some other food. You don't have to commit to more than one of the activities at once, but it would be nice if you could do whatever you do every month. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Love is the triumph of imagination over intelligence. — H. L. Mencken

1 0

[boston-lisp] Boston Lisp Meeting: Monday 2010-04-26 Stevie Strickland on Contracts in PLT Scheme
by fare＠tunes.org 21 Apr '10

21 Apr '10

Boston Lisp Meeting: Monday 2010-04-26 Stevie Strickland on Contracts in PLT Scheme http://fare.livejournal.com/156188.html A Boston Lisp Meeting will take place on Monday, April 26nd 2010 at 1800 at NEU WVH 366. Stevie Strickland will speak about Contracts in PLT Scheme. Additionally, we will have two Lightning Talks. Speakers to be announced. Note that lacking a sponsor, buffet will no longer be offered after our meetings. 1 Stevie Strickland on Contracts in PLT Scheme PLT Scheme contains an expressive contract system that gives programmers the power to provide guarantees about the behavior of values and constraints on the acceptable use of those values by others. In this talk, I will present a basic overview of contracts in PLT Scheme, and then present recent work that extends the contract system to handle first-class modules and classes. Stevie Strickland is a graduate student at Northeastern University working for Matthias Felleisen. He is currently investigating contracts and types for first-class components. 2 Lightning Talks At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" each followed by 2 minutes for questions and answers. The slots for next meeting are still open. Step up and come talk about your pet project! Contact me at fare at tunes.org. 3 Time and Location The Lisp Meeting will take place on Monday, April 26nd 2010 at 1800 (6pm) at NEU WVH 366. Note that it's a new location. This is at Northeastern University, in the Computer Science building WVH (West Village H, see http://tmp.barzilay.org/wvh.jpg this picture) when you arrive from the T on Huntington Avenue near to Parker St (Green E line, stop at Northeastern Station, or possibly Museum of Fine Arts; you can also walk from Ruggles on the Orange line). As the number indicates, the room is on the third floor. Northeastern maps and direction: http://www.northeastern.edu/campusmap/maps.html Many thanks go to Eli Barzilay for arranging for the room, and to Northeastern University for welcoming us. 4 No Dinner We haven't been able to renew sponsorship from our usual partners for 2010, and are not planning to have after-meeting buffet anymore at this point. An informal group will probably gather to have dinner within walking distance of the venue. 5 More about the Meeting The previous Boston Lisp Meeting on Monday, February 22nd 2010 had about 20 participants. Adam Chlipala spoke about A Sane Approach to Modern Web Application Development. Alex Plotnick discussed a potential error in how Common Lisp formalized backquote. François-René Rideau presented Interface-Passing Style as a way to achieve parametric polymorphism and more. http://fare.livejournal.com/154579.html We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html For more information, see our web site http://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] ELW 2010 deadline extension -- April 25th
by Didier Verna 21 Apr '10

21 Apr '10

+------------------------------------------------------------+ | CALL FOR PAPERS | | 7th European Lisp Workshop | | June 22 2010, Maribor, Slovenia, co-located with ECOOP | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 25, 2010 ** EXTENDED ** Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 22, 2010 Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier(a)lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ 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 remains 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): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies 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 both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to 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 and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London -- Resistance is futile. You will be jazzimilated. 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] BarCamp Boston 2010
by Daniel Herring 16 Apr '10

16 Apr '10

April 17–18th 2010 MIT Stata Center http://www.barcampboston.org/ With a little luck, I will be able to attend Saturday and maybe even Sunday too. My topic ideas: - LibCL and libraries in general - ABLE - ASDF and other build systems - ALU and ILC09 videos and ... - Scribble syntax and documentation systems - CL installfest - CL library versioning - SBCL development funding - search algorithms for dynamical systems Hope to see some other lispers as well (in lieu of March's meeting). Later, Daniel

1 1

[boston-lisp] Lisp internships and jobs at HPC Platform, Boston and Paris
by Marc Battyani 19 Mar '10

19 Mar '10

Hi, There are some positions for Common Lisp internships at HPC Platform in Boston and Paris. Some full time positions will be available in Boston in the next months. HPC Platform makes the fastest hardware (FPGA) based processing systems on the planet and for that we develop domain specific compilers and other tools written in Common Lisp (Lispworks on Linux). We are looking for people knowing Common Lisp and preferably topics like compilation, code generation, VHDL, FPGA, networking, optimization, statistics and more. http://www.hpcplatform.com is rather outdated but gives an idea of what we do. The short summary is that the combination of Common Lisp DSL compilers with an optimized reconfigurable hardware (FPGA) gives the fastest processing platform! Contact me for more details. As we want to setup a team, please no tele/remote/freelance work for now. Thanks, Marc

1 0

[boston-lisp] Lisp internships and jobs at HPC Platform, Boston and Paris
by Marc Battyani 19 Mar '10

19 Mar '10

It's been a while since I last posted here as I have been really busy with HPC Platform so I'm happy to announce that: There are some positions for Common Lisp internships at HPC Platform in Boston and Paris. Some full time positions will be available in Boston in the next months. HPC Platform makes the fastest hardware (FPGA) based processing systems on the planet and for that we develop domain specific compilers and other tools written in Common Lisp (Lispworks on Linux). We are looking for people knowing Common Lisp and preferably topics like compilation, code generation, VHDL, FPGA, networking, optimization, statistics and more. http://www.hpcplatform.com is rather outdated but gives an idea of what we do. The short summary is that the combination of Common Lisp DSL compilers with an optimized reconfigurable hardware (FPGA) gives the fastest processing platform! Contact me for more details. As we want to setup a team, please no tele/remote/freelance work for now. Thanks, Marc

1 0

[boston-lisp] March meeting
by futuranon 19 Mar '10

19 Mar '10

Will there be a meeting this month?

1 0

[boston-lisp] [2nd CfP] 7th European Lisp Workshop at ECOOP'10, June 21/22
by Didier Verna 17 Mar '10

17 Mar '10

+------------------------------------------------------------+ | 2ND CALL FOR PAPERS | | 7th European Lisp Workshop | | June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 | +------------------------------------------------------------+ News ==== Our invited speaker, Manuel Serrano, will talk about "diffuse programming" and HOP. The abstract of his presentation can be found on the website at: http://european-lisp-workshop.org/upcoming/programme.php Important Dates =============== Submission deadline: April 19, 2010 Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 21 or 22, 2010 (tbdl) Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier(a)lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ 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 remains 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): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies 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 both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to 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 and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London n -- Resistance is futile. You will be jazzimilated. 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

Re: [boston-lisp] wiki of formal proofs
by Peter Olson 15 Mar '10

15 Mar '10

On Sun, 14 Mar 2010 at 14:34:19 -0400, rob levy <r.p.levy(a)gmail.com> write: > Does anyone remember a talk in which the presenter mentioned a > wikipedia-style encyclopedia of mathematical proofs, in which all > expressions added to the system are automatically checked for > consistency? What was this project called? > > Thanks, > Rob Perhaps you're thinking of http://vdash.org Cameron Freer <freer(a)mit.edu> gave presentations about this at the MIT E-Club and at Ignite Boston 4. Unfortunately the Web site still has a Coming Soon! notice on it that is quite old. Peter Olson

1 0

[boston-lisp] wiki of formal proofs
by rob levy 15 Mar '10

15 Mar '10

Does anyone remember a talk in which the presenter mentioned a wikipedia-style encyclopedia of mathematical proofs, in which all expressions added to the system are automatically checked for consistency? What was this project called? Thanks, Rob

4 3