<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="https://velo.wiki.ls2n.fr/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="https://velo.wiki.ls2n.fr/feed.php">
        <title>Velo - Vérification pour l'Environnement et le LOgiciel projects:econet:pragues2007</title>
        <description></description>
        <link>https://velo.wiki.ls2n.fr/</link>
        <image rdf:resource="https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico" />
       <dc:date>2026-05-02T07:30:32+02:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:contents&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:cs&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:materials&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:organization&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:participants&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:photos&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:program07&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:start&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:venue&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:workshop_report&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:ws&amp;rev=1522767576&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico">
        <title>Velo - Vérification pour l'Environnement et le LOgiciel</title>
        <link>https://velo.wiki.ls2n.fr/</link>
        <url>https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico</url>
    </image>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:contents&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:contents</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:contents&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2007 at Pragues

Contents

Objectives

Since we have to apply for a second year at the end of september
we have to present a first result at the end of the workshop.
I thought about an intermediate objective report including
a clear statement of the problem, an annoted bibliography and
a list of work for the rest of the year and 
a planning of the second year.</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:cs&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:cs</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:cs&amp;rev=1522767576&amp;do=diff</link>
        <description>Dinner</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:materials&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:materials</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:materials&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop Materials

Teams presentations and technical presentations

COLOSS

	* Team presentation by Gilles Ardourel 
	* The Kmelia Component Model Hierarchical Service Description and Analysis Pascal André 

LCI

	* Team presentation by Dan Chiorean</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:organization&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:organization</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:organization&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2007 at Pragues

Organization

Dates

the week 3-7 of September

Venue

Local organisation : Ondrej Sery &lt;ondrej.sery@dsrg.mff.cuni.cz&gt;

some collected informations

Participants

participants

Photos

photos

Egide Forms

	* french members 

	* foreign members</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:participants&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:participants</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:participants&amp;rev=1522767576&amp;do=diff</link>
        <description>List of Participants

COLOSS &lt;http://www.lina.sciences.univ-nantes.fr/coloss/&gt;

	* Pascal ANDRE &lt;Pascal.Andre@univ-nantes.fr&gt;

	* Gilles ARDOUREL &lt;gilles.ardourel@univ-nantes.fr&gt;

----------

DSRG &lt;http://www.ksi.mff.cuni.cz/en/&gt;

	* Frantisek PLASIL &lt;plasil@nenya.ms.mff.cuni.cz&gt;

	* Petr HNETYNKA &lt;hnetynka@nenya.ms.mff.cuni.cz&gt;

– Jan KOFRON &lt;Jan.Kofron@mff.cuni.cz&gt;

– Ondrej SERY &lt;sery@nenya.ms.mff.cuni.cz&gt;

– Tomas POCH &lt;Tomas.Poch@mff.cuni.cz&gt;

– Jiri Adamek &lt;Jiri.Adamek@mff.cuni.cz&gt;

– Pave…</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:photos&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:photos</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:photos&amp;rev=1522767576&amp;do=diff</link>
        <description>Selected Photos of the workshop

Presentation and Working Sessions

here

Social Events

here</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:program07&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:program07</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:program07&amp;rev=1522767576&amp;do=diff</link>
        <description>Program

Ondrej, Petr and me did establish a time schedule 
but the presentation duration are really duration-free for both the contents and questions ;-)

Day 1 and 2 are dedicated to workshop presentations.
The durations and schedules leave time for numerous discussions</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:start&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:start</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:start&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2007 at Pragues

Organization

details

Contents

details

Workshop Materials

Teams and technical presentations, Working Sessions

documents materials

Worshop Report

contents description

	* draft version 0.8 (08/10/2007) source 

	* draft version 0.9 (09/10/2007) 
source</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:venue&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:venue</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:venue&amp;rev=1522767576&amp;do=diff</link>
        <description>Venue

Some informations given by Ondrej or collected by Pascal

About DSRG

Department of software engineering
School of Computer Science
Faculty of Mathematics and Physics
Charles University
Malostranské nám. 25
118 00 Praha 1
Czech Republic

Tel: +420-221-914-264
Fax: +420-221-914-323</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:workshop_report&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:workshop_report</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:workshop_report&amp;rev=1522767576&amp;do=diff</link>
        <description>Contents

Workshop preparation

note here the informations related to 
what happend before the workshop

Workshop

Presentation Session

summary and results

Working Session

summary and results

Workshop results

what has been decided

Subprojects (3 parts)</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:ws&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:pragues2007:ws</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:pragues2007:ws&amp;rev=1522767576&amp;do=diff</link>
        <description>Blackboards</description>
    </item>
</rdf:RDF>
