From fare at tunes.org Wed Mar 4 06:04:24 2009 From: fare at tunes.org (Francois-Rene Rideau) Date: Tue, 3 Mar 2009 22:04:24 -0800 (PST) Subject: [boston-lisp] 2009-03-30 Boston Lisp Meeting: Carl Eastlund on Modular ACL2 Message-ID: <20090304060424.B0EC741DC@bespin.org> 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. From didier at lrde.epita.fr Tue Mar 31 09:52:08 2009 From: didier at lrde.epita.fr (Didier Verna) Date: Tue, 31 Mar 2009 11:52:08 +0200 Subject: [boston-lisp] Reminder [CFP] 6th European Lisp Workshop, July 6th 2009 Message-ID: +------------------------------------------------------------+ | 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 at 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 at 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 -------------- next part -------------- -- 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 From kreuter at progn.net Tue Mar 31 16:30:03 2009 From: kreuter at progn.net (Richard M Kreuter) Date: Tue, 31 Mar 2009 12:30:03 -0400 Subject: [boston-lisp] Mailing list administrivia Message-ID: <1676.1238517003@progn.net> 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 at 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