Workshops and Seminars in 2007

Past Workshops and Seminars in 2007 on Embedded Systems Design

  • Synchron 2007

    		 organised and funded by Artist
    November 26-30, 2007      Bamberg, Germany
    This workshop is devoted to all aspects of synchronous programming: languages, compiling techniques, formal methods, programming environments, execution platforms, semantics issues, code generation.

  • ARTIST2 meeting on Integrated Modular Avionics

    		 organised and funded by Artist
    November 12-13, 2007      Roma, Italy
    Integrated Modular Avionics (IMA) has set the principles of standardized components and interfaces of hardware and software in aircraft, applied for the first time in the development of the Airbus A380.

  • Dagstuhl: Model-Based Engineering of Embedded Real-Time Systems
    November 4-9, 2007      Dagstuhl, Germany
    In today’s world embedded real-time systems have become a crucial element in most advanced technical systems such as airplanes, cell phones, and cars.

  • Dagstuhl: Formal Protocol Verification Applied
    October 14-19, 2007      Dagstuhl, Germany
    Security protocols are a core part of distributed computing systems, and are part of our everyday life since they are used in web servers, email, mobile phones, bank transactions, etc.

  • WESE’07: WS on Embedded Systems Education

    		 organised and funded by Artist
    October 4-5, 2007      Salzburg, Austria (within ES Week)
    This third workshop on the subject aims to bring researchers, educators, and industrial representatives together to assess needs and share design, research, and experiences in embedded systems education.

  • Foundations of Component-based Design

    		 organised and funded by Artist
    September 30th, 2007      Salzburg, Austria - within EmSoft / ES Week
    Discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation.

  • Between Control and Software (in honor of Paul Caspi)

    		 organised and funded by Artist
    September 28th, 2007      VERIMAG - Grenoble, France
    This workshop, synchronized with the retirement of Paul Caspi in autumn 2007, will bring together experts in the field and collaborators of Paul at different periods for a series of lectures.

  • Precise Behavioral Semantics for DSML
    September 25th, 2007       Jacksonville, FL, USA
    Model analysis and model-based code generation require the precise specification of Domain Specific Modeling Languages (DSMLs).

  • Dagstuhl: Mobile Interfaces Meet Cognitive Technologies
    September 9-14, 2007      Dagstuhl, Germany
    Mobile sensing devices as well as the increase of computational power of mobile and handheld devices has led to a large increase in the area.

  • UML&AADL’2007

    		 sponsored by Artistorganised with Artist partners
    July 14th, 2007      Auckland, New Zealand
    This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE behaviour and/or architecture models.

  • Distributed Object Computing for RT and Embedded Systems
    July 9-12, 2007      Washington, DC, USA
    Software standards for real-time and embedded systems must support stringent resource, reliability, and timing requirements. Deadline for abstracts is Friday, 1st March 2007.

  • SIES’2007
    July 4-6, 2007      Lisbon, Portugal
    IEEE Second Symposium on Industrial Embedded Systems
    The aim of the symposium is to provide a platform to report on recent developments, and initiatives.

  • FCC 2007

    		 organised and funded by Artist
    July 4-5, 2007      Venice, Italy
    3rd Workshop on Formal and Computational Cryptography

  • WCET’07

    		 organised with Artist partners
    July 3rd, 2007      Pisa, Italy
    7th Int’l Workshop on Worst-Case Execution Time Analysis

  • ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation

    		 organised and funded by Artist
    July 1-2, 2007      Berlin, Germany (satellite event of CAV 2007)

  • DCDS’07

    		 organised with Artist partners
    June 13-15, 2007      Cachan (Paris), France
    Fault-forecasting using fault-tree analysis, dependability modelling, fault-tolerant systems design, formal verification of control software, model-checking, fault detection and diagnosis of DES.

  • LCTES’07
    June 13-16, 2007      San Diego California USA
    Conference on Languages, Compilers, and Tools for Embedded Systems

  • Dagstuhl: Tools for the Model-based Development of Certifiable, Dependable Systems

    		 organised with Artist partners
    June 10-15, 2007      Dagstuhl, Germany
    Certification of dependable systems, developing and validating (semi-)formal methods and tools for modelling and verification.

  • 2nd Int’l ARTIST Workshop on Control for Embedded Systems

    		 organised and funded by Artist
    May 31st - June 1st 2007      U. of Illinois, Urbana-Champaign (USA)
    The aim of the workshop is to gather key researchers within the control and real-time computing fields to chart the research agenda for the next decade in control for embedded systems.

  • FMGALS’2007

    		 sponsored by Artist
    May 29th, 2007      Nice, France
    Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design

  • SEUS 2007
    May 7-8, 2007      Santorini Island, Greece
    The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems. In conjunction with the 10the IEEE Int’l Symposium, ISORC 2007

  • SCOPES 2007

    		 sponsored by Artist
    April 20th, 2007      Acropolis, Nice, France
    SCOPES focuses on the software generation process for modern embedded systems. Topics of interest include all aspects of the compilation process, with emphasis on code generation techniques for embedded processors.

  • Towards a Systematic Approach to Embedded System Design

    		 organised and funded by Artist
    April 20th, 2007      Acropolis Nice, France
    European research is developing leading-edge tools. Industry has strong needs for design methods and tools. A system-oriented approach is the long-term objective.

  • IRTAW-13

    		 sponsored by Artist
    April 17-19, 2007      Woodstock, Vermont, USA
    13th International Real-Time Ada Workshop

  • Dagstuhl: Geometry in Sensor Networks
    April 9-13, 2007      Dagstuhl, Germany
    Wireless sensors offer exciting new possibilities for both passive monitoring and active intervention in all environments that matter to our health, security, economy, and life.

  • NeRES 2007

    		 organised and funded by Artist
    April 2nd, 2007      Aveiro, Portugal
    NeRES 2007 was an informal workshop addressing the motivation and interest on dynamic reconfiguration in distributed embedded systems that present real-time and/or safety constraints.

  • SLA++P 2007

    		 sponsored by Artist
    March 31st, 2007      Braga, Portugal
    Model-driven High-level Programming of Embedded Systems (formerly "Synchronous Languages, Applications, and Programming")

  • WPDRTS 2007

    		 organised with Artist partners
    March 26-27, 2007      Long Beach, California, USA
    The International Workshop on Parallel and Distributed Real-Time Systems is a forum for the presentation and discussion of approaches, research findings, and experiences in the area of parallel and distributed real-time systems.

  • COCV 2007

    		 organised with Artist partners
    March 25th, 2007      Braga, Portugal
    Compiler Optimization Meets Compiler Verification (6th International Workshop)

  • Software Tools for Multi-Core Systems
    March 11th, 2007      San José, CA, USA
    Second Workshop on Software Tools for Multi-Core Systems

  • CASTNESS’07 Workshop and School

    		 sponsored by Artist
    January 15-17, 2007      Rome, Italy
    Computing Architectures and Software Tools for Numerical Embedded Scalable Systems
(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet