<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
<channel>
  <!-- required channel elements -->
  <title>LAMP News</title>
  <link>http://lamp.epfl.ch/</link>
  <description>
    The lastest news from the LAMP website
  </description>
  <!-- optional channel elements -->
  <copyright>Copyright(c) 2002-2006, EPFL, Lausanne</copyright>
  <pubDate>Tue, 31 May 2005 08:59:00 GMT</pubDate>
  <lastBuildDate>Tue, 11 Sep 2007 15:33:16 GMT</lastBuildDate>
  <docs>http://backend.userland.com/rss/</docs>
  <managingEditor>stephane.micheloud@epfl.ch</managingEditor>
  <language>en</language>
  <!-- icon -->
  <image>
    <!-- required image elements -->
    <title>lamp.epfl.ch</title>
    <url>http://lamp.epfl.ch/images/epfl_logo.gif</url>
    <link>http://lamp.epfl.ch/</link>
    <!-- optional image elements -->
    <width>50</width>
    <height>50</height>
  </image>
  <!--                                               -->
  <!-- PLEASE no more than 15 entries per channel !! -->
  <!-- (RSS recommendation)                          -->
  <!--                                               -->
  <!-- 2007-09-11 -->
  <item>
    <title>Scala 2.6.0-final released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.6.0-final</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.6.0-final</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-09-11 - &lt;/strong&gt;
      Final Release of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version &lt;a href="http://scala-lang.org/downloads/changes.html#v2.6.0-final"&gt;2.6.0-final&lt;/a&gt; fixes a
few bugs in RC3.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br/&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later
of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/team.html"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 11 Sep 2007 20:33:16 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.6.0-final released
    </source>
  </item>
  <!-- 2007-06-13 -->
  <item>
    <title>Scala 2.5.1-final released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.5.1-final</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.5.1-final</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-06-13 - &lt;/strong&gt;
      Final Release of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version &lt;a href="http://scala-lang.org/downloads/changes.html#v2.5.1-final"&gt;2.5.1-final&lt;/a&gt; fixes a few bugs in RC1.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br/&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/team.html"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Wed, 13 Jun 2007 15:03:16 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.5.1-final released
    </source>
  </item>
  <!-- 2007-06-12 -->
  <item>
    <title>Scala Plugin 2.6.2 released</title>
    <guid>http://scala-lang.org/downloads/eclipse/#15</guid>
    <link>http://scala-lang.org/downloads/eclipse/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-06-12 - &lt;/strong&gt;
      New Version of the Scala plugin for Eclipse.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.6.2 fixes several bugs and integrates Scala 2.5.1-RC1.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/team.html"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 12 Jun 2007 14:22:05 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala Plugin 2.6.2 released
    </source>
  </item>
  <!-- 2007-06-05 -->
  <item>
    <title>Scala 2.5.1-RC1 released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.5.1-RC1</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.5.1-RC1</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-06-05 - &lt;/strong&gt;
      Release Candidate 1 of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.5.1-RC1 is a bug fix release.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br/&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/team.html"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 05 Jun 2007 16:33:45 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.5.1-RC1 released
    </source>
  </item>
  <!-- 2007-04-06 -->
  <item>
    <title>Scala Plugin 2.5.2 released</title>
    <guid>http://scala-lang.org/downloads/eclipse/#10</guid>
    <link>http://scala-lang.org/downloads/eclipse/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-04-06 - &lt;/strong&gt;
      New Version of the Scala plugin for Eclipse.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.5.2 fixes several bugs and integrates Scala 2.4.0-final.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Wed, 12 Apr 2007 17:47:02 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala Plugin 2.5.2 released
    </source>
  </item>
  <!-- 2007-03-21 -->
  <item>
    <title>Scala 2.4.0-final released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.4.0-final</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.4.0-final</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-03-21 - &lt;/strong&gt;
      Final Release of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.4.0-final fixes a few bugs in RC2.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br /&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala
      Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Wed, 21 Mar 2007 17:02:40 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.4.0-final released
    </source>
  </item>
  <!-- 2007-03-16 -->
  <item>
    <title>Scala 2.4.0-RC2 released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.4.0-RC2</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.4.0-RC2</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-03-16 - &lt;/strong&gt;
      Release Candidate 2 of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.4.0-RC2 fixes several bugs in RC1.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br /&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala
      Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Fri, 16 Mar 2007 17:13:42 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.4.0-RC2 released
    </source>
  </item>
  <!-- 2007-01-29 -->
  <item>
    <title>Scala Plugin 2.5.1 released</title>
    <guid>http://scala-lang.org/downloads/eclipse/#9</guid>
    <link>http://scala-lang.org/downloads/eclipse/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-03-14 - &lt;/strong&gt;
      New Version of the Scala plugin for Eclipse.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.5.1 fixes several bugs and integrates Scala 2.4.0-RC1.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Wed, 14 Mar 2007 12:52:47 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala Plugin 2.5.1 released
    </source>
  </item>
  <!-- 2007-03-09 -->
  <item>
    <title>Scala 2.4.0-RC1 released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.4.0-RC1</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.4.0-RC1</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-03-09 - &lt;/strong&gt;
      Release Candidate 1 of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.4.0-RC1 introduces minor &lt;a href="http://www.scala-lang.org/docu/changelog.html#v2.4.0"&gt;language changes&lt;/a&gt; and provides several XML improvements and many bug fixes.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br /&gt;
      The Scala software distribution is best installed on a Unix or
Windows syss
tem. It requires version 1.4 or later of a Java runtime environment
(JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala
      Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Fri, 09 Mar 2007 11:03:48 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.4.0-RC1 released
    </source>
  </item>
  <!-- 2007-02-06 -->
  <item>
    <title>Two new papers published</title>
    <guid>http://scala-lang.org/docu/papers.html#1</guid>
    <link>http://scala-lang.org/docu/papers.html</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-02-06 - &lt;/strong&gt;
      Two new papers have been published.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      &lt;a href="http://chara.epfl.ch:6080/docu/files/haller07actorsunify.pdf"&gt;"Actors that Unify Threads and Events"&lt;/a&gt; and &lt;a href="http://chara.epfl.ch:6080/docu/files/MatchingObjectsWithPatterns-TR.pdf"&gt;"Matching Objects With Patterns"&lt;/a&gt;.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 06 Feb 2007 15:22:47 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Two new papers published
    </source>
  </item>
  <!-- 2007-01-29 -->
  <item>
    <title>Scala Plugin 2.4.9 released</title>
    <guid>http://scala-lang.org/downloads/eclipse/#8</guid>
    <link>http://scala-lang.org/downloads/eclipse/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-01-29 - &lt;/strong&gt;
      New Version of the Scala plugin for Eclipse.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.4.9 fixes several bugs and integrates Scala 2.3.3.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Mon, 29 Jan 2007 15:22:47 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala Plugin 2.4.9 released
    </source>
  </item>
  <!-- 2007-01-26 -->
  <item>
    <title>Scala 2.3.3 released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.3.3</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.3.3</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-01-26 - &lt;/strong&gt;
      New Version of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.3.3 corrects some problems with case classes and pattern
matching introduced in 2.3.2.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br /&gt;
      The Scala software distribution is best installed on a Unix or
Windows syss
tem. It requires version 1.4 or later of a Java runtime environment
(JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala
      Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Fri, 26 Jan 2007 00:12:08 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.3.3 released
    </source>
  </item>
  <!-- 2007-01-23 -->
  <item>
    <title>Scala 2.3.2 released</title>
    <guid>http://scala-lang.org/downloads/changes.html#v2.3.2</guid>
    <link>http://scala-lang.org/downloads/changes.html#v2.3.2</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-01-23 - &lt;/strong&gt;
      New Version of the Scala distribution.
      &lt;hr /&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.3.2 fixes many compiler bugs and provides some &lt;a href="http://scala-lang.org/downloads/language.html#v2.3.2"&gt;language&lt;/a&gt; and &lt;a href="http://scala-lang.org/downloads/library.html"&gt;library&lt;/a&gt; changes.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br /&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala
      Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 23 Jan 2007 17:44:28 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala 2.3.2 released
    </source>
  </item>
  <!-- 2007-01-16 -->
  <item>
    <title>scala-lang.org</title>
    <guid>http://scala-lang.org/</guid>
    <link>http://scala-lang.org/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2007-01-16 - &lt;/strong&gt;
      Domain name &lt;code&gt;scala-lang.org&lt;/code&gt;.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      The Scala website is now accessible through &lt;code&gt;scala-lang.org&lt;/code&gt;!
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Tue, 16 Jan 2007 16:34:27 GMT</pubDate>
    <category>General</category>
    <source url="http://scala-lang.org/rss.xml">
      scala-lang.org
    </source>
  </item>
  <!-- 2006-12-11 -->
  <item>
    <title>Scala Plugin 2.4.8 released</title>
    <guid>http://scala-lang.org/downloads/eclipse/#7</guid>
    <link>http://scala-lang.org/downloads/eclipse/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2006-12-11 - &lt;/strong&gt;
      New Version of the Scala plugin for Eclipse.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.4.8 fixes several bugs and integrates Scala 2.3.1.
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala-lang.org/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Mon, 11 Dec 2006 15:22:47 GMT</pubDate>
    <category>Software</category>
    <source url="http://scala-lang.org/rss.xml">
      Scala Plugin 2.4.8 released
    </source>
  </item>
  <!-- 2006-12-06 -->
  <item>
    <title>Scala Version 2.3.1 released</title>
    <guid>http://scala.epfl.ch/downloads/changes.html#v2.3.1</guid>
    <link>http://scala.epfl.ch/downloads/changes.html#v2.3.1</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2006-12-06 - &lt;/strong&gt;
      New Version of the Scala distribution.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.3.1 is a bug fix release.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br/&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala.epfl.ch/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Wed, 06 Dec 2006 17:38:18 GMT</pubDate>
    <category>Software</category>
    <source url="http://lamp.epfl.ch/rss.xml">
      Scala Version 2.3.1 released
    </source>
  </item>
  <!-- 2006-11-23 -->
  <item>
    <title>1-Day Workshop: Compilers, Programming Languages, and Systems</title>
    <guid>http://lamp.epfl.ch/#1</guid>
    <link>http://lamp.epfl.ch/</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
  Compilers, Programming Languages, and Systems&lt;br/&gt;
  A one-day workshop held at EPFL&lt;br/&gt;
  Tuesday, Dec 5th, 2007&lt;br/&gt;
  INR 113
  &lt;/p&gt;
  &lt;table cellpadding="4" cellspacing="0"&gt;
  &lt;tr&gt;
  &lt;td valign="top" nowrap="nowrap"&gt;
  09:00 - 09:30&lt;/td&gt;&lt;td&gt;Reinhard Wilhelm, Saarland University
  Timing analysis for Hard Real-Time Systems
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  09:30 - 10:00&lt;/td&gt;&lt;td&gt;Cristina Videira Lopes, Univ. of Calfornia, Irvin
  Sourcerer : a search engine for open source
  code supporting structural search
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  10:00 - 10:15&lt;/td&gt;&lt;td&gt;Sabine Glesner, Technical Univ. of Berlin
  Verification of Optimizing Compilers
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  10:15 - 10:30&lt;/td&gt;&lt;td&gt;BREAK
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  10:30 - 11:00&lt;/td&gt;&lt;td&gt;Zhong Shao, Yale University
  Modular Verification of Assembly Code with
  Stack-Based Control Abstractions
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  11:00 - 11:30&lt;/td&gt;&lt;td&gt;Gregor Snelting, Univ. of Passau
  An operational semantics and type safety
  proof for multiple inheritance in C++
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  11:30 - 11:45&lt;/td&gt;&lt;td&gt;Yannis Smaragdakis, Georgia Tech
  to be announced
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  11:45 - 12:00&lt;/td&gt;&lt;td&gt;William Cook, Univ. of Texas at Austin
  A Readable, Composable Bicameral Syntax
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  12:00 - 13:30&lt;/td&gt;&lt;td&gt;LUNCH
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  13:30 - 14:00&lt;/td&gt;&lt;td&gt;Emery Berger, Univ. of Massachusetts Amherst
  to be announced
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  14:00 - 14:30&lt;/td&gt;&lt;td&gt;Rastislav Bodik, Univ. of California, Berkeley
  Refinement-Based Context-Sensitive
  Points-To Analysis for Java
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  14:30 - 14:45&lt;/td&gt;&lt;td&gt;Andrew Kennedy, Microsoft Research Cambridge
  Faster compilation for functional languages
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  14:45 - 15:00&lt;/td&gt;&lt;td&gt;BREAK
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  15:00 - 15:30&lt;/td&gt;&lt;td&gt;Dan Grossman, Univ. of Washington
  Software Transactions : A Programming-Languages
  Perspective
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  15:30 - 16:00&lt;/td&gt;&lt;td&gt;G. Ramalingam, Microsoft Research, India
  Data Models Via Guarded Dependences
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  16:00 - 16:15&lt;/td&gt;&lt;td&gt;Vijay Saraswat, IBM TJ Watson Research Center
  to be announced
  &lt;/td&gt;
  &lt;/tr&gt;
  &lt;tr&gt;
  &lt;td valign="top"&gt;
  16:15 - 16:30&lt;/td&gt;&lt;td&gt;Christian Lengauer, Univ. of Passau
         Algebras for Feature Programming
         &lt;/td&gt;
         &lt;/tr&gt;
         &lt;/table&gt;
         &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Thu, 23 Nov 2006 16:28:48 GMT</pubDate>
    <category>Workshops</category>
    <source url="http://lamp.epfl.ch/rss.xml">
      1-Dad Workshop: Compilers, Programming Languages
    </source>
  </item>
  <!-- 2006-11-23 -->
  <item>
    <title>Scala Version 2.3.0 released</title>
    <guid>http://scala.epfl.ch/downloads/changes.html#v2.3.0</guid>
    <link>http://scala.epfl.ch/downloads/changes.html#v2.3.0</link>
    <description>
      &lt;blockquote&gt;
      &lt;p&gt;
      &lt;strong&gt;2006-11-23 - &lt;/strong&gt;
      New Version of the Scala distribution.
      &lt;hr/&gt;
      &lt;/p&gt;
      &lt;p&gt;
      Version 2.3.0 introduces binary incompatibilities; eg. case classes now inherit from trait &lt;code&gt;scala.Product&lt;/code&gt;.
      &lt;/p&gt;
      &lt;p&gt;
      &lt;strong&gt;Requirements&lt;/strong&gt;&lt;br/&gt;
      The Scala software distribution is best installed on a Unix or Windows system. It requires version 1.4 or later of a Java runtime environment (JRE).
      &lt;/p&gt;
      &lt;p&gt;
      The &lt;a href="http://scala.epfl.ch/community/"&gt;Scala Team&lt;/a&gt;
      &lt;/p&gt;
      &lt;/blockquote&gt;
    </description>
    <author>stephane.micheloud@epfl.ch</author>
    <pubDate>Thu, 23 Nov 2006 16:28:48 GMT</pubDate>
    <category>Software</category>
    <source url="http://lamp.epfl.ch/rss.xml">
      Scala Version 2.3.0 released
    </source>
  </item>
</channel>
</rss>

