+------------------------------------------------------------+
| CALL FOR PARTICIPATION |
| 5th European Lisp Workshop |
| July 7, Paphos, Cyprus - co-located with ECOOP 2008 |
+------------------------------------------------------------+
The 5th European Lisp Workshop will be held on July 7, in Paphos,
Cyprus, as part of this year's European Conference on Object-Oriented
Programming (ECOOP 2008). The workshop will feature two keynote
presentations: "Lisp for the 21st Century", by Mark Tarver, and "A
detailed look at the Lisp Nature of Clojure", by Rich Hickey. We have
also accepted four scientific papers about description logic systems,
data parallelism for quantum simulation, interactive code generation,
and a rant about make-method-lambda.
Get all the programme details at http://elw2008.bknr.net/programme.
Registration
************
Main registration is with ECOOP via the following page:
https://cyprusconferences.org/ecoop08/form_ecoop.htm
There is still room for attending the workshop, so if you want to
participate, please contact me by email as well (didier(a)lrde.epita.fr).
--
5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org
Hello,
Those of you who came to the March meeting may remember that I
talked about a spare-time project of mine to catalog the choices
that Scheme implementations make. Finally following up on
suggestions received then, and succumbing to further prodding, I
have posted a collection of preliminary results on the Web. For
a good time, browse
http://web.mit.edu/~axch/www/scheme/choices.html
Cheers,
~Alexey
P.S. And let me know what you think!
Hello,
here are some important news on the 5th European Lisp Workshop, July 7,
Pahpos, Cyprus, co-located with ECOOP 2008:
* The paper selection process is over; the final programme will be
available shortly. Stay tuned for the upcoming call for participation!
* We now have the abstracts for the two keynote presentations:
Lisp for the 21st Century (Mark Tarver)
As Lisp reaches its 50th anniversary, the talk looks at some of the
reasons why Lisp has not found a wider acceptance amongst the
programming community. Part of the reasons lie in a vicious cycle
between education and industry within which Lisp is trapped. One
solution is the L21 project - to produce a rationalized and revised
update of Lisp for the C21. Qi fits many of the constraints of the L21
project. The talk concludes on what needs to be done within Qi and the
Lisp world to bring Lisp to the center stage.
A Detailed Look at the Lisp Nature of Clojure (Rich Hickey)
The small essential core of Lisp makes dialects easy to define and
implement. Most dialects are viewed skeptically by the community, as
their features can be realized via the extensibility mechanisms of
Scheme or Common Lisp. However, functional programming,
interoperability, extensibility and concurrency objectives call for
different decisions at many Lisp design points. Meeting those objectives
in a Lisp dialect testifies to the continued vitality of the Lisp idea.
This talk will provide a rationale for Clojure as a substantive and
unique dialect of Lisp, and details of its design and implementation on
the JVM.
* Courtesy of EPITA, the workshop will have printed proceedings. A PDF
version will also be made available on the website after the event.
* Finally, please note that the official ELW website,
http://elw.bknr.net, now contains an archive of all past occurrences
of the workshop.
--
5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org
Hi,
If you plan to attend next Wednesday's boston-lisp meeting [1], please
send a message to boston-lisp-meeting-register at common-lisp.net, so we
can order enough food for everybody.
Thanks,
RmK
[1] Note that we'll meet at Northeastern University this time. See
http://fare.livejournal.com/126150.html
http://fare.livejournal.com/126150.html
Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU
Shillman Hall Room 135
Note: ITA Software, a fine employer of Lisp hackers (disclosure: I
work there), has kindly offered to sponsor a dinner for our Monthly
Boston Lisp Meeting. Please send mail to boston-lisp-meeting-register
at common-lisp.net with a list of attendees so we may order the
correct amount of food.
Danny Yoo will give a 25' talk about DivaScheme.
DivaScheme http://www.cs.brown.edu/research/plt/software/divascheme/
is a semi-structured text editor layer on top of the DrScheme IDE. It
provides structured editing operations that provide additional support
for the navigation and maintenance of Scheme source code. DivaScheme's
operations act on whole s-expressions rather than characters:
unbalanced parentheses are impossible within the confines of
DivaScheme. It also manages whitespace cleanup and indentation for the
user. Finally, its keybindings are single keystrokes rather than
chords to reduce hand strain.
Danny Yoo http://hkn.eecs.berkeley.edu/~dyoo/ received his bachelor's
from UC Berkeley in 2001, and worked for the Arabidopsis Information
Resource (http://arabidopsis.org) at the Carnegie Institution of
Washington from 2001-2006. He is currently a CS graduate student at
Worcester Polytechnic Institute. His web site is:
http://hashcollision.org/.
Shriram Krishnamurthi will give a 50' talk about
Relationally-Parametric Polymorphic Contracts
http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly…
The analogy between types and contracts raises the question of how
many features of static type systems can be expressed as dynamic
contracts. An important feature missing in prior work on contracts is
parametricity, as represented by the polymorphic types in languages
like Standard ML.
We present a contract counterpart to parametricity. We explore
multiple designs for such a system and present one that is simple and
incurs minimal execution overhead. We show how to extend the notion of
contract blame to our definition. We present a form of inference that
can often save programmers from having to explicitly instantiate many
parametric contracts. Finally, we present several examples that
illustrate how this system mimics the feel and properties of
parametric polymorphism in typed languages.
Shriram Krishnamurthi http://www.cs.brown.edu/~sk/ is an Associate
Professor of Computer Science at Brown University. His recent work
focuses on language support for interactive software, and on analyses
for security policies. He is a co-author of the DrScheme programming
environment, the FASTLINK genetic linkage analysis package, the
Continue conference paper server, the Margrave access control policy
analysis package, the Flapjax programming language, and the book "How
to Design Programs". He has also written "Programming Languages:
Application and Interpretation" and coordinates the decade-old
TeachScheme! high-school computer science outreach program.
Please note that the meeting is taking places both at an unusual day
(as has been usual) and at an unusual place (as is unusual).
The Lisp Meeting with take place on Wednesday June 25th at North
Eeastern University, Shillman Hall Room 135.
NEU map: http://www.northeastern.edu/campusmap/
See building 30 on the above html map, but note that the numbers are
only relative to the map: if you have to ask for directions, ask for
Shillman Hall. For directions and parking suggestions, see also below.
Google Map: http://maps.google.com/maps/ms?ie=UTF8&hl=en&msa=0&ll=42.338086,-71.08915&s…
Many thanks go to Richard Cobbe for finding us a room, and to
Northeastern University for welcoming us.
The previous Boston Lisp Meeting on May 28th was a success despite
only 34 participants. Those who didn't come missed two very
interesting talks. I welcome email suggestions for things that will
make you come: maybe shorter sessions with only one speaker? In any
case, many thanks to all those who came.
We're always looking for more speakers. The call for speakers and all
the other details are at http://fare.livejournal.com/120393.html
Please forward this information to people you think would be
interested. Please accept my apologies for your receiving this message
multiple times.
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
Fair enough. I'll reword my call for registration. How about that?
"Note: ITA Software, a fine employer of Lisp hackers (disclosure: I
work there), is kindly sponsoring a dinner for our Monthly Boston Lisp
Meeting. Dinner will be offered to all who come listen to the talks.
However, so as to make our ordering process easier, we appreciate if
you register by email to boston-lisp-meeting-register at
common-lisp.net with a list of attendees and any food taboos. Your
identities will be kept confidential and not transmitted to anyone,
not even our kind sponsor."
As a matter of fact, I have outsourced registration and don't know
myself the identities of who registers, only the head count.
In any case, thanks for the feedback.
PS: please keep discussion on the boston-lisp mailing-list and not the
cross-posted mailing-lists. My bad for having made it all too easy to
reply to too many mailing-lists.
[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
Don't have good ideas if you aren't willing to be responsible for them.
-- Alan Perlis
2008/6/6 Neil Van Dyke <neil(a)neilvandyke.org>:
> I almost mentioned the food RSVP thing myself, so I'm glad Kent mentioned
> it.
>
> The main issue is that registering for food was a hurdle and a commitment,
> which meant that, being an engineer/process type, I deferred planning to
> attend until I was confident I'd be available and could RSVP.
>
> I suppose a secondary issue for some people is that they're averse to "being
> on lists" (no LISP pun intended). I think part of the success of getting
> reclusive LISPers on the "boston-lisp-announce" email list was guaranteeing
> them they wouldn't be hassled.
>
> In case of Boston Lisp Meeting, with the sponsor of the food being ITA,
> there might have been some ambiguity as to who sees the list, as opposed to
> just a headcount. Probably anyone who has talked to independent Boston-area
> IT recruiters in the last couple years is well aware of their aggressive and
> sometimes sly pitching of ITA, so the term "ITA" might be associated in
> their minds with wanting to be *removed* from lists. :)
>
>
> Kent M Pitman wrote at 06/06/2008 11:29 PM:
>
>> > The previous Boston Lisp Meeting on May 28th was
>
>> > a success despite only 34 participants.
>
>> Could be the light rain, or maybe people are intimidated
>
>> by the high concentration of elite lisp hackers
>
>
>
> I'm rarely intimidated by either of these, but, FWIW, it could be the
> advanced registration for food.