European Lisp Symposium

-
The conference is over!

Highlights

  • Going Meta: Reflections on Lisp, Past and Future

    • 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

    • 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

    • 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 (CONFERENCE)
Av. de Berna 45 A
Lisboa 1067-001 Portugal

Hotels

Organization

Programme Chair

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

Local Chair

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

Committee

  • Barry Wilkes Barry Wilkes Citi (COMMITTEE) United Kingdom
  • Christian Queinnec Christian Queinnec Université Pierre et Marie Curie (COMMITTEE) France
  • Didier Verna Didier Verna http://www.european-lisp-symposium.org EPITA (ADMINISTRATOR COMMITTEE SPEAKER) France
  • Giuseppe Attardi Giuseppe Attardi Università di Pisa (COMMITTEE) Italy
  • Gregor Kiczales Gregor Kiczales University of British Columbia (COMMITTEE) Canada
  • Irène Durand Irène Anne Durand Université Bordeaux (COMMITTEE SPEAKER) France
  • Kent Pitman Kent Pitman HyperMeta Inc (COMMITTEE SPEAKER) USA
  • Marc Feeley Marc Feeley Université de Montréal (COMMITTEE) Canada
  • Marco Antoniotti Marco Antoniotti Università Milano Bicocca (COMMITTEE) Italy
  • Nick Levine Nick Levine Ravenbrook Ltd (COMMITTEE) United Kingdom
  • Pascal Costanza Pascal Costanza Vrije Universiteit Brussel (COMMITTEE SPEAKER) Belgium
  • Peter Norvig Peter Norvig Google (COMMITTEE) USA
  • Robert Strandh Robert Strandh Université Bordeaux (COMMITTEE) France
  • Ron Garret Ron Garret Amalgamated Widgets Unlimited (COMMITTEE) USA
  • Scott McKay Scott McKay ITA Software Inc. (COMMITTEE) USA
  • 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