The Applications of Numerical Mathematics in Science Working Group activity in 2006 was focused on the re-submission of the ARTDECO project in the Marie-Curie
framework. Unfortunately, we passed only the first phase but we were out (lack of funds!!).
The project had very good referee reports but this was not enough.
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
Project: csbrfxxf
Funding: 1
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
WG: Computational and Methodological Statistics
Project: * Computational Optimization Methods in Statistics, Econometrics, and Finance, COMISEF
Funding: EU FP6 (Marie Curie RTN)
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: approximatel 3 million
description:
The project was approved before the establishment of the new WG. However all
partners are active members founders of the specialized track \"Optimization Heuristics in Estimation and Modelling\"
Project: ilflpiar
Funding: 1
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
WG: Dependable Software-Intensive Embedded Systems
Project: Dependable Embedded Components and Systems, DECOS, IST-FP6-511764
Funding: European Commission
Status: Active
Date: 2004-07-01 to 2007-12-31
Contribution: 9,000.000
description:
The project aims at facilitating the design, development, validation and certification and the deployment of dependable embedded systems in safety-critical applications. ERCIM is one of the dissemination partners, joint workshops are fully funded by DECOS to achieve broad dissemination of DES WG and DECOS results and enable ERCIM members to attend events for free.
WG: Computational and Methodological Statistics
Project: ilflpiar
Funding: 1
Status: Finished
Date: 0000-00-00 to 0000-00-00
Contribution: 1
description:
1
WG: Image and Video Understanding
Project: MUSCLE
Funding: EU FP6 NOE
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 6.9 Mi
description:
MUSCLE aims at establishing and fostering closer collaboration between research groups in multimedia data mining and machine learning. The Network integrates the expertise of over forty research groups working on image and video processing, speech and text analysis, statistics and machine learning. The goal is to explore the full potential of statistical learning and cross-modal interaction for the (semi-)automatic generation of robust meta-data with high semantic value for multimedia documents.
Participating Organisations:
ERCIM - type: Other - budget: 0€
CWI - type: Research - budget: 0€
CNR - type: Research - budget: 0€
FORTH - type: Research - budget: 0€
INRIA - type: Research - budget: 0€
IUA - type: Research - budget: 0€
SpaRCIM - type: Research - budget: 0€
SZTAKI - type: Research - budget: 0€
VTT - type: Research - budget: 0€
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
Project: an open platform for the virtual physiological human
Funding:
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution:
description:
application mode: IST-2007.5. Virtual IST-2007.5. Virtual Physiological Human, set CP, subset IP
target: ICT second calls in 2007 (dead line september/october).
Klaus Wolf coordinator
tools to be integrated
* patient-specific data
image acquisition, information mining
* generic data, model generation
* image processing, 3DR
* mesh generation
* analysis, visualisation, and interpretation
Basic software architecture besed on
MpCCI and RCE (tools of SCAI)
Participating Organisations
FhG
INRIA
SARIT
Imperial College, Politechnico di Milano
Siemens
WG: Soft Computing
Project: (see Sect. G)
Funding:
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution:
description:
WG: Software Evolution
Project: Marie Curie RTN \"SeGraVis: Syntactic and Semantic Integratiom of Visual Modelling Techniques\"
Funding: EU
Status: Active
Date: 2002-01-01 to 2006-12-31
Contribution: 91614
description:
According to their focus and level of generality, the research and training objectives of SegraVis are distinguish into meta-level objectives, language-specific objectives, and domain-specific objectives.
The primary objective of the project is to develop meta-level solutions for the definition, integration, and implementation of visual modeling techniques, providing support for syntax, semantics, analysis, modularity, refinement, transformation, integration, and tool support
Meta-level solutions shall be employed to improve and integrate existing visual techniques, like the UML family of languages, graph-based languages and net-based languages
The third level of objectives is the use and evaluatation of visual modelling techniques in specific domains, like software evolution, software architecture, mobility, and natural computing.
Project: Marie Curie TOK-IAP 003169: “Leg2Net: From Legacy Systems to Services in the Net�
Funding: EU
Status: Active
Date: 2004-01-06 to 2008-05-31
Contribution: 417775
description:
Leg2Net resumes a partnership between industry and academia that, over several years, developed internationally recognised expertise in re-engineering of legacy applications and correct code generation from high-level specifications with the ability to target specific architectures and support an architecture-driven evolution of systems. The goal of Leg2Net is to make this expertise available to the wider IT community through postgraduate programmes of studies and industry-targeted training actions, and to develop a second generation of these methods and tools over service-based technologies that can be used to address the challenges that companies and organisations are facing for evolving their systems to operate and compete in the e-Economy.
Project: ITEA 04032 SERIOUS: Software Evolution, Refactoring, Improvement of Operational and Usable Systems
Funding: ITEA
Status: Active
Date: 2005-09-01 to 2008-08-31
Contribution: confidential
description:
Embedded systems are becoming increasingly complex, more diverse, and are frequently expanded to include more features. As a consequence, the software is constantly changing: rates of 10,000 lines of code changed per week are the norm for large software organizations. Unfortunately, high change rates inevitably erode a well-designed well-documented system and quickly turn it into a maintenance nightmare.
Many software development processes are now CMM certified. However these processes do not contribute to the long-term evolution of software. Indeed, the addition of new features sometimes introduces unexpected bugs, breaks design decisions, and distorts documentation. Consequently, it is hard to assess which software components should be *refactored* and to estimate the effort required to do so. Therefore, the SERIOUS project aims to develop methods, metrics and tools to maintain - even increase - the quality of the software during its evolution.
Project: COSE : Controlling Software Evolution
Funding: Swiss National Science Foundation
Status: Active
Date: 2005-07-01 to 2007-06-30
Contribution: 164000
description:
The goal of this project is to investigate means to analyze and control the evolution of a software system at various levels. Specifically, it aims to answer the following questions:
- How does the architecture of a software system evolve over time? What are signs of architectural decay and how can they be tracked down?
- How can hidden dependencies in a system that complicate and hinder its evolution be discovered? How can existing analysis methods be adapted, revised, or enhanced to enable that?
- How can the plethora of software data (source code, change and bug history, release data) be filtered and visualized? What are effective visualization models and techniques for that?
Project: Research Center on Structural Software Improvement
Funding: FNRS - Belgium
Status: Active
Date: 2005-01-01 to 2008-12-31
Contribution:
description:
This research center, funded by the Fondation de la Recherche Fondamentale Collective of the national science foundation of Wallonia, Belgium (FNRS) reconciles some of the common research interests of its three promoters in the areas of software evolution and logic meta programming. More specifically, the center will study formalisms for automated software restructuring, based on advanced refactoring and composition techniques, transformation formalisms and intensional views. It will enable the promoters to intensify existing collaborations between their research teams, and to forge new research links and collaborations with other universities in Belgium and abroad (in the research domains of software restructuring, as well as software evolution in general).
In the context of this research project we want to develop, with the help of our external collaborators, well-founded formalisms, techniques and tools to support and integrate software restructuring in the software development process. We will also take a look at software restructuring in an aspect-oriented context (migration of legacy software to aspect-oriented software, as well as evolution and restructuring of aspect-oriented software itself).
WG: Constraints
Project: Towards integrating Virtual Reality and optimisation techniques
Funding: EC
Status: Active
Date: 2006-09-01 to 2009-08-31
Contribution: 2320000
description:
The Net-WMS project proposes interactive optimization tools and prototype software that will form the basis for a new generation of WMS Networked Services. Net-WMS will handle networked communication and co-operation processes through the integration of decision-making technologies, generic 2D/3D and higher-dimensional placement constraint solvers, visualization and interaction with the solvers in virtual reality, packing models and knowledge modelling with business rules. Its scientific outcome will be relevant to the whole domain of combinatorial optimization and will have direct technological impact on Supply Chain Management at both the WMS and TMS levels, especially in the areas of packing, vehicle loading, space management, planning
Section B: Joint Publications
WG: Computational and Methodological Statistics
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Journal
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Conference-Workshop proceedings
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: ERCIM Technical report
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
Mr.
Author: 1
year: 0
Reference information: 1
Type: Other
Document (link to the URL): pvmjknwc
WG: Computational and Methodological Statistics
2nd Special issue on Numerical Algorithms, Parallelism and Applications
Author: Erricos John Kontoghiorghes and Bernard Philippe
Reference information: \\\"International Journal of Wavelets, Multiresolution and Information Processin
Type: Journal
Document (link to the URL):
Waterfall Segmentation of Complex Scenes
Author: Hanbury, Allan; Marcotegui, Beatriz;
year: 2006
Reference information: ACCV 06 Asian Conference on Computer Vision
Type: Journal
Document (link to the URL):
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
Study of pulsatile blood and injected medicine fluid flow in TACE therapy
Author: Tsai SF, Rani HP, Sheu TWH, Thiriet M
year: 2007
Reference information: Submitted to CMBBE
Type: Journal
Document (link to the URL):
WG: Software Engineering for Resilient Systems (SERENE)
RISE \'2005 - Rapid Integration of Software Engineering Techniques, proceedings of the 2d International Workshop, Heraklion, Crete, September 8-9, 2005
Reference information: Proc. International Workshop on Principles of Software Evolution (IWPSE 2005)
Type: Conference
Document (link to the URL): ftp://ftp.umh.ac.be/pub/ftp_infofs/2005/Mens2005IWPSE-Challenges.pdf
The LAN simulation: A refactoring teaching example
Author: S. Demeyer, F. Van Rysselberghe, T. Girba, J. Ratzinger, R. Marinescu, T. Mens, B. Du Bois, D. Janssens, S. Ducasse, M. Lanza, M. Rieger, H. Gall, M. Al-Ramly
year: 2005
Reference information: Proc. International Workshop on Principles of Software Evolution (IWPSE 2005)
Type: Conference
Document (link to the URL): ftp://ftp.umh.ac.be/pub/ftp_infofs/2005/Demeyer2005IWPSE.pdf
Software Evolution and Feedback: Theory and Practice
Author: N. H. Madhavji, J. Fernandez-Ramil, D. Perry
year: 2006
Reference information: Wiley 2006. ISBN 0-470-871806
Type: Other
Document (link to the URL): No URL available due to copyright reasons.
Detecting and resolving model inconsistencies using transformation dependency analysis
Author: Tom Mens, Ragnhild Van Der Straeten, and Maja D’Hondt
year: 2006
Reference information: Proc. MODELS 2006, LNCS 4199, pp. 200-214, Springer, 2006
Type: Conference
Document (link to the URL): No URL available due to copyright reasons.
An Experimental Investigation of UML Modeling Conventions
Author: C.F.J. Lange, Bart Du Bois, M.R.V. Chaudron, Serge Demeyer
year: 2006
Reference information: Proc. ACM/IEEE Int. Conf. MODELS 2006
Type: Conference
Document (link to the URL):
A Quantitative Investigation of UML Modeling Conventions
Author: Bart Du Bois, C.F.J. Lange, Serge Demeyer, M.R.V. Chaudron
year: 2006
Reference information: Proc. Workshop on Quality in Modeling. Selected as best workshop paper in Proc.
Type: Conference
Document (link to the URL):
EQ-Mine: Predicting short-term defects for software evolution
Author: Jacek Ratzinger, Martin Pinzger, Harald Gall
year: 2007
Reference information: Proc. Fundamental Approaches to Software Engineering, pp. 12-26, Braga, Portugal
Type: Conference
Document (link to the URL):
A Model of Maintainability - Suggestion for Future Research
Author: Mira Kajko-Mattsson and Gerardo Canfora and Dan Chiorean and Arie van Deursen and Tuomas Ihme and Meir M. Lehman and Rupert Reiger and Torsten Engel and Josef Wernke
year: 2006
Reference information: In Hamid R. Arabnia and Hassan Reza (Eds.). Software Engineering Research and Pr
Type: Other
Document (link to the URL):
Introduction to the Special on Software Architecture Reconstruction and Modeling
Author: Rick Kazman and Arie van Deursen and Rainer Koschke
Author: J. Ratzinger, T. Sigmund, P. Vorburger, and H. Gall
year: 2007
Reference information: Proc. International Symposium on Empirical Software Engineering and Measurement,
Type: Conference
Document (link to the URL):
WG: Constraints
Recent advances in Constraints
Author: B. Hnich, M. Carlsson, F. Fages, F. Rossi
year: 2006
Reference information: Springer Verlag LNAI 3978
Type: Conference
Document (link to the URL): http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-168961137-0
Section C: Organised Events
WG: Computational and Methodological Statistics
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Computational and Methodological Statistics
Kick-off meeting of the ERCIM Working Group on COMPUTING
Topic: COMPUTING
Type: Workshop
Date: 2007-04-20 to 2007-04-22
Place: Department of Econometrics, University of Geneva, Switzerland, April 20-22, 2007
Lecturer: 1. James MacKinnon, Queen\'s University,
Canada: \"Bootstrap Testing\"
2. Peter Rousseeuw, University of Antwerp, Belgium: \"Algorithms for Robust Multivariate Statistics\"
3. Dimitri Bertsekas, Massachusetts Institute of Technology, USA:
\"Very Large Systems of Linear Equations: Approximate Solution and Applications in Dynamic Programming\"
4. Claudio Albanese, Imperial College London, UK: \"Operator Methods and Long Dated Structured Products\"
5. John M. Mulvey, Princeton University, USA: Applying stochastic programming models to improve the performance of global hedge funds
Coverage: All topics within the Aims and Scope of the Working Group Computing
WG: Control and System Theory
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Computational and Methodological Statistics
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Dependable Software-Intensive Embedded Systems
ERCIM/DECOS Workshop at Euromicro 2006
Topic: Dependable Embedded Systems
Type: Workshop
Date: 2006-08-29 to 2006-08-29
Place: Dubrovnik (Cavtat), Croatia
Lecturer: Presentations achieved by \\\"CfP\\\", reviewed (see separate CfP and Workshop programme). Speakers invited resp. applying by response to CfP from Budapest University of Technology, University of Linz, University of Kiel, TU Vienna, NTNU Trondheim, ARC.
Coverage: Dependability Issues of Networked Embedded Systems: Research, Industrial Experience and Education. Presentations covered development, validation and certification, education (remote embedded systems lab etc.), demonstrations and animated videos on respect
DECOS/ERCIM DES-Workshop at SAFECOMP 2006
Topic: Dependable Embedded Systems
Type: Workshop
Date: 2006-09-26 to 2006-09-26
Place: Gdansk, Poland
Lecturer: Reviewed presentation from applications to CfP and by invitation: TTTech, University of Kiel, TU Vienna, TU Budapest, ARC, NTNU,
Coverage: Dependable Embedded Systems: Modelling, Design, Development and Validation (Certification) (morning) and Embedded Systems Education and Training (afternoon), concluding panel discussion. Included demonstrations, several animated videos and a small exhibit
Embedde Systems Day, at ME\'06
Topic: Dependable Embedded Systems (Research, Applications, Key Note)
Type: Conference
Date: 2006-10-12 to 2006-10-12
Place: Reed Messe (Vienna Trade Fair), Vienna
Lecturer: Neeraj Suri, TU Darmstadt, \"A Line in the Sand: Chalking the Future of Embedded Systems\"; 12 other presentations (Call for Papers, review process, IEEE/Springer Cooperation in Proceedings) from all over Europe (including Poster Session), 6 from ERCIM members. ERCIM Poster, Information displayed and distributed, mentioned during introduction.
Coverage: Embedded systems Topics from architectural design, validation
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG:
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Conference
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Computational and Methodological Statistics
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Summer school
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Environmental Modelling
13th ERCIM Environmental Modelling Group Workshop
Topic: Data and Model Coupling using Grid Workflows
Type: Workshop
Date: 2006-08-31 to 2006-09-01
Place: Fraunhofer FIRST, Berlin, Germany
Lecturer:
Coverage: Members of the working group participated along with researchers from Fraunhofer FIRST and their co-operation partners in order to present their recent research work and to discuss the current trends and developments in the field of environmental modellin
WG: Formal Methods for Industrial Critical Systems
11th International Workshop on Formal Methods for Industrial Critical Systems
Topic: Formal Methods
Type: Workshop
Date: 2006-08-26 to 2006-08-27
Place: Bonn, Germany
Lecturer: Anna Slobodova, INTEL, Challenges for Formal Verification in Industrial Setting
Edward A. Lee (joint with Concur), Making Concurrency Mainstream
Coverage: The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists who are active in the area o
FMICS Session in THE NINTH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY
Topic: Formal Methods
Type: Other
Date: 2007-06-25 to 2007-03-30
Place: San Diego, USA
Lecturer: Tiziana Margaria
Alvaro Arenas
Pedro Merino
Coverage:
FMICS Session during ISOLA 2006
Topic: Formal Methods
Type: Other
Date: 2006-11-18 to 2006-11-18
Place: Paphos, Cyprus
Lecturer:
Coverage:
WG: Image and Video Understanding
MUSCLE Plenary and Scientific Meeting
Topic: Annual scientific meeting
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: Paris
Lecturer:
Coverage: Image and video analysis and interpretation, audio and speech analysis, machine learning for MM analysis
MUSCLE-DELOS Summerschool on \"Multimedia Digital Libraries: Machine Learning and Cross-modal Technologies for Access and Retrieval\"
Topic: Machine Learning and Cross-modal Technologies for Access and Retrieval of Multimedia Information
Type: SummerSchool
Date: 0000-00-00 to 0000-00-00
Place: San Vincenzo, Italy
Lecturer: James Wang Pennsylvania State University, USA
Fernando Pereira Instituto Superior Tecnico, Lisboa, Portugal
Nicu Sebe University of Amsterdam, The Netherlands
Milind Naphade IBM, USA
Alex Hauptmann Carnegie Mellon University, USA
Padraig Cunningham Trinity College Dublin, Ireland
Jia Li Pennsylvania State University, USA
Alan Smeaton Dublin City University, Ireland
Coverage:
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
multiphysics simulation in biomedical applications
Topic: software coupling
Type: Workshop
Date: 2006-11-21 to 0000-00-00
Place: Mosbach
Lecturer:
Coverage: Multiphysics simulation means usage of different solvers, thereby, coupling,
IM2IM meeting embedded in Spring ERCIM days
Topic: modeling and simulation in health
Type: Workshop
Date: 2007-05-14 to 2007-05-15
Place: EPFL, Lausanne, Suisse
Lecturer:
Coverage: Computing for Health
Virtual Physiological Human
WG: Software Engineering for Resilient Systems (SERENE)
RISE 2006 International Workshop
Topic: Rapid Integration of Software Engineering techniques
Type: Workshop
Date: 2006-09-13 to 2006-09-15
Place: University of Geneva, Switzerland
Lecturer: * Levi Lucio, University of Geneva, Integration of Semi-Formal and Formal Methods
* Hans Vangheluwe, University Mc Gill: Model Everything! Exploring Multi-Paradigm Modelling
Coverage: RISE 2006 is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches, being part of a methodological framework.
WG: Security and Trust Management
Security and trust management workshop STM06
Topic: Security and trust management
Type: Workshop
Date: 2006-09-20 to 2006-09-21
Place: Hamburg, Germany
Lecturer: \"Addressing Security and Trust Requirements in WSN\" by Javier Lopez - University of Malaga
\"Distributed Usage Control\" by by Alexander Pretschner - ETH Zurich
Coverage: 35 participatns, co-located with the main conference in Security in Europe.
http://www.hec.unil.ch/STM06/index.htm
6th International School on Foundaitons of Security Analysis and Design
Topic: security and trust
Type: SummerSchool
Date: 2006-09-10 to 2006-09-16
Place: Bertinoro, Italy
Lecturer: Main Courses
1. Martin Abadi
Security Protocols: Principles and Calculi
2. David Chaum
Anonymity and Privacy
3. Liqun Chen
Identity-based Cryptography
4. Pierpaolo Degano
A Static Approach to Secure Service Composition
5. Sandro Etalle
Rule-based Trust Management with RT
6. Audun Josang
Trust and Reputation Systems
7. Daniel Le Metayer
Systematic Security Analysis Method
8. Javier Lopez
Critical Infrastructures Protection
Coverage: A school with each year 80 requests and just seats for 50
Mr.
Topic: 1
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: 1
Lecturer: 1
Coverage: 20
WG: Soft Computing
5th ERCIM workshop on soft computing
Topic: Theory and applications of soft computing
Type: Workshop
Date: 2006-09-13 to 2006-09-15
Place: Malaga, Spain
Lecturer: S.Aguzzoli, D. Dubois, L.Godo
Coverage: Mathematical fuzzy logic, generalizations of t-norms,
fuzzy truth masnagement systems,
algebraic aspects,
theory of vagueness,
neuro-fuzzy systems etc.
WG: Software Evolution
ERCIM Workshop on Software Evolution 2007
Topic: software evolution
Type: Workshop
Date: 2007-10-05 to 2007-10-05
Place: Paris, France
Lecturer: To be determined.
Coverage: The aim of the third edition of this annual international event is to gather people from academia and industry to identify and discuss recent advancements and emerging trends in the state-of-the-art in research and practice in software evolution. Workshop
Workshop on Model-Driven Software Evolution (MoDSE 2007)
Coverage: The main objective of this workshop, held in conjunction with CSMR 2007, is to explore how can model-driven engineering (MDE) enforce and enhance software evolution. Software evolution is an important and inevitable research area. It increases in complexi
3rd International Workshop on Software Evolution through Transformations (SETra 2006)
Lecturer: \\\"Refactoring Information Systems\\\" by
Michael Löwe
Coverage: Transformation-based techniques such as refactoring, model transformation, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop provides a
FIRST.dk Workshop on Software Evolution
Topic: software evolution
Type: Other
Date: 2006-12-14 to 2006-12-14
Place: IT University, Copenhagen, Denmark
Lecturer: Tom Mens, David Notkin
Coverage: A one-day PhD student workshop on software evolution organised by the FIRST Research School.
FIRST stands for Foundations for Innovative Research-based Software Technologies, and the research school is a concerted effort of both academia and industry to
WG: Constraints
International worksop on Constraint solving and constraint logic programming
Topic: Constraints
Type: Workshop
Date: 2006-06-26 to 2006-06-28
Place: Caparica, Portugal
Lecturer: Barry O\'Sullivan
Nicolas Beldiceanu
Ludwig Krippahl
Coverage:
WG: Models and Logics for Quantitative Analysis
Kick-Off meeting of MLQA
Topic: Finalising the application to become an ERCIM Working Group
Type: Workshop
Date: 2009-03-28 to 2009-03-28
Place: Part of ETAPS in York (United Kingdom)
Lecturer: Flemming Nielson - an overview of MLQA
Stephen Gilmore - stochastic analysis in PEPA
Carolyn Talcott - statistical model checking in Maude
Rocco De Nicola - process algebras for stochastic features
Diego Latella - applications to service oriented systems
Holger Hermanns - applications to embedded systems
Paola Quaglia - applications to biological systems
Topic 1 : Numerical Linear Algebra (Sparse Matrix Theory, Direct and Iterative Solvers for Large and Sparse Linear Systems of Equations, Eigenvalues and Eigenvectors for Large Scale Problems, Solution of Polynomial Systems of Equations)
Topic 3 : Continuous Optimization and Optimal Control (Interior Point Methods for Large-scale Linear, Quadratic and nonlinear Programming, SQP Methods for Nonlinear Programming, Numerical Methods for Optimal Control)
Topic 1 : Generic problems in statistics (Model selection, Outliers detection, Regression diagnostics, Linear and non linear model estimation, Error analysis and error propagation, Correspondence analysis, Principal components analysis, Cross-validation)
Topic 2 : Considered applications (Signal processing, Econometrics, Quantitative finance, Data filtering, Information retrieval, Statistical data mining, Data compression and representation, Bioinformatics)
Topic 3 : Linear algebra (Linear least squares problems, Generalized inverse, Singular Value Decomposition, Eigenvalue problems, Optimization, Iterative methods, Sparse matrix computations); Parallel computing.
WG: Control and System Theory
Topic 1 : Control of hybrid systems and of discrete-event systems
Topic 2 : System identification, realization, and signal processing
Topic 3 : Control of linear and nonlinear deterministic systems, and control of stochastic systems.
WG: Computational and Methodological Statistics
Topic 1 : Content and portal programming and visualization
Topic 2 : E-Learning system integration
Topic 3 : Web-based interactive learning tools
Topic 4 : Virtual and augmented reality systems for E-Learning & E-Training
WG: Formal Methods for Industrial Critical Systems
Topic 1 : Design and integration of formal methods and tools for the specification, computer-aided analysis and automated implementation of reactive systems and distributed algorithms
Topic 2 : Technology transfer of these methods and tools for the industry, including their application to assess safety-critical systems and their connection to computer languages and software engineering techniques already established in industry
Topic 3 : Real time programming, software specification, analysis and testing, distributed and parallel systems
Topic 4 : Interoperability platforms for tool-based analysis, verification and test
Fellows
Name: Christophe Joubert
Type: Visiting
Institute 1: University of Malaga - SpaRCIM - 2006-01-02 to 2007-03-15
Name: Jaco van de Pol
Type: Visiting researcher
Institute 1: Masaryk University - CRCIM - 2006-12-11 to 2006-12-22
Name: Jakub Chaloupka
Type: Visiting researcher
Institute 1: CWI - 2006-11-01 to 2007-03-15
Name: Tiziana Margaria
Type: Visiting researcher
Institute 1: University of Malaga - 2006-06-05 to 2006-06-09
WG: Image and Video Understanding
Topic 1 : Content-based image and video indexing and retrieval
Topic 2 : Content-aware visual information processing
Topic 3 : Visual recognition and learning of objects and activity classes (e.g. in human-computer interfaces)
Topic 4 : Vision-based decision and control (e.g. in inspection or surveillance)
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
Topic 1 : Benchmark definition and solver selection for fluid and solid mechanics applied to physiological flows
Topic 3 : Vessel-axis-based medical image processing for Computational BioFluid Dynamics
Topic 4 : Mesh adaptation and error estimation
WG: Software Engineering for Resilient Systems (SERENE)
Topic 1 : Software engineering techniques/methods that can be considered (Softwares/Systems Architecture, Model Transformation/Model Driven Engineering, Reuse, Testing, Requirement Engineering, Web systems, Mobility in Communication Systems, high availability syste
Topic 2 : Specific industry sectors of interest (financial & insurance, telecommunications, avionics, automotive, eGovernment)
Topic 3 : Specific application domains (Web systems, ambient systems, e-Health, mobility in communication systems, high availability systems, embedded systems)
WG: Security and Trust Management
Topic 1 : Rigorous semantics and computational models for security and trust
Topic 2 : Security and trust management architectures, mechanisms and policies
Topic 3 : Networked systems security
Topic 4 : Privacy and Identity Management
WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)
Topic 1 : Intelligence and adaptation (user modelling, activity and intention recognition, preferences, decision making, learning systems, context inference)
Topic 2 : Privacy issues and methods for sensor-augmented environments
Topic 2 : Development of novel interaction techniques and metaphors
Topic 3 : Software engineering and programming languages
Topic 4 : Usability evaluation
WG: Dependable Software-Intensive Embedded Systems
Topic 1 : Dependability analysis and evaluation of software-intensive (embedded) systems
Topic 2 : Product assurance and Validation and Verification Lab for (critical) software-intensive (embedded) systems
Topic 3 : Real-time systems (HW/SW Co-design) for time critical, dependable applications (computer vision, intelligent antennas) (design, development, modeling and simulation of such systems)
Topic 4 : COTS and Reuse in dependable embedded RT systems
WG: Environmental Modelling
Topic 1 : Environmental risk management, pollution analysis and forecast
Topic 4 : Information systems applications including GIS
WG: Constraints
Topic 1 : Constraint techniques for combinatorial optimization
Topic 2 : Constraint programming languages
Topic 3 : Constraint solvers
Topic 4 : Constraints and visualization
Fellows
Name: Andras Kovacs
Type: ERCIM fellow
Institute 1: 4C Cork University, Ireland - 2006-01-02 to 2006-08-31
Institute 2 : INRIA Rocquencourt - 2006-09-01 to 2007-05-31
WG: Security and Trust Management
Topic 1 : Mobile applications (eHealth and Medical imaging, mobile multimedia, telematics, location-based / context-aware services and applications)
Topic 2 : Middleware
Topic 3 : Mobility Management including handover management, roaming, ambient networks and localization
Topic 4 : Quality-of-Service and traffic engineering in wireless networks
WG: Models and Logics for Quantitative Analysis
Topic 1 : Models and Logics for Discrete Analysis - the interplay between model checking, static analysis and theorem proving
Topic 2 : Models and Logics for Stochastic Analysis - methods and techniques for enhancing the analysis of non-deterministic and stochastic systems (including Continuous-time Markov Decision Processes)
Topic 3 : Models and Logics for Continuous Analysis - methods and techniques for enhancing the analysis of non-deterministic and stochastic systems (including Hybrid Systems)
Section E: Visibility
WG: Computational and Methodological Statistics
WG Web Site: http://www.cmstatistics.org/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Computational and Methodological Statistics
WG Web Site: http://www.cmstatistics.org/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Constraints
WG Web Site: http://wiki.ercim.org/wg/Constraints/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
Description: Flyer of the Net-WMS project
Demonstrations
n/a
WG: Control and System Theory
WG Web Site: http://www.ladseb.pd.cnr.it/control/ercim/control.html
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Computational and Methodological Statistics
WG Web Site: http://www.cmstatistics.org/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Security and Trust Management
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Dependable Software-Intensive Embedded Systems
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG:
WG Web Site:
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Computational and Methodological Statistics
WG Web Site: http://www.cmstatistics.org/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Security and Trust Management
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Software Engineering for Resilient Systems (SERENE)
WG Web Site: http://serene.uni.lu
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG:
WG Web Site:
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Environmental Modelling
WG Web Site: http://www.iit.cnr.it/STM-WG/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Formal Methods for Industrial Critical Systems
WG Web Site: http://fmics.inria.fr
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Image and Video Understanding
WG Web Site: http://wiki.ercim.eu/wg/MUSCLE/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
WG Web Site: http://wiki.ercim.org/wg/IM2IM/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)
WG Web Site: http://www.ics.forth.gr/sesami/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Soft Computing
WG Web Site: http://www.cs.cas.cz/ercim/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Software Evolution
WG Web Site: http://wiki.ercim.org/wg/SoftwareEvolution
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG:
WG Web Site:
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Models and Logics for Quantitative Analysis
WG Web Site: http://wiki.ercim.eu/wg/MLQA/index.php/Main_Page
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG:
WG Web Site:
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Media Technology and Edutainement
WG Web Site: http://wiki.ercim.eu/wg/MTE
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
Section F: Cooperation with Commercial Companies and Public Services
WG: Computational and Methodological Statistics
1
WG: Computational and Methodological Statistics
n/a
WG: Constraints
Cooperation with Peugeot PSA France, Fiat Italy and KLS Optim in the framework of the Net-WMS FP6 strep project.
WG: Control and System Theory
n/a
WG: Computational and Methodological Statistics
n/a
WG: Security and Trust Management
n/a
WG: Dependable Software-Intensive Embedded Systems
Increasing ERCIM visibility (AARIT at European Commission events, industrial events, at exhibitions with DECOS/ARC at governmental industrial fairs)
Austrian Research Centers (ARC), founding member of AARIT, attended five major exhibitions on conferences presenting embedded systems technology:
5.-6.10.2006 ITEA2, the large annual conference and exhibition of the EU-ITEA project community, as invited IST-project DECOS.
12.10.2006 Vienna-tec fair and exhibition (with ME\'06 workshop)
18.10.2006 Focus on Vehicle Electronics, Baden-Baden, Germany (Automotive Community: Industry and research)(VDI)
25.-26.10.2006 Autotest, Stuttgart, Germany (Automotive Community: Industry and research)(TU Stuttgart, VDA)
21.-23.11.2006 Annual IST Conference 2006 in Helsinki
30.11.2006 “Reach out for new dimensions�, Kick-off event for EU-FP7, Vienna, National Research Funding Organization
The automotive conferences attracted quite a lot of participants from the automotive industrial and research community (about 250 each), the ITEA2 conference about 500 participants from European research, industry and CEC officials and policy makers. The IST 2006 conference was the largest one in the line of IST conferences with more than 4000 participants and many parallel sessions and a large, impressive exhibition. ARC as AARIT board member seized the chance for ERCIM to be presented at all exhibitions associated with the conferences, together with its embedded systems and automotive-related research activities. ERCIM involvement was visible via the roll-up, posters, leaflets and ERCIM News for distribution.
WG:
n/a
WG: Computational and Methodological Statistics
1
WG: Security and Trust Management
n/a
WG: Software Engineering for Resilient Systems (SERENE)
n/a
WG:
n/a
WG: Environmental Modelling
n/a
WG: Formal Methods for Industrial Critical Systems
The Software Engineering Group of the University of Malaga participated in two collaboration projects with the company Cetecom (renamed to AT4Wireless). The main topic of the projects was the use of ITU-T languages and validation tools to develop the stacks of signalling protocols in the access network in cellular systems.
See summary in \"Validating Complex Telecommunication Software\"
by Sergio Contreras, María del Mar Gallardo, Pedro Merino, David Sanán, Javier Rivas and Joaquín Torrecilla, ERCIM News 66, pag. 62
WG: Image and Video Understanding
n/a
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
n/a
WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)
n/a
WG: Soft Computing
n/a
WG: Software Evolution
The following commercial companies are official members of our Working Group:
ATX Software S.A., contact person: Tareco Fernando, Portugal
Microsoft Corp., contact person: Laemmel Ralf, Redmond, USA
IMEC, contact person: Wuyts Roel, Belgium
Obeo, contact person: Lacrampe Stephane, France
Apart from this, many of our working group members have ongoing research projects with industrial partners. I do not know whether more precise information about this is required.