European Lisp Symposium

- 2010, Lisboa
(and online)
The conference is over!

Highlights

  • Going Meta: Reflections on Lisp, Past and Future

    • photo Kent Pitman Kent Pitman HyperMeta Inc (COMMITTEE SPEAKER) USA

    Over a period of several decades, I have had the good fortune to witness and influence the design, evolution, standardization and use of quite a number of dialects of Lisp, including MACLISP, T, Scheme, Zetalisp, Common Lisp, and ISLISP. I will offer reflections, from a personal point of view, about what enduring lessons I have learned through this long involvement. Both the programming world and the real world it serves have changed a lot in that time. Some issues that faced Lisp in the past no longer matter, while others matter more than ever. I'll assess the state of Lisp today, what challenges it faces, what pitfalls it needs to avoid, and what Lisp's role might and should be in the future of languages, of programming, and of humanity.

  • Lots of Languages, Tons of Types

    • photo Matthias Felleisen Matthias Felleisen Northeastern University (SPEAKER)

    Since 1995 my research team (PLT) and I have been working on a language for creating programming languages — small and large. Our code base includes a range of languages, and others contribute additional languages on a regular basis. PLT programmers don't hesitate to pick our lazy dialect to implement one module and to link it to a strict language for another module in the same system. Later they may even migrate one of the modules to the typed variant during some maintenance task. An expressive macro system is one key to this riches of languages. Starting with the 1986 introduction of hygienic macros, the SCHEME world has worked on turning macros into tools for creating proper abstractions. The first part of my talk will briefly describe this world of modern macros and its key attributes: hygiene, referential transparency, modularity of macros, phase separation, and macro specification. The second part of my talk will focus on how to equip LISP-like languages with a sound type systems and that will illustrate the second key idea, namely, monitoring the interactions between different languages. Our approach to type systems allows programmers to stick to their favorite LISP idioms. It mostly suffices to annotate functions and structures with type declarations during maintenance work. To ensure the soundness of this information even when higher-order values flow back and forth between typed and untyped modules, module boundaries are automatically equipped with software contracts that enforce type-invariants at all levels.

  • Reading the News with Common Lisp

    • photo Jason Cornez Jason Cornez RavenPack (SPEAKER)

    The financial industry thrives on data: oceans of historical archives and rivers of low-latency, real-time feeds. If you can know more, know sooner,or know differently, then there is the opportunity to exploit this knowledge and make money. Today's automated trading systems consume this data and make unassisted decisions to do just that. But even though almost every trader will tell you that news is an important input into their trading decisions, most automated systems today are completely unaware of the news — some data is missing. What technology is being used to change all this and make news available as analytic data to meet the aggressive demands of the financial industry? For around seven years now, RavenPack has been using Common Lisp as the core technology to solve problems and create opportunities for the financial industry. We have a revenue-generating business model where we sell News Analytics — factual and sentiment data extracted from unstructured, textual news. In this talk, I'll describe the RavenPack software architecture with special focus on how Lisp plays a critical role in our technology platform, and hopefully in our success. I hope to touch upon why we at RavenPack love Lisp, some challenges we face when using Lisp, and perhaps even some principles of successful software engineering.

Location

photo Fundação Calouste Gulbenkian https://gulbenkian.pt (CONFERENCE) Av. de Berna 45 A 1067-001 Lisboa Portugal

Hotels

Organization

Programme Chair

  • photo Christophe Rhodes Christophe Rhodes Goldsmiths University of London (PROGRAMME-CHAIR) United Kingdom

Organizing Chair

Local Chair

  • photo António Leitão António Leitão Technical University of Lisbon (LOCAL-CHAIR) Portugal

Committee

  • photo Barry Wilkes Barry Wilkes Citi (COMMITTEE) United Kingdom
  • photo Christian Queinnec Christian Queinnec Université Pierre et Marie Curie (COMMITTEE) France
  • photo Didier Verna Didier Verna https://www.didierverna.info EPITA / LRE (ORGANIZING-CHAIR COMMITTEE SPEAKER) France
  • photo Giuseppe Attardi Giuseppe Attardi Università di Pisa (COMMITTEE) Italy
  • photo Gregor Kiczales Gregor Kiczales University of British Columbia (COMMITTEE) Canada
  • photo Irène Durand Irène Anne Durand Université Bordeaux (COMMITTEE SPEAKER) France
  • photo Kent Pitman Kent Pitman HyperMeta Inc (COMMITTEE SPEAKER) USA
  • photo Marc Feeley Marc Feeley Université de Montréal (COMMITTEE) Canada
  • photo Marco Antoniotti Marco Antoniotti Università Milano Bicocca (COMMITTEE) Italy
  • photo Nick Levine Nick Levine Ravenbrook Ltd (COMMITTEE) United Kingdom
  • photo Pascal Costanza Pascal Costanza Vrije Universiteit Brussel (COMMITTEE SPEAKER) Belgium
  • photo Peter Norvig Peter Norvig Google (COMMITTEE) USA
  • photo Robert Strandh Robert Strandh Université Bordeaux (COMMITTEE) France
  • photo Ron Garret Ron Garret Amalgamated Widgets Unlimited (COMMITTEE) USA
  • photo Scott McKay Scott McKay ITA Software Inc. (COMMITTEE) USA
  • photo Taiichi Yuasa Taiichi Yuasa Kyoto University (COMMITTEE) Japan

Programme

Times are local to the conference. You can download the programme in iCalendar format here.
  1. May 5th

  2. Registration

  3. May 6th

  4. Registration

  5. Welcome Message

  6. Going Meta: Reflections on Lisp, Past and Future

    • Kent Pitman
  7. Coffee

  8. Verifying monadic second order graph properties with tree automata

    • Bruno Courcelle
    • Irène Durand
  9. A DSEL for Computational Category Theory

    • Aleksandar Bakic
  10. Lunch

  11. Reading the News with Common Lisp

    • Jason Cornez
  12. Coffee

  13. Marrying Common Lisp to Java, and Their Offspring

    • Jerry Boetje
    • Steven Melcher
  14. Computer Vision with Allegro Common Lisp and the VIGRA Library using VIGRACL

    • Benjamin Seppke
    • Leonie Dreschler-Fischer
  15. Reception at the City Hall

  16. May 7th

  17. Parallel Programming in Common Lisp

    • Pascal Costanza
  18. Coffee

  19. CLoX: Common Lisp Objects for XEmacs

    • Didier Verna
  20. CLWEB: A literate programming system for Common Lisp

    • Alexander Plotnick
  21. Lunch

  22. Lots of Languages, Tons of Types

    • Matthias Felleisen
  23. Coffee

  24. Panel

  25. Conference End

  26. Conference Dinner

Proceedings

You can find the proceedings in PDF form here:

../static/proceedings/2010.pdf

Please wait...