March 2010 - boston-lisp - mailman3.common-lisp.net

[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

[boston-lisp] [Fwd: [boston-lisp-organizers] Open Source Bridge: CFP and raffle a free pass for your user group!]
by Dan Stanger 14 Mar '10

14 Mar '10

-------- Original Message -------- Subject: [boston-lisp-organizers] Open Source Bridge: CFP and raffle a free pass for your user group! Date: Sat, 13 Mar 2010 16:45:48 -0800 From: Selena Deckelmann <selena(a)bridgepdx.org> Reply-To: selena(a)opensourcebridge.org Organization: Open Source Bridge Foundation To: boston-lisp-organizers(a)common-lisp.net Hi! I'm a volunteer working to organize Open Source Bridge, the conference for open source citizens. We're hosting it for the second time on June 1–4, 2010, in Portland, Oregon. We’re aiming to connect people across projects, languages and experience and would love to have members of Boston Lisp Meetings involved as speakers and participants. Details about the conference are included below. Bridge isn’t a typical conference. It’s entirely volunteer-run, by developers, for developers. Session tracks are technology agnostic, based instead around shared community experiences and focused on similarities between projects, not differences. Plus, we’ll be running a 24-hour hacker lounge on site for code sprints, bug bashes, bouncing ideas, starting new projects and generally socializing around code. We’d be delighted if you could mention Open Source Bridge at your user group meetings, post this email to your mailing list, and get us in touch with other groups in your community interested in participating. Our call for proposals runs through March 25th, which is fast approaching, so please pass this information on as soon as possible. We don’t expect something for nothing, so we’re giving all of your user group members a discounted registration rate of $200. That’s $25 off the Early Bird rate, and $100 off our regular registration. User groups are very important to us and our organizers are heavily involved in the local tech community. We’re also offering a free conference pass for you to give away to a member of your group. If you’re interested in more ways to promote the conference, let us know! Thank You! -Selena Open Source Bridge http://opensourcebridge.org/ ### CONFERENCE PASS RAFFLE INFORMATION You get one free conference pass to raffle off to a member of your group! We’ve found that these raffles work best when you: 1) Let all of your members know about the conference, dates, and URL: http://opensourcebridge.org/ 2) Allow anyone in the group to sign up for the raffle. 3) Draw the winner at random, preferably at a public meeting. When you have selected a winner, email usergroups(a)opensourcebridge.org, CC the winner, and we’ll register them for you. DETAILS TO SHARE WITH YOUR GROUP’S MEMBERS Open Source Bridge http://opensourcebridge.org Open Source Bridge is a conference for developers working with open source technologies. It will take place June 1–4, 2010, in Portland, Oregon, with five tracks connecting people across projects, languages and experience to explore how we do our work and why we participate in open source. The conference structure is designed to provide developers with an opportunity to learn from people they might not connect with at other events. Attendees will learn and interact at three days of traditional conference presentations, a day of free-form unconference sessions, and our 24-hour Hacker Lounge. This year we are thrilled to have an excellent downtown location at the Portland Art Museum ( http://pam.org/ ), an extra day packed full of open source goodness, and an on-site 24-hour Hacker Lounge! As a user group member, you can use the coupon code "osbugluv" to register for only $200 when you select either an Early Bird Registration (through April 1st), or a Regular Registration (after April 1st). Learn more and register today at http://opensourcebridge.org/attend/ The conference is run entirely by volunteers who believe in the need for an open source event that focuses on the culture of being an open source citizen, regardless of where in the stack you choose to code. All proceeds from conference registration and sponsorship go directly to the costs of the conference. Our event shares in-depth knowledge about using, creating and contributing to open source as citizens of a greater community. You’ll find relevant information whether you write web apps for the cloud, tinker with operating system internals, create hardware, run a startup, or blog about technology. We're still seeking proposals — and we've just extended the deadline through March 25th — so submit yours before time runs out at http://opensourcebridge.org/proposals/ The city of Portland is a great place to visit. It has a thriving technical community, a love of all things open source and offers many attractions for visiting geeks, including Powell’s technical books, dozens of local brewpubs, and large greenspaces like Forest Park—all accessible by mass transit. Visit http://opensourcebridge.org/ to learn more about the conference, see our session proposals, and register to attend. Thanks! -- Open Source Bridge Foundation http://opensourcebridge.org _______________________________________________ boston-lisp-organizers mailing list boston-lisp-organizers(a)common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp-organizers

1 0