From dan.stanger at ieee.org  Sun Mar 14 13:39:04 2010
From: dan.stanger at ieee.org (Dan Stanger)
Date: Sun, 14 Mar 2010 08:39:04 -0500
Subject: [boston-lisp] [Fwd: [boston-lisp-organizers] Open Source Bridge:
 CFP and raffle a free	pass for your user group!]
Message-ID: <4B9CE6F8.4070004@ieee.org>



-------- 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 at bridgepdx.org>
Reply-To: 	selena at opensourcebridge.org
Organization: 	Open Source Bridge Foundation
To: 	boston-lisp-organizers at 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 at 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 at common-lisp.net
http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp-organizers






From r.p.levy at gmail.com  Sun Mar 14 18:34:19 2010
From: r.p.levy at gmail.com (rob levy)
Date: Sun, 14 Mar 2010 14:34:19 -0400
Subject: [boston-lisp] wiki of formal proofs
Message-ID: <e52ec4271003141134q70386c13gf4e437690060d5b7@mail.gmail.com>

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



From dherring at tentpost.com  Mon Mar 15 02:58:25 2010
From: dherring at tentpost.com (dherring at tentpost.com)
Date: Sun, 14 Mar 2010 22:58:25 -0400
Subject: [boston-lisp] wiki of formal proofs
In-Reply-To: <e52ec4271003141134q70386c13gf4e437690060d5b7@mail.gmail.com>
References: <e52ec4271003141134q70386c13gf4e437690060d5b7@mail.gmail.com>
Message-ID: <5ebcc2d522d3f140853a7246ad05360b.squirrel@webmail.tentpost.com>

> 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?

Are you thinking of ACL2?

- Daniel

P.S.  Who was working on the hardware for financial transactions?




From dherring at tentpost.com  Mon Mar 15 05:59:15 2010
From: dherring at tentpost.com (Daniel Herring)
Date: Mon, 15 Mar 2010 01:59:15 -0400 (EDT)
Subject: [boston-lisp] wiki of formal proofs
In-Reply-To: <fd2982321003142255j5b29468bnfb075edc879f7681@mail.gmail.com>
References: <e52ec4271003141134q70386c13gf4e437690060d5b7@mail.gmail.com>
	<5ebcc2d522d3f140853a7246ad05360b.squirrel@webmail.tentpost.com>
	<fd2982321003142255j5b29468bnfb075edc879f7681@mail.gmail.com>
Message-ID: <alpine.LNX.2.00.1003150158350.14558@strider2.example.org>

On Mon, 15 Mar 2010, Hans H?bner wrote:
> On Mon, Mar 15, 2010 at 03:58,  <dherring at tentpost.com> wrote:
>
>> P.S. ?Who was working on the hardware for financial transactions?
>
> Do you mean Marc Battyani, http://www.fractalconcept.com/?

Yes.  Thanks for the memory refresh.

- Daniel

From hans.huebner at gmail.com  Mon Mar 15 05:55:54 2010
From: hans.huebner at gmail.com (=?ISO-8859-1?Q?Hans_H=FCbner?=)
Date: Mon, 15 Mar 2010 06:55:54 +0100
Subject: [boston-lisp] wiki of formal proofs
In-Reply-To: <5ebcc2d522d3f140853a7246ad05360b.squirrel@webmail.tentpost.com>
References: <e52ec4271003141134q70386c13gf4e437690060d5b7@mail.gmail.com> 
	<5ebcc2d522d3f140853a7246ad05360b.squirrel@webmail.tentpost.com>
Message-ID: <fd2982321003142255j5b29468bnfb075edc879f7681@mail.gmail.com>

On Mon, Mar 15, 2010 at 03:58,  <dherring at tentpost.com> wrote:

> P.S. ?Who was working on the hardware for financial transactions?

Do you mean Marc Battyani, http://www.fractalconcept.com/?

-Hans



From peabo at peabo.com  Mon Mar 15 21:17:42 2010
From: peabo at peabo.com (Peter Olson)
Date: Mon, 15 Mar 2010 16:17:42 -0500
Subject: [boston-lisp] wiki of formal proofs
Message-ID: <a06240804c7c452abf3c5@[192.168.1.21]>

On Sun, 14 Mar 2010 at 14:34:19 -0400, rob levy <r.p.levy at 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 at 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




From didier at lrde.epita.fr  Wed Mar 17 13:23:05 2010
From: didier at lrde.epita.fr (Didier Verna)
Date: Wed, 17 Mar 2010 14:23:05 +0100
Subject: [boston-lisp] [2nd CfP] 7th European Lisp Workshop at ECOOP'10,
	June 21/22
Message-ID: <mux1vfj3ww5.fsf@uzeb.lrde.epita.fr>


     +------------------------------------------------------------+
     |                    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 at 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



From futuranon at gmail.com  Fri Mar 19 01:51:03 2010
From: futuranon at gmail.com (futuranon)
Date: Thu, 18 Mar 2010 21:51:03 -0400
Subject: [boston-lisp] March meeting
Message-ID: <D415ED98-5893-401F-A018-C564598980F6@gmail.com>

Will there be a meeting this month?



From marc.battyani at fractalconcept.com  Fri Mar 19 03:45:42 2010
From: marc.battyani at fractalconcept.com (Marc Battyani)
Date: Thu, 18 Mar 2010 23:45:42 -0400
Subject: [boston-lisp] Lisp internships and jobs at HPC Platform,
	Boston and Paris
Message-ID: <4BA2F366.80702@fractalconcept.com>

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



From marc.battyani at hpcplatform.com  Fri Mar 19 03:16:09 2010
From: marc.battyani at hpcplatform.com (Marc Battyani)
Date: Thu, 18 Mar 2010 23:16:09 -0400
Subject: [boston-lisp] Lisp internships and jobs at HPC Platform,
	Boston and Paris
Message-ID: <4BA2EC79.3080706@hpcplatform.com>

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