<?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:cluj2008</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-02T03:44:04+02:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:contents&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:cs&amp;rev=1522767577&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:materials&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:organization&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:participants&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:photos&amp;rev=1522767577&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:program08c&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:start&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:venue&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:working_groups&amp;rev=1522767577&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:ws&amp;rev=1522767577&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:cluj2008: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:cluj2008:contents</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:contents&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2008 at Cluj

Contents

Objectives

 This workshop is a last intermediate milestone in the project schedule.
Each group worked separately in its part.
The goal of the workshop is to present the state of each subproject
(theoretical works, tools, programs, documentation) since 4 months and to
discuss the project continuation.

At the borderline, each team may also present related work on the subject
(team current research, synthesis</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:cs&amp;rev=1522767577&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:37+02:00</dc:date>
        <title>projects:econet:cluj2008:cs</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:cs&amp;rev=1522767577&amp;do=diff</link>
        <description>Visit
































Dinner</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008: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:cluj2008:materials</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:materials&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop Materials

Presentations

COLOSS + OBASCO

	* Welcome Pascal André (Coloss) 
	* CCMM1.1 Pascal André (Coloss) Vladiela Petraşcu (LCI) 
	* Process B Gilles Ardourel (Coloss) 
	* N-Party Rendezvous versus Sending Messages Jean-Claude Royer (Obasco)</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008: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:cluj2008:organization</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:organization&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2008 at Cluj

Organization

Dates

=&gt; 21 of september - 24 of september 2008 

Local organisation

	* Dan Chiorean &lt;chiorean@cs.ubbcluj.ro&gt;, phone: +40 740 500 157

	* Dragoş Petraşcu &lt;petrascu@cs.ubbcluj.ro&gt;, phone: +40 756 308 121

	* Vladiela Petraşcu &lt;vladi@cs.ubbcluj.ro&gt;, phone: +40 742 133 706

Local information</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008: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:cluj2008:participants</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008: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;

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

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

----------

LCI &lt;http://lci.cs.ubbcluj.ro/&gt;

	* Dan CHIOREAN &lt;chiorean@cs.ubbcluj.ro&gt;
…</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:photos&amp;rev=1522767577&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:37+02:00</dc:date>
        <title>projects:econet:cluj2008:photos</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:photos&amp;rev=1522767577&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:cluj2008:program08c&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:cluj2008:program08c</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:program08c&amp;rev=1522767576&amp;do=diff</link>
        <description>Cluj's workshop Program

This is a first time schedule &gt;&gt; Preliminary Program &lt;&lt;

This program may shift from one half-day for organisation convenience reasons

Overview

Days 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:cluj2008: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:cluj2008:start</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:start&amp;rev=1522767576&amp;do=diff</link>
        <description>Workshop 2008 at Cluj

News

	* Please fill in the Egide forms to start the refundings

    (see the details in the Organization section)

Organization

details

Contents

details

Workshop Materials

Teams and technical presentations, Working Sessions

documents</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008: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:cluj2008:venue</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:venue&amp;rev=1522767576&amp;do=diff</link>
        <description>Venue

About LCI

Computer Science Research Laboratory

Faculty of Mathematics and Computer Science

Babeş-Bolyai University

About the city and tourist information

Travel in Cluj

Travel in Romania

About Cluj
EN
FR
CS
RO

About Romania
EN
FR
CS
RO

Maps

Google Map

[Classic Map]

About money

Exchange Rates (National Bank of Romania)

Currency converter
EURRON
RONEUR
CZKRON
RONCZK

Practice your Romanian

Romanian phrasebook

Romanian lessons

About Romanian
EN
FR
CS
RO</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:working_groups&amp;rev=1522767577&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:37+02:00</dc:date>
        <title>projects:econet:cluj2008:working_groups</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:working_groups&amp;rev=1522767577&amp;do=diff</link>
        <description>Working groups

Technical

	* API talk - Short term goal: tool integration roadmap
		* Process A and Process B
	*  Model import/export and verification
		*  Reverse engineering - Short term goal: suitable models and techniques
		*  various kind of schema</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:ws&amp;rev=1522767577&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:37+02:00</dc:date>
        <title>projects:econet:cluj2008:ws</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:cluj2008:ws&amp;rev=1522767577&amp;do=diff</link>
        <description>Presentations &amp; sessions</description>
    </item>
</rdf:RDF>
