Ptolemy 2013 - 10th Biennial Ptolemy Miniconference

The Tenth Biennial Ptolemy Miniconference will be held on Thursday, November 7, 2013 in Berkeley, California.
Please see the Call for Abstracts, which are due by July 31, 2013.
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components.
The Ptolemy Miniconference is an opportunity for research collaborators and Ptolemy users and extenders from industry, academia, and government to get together, present their work to the Ptolemy community, and hear about related research and results. It is typically held every two years.
In addition, the will act as an annual meeting for the Center for Hybrid and Embedded Software Systems.
At miniconferences in the past we have had presentations and posters from organizations worldwide, plus members of the Ptolemy project describing current research at Berkeley.
Topics of interest for past years have included:
Applications of Ptolemy II or Kepler
Model-based design techniques
Concurrency models
Applications of concurrency to multicore and distributed computing
Code generation for embedded systems
Model engineering methods
Models of computation
Workflow infrastructure
Model transformation
Model verification
Semantics of models
Performance evaluations
Comparisons of model-based design tools
Integration of multiple design tools
Static analysis of models
Provenance tracking techniques
Data visualization and data management
Visual syntaxes for models