[TYPES/announce] CfP: Extended deadline (January 31st): Advances in Systems of Systems an ETAPS workshop

[Ulrik Nyman]

      AiSoS - Advances in Systems of Systems

http://aisos.cs.aau.dk

We are delighted to present the second edition of *AiSoS *an *ETAPS* 
workshop with a
focus on the growing trend of more complex systems of systems.

Examples are*smart grid, intelligent buildings, smart cities, transport 
systems*, etc.
There is a need for new modeling formalisms, analysis methods and tools 
to help
make trade-off decisions during design and evolution avoiding leading to 
sub-optimal
design and rework during integration and in service. The workshop should 
focus on
the modeling and analysis of System of Systems.

The workshop Advances in Systems of Systems aims to gather people from 
different
communities in order to encourage exchange of methods and views. The 
workshop
welcomes submissions on *new modeling approaches, analysis technique, 
tools,**
**case studies, surveys and tutorials.*

Post proceedings will be published in EPTCS.

Submission deadline:*January 31st*.

Best regards AiSoS organizers.
- Kim G. Larsen, Axel Legay and Ulrik Nyman

-- 
Ulrik Nyman,http://people.cs.aau.dk/~ulrik, phone +45 9940 9985

    Associate Professor, Ph.D.
    Center for Embedded Software Systems, Department of Computer Science
    Aalborg University, Selma Lagerlöfs Vej 300, DK-9220 Aalborg East

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140117/3f4f5a08/attachment.html>