AMAST Mail 1996
[Prev][Next][Index]

Announcement: School on Embedded Systems, Nov. 25-29 1996

LS

Zouden jullie de volgende aankondiging op AMAST kunnen zetten?

Bij voorbaat dank,

Herman Geuvers

_______________________________________________________________________


			SCHOOL on EMBEDDED SYSTEMS 1996

                           European Educational Forum

                Veldhoven, The Netherlands, November 25 -- 29, 1996



(Info by WWW: http://www.win.tue.nl/win/cs/ipa/activities/)


General Information
-------------------
The School on Embedded Systems is the first event organised by the
European Educational Forum (EEF), a joint initiative of the three
interuniversitary research schools BRICS (Basic Research In Computer
Science) from Denmark, IPA (Institute for Programming research and
Algorithmics) from the Netherlands, TUCS (TUrku centre for Computer
Science) from Finland. The aim of the EEF is the organisation of
educational
training activities directed at such an audience.


Embedded systems are computer systems that
form an integral part of a larger system like a production cell, a
controller for a home heating system, a television set or
an aeroplane. The term `embedded system' thus encompasses a broad
class of systems, ranging from simple microcontrollers to large and
complex multi-processors and distributed systems.
In general engineering terms, embedded systems are used for the control
of industrial or physical processes. This means that one can design
and reason about embedded systems only if one takes the behaviour of
their environment into account.
In computer science terms, embedded systems are distributed reactive
systems.
Typically, embedded systems have to react to stimuli from their
environment in real-time.  This can be highly nontrivial in situations
where a lot of signal processing must be carried out on the inputs in
order to compute the outputs (e.g., multi-media applications).
Consequently, real-time issues often play a major role in the design and
analysis of embedded systems.

The School on Embedded Systems aims at the training of young
researchers in the main trends in Embedded Systems, so that they become
familiar with the latest developments in the field. Leading
researchers from both industry and academia give lectures (tutorials)
covering formal methods, design methods and techniques and
applications.

Program Committee
-----------------
Ralph  Back, Abo Akademi University, FI,
Ed Brinksma, University of Twente, NL,
Dieter Hammer, University of Eindhoven, NL,
Kim Larsen, University of Aalborg, DK,
Mogens Nielsen, University of Aarhus, DK,
Kaisa Sere, University of Kuopio, FI,
Frits Vaandrager, University of Nijmegen, NL (chair).


Location and Accommodation
--------------------------
Veldhoven is a small city close to the city of Eindhoven, in the south
of the Netherlands.
The event takes place in the Conference Center `de Koningshof' in
Veldhoven.

The addres of de Koningshof:
Locht 117, 5500 AC Veldhoven, NL
Phone: +40-2537475
Fax: +40-2545515

The cost of accommodation is Dfl. 766,- from Monday November 25 until
Friday November 29 for a double room. For a double room, Dfl. 100,-
extra will be charged. The cost of accomodation includes all meals and
coffee/tea during the breaks. For those who want to stay an extra
night (from Sunday to Monday or from Friday to Saturday), an
additional Dfl 122, per night will be charged.


Registration
------------
The registration fee covers the proceedings and the costs of social
events.
Moreover, for members of IPA, the registration fee also covers the
cost of accommodation.

                        Registration            Registration
                        and Payment             and Payment
                        received by             received after
                        October 15, 1996        October 15, 1996

IPA member (*)          Dfl 495,-               Dfl 595,-
BRICS/TUCS member (**)  Dfl 100,-               Dfl 200,-
Other (**)              Dfl 500,-               Dfl 600,-

(*)  Includes social event, proceedings and accommodation
(**) Includes social event and proceedings

Please send in the Registration Form (see below) by e-mail or by fax.

Cancellation
------------
Cancellation received later than November 1st will be charged Dfl 50,-
handling fee. No cancellations will be accepted after November 15.

Grants
------
The School on Embedded Systems is sponsored by the European Union's
TMR Euroconference Program. Grants can be applied to cover expenses of
young researchers that wish to participate.

Who can apply?
        Young researchers (aged 35 years or under) on postgraduate or
        postdoctorate level who are citizens of European Union member
        states or associated countries (Iceland, Liechtenstein, Norway).
Which expenses are covered?
        Each grant covers 80% of the costs of travel, registration and
        accomodation. If there are more grants available than
        there have been applied for, this percentage may be higher.
How to apply?
        Please fill in the form `Application for Grant', see
        http://www.win.tue.nl/win/cs/ipa/activities/
Deadline:
        Applications for grants should be sent in by October 15, 1996.
Notification:
        Applicants will be notified by November 1, 1996. In case
        more grants are applied for than available, the organisers
        will make a selection.

Further Information
-------------------
For further information, contact
by e-mail, ipa@win.tue.nl
by WWW, http://www.win.tue.nl/win/cs/ipa/activities/


Program of the European Educational Forum School on Embedded Systems
--------------------------------------------------------------------

Monday November 25

9.00    Registration
10.00   Opening
10.30   Proof-Based System Engineering as a Key Discipline for
        Building Provably Correct Embedded Systems
        - Gerard Le Lann (INRIA Rocquencourt, France)
12.30   Lunch
13.30   Object Oriented Development of Embedded Systems
        - Juha Kuusela (Nokia Research Center, Finland)
15.30   Break
16.00   A Modular Approach for Programming Embedded Systems
        - Gul Agha (University of Illinois, Urbana, IL, USA)
18.00   End


Tuesday November 26

9.00    Analyzing and Synthesizing Hybrid Control Systems
        - Michael Branicky (Massachusetts Institute of Technology,
          Cambridge, MA, USA)
12.30   Lunch
13.30   Engineering Aspects of Real-Time Systems and One Experiment in
        Hybrid Control
        - Anders Ravn (Technical University of Denmark, Lyngby, Denmark)
15.30   Break
16.00   Formal Methods in the Design of a Storm Surge Barrier Control
        System
        - Pim Kars (University of Twente, Enschede, NL)
17.00   End



Wednesday November 27

FEEDBACKS BETWEEN ACADEMIA AND INDUSTRY
(This day is organised as a one-day workshop, aimed at enhancing the
knowledge
transfer from academia to industry and vice versa. Participation for
only this day is possible as well.
See http://www.win.tue.nl/win/cs/ipa/activities/feedback.27.11.1996.txt)

9.30    Registration and Coffee
10.00   Introduction
10.10   Real-Time Scheduling and the Boeing 777 AIMS
        - Al Mok (University of Texas at Austin, Austin, Texas, USA)
11.10   Break
11.30   The Long Road from Research to Telecommunication Applications
        - Hans van Rietschote (Philips Research, IST, Eindhoven, NL)
12.30   Lunch
13.30   The Ariane 5 Flight 501 Failure as a Case Study
        - Gerard Le Lann (INRIA Rocquencourt, France)
14.30   Break
14.45   Multi Media Applications, Development Experiences
        - Frans Reckers (Philips TASS, Eindhoven, NL)
15.45   Break
16.00   Panel discussion with
        J. Bergstra (University of Amsterdam/University of Utrecht, NL)
        R. Bourgonjon (Philips Sound and Vision, Eindhoven, NL)
        H.E. Hondebrink (Economical Affairs, The Hague, NL)
        G. Le Lann (INRIA Rocquencourt, France)
        A. Mok (University of Texas at Austin, Texas, USA)
17.00   End



Thursday November 28

9.00    Real-Time Scheduling
        - Al Mok (University of Texas at Austin, Austin, Texas, USA)
11.00   Break
11.30   Title to be announced
        - Freddie Veltmaat (ICT, Deventer, NL)
12.30   Lunch
13.30   Excursion + Dinner



Friday November 29

9.00    Methods/Tools for the Design of High-Performance Embedded
Systems
        - Devesh Bhatt (Honeywell, USA)
12.00   Lunch
13.00   Verification of Embedded and Hybrid Systems
        - Amir Pnueli (Weizmann Institute, Israel)
15.00   End

*****************************************************************

REGISTRATION FORM:

(http://www.win.tue.nl/win/cs/ipa/activities/registration.txt)

SCHOOL ON EMBEDDED SYSTEMS
Veldhoven, The Netherlands, November 25-29, 1996



First Name.......................................................
Family Name......................................................
Prof.Dr.Mr.Ms.:..................................................
Affiliation......................................................
Address..........................................................
.................................................................
.................................................................
.................................................................
            Tel: ................................................
            Fax:.................................................
            E-mail:..............................................
Your identification as it should appear on your badge:
.................................................................
.................................................................


Means of travel:.................................................
Date of Arrival to Koningshof:...................................
Date of departure from Koningshof:...............................

Diet: -Standard*-Vegetarian*
*)Delete where non applicable


Accomodation:
------------
I would like to share a room with................................
.................................................................

I would like to have a single room (extra costs Dfl 100,-).......


Method of Payment (please check (X) the appropriate)
-----------------
( ) I enclose a copy of bank transfer to:

    Bank ABN/AMRO
    Den Dolech 2
    5612 NZ Eindhoven
    The Netherlands

    account no. 60.27.60.690
        of      IPA, Department of math. and Comp. Science,
                Technological University Eindhoven
                The Netherlands

( ) I will pay in advance by credit card and I will fax the form below
    to you asap

( ) I will pay at the site      ( ) in cash
                                ( ) by credit card
                                ( ) by Euro Cheque

-----------------------------------------------------------------------

IF YOU PAY BY CREDIT CARD BEFORE CONFERENCE, PLEASE FILL IN THE FORM
BELOW AND SEND IT BY * FAX*   ( we need your signature) TO
FAX number: +40-2463992



MAIL ORDER

Method of payment - charge credit card

Name of the card:...............................................
Card number:....................................................
Expiry date:....................................................
Name of cardholder:.............................................

Amount Due:.....................................................

Signature:




*******************************************************************
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]