<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="http://jointevents2009.evolumons.be/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="http://jointevents2009.evolumons.be/feed.php">
        <title>BENEVOL 2009</title>
        <description></description>
        <link>http://jointevents2009.evolumons.be/</link>
        <image rdf:resource="http://jointevents2009.evolumons.be/lib/images/favicon.ico" />
       <dc:date>2010-01-09T19:59:24+01:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=aulamagna&amp;rev=1260961336&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=b_call&amp;rev=1260796876&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=b_editions&amp;rev=1244711512&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=b_home&amp;rev=1261489965&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=b_schedule&amp;rev=1262957671&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=j_dates&amp;rev=1253189576&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=j_home&amp;rev=1259795901&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=j_old_reg&amp;rev=1259675727&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=j_registration&amp;rev=1260182052&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=j_venue&amp;rev=1260778496&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=m_home&amp;rev=1259879678&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=m_schedule&amp;rev=1262957729&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=v_call&amp;rev=1259226269&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=v_home&amp;rev=1260177672&amp;do=diff"/>
                <rdf:li rdf:resource="http://jointevents2009.evolumons.be/doku.php?id=v_schedule&amp;rev=1260453620&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="http://jointevents2009.evolumons.be/lib/images/favicon.ico">
        <title>BENEVOL 2009</title>
        <link>http://jointevents2009.evolumons.be/</link>
        <url>http://jointevents2009.evolumons.be/lib/images/favicon.ico</url>
    </image>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=aulamagna&amp;rev=1260961336&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-16T12:02:16+01:00</dc:date>
        <title>aulamagna</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=aulamagna&amp;rev=1260961336&amp;do=diff</link>
        <description>Location

Aula Magna
Place Raymond Lemaire, 1

B-1348 Louvain-la-Neuve

GPS: Boulevard André Oleffe


Access Map (car)

If you come by car, this [access map] shows how to reach the Aula Magna (AM) and its parking. The conference will be held in the “Foyer” of the “Aula Magna” (entry via doors at parking level at the lake-side) which corresponds to number 38 on cell E5 on [this map]. The parking will be open in the morning. The remainder of the day the following code will be active to access the …</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=b_call&amp;rev=1260796876&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-14T14:21:16+01:00</dc:date>
        <title>b_call</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=b_call&amp;rev=1260796876&amp;do=diff</link>
        <description>Three types of submissions are possible:

	*  short position papers (up to 5 pages) describing work in progress or speculative ideas you wish to share with the community;
	*  tool demonstrations (3 to 5 pages) describing tools supporting software evolution that have been developed in academia or industry;
	*  full papers (10 to 15 pages) describing novel and original research. These full papers will undergo peer-reviewing to assess if they are of sufficient quality for publication in a special i…</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=b_editions&amp;rev=1244711512&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-06-11T11:11:52+01:00</dc:date>
        <title>b_editions</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=b_editions&amp;rev=1244711512&amp;do=diff</link>
        <description>ArrayArrayArray ArrayArrayArrayArray</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=b_home&amp;rev=1261489965&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-22T14:52:45+01:00</dc:date>
        <title>b_home</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=b_home&amp;rev=1261489965&amp;do=diff</link>
        <description>The 8th edition of the BElgian-NEtherlands software eVOLution seminar (BENEVOL 2009) will take place at Louvain-la-Neuve, Belgium. This two-day seminar will be held on Thursday 17 and Friday 18 December 2009. The aim of the seminar is to bring together researchers from Belgium, The Netherlands and neighbouring countries to identify and discuss important principles, problems, techniques and results related to software evolution research and practice.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=b_schedule&amp;rev=1262957671&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-01-08T14:34:31+01:00</dc:date>
        <title>b_schedule</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=b_schedule&amp;rev=1262957671&amp;do=diff</link>
        <description>Even though the morning session, of which you can find the schedule elsewhere on this website (see Joint MoVES/BENEVOL day (on Thursday 17, December 2009)) is dedicated mainly to the MoVES annual meeting, BENEVOL participants are free to attend the morning session as well. Especially the 11:00-12:30AM slot may be interesting to you (in italics below).</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=j_dates&amp;rev=1253189576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-09-17T14:12:56+01:00</dc:date>
        <title>j_dates</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=j_dates&amp;rev=1253189576&amp;do=diff</link>
        <description>*  Deadline for registration: November 30, 2009
	*  Annual meeting of the FNRS Contact Group on Fundamental Computer Science: December 16, 2009
	*  Annual Meeting of the Belgian inter-university MoVES: December 17, 2009
	*  BENEVOL Seminar: December 17-18, 2009</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=j_home&amp;rev=1259795901&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-03T00:18:21+01:00</dc:date>
        <title>j_home</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=j_home&amp;rev=1259795901&amp;do=diff</link>
        <description>From Wednesday 16 until Friday 18 December 2009, a three-day event on Software modelling, verification and evolution will be organised at the Université catholique de Louvain, Belgium. 

This event will colocate three events that were previously organised independently:</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=j_old_reg&amp;rev=1259675727&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-01T14:55:27+01:00</dc:date>
        <title>j_old_reg</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=j_old_reg&amp;rev=1259675727&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=j_registration&amp;rev=1260182052&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-07T11:34:12+01:00</dc:date>
        <title>j_registration</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=j_registration&amp;rev=1260182052&amp;do=diff</link>
        <description>Until further notice, registration to all three meetings of the Joint MoVES Verification and Evolution Event 2009 is free.
Registration via the website will be allowed until December 4, 2009.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=j_venue&amp;rev=1260778496&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-14T09:14:56+01:00</dc:date>
        <title>j_venue</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=j_venue&amp;rev=1260778496&amp;do=diff</link>
        <description>The Joint MoVES, Verification and Evolution Event 2009 will take place
in the University of Louvain-la-Neuve (UCL).
UCL is an international renowned university at the heart of Europe.

Louvain-la-Neuve is a brand new university town situated on a
privileged location in the Walloon Region (the French-speaking
part of Belgium), amidst beautiful fields and woodlands and
only 30km south of Brussels, the Belgian and European capital.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=m_home&amp;rev=1259879678&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-03T23:34:38+01:00</dc:date>
        <title>m_home</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=m_home&amp;rev=1259879678&amp;do=diff</link>
        <description>Array    Belgian Science Policy  Interuniversity Attraction Poles   Array      Array   



About MoVES


Software-intensive systems are among the most complex artefacts ever built: they undergo a multitude of constantly changing requirements, they interact with a variety of users and systems, they are composed of many communicating and heterogeneous components, they must be able to adapt quickly to changing technologies, and they often exist in many different variants that live in parallel. In a…</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=m_schedule&amp;rev=1262957729&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-01-08T14:35:29+01:00</dc:date>
        <title>m_schedule</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=m_schedule&amp;rev=1262957729&amp;do=diff</link>
        <description>Thursday 17.12.2009


This schedule overlaps with the BENEVOL meeting (which continues on Friday 18, December 2009) and with the FNRS contact day (of Wednesday 16, December 2009)

9:00 Introduction and welcome


Theo D'Hondt. Brief introduction by the project coordinator.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=v_call&amp;rev=1259226269&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-11-26T10:04:29+01:00</dc:date>
        <title>v_call</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=v_call&amp;rev=1259226269&amp;do=diff</link>
        <description>Contributions are sollicited for presentations at the meeting.  Presentations will normally last 30' including questions, though longer or shorter presentations can be accommodated upon request.  A standard data projector will be available.  Contributions should be preferably in English, though French is also acceptable.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=v_home&amp;rev=1260177672&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-07T10:21:12+01:00</dc:date>
        <title>v_home</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=v_home&amp;rev=1260177672&amp;do=diff</link>
        <description>The next meeting of the FNRS Contact Group on Fundamental Computer Science will be held on December 16, 2009, at the University of Louvain in Louvain-la-Neuve, Belgium.  The meeting will be part of the MoVES Verification and Evolution Event 2009, jointly with the Annual Meeting of the MoVES project and the BENEVOL 2009 seminar.</description>
    </item>
    <item rdf:about="http://jointevents2009.evolumons.be/doku.php?id=v_schedule&amp;rev=1260453620&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-12-10T15:00:20+01:00</dc:date>
        <title>v_schedule</title>
        <link>http://jointevents2009.evolumons.be/doku.php?id=v_schedule&amp;rev=1260453620&amp;do=diff</link>
        <description>FNRS Contact Group on Fundamental Computer Science

2009 Annual Meeting – Wednesday 16.12.2009

as part of the MoVES annual meeting

Session 1

----------

9:30-10:00 Emmanuel Filiot (ULB). Towards Efficient Synthesis of LTL Specifications.

10:00-10:30 Laurent Doyen (LSV, CNRS, ENS Cachan), Raffaella Gentilini (ULB, University of Perugia), Jean-François Raskin (ULB). Faster Pseudo-Polynomial Algorithms for Mean-Payoff Games.</description>
    </item>
</rdf:RDF>

