Conferences and events for the international Ada community
This is a list of announcements, calls for papers, calls for
participation, programs, etc., of events that may be of interest
for the Ada community world-wide.
If you are only interested in Ada-Belgium events, check the
Ada-Belgium Meetings and Conferences
page.
If you want an overview of what's new, check this
list of recent changes and additions.
Periodically, a list of European and large world-wide events is
extracted here and reprinted in the "Conference Calendar" section of the
Ada User Journal.
![[Ada focus]](/~dirk/.image/ladyada-circle.gif)
and
![[Ada related]](/~dirk/.image/ladyada-icon2.gif)
indicate events resp. with a strong Ada focus and with topic(s) where
Ada has a strong advantage, in other words: consider attending or
submitting proposals there!
![[NEW!]](/~dirk/.image/new.gif)
![[NEW]](/~dirk/.image/new-s.gif)
and
![[UPDATE]](/~dirk/.image/upd-s.gif)
indicate recently added or modified entries
(i.e., within the last few weeks).
Announcements of
past events
remain available for some time (as disk space permits).
Copyright © 1994-2009 by
Dirk Craeynest
All Rights Reserved.
Major annual Ada-related events
2010
Madrid, Spain
Co-located with POPL'2010
Topics include: program verification, program certification, model
checking, debugging techniques, abstract interpretation, static
analysis, type systems, etc.
Deadline for submissions: August 14, 2009 (abstracts), August 21,
2009 (papers)
Deadline for early registration: December 22, 2009
Brisbane, Australia
Topics include: Multicore; Middleware and tools; Performance evaluation;
Parallel programming models, languages and compilers; Runtime systems;
Reliability, security and dependability; Applications; etc.
Deadline for submissions: August 17, 2009 (full papers)
Madrid, Spain
Topics include: all aspects of programming languages and systems, with
emphasis on how principles underpin practice.
Deadline for submissions: March 16, 2009 (co-located events), July
8, 2009 (abstracts), July 15, 2009 (papers)
Deadline for early registration: December 22, 2009
Pisa, Italy
Topics include: Compilation techniques for embedded processors;
Compilation and runtime support for multi- and many-core architectures;
Tools and techniques for simulation and performance analysis; Tools for
analysis, design, testing and implementation of embedded systems; etc.
Deadline for submissions: November 13, 2009
Spindleruv Mlyn, Czech Republic
Includes tracks on: Foundations of Computer Science; Principles of
Software Construction; etc.
Deadline for submissions: June 30, 2009 (abstracts), July 7, 2009
(full papers)
Munich, Germany
Theme: "Productivity: People, Process, and Technology"
Deadline for early registration: December 4, 2009
Pohang, South Korea
Deadline for submissions: November 10, 2009
London, UK
Deadline for registration: January 26, 2010
San Francisco Bay Area, USA
WOSP/SIPEW is established as a joint meeting of the ACM Workshop on
Software and Performance (WOSP) and the SPEC International
Performance Evaluation Workshop (SIPEW).
Deadline for submissions: July 7, 2009 (papers, tutorials)
Deadline for early registration: December 31, 2009
Pisa, Italy
Topics include: security architecture and design for software and
systems, systematic support for security best practices, programming
paradigms for security, processes for the development of secure software
and systems, etc.
Deadline for submissions: September 15, 2009 (abstracts), September
30, 2009 (papers), October 24, 2009 (tutorials)
Deadline for early registration: January 10, 2010
Brussels, Belgium
FOSDEM 2010 is a two-day event (Sat-Sun Feb 06-07). Ada-Belgium's
proposal for another dedicated 2-day Ada Developer Room is still
available on our event's page, but as it wasn't accepted by the FOSDEM
organizers this year's edition will unfortunately not include an Ada
track...
Krakow, Poland
Includes track on: Software Engineering for Distributed Systems.
Deadline for paper submissions: September 1, 2009
-
2010/02/15:
CISIS2010 - International Workshop on Multi-Core Computing Systems
(MuCoCoS'2010)
Topics include: multi-core embedded systems; programming languages and
models; applications for multi-core systems; performance modeling and
evaluation of multi-core systems; design space exploration;
tool-support for multi-core systems; compilers, runtime and operating
systems; etc.
Deadline for submissions: September 28, 2009
-
2010/01/15?18:
CISIS2010 - 4th Workshop on Engineering Complex Distributed Systems
(ECDS'2010)
Topics include: Software engineering approaches such as design
patterns, methodologies (e.g. MDA), and best practices; Software
architectures for distributed systems; Tools and environments;
Experience reports and case studies; etc.
Deadline for submissions: September 1, 2009 (papers)
Krakow, Poland
Topics include: techniques, experiences and lessons learned for building
secure and dependable software, such as on Secure architecture and
design, Secure implementation, Static and dynamic analysis for security,
Verification and assurance techniques for security properties, Lessons
learned, Teaching secure software development, etc.
Deadline for paper submissions: September 30, 2009
Pisa, Italy
Topics include: Parallel Computer Systems (embedded parallel and
distributed systems, fault-tolerance, multi/many core systems, ...);
Models and Tools for Parallel Programming Environments: Advanced
Applications (numerical applications with multi-level parallelism, real
time distributed applications, distributed business applications, ...);
Languages, Compilers and Runtime Support Systems (parallel languages,
object-oriented languages, dependability issues, scheduling, ...); etc.
Deadline for paper submissions: July 27, 2009
Paderborn, Germany
Deadline for submissions: October 18, 2009 (abstracts, papers,
workshops), January 11, 2010 (workshop papers)
Deadline for early registration: January 31, 2010
Leuven, Belgium
Organized by the Computer Science Department of the K.U.Leuven and the
Ada-Belgium organization with support from AdaCore and Altran Praxis.
Topics include: the technical advantages of these programming languages,
the tools and support available for academics, as well as case studies
of their academic and industrial use.
Orford, Québec, Canada
Topics include: the cross-fertilization of Abstract State Machines
(ASM), Alloy, B and Z, four related state-based and machine-based formal
methods.
Deadline for submissions: September 30, 2009 (full papers), October
11, 2009 (extended abstracts for short presentations), November 17, 2009
(tutorials)
Mysore, India
Topics include: Software Architecture and Design, Development Paradigms
and Processes, Component Based Software Engineering, Case Studies and
Industrial Experience, Testing and Static Analysis, Specification and
Verification, Model driven Software engineering, Tools and
Environments, Maintenance and Evolution, Quality Management,
Object-Oriented Technology, etc.
Deadline for submissions: September 15, 2009 (abstracts), October 1,
2009 (papers, posters, demo abstracts)
Pau, France
Deadline for submissions: October 15, 2009 (abstracts), October
21, 2009 (papers)
Pittsburgh, PA, USA
Theme: "Bridging the Gap between Academia and Industry in Software
Engineering Education and Training"
Topics include: Curriculum and teaching materials, Software engineering
professionalism, Internship and projects for students and graduates,
Case studies of educational or training practices, Industry-academia
collaboration models, etc.
Deadline for submissions: October 1, 2009 (research papers,
experience reports, short papers), October 15, 2009 (workshops, panels,
tutorials)
Milwaukee, Wisconsin, USA
Madrid, Spain
Topics include: Experience reports and empirical studies on maintenance,
reengineering, and evolution; Description of education-related issues to
evolution, maintenance and reengineering; Mechanisms and techniques for
reengineering systems as services; etc.
Deadline for submissions: October 9, 2009 (abstracts), October 16,
2009 (full papers), October 23, 2009 (workshops, industry track
submissions, tool demonstrations, doctoral symposium, European Projects
track)
Rennes/St. Malo, France
Deadline for submissions: October 9, 2009 (research papers),
December 18, 2009 (demonstrations), January 19, 2010 (studentships),
January 20, 2010 (project collaboration events, spring school extended
abstracts), January 25, 2010 (posters)
Paphos, Cyprus
Events include: FOSSACS, Foundations of Software Science and
Computation Structures; FASE, Fundamental Approaches to Software
Engineering; ESOP, European Symposium on Programming; CC, International
Conference on Compiler Construction; TACAS, Tools and Algorithms for
the Construction and Analysis of Systems.
Deadline for submissions: February 10, 2009 (satellite events),
October 1, 2009 (abstracts), October 8, 2009 (full papers)
-
2010/03/20-21:
ETAPS2010 - 9th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT'2010)
Topics include: the use of graph-based notation, techniques, and
tools for the specification, modeling, validation, manipulation and
verification of complex systems.
Deadline for submissions: December 11, 2009 (abstracts), December
18, 2009 (papers)
-
2010/03/21:
ETAPS2010 - Programming Language Approaches to Concurrency and
communication-cEntric Software (PLACES'2010)
Topics include: the general area of foundations of programming
languages for concurrency, communication and distribution, such as
language design and implementations for communications and/or
concurrency, program analysis, multicore programming, concurrent data
types, integration of sequential and concurrent programming, etc.
Deadline for submissions: January 15, 2010 (abstracts)
-
2010/03/27:
ETAPS2010 - 2nd Workshop on Generative Technologies (WGT'2010)
Topics include: Generative programming, metaprogramming; Analysis of
language support for generative programming; Case Studies and
Demonstration Cases; etc.
Deadline for submissions: November 23, 2009 (full papers, tool
demo papers)
-
2010/03/27:
ETAPS2010 - 5th Workshop on Bytecode Semantics, Verification, Analysis
and Transformation (Bytecode'2010)
Topics include: theoretical and practical aspects of semantics,
verification, analysis, certification and transformation of bytecode.
Deadline for submissions: December 14, 2009 (abstracts), December
21, 2009 (papers)
-
2010/03/27:
ETAPS2010 - 9th International Workshop on Compiler Optimization Meets
Compiler Verification (COCV'2010)
Topics include: optimizing and verifying compilation, and related
fields such as translation validation, certifying and credible
compilation, programming language design and programming language
semantics, etc.
Deadline for submissions: February 1, 2010 (abstracts), February
8, 2010 (papers)
-
2010/03/27:
ETAPS2010 - 7th International Workshop on Formal Engineering
approaches to Software Components and Architectures (FESCA'2010)
Topics include: Software quality attributes such as reliability,
performance, or security; Interface compliance; Approaches for
correctness by construction; Static and dynamic analysis; Runtime
management of applications; etc.
Deadline for submissions: December 7, 2009 (paper registrations),
December 11, 2009 (papers)
-
2010/03/27-28:
ETAPS2010 - 8th Workshop on Quantitative Aspects of Programming
Languages (QAPL'2010)
Topics include: probabilistic, timing and general quantitative aspects
in Language design, Multi-tasking systems, Language expressiveness,
Verification, Time-critical systems, Safety, Embedded systems, Program
analysis, Risk and hazard analysis, Scheduling theory, Distributed
systems, Model-checking, Security, Concurrent systems, etc.
Deadline for submissions: December 21, 2009 (papers)
-
2010/03/27-28:
ETAPS2010 - 10th Workshop on Language Descriptions, Tools and
Applications (LDTA'2010)
Topics include: applications of and tools for meta programming in a
broad sense, such as Program analysis, transformation, generation and
verification; Reverse engineering and reengineering; Refactoring and
other source-to-source transformations; Language definition and
language prototyping; Debugging, profiling and testing; etc.
Deadline for submissions: November 27, 2009 (abstracts), December
4, 2009 (papers)
![[CH]](/~dirk/.face/ch.gif)
2010/03/22-26:
25th ACM Symposium on Applied Computing (SAC'2010)
Sierre and Lausanne, Switzerland
-
2010/03/22-26:
SAC2010 - Track on Object-Oriented Programming Languages and Systems
(OOPS'2010)
Topics include: Language design and implementation; Type systems,
static analysis, formal methods; Integration with other paradigms;
Components and modularity; Distributed, concurrent or parallel
systems; Interoperability, versioning and software adaptation; etc.
Deadline for submissions: September 15, 2009 (full papers)
-
2010/03/22-26:
SAC2010 - Track on Software Engineering (SE'2010)
Topics include: technologies, theories, and tools used for producing
highly dependable software more effectively and efficiently; such as
Safety and Security; Dependability and Reliability; Fault Tolerance
and Availability; Architecture, Framework, and Design Patterns;
Standards; Maintenance and Reverse Engineering; Verification,
Validation, and Analysis; Formal Methods and Theories; Component-Based
Development and Reuse; Empirical Studies, and Industrial Best
Practices; etc.
Deadline for submissions: September 8, 2009 (full papers)
-
2010/03/22-26:
SAC2010 - Track on Real-Time Systems (RTS'2010)
Topics include: all aspects of real-time systems design, analysis,
implementation, evaluation, and case-studies, including scheduling and
schedulability analysis; worst-case execution time analysis; modeling
and formal methods; validation techniques; reliability; compiler
support; component-based approaches; middleware and distribution
technologies; programming languages and operating systems; embedded
systems; etc.
Deadline for submissions: September 8, 2009 (full papers)
-
2010/03/22-26:
SAC2010 - Track on Programming Languages (PL'2010)
Topics include: Compiling Techniques, Formal Semantics and Syntax,
Garbage Collection, Language Design and Implementation, Languages for
Modeling, Model-Driven Development and Model Transformation, New
Programming Language Ideas and Concepts, Practical Experiences with
Programming Languages, Program Analysis and Verification, Programming
Languages from All Paradigms, etc.
Deadline for submissions: September 8, 2009 (papers)
-
2010/03/22-26:
SAC2010 - Track on Software Verification and Testing (SVT'2010)
Topics include: development of technologies to improve the usability
of formal methods in software engineering, tools and techniques for
verification of large scale software systems, real world applications
and case studies applying software verification, static and run-time
analysis, correct by construction development, software certification
and proof carrying code, etc.
Deadline for submissions: September 15, 2009 (papers)
-
2010/03/22-26:
SAC2010 - Track on Coordination Models, Languages and Applications
Deadline for submissions: September 15, 2009 (papers)
-
2010/03/22-26:
SAC2010 - 5th Track on Dependable and Adaptive Distributed Systems
(DADS'2010)
Topics include: Data replication strategies, interfaces, and
standards; Group communication and group membership services in
failure scenarios with network partitions; Foundations and formal
methods (e.g. rigorous development of dependable systems, verification
and refinement of fault tolerant systems, techniques and mechanisms
ensuring application level fault tolerance); System design, modeling,
development and tool support for dependable and adaptive systems, etc.
Deadline for submissions: September 8, 2009 (papers)
Oxford, UK
Topics include: Component-Based System Design; Design Evolution;
Distributed Systems Design; ECBS Infrastructure (Tools, Environments);
Education & Training; Embedded Real-Time Software Systems; Integration
Engineering; Model-Based System Development; Modelling and Analysis of
Complex Systems; Open Systems; Reengineering & Reuse; Reliability,
Safety, Dependability, Security; Standards; Verification & Validation;
etc.
Deadline for submissions: November 1, 2009 (abstracts), November 10,
2009 (papers)
Deadline for early registration: February 22, 2010
Fukuoka, Japan
Topics include: Parallel and Distributed Computing, Security
Engineering, Reliability Engineering, Software Engineering, etc.
Deadline for submissions: August 28, 2009 (session proposals),
October 31, 2009 (papers)
Deadline for early registration: January 8, 2010
Oxford, UK
Topics include: Verification and validation, Reverse engineering and
refactoring, Design by contract, Safety-critical & fault-tolerant
architectures, Real-time and embedded systems, Tools and tool
integration, Industrial case studies, etc.
Deadline for submissions: October 23, 2009 (abstracts), October 30,
2009 (papers)
-
2010/03/24:
ICECCS2010 - 5th Workshop on UML and AADL (UML&AADL'2010)
Topics include: Model-based methodologies, Real-time Software/System
development issues, Model transformation and generative approaches,
Scheduling analysis and Worst-case execution time prediction, Tool
chains facilitating architecture centric development, etc.
Deadline for submissions: October 30, 2009
Paris, France
Topics include: Verification & validation, Quality assurance, Empirical
studies, Inspections, Tools, Embedded software, Novel approaches to
software reliability assessment, etc.
Deadline for submissions: September 25, 2009 (abstracts, workshops),
October 2, 2009 (full papers)
Auckland, New Zealand
Topics include: Empirical Research in Software Engineering; Formal
Methods; Legacy Systems and Software Maintenance; Measurement, Metrics,
Experimentation; Object and Component-Based Software Engineering; Open
Source Software Development; Quality Assurance; Real-Time and Embedded
Software; Software Design and Patterns; Software Engineering Education;
Software Re-use and Product Development; Software Risk Management;
Software Security, Safety and Reliability; Software Verification and
Validation; Software Vulnerabilities; Standards and Legal Issues;
Testing, Analysis and Verification; etc.
Deadline for submissions: October 16, 2009 (research papers,
tutorials, workshops), December 7, 2009 (industry papers, doctoral
symposium)
Staffordshire, UK
Topics include: any relevant aspect of empirical studies of software
engineering.
Deadline for submissions: January 4, 2010 (full papers), January 25,
2010 (short papers)
Cuenca, Ecuador
Topics include: Software Evolution and Maintenance; Code Generation;
Reverse Engineering and Legacy Systems Evolution; Languages, Methods,
Process and Tools; Applications of Formal Methods; Software Engineering
Standards; Software Development Paradigms; Testing, Verification and
Validation; Software Reuse; etc.
Deadline for submissions: October 22, 2009
Washington, D.C., USA
Topics include: Formal verification, including theorem proving, model
checking, and static analysis; Model-based development; Techniques and
algorithms for scaling formal methods, such as parallel and distributed
techniques; Empirical evaluations of formal methods techniques for
safety-critical systems; etc.
Deadline for submissions: January 8, 2010 (abstracts), January 15,
2010 (papers)
Paris, France
Topics include: various issues of systems software research and
development, such as systems aspects of Dependable computing,
Distributed computing, Parallel and concurrent computing,
Programming-language support, Real-time and embedded computing,
Security, etc.
Deadline for submissions: October 23, 2009
Edinburgh, UK
Topics include: Programming Methods and Languages; Software Engineering,
and System Design Tools; Distributed and Pervasive Systems; Robotics;
Medical Applications; etc.
Deadline for submissions: December 18, 2009
Oxford, UK
Topics include: many aspects of software development, from programming
languages and technologies, to subjects about the wider development
environment such as development process, design, patterns, etc.
Deadline for submissions: September 30, 2009
London, UK
Topics include: methods and tools that ensure resilience to faults,
errors and malicious attacks; Requirements, software engineering &
re-engineering for resilience; Verification and validation of resilient
systems; Error, fault and exception handling in the software life-cycle;
Frameworks, patterns and software architectures for resilience; etc.
Deadline for submissions: December 14, 2009 (optional abstracts),
December 21, 2009 (papers)
Atlanta, Georgia, USA
Topics include: Parallel and distributed algorithms; Applications of
parallel and distributed computing; Parallel and distributed software,
including parallel and multicore programming languages and compilers,
runtime systems, middleware, libraries, parallel programming paradigms,
programming environments and tools, etc.
Deadline for submissions: September 21, 2009 (abstracts), September
28, 2009 (papers), December 14, 2009 (PhD forum)
Salt Lake City, Utah, USA
Deadline for submissions: September 18, 2009
Valencia, Spain
Topics include: design, implementation and operation of critical
automotive applications and systems, with particular emphasis on
dependability issues, software engineering for robustness, security and
safety issues, real-time embedded systems technologies, architectural
solutions and development processes for dependable automotive embedded
systems.
Deadline for submissions: January 20, 2010
Cape Town, South Africa
Topics include: Engineering of distributed/parallel software systems;
Engineering of embedded and real-time software; Engineering secure
software; Patterns and frameworks; Programming languages; Reverse
engineering and maintenance; Software architecture and design; Software
components and reuse; Software dependability, safety and reliability;
Software economics and metrics; Software tools and development
environments; Theory and formal methods; etc.
Deadline for submissions: September 6, 2009 (technical/research
papers); September 17, 2009 (workshops); October 5, 2009 (tutorials,
education papers, software engineering in practice track, software
engineering education track); November 26, 2009 (doctoral symposium
Papers); December 15, 2009 (nominations Harlan D. Mills Award); January
7, 2010 (research demonstration papers, new and emerging results papers,
student research competition papers)
-
2010/05/01:
ICSE2010 - 3rd International Workshop on Multicore Software
Engineering (IWMSE'2010)
Topics include: Frameworks for multicore software; Modeling techniques
for multicore software; Software components and composition;
Programming models and their impact on multicore software engineering;
Testing and debugging parallel applications; Software reengineering
for parallelism; Development environments and tools for multicore
software; Experience reports from research projects or industrial
projects; etc.
Deadline for submissions: January 31, 2010
-
2010/05/01:
ICSE2010 - 3rd Workshop on Comparison and Versioning of Software
Models (CVSM'2010)
Deadline for submissions: January 10, 2010
-
2010/05/02:
ICSE2010 - 1st International Workshop on Product LinE Approaches in
Software Engineering (PLEASE'2010)
Topics include: Variant management, notations and representation;
Product line engineering for very large, complex systems and
systems-of-systems; Incremental development of product lines; Product
line evolution and software configuration management; Migration
strategies towards product lines, extracting product line models from
legacy software artifacts; Empirical studies and experience reports;
etc.
Deadline for submissions: January 10, 2010
-
2010/05/02:
ICSE2010 - 6th International Workshop on Software Engineering for
Secure Systems (SESS'2010)
Topics include: Architecture and design of trustworthy systems,
Separation of the security concern in complex systems, Secure
programming, Static analysis for security, Trustworthiness
verification and clearance, Defining and supporting the process of
building secure software, etc.
Deadline for submissions: January 20, 2010
-
2010/05/02:
ICSE2010 - 5th Workshop on SHAring and Reusing architectural Knowledge
(SHARK'2010)
Topics include: Tools to extract, visualize, share or use
architectural knowledge; Evolution of architectural knowledge; etc.
Deadline for submissions: January 25, 2010 (papers)
-
2010/05/02-03:
ICSE2010 - 7th International Working Conference on Mining Software
Repositories (MSR'2010)
Topics include: Mining of repositories across multiple projects;
Characterization, classification, and prediction of software defects
based on analysis of software repositories; Search techniques to
assist developers in finding suitable components and code fragments
for reuse, and software search engines; Analysis of change patterns
and trends to assist in future development; Case studies on extracting
data from large long-lived and/or industrial projects; etc.
Deadline for submissions: January 11, 2010 (abstracts), January
14, 2010 (papers), February 6, 2010 (Mining Challenge papers),
February 20, 2010 (Mining Challenge predictions)
-
2010/05/08:
ICSE2010 - 4th International Workshop on Software Clones (IWSC'2010)
Topics include: Definition of software (code) clones; Techniques and
algorithms for clone detection, analysis, and management; Tools and
systems for detecting and analysing software clones; Effect of clones
on system complexity and quality; Industrial experience; Measures of
code similarity; Evolution of clones; Clone-aware software design and
development; Refactoring through clone analysis; etc.
Deadline for submissions: January 20, 2010 (full & position
papers)
Pisa, Italy
Deadline for submissions: 22 January, 2010 (extended abstracts,
full papers)
Busan, Korea
Topics include: practical experimental projects, commercial components
and systems, etc.
Deadline for submissions: November 1, 2010 (workshops)
Amsterdam, The Netherlands
Topics include: recent developments in methods and modelling of complex
systems for diverse areas of science, advanced software tools, etc.
Deadline for submissions: January 1, 2010 (full papers)
Deadline for early registration: March 31, 2010
-
2010/05/31:
ICCS2010 - 3rd International Workshop on Software Engineering for
Computational Science and Engineering (SECSE'2010)
Topics include: Lessons learned from the development of CSE
applications; The use of empirical studies to better understand the
environment, tools, languages, and processes used in CSE application
development and how they might be improved; etc.
Deadline for submissions: January 19, 2010 (papers)
-
2010/05/31:
ICCS2010 - 7th International Workshop on Practical Aspects of
High-level Parallel Programming (PAPP'2010)
Topics include: high-level parallel language design, implementation
and optimisation; modular, object-oriented, functional, logic,
constraint programming for parallel, distributed and grid computing
systems; industrial uses of a high-level parallel language; etc.
Deadline for submissions: January 11, 2010 (full papers)
Tozeur, Tunisia
Topics include: Domain Specific languages for distributed systems;
Reliability and scalability of distributed systems; Modeling, Formal and
Semi-formal methods, and tools for distributed systems; Software and
middleware for embedded distributed systems and their applications; etc.
Deadline for submissions: November 15, 2009 (workshops), January 20,
2010 (research papers)
Budapest, Hungary
Trondheim, Norway
Deadline for submissions: December 6, 2009 (research papers, short
research papers, experience reports), December 13, 2009 (lightning
talks), January 7, 2010 (workshops, tutorials, posters, PhD
symposium)
Toronto, Canada
Topics include: Memory allocation and deallocation, Garbage collection
algorithms and implementations, Compiler analyses and tools to aid
memory management, Development and evaluation of open source
implementations, etc.
Deadline for submissions: February 3, 2010 (abstracts), February 9,
2010 (submissions)
Amsterdam, The Netherlands
Theme: "Applications and services for a complex world".
Topics include: models, methodology and concepts supporting distributed
applications; middleware and software engineering techniques supporting
distributed applications; etc.
Deadline for submissions: February 8, 2010 (abstracts), February 12,
2010 (papers)
Hammamet, Tunisia
Theme: "Evolving information systems".
Deadline for submissions: October 12, 2009 (tutorials, workshops),
November 30, 2009 (papers)
Fairfax, Virginia, USA
Topics include: Specification and language models for hardware/software
systems, Very large scale system engineering, System
verification/validation, Emerging Technologies and Applications,
Prototyping of embedded/real-time systems, etc.
Deadline for submissions: February 5, 2010 (abstracts), February 10,
2010 (papers)
Singapore
Topics include: Security, Reliability, Availability, and Safety of
Software Systems; Fault Tolerance for Software Reliability Improvement;
Validation, Verification, and Testing; Software Integration; Methods
and Theories; Automation and Tools; Industry Best Practices; Benchmark
and Empirical Studies; etc.
Deadline for submissions: October 15, 2009 (workshop proposals),
January 22, 2010 (regular papers), February 10, 2010 (workshop papers,
student doctoral program, fast abstract track)
Berkeley, CA, USA
Topics include: the broad impact of multicore computing in all fields,
including application design, languages and compilers, systems, and
architecture.
Deadline for position paper submissions: January 24, 2010
Valencia, Spain
Sponsored by Ada-Europe,
in cooperation with ACM SIGAda
Deadline for submissions: November 23, 2009 (papers, tutorials,
workshops), January 11, 2010 (industrial presentations)
Herzlia, Israel
Deadline for submissions: December 15, 2009 (full papers), January
15, 2010 (industrial track, doctoral symposium)
Cambridge, UK
Topics include: Model-driven software development, Tool and technology
development and adoption, Code Generation and Model Transformation
tools and approaches, Defining and implementing modelling languages,
Language evolution and modularization, Case studies, etc.
Deadline for submissions: January 15, 2010
Stuttgart, Germany
Organized by Gesellschaft für Informatik mit den Fachgruppen Ada, etc,
and Ada-Deutschland.
Topics include (in German): Zuverlässigkeit und Sicherheit für
fahrbetriebs-kritische Software und IT-Systeme; Evaluation und
Zertifizierung von Sicherheitseigenschaften automobiler
Firmware/Software; Multi-Core-Architekturen; Zuverlässige
Echtzeit-Betriebssysteme; Fortschritte bei Normen und
Standardisierungen; etc.
Deadline for submissions: January 14, 2010 (full papers)
Limerick, Ireland
Topics include: SPI in Different Software Development Areas; Global
Software Development; Systems and Software Quality; Evidence-Based
Software Engineering; Empirical Studies; Industrial Experiences and Case
Studies; etc.
Deadline for submissions: January 18, 2010 (papers, experience
reports, workshops, tutorials, panels), January 31, 2010 (doctoral
symposium)
Québec City, Canada
Topics of interest range from algorithmics to support for program
construction in programming languages and systems, such as type systems,
program analysis and transformation, programming-language semantics,
security, etc.
Deadline for submissions: December 7, 2009 (abstracts), December 14,
2009 (full papers)
Maribor, Slovenia
Topics include: research results or experience in all areas relevant to
object technology, including work that takes inspiration from, or builds
connections to, areas not commonly considered object-oriented; such as:
Analysis, design methods and design patterns; Concurrent, real-time or
parallel systems; Distributed systems; Language design and
implementation; Programming environments and tools; Type systems, formal
methods; Compatibility, software evolution; Components, modularity; etc.
Deadline for submissions: December 14, 2009 (full papers)
Braga, Portugal
Topics include: (Industrial) case studies of general interest, gaming
applications, consumer electronics and multimedia, automotive systems,
(bio-)medical applications, internet and grid computing, ...; Synthesis
and control of concurrent systems, (compositional) modelling and design,
(modular) synthesis and analysis, distributed simulation and
implementation, ...; etc.
Deadline for submissions: January 10, 2010 (papers)
Prague, Czech Republic
Topics include: Rigorous development, Fault tolerance based on the
architecture, Safety-critical systems & architecture, Secure systems &
architecture, Relevant domains with critical systems, Industrial needs,
etc.
Deadline for submissions: February 10, 2010
Ankara, Turkey
Málaga, Spain
Topics include: Object technology, including programming techniques,
languages, tools; Distributed and concurrent object systems; Real-time
object-oriented programming and design; Experience reports, including
efforts at standardisation; Applications to safety- and security-related
software; Trusted and reliable components; Domain specific languages and
language design; Language implementation techniques, compilers, run-time
systems; Practical applications of program verification and analysis;
etc.
Deadline for submissions: November 30, 2009 (workshops), January 22,
2010 (papers)
Redwood City, California, USA
Theme: "Smarter Software Engineering"
Deadline for submissions: November 15, 2009 (workshops), December
20, 2009 (papers)
Bordeaux, France
Deadline for submissions: October 31, 2009 (workshops)
Istanbul, Turkey
Topics include: Parallel Computing; Distributed Systems Methodology and
Networking; Parallel Programming Paradigms and APIs; Tools and
Environments for Parallel Program Analysis; Task Scheduling and Load
Balancing; Performance Management in Parallel and Distributed Systems;
Distributed Software Components; Real-time Distributed and Parallel
Systems; Security in Parallel and Distributed Systems; Fault Tolerance
in Parallel and Distributed Systems; Parallel Scientific Computing and
Large Scale Simulations; Parallel and Distributed Applications; etc.
Deadline for submissions: February 15, 2010
Irsee Monastery, Bavaria, Germany
Topics include: Software development (design, architecture, management
and processes); Pedagogy and Education (both professional training and
classroom teaching); etc.
Deadline for submissions: February 15, 2010
Deadline for early registration: May 23, 2010
Paderborn, Germany
Deadline for submissions: January 15, 2010
Orlando, Florida, USA
Topics include: Software development, maintenance, and other areas of
software engineering and related topics.
Zhangjiajie, China
Topics include: Software quality (review, inspection and walkthrough,
reliability, safety and security, ...); Evaluation of software products
and components (static and dynamic analysis, validation and
verification); Information and knowledge management (economics of
software quality, ...); Formal methods (program analysis, ...);
Applications (component-based systems, distributed systems, embedded
systems, enterprise applications, information systems, safety critical
systems, ...); etc.
Deadline for submissions: November 15, 2009 (workshops), December
20, 2009 (papers)
Edinburgh, UK
Topics include: Algorithms and tools for verifying models and
implementations, Program analysis and software verification,
Applications and case studies, Verification in industrial practice, etc.
Deadline for submissions: January 11, 2010 (abstracts), January 15,
2010 (papers)
Seoul, South Korea
Topics include: High quality software reuse methods; Dependable
Component-Based Systems; Software product lines; Quality aspects of
design patterns; Software evolution; Model-driven software engineering;
Component and service repository; Reuse in Embedded Software Systems;
Case studies and experience reports.
Deadline for submissions: March 5, 2010 (papers)
Athens, Greece
Topics include: Software Engineering, Programming Languages, Distributed
and Parallel Systems, etc.
Deadline for submissions: February 1, 2010 (regular papers)
Zurich, Switzerland
Topics include: multiprocessor and multi-core architectures and
algorithms; synchronization protocols, concurrent programming;
fault-tolerance, reliability, availability; middleware platforms;
distributed data management; security in distributed computing;
specification, semantics, verification, and testing of distributed
systems; etc.
Deadline for submissions: February 10, 2010 (abstracts), February
17, 2010 (papers), April 27, 2010 (brief announcements)
Grenoble, France
Deadline for submissions: February 26, 2010 (abstracts), March 5,
2010 (papers), March 31, 2010 (design contest), May 14, 2010
(posters)
Portland, Oregon, USA
Deadline for submissions: January 8, 2010 (abstracts), January 18,
2010 (papers, tutorials, workshops), February 1, 2010 (posters), April
5, 2010 (graduate symposium submissions)
Princeton, NJ, USA
Topics include: Strategic issues in distributed development:
cost-benefit-risk analysis, ...; Methods and tools for distributed
software development: requirements engineering, design, coding,
verification, testing and maintenance, development governance; Empirical
studies and lessons learnt on distributed development; etc.
Deadline for submissions: February 12, 2010 (abstracts, workshops)
February 26, 2010 (papers), March 13, 2010 (other contributions)
Ischia, Italy
Topics include: all aspects of parallel and distributed computing, such
as Support tools and environments, Scheduling, High performance
compilers, Distributed systems and algorithms, Parallel and distributed
programming, Multicore and manycore programming, Theory and algorithms
for parallel computation, etc.
Deadline for submissions: February 7, 2010 (abstracts), February 12,
2010 (full papers), March 1, 2010 (workshops)
Natal, Rio Grande do Norte, Brazil
Topics include: principles and semantics of programming languages;
software specification, refinement, verification; integration of
theories, formal methods and tools for engineering computing systems;
models of concurrency and security; theory of parallel, distributed, and
grid computing; real-time and embedded systems; case studies, theories,
tools and experiments of verified systems; domain-specific modeling and
technology; etc.
Deadline for submissions: March 8, 2010 (abstracts)
San Diego, California, USA
Topics include: compilers and languages, etc.
Deadline for submissions: February 24, 2010
Jeju Island, South Korea
Topics include: Industrial experiences in product line engineering,
Techniques and tools for product line engineering, Evolution of product
line assets, Product line life-cycle issues, etc.
Deadline for submissions: February 28, 2010
Vouliagmeni, Athens, Greece
Topics include: Accountability, Information Flow Control, Formal
Security Methods, Language-based Security, Security Verification, etc.
Deadline for submissions: April 1, 2010
Sydney, Australia
Deadline for submissions: February 12, 2010 (abstracts), February
19, 2010 (full papers), March 15, 2010 (tutorials, workshops)
Enschede, The Netherlands
Topics include: languages, tool support and applications in: Software
architecture; Software quality, testing and evolution; Model-driven
development, especially model transformations; Implementation of
programming languages; Massively parallel computing; etc.
Deadline for submissions: April 9, 2010 (abstracts), April 16, 2010
(papers)
Yokohama, Japan
Topics include: Software methodologies, and tools for robust, reliable,
non fragile software design; Software developments techniques and legacy
systems; Automatic software generation versus reuse, and legacy systems;
Intelligent software systems design, and software evolution techniques;
Agile Software and Lean Methods; Software optimization and formal
methods for software design; Software maintenance; Software security
tools and techniques, and related Software Engineering models; Formal
techniques for software representation, software testing and validation;
Software reliability, and software diagnosis systems; Model Driven
Development (DVD), code centric to model centric software engineering;
etc.
Deadline for submissions: March 31, 2010 (papers)
Eindhoven, The Netherlands
Topics include: Generative techniques for Product-line architectures,
Distributed, real-time and embedded systems, Model-driven development
and architecture, Safety critical systems; Component-based software
engineering (Reuse, distributed platforms and middleware, distributed
systems, evolution, patterns, development methods, formal methods,
etc.); Integration of generative and component-based approaches;
Industrial applications; etc.
Deadline for submissions: May 17, 2010 (abstracts), May 24, 2010
(papers)
Fairfax, Virginia, USA (a suburb of Washington, DC)
Sponsored by ACM SIGAda,
in cooperation with SIGBED, SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and
the Ada Resource Association.
Deadline for submissions: June 25, 2010 (technical articles,
extended abstracts, experience reports, panel sessions, industrial
presentations, workshops, tutorials)
Vitória, ES, Brazil
Topics include: Organization and principles of software factories; State
of the art in distributed enterprise applications; Industry specific
solutions, e.g. for aerospace, automotive, finance, etc.
Deadline for submissions: December 10, 2009 (workshops), March 10,
2010 (abstracts), March 17, 2010 (full papers)
Natal, Rio Grande do Norte, Brazil
Topics include: Formal aspects of popular languages and methodologies;
Logics and semantics of programming and specification languages; Type
systems in computer science; Formal methods integration; Code
generation; Formal design methods; Abstraction, modularization and
refinement techniques; Techniques for correctness by construction;
Formal methods and models for real-time, hybrid and critical systems;
Models of concurrency, security and mobility; Theorem proving; Static
analysis; Software certification; Teaching of, for and with formal
methods; Experience reports on the use of formal methods; Industrial
case studies; Tools supporting the formal development of computational
systems; Development methodologies with formal foundations; etc.
Deadline for submissions: November 14, 2009 (satellite events), June
10, 2010 (papers)
Happy Programmers' Day!
2011
TBD
Deadline for submissions: March 15, 2009 (hosting proposals)
Other places to look for this kind of information are:
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif)
To the Ada-Belgium home page.
Last update: 2010/02/06.
Copyright © 1994-2009 by
Dirk Craeynest
All Rights Reserved.
![[Ada-Belgium event logo]](/~dirk/.image/ada-belgium-small.gif)
![[Ada-Europe'2010 logo]](/~dirk/.image/ada-europe2010-small.jpg)
![[Ada-Europe'2009 logo]](/~dirk/.image/ada-europe2009-small.gif)
![[Ada-Europe'2008 logo]](/~dirk/.image/ada-europe2008-small.jpg)
![[Ada-Europe'2007 logo]](/~dirk/.image/ada-europe2007-small.jpg)
![[Ada-Europe'2006 logo]](/~dirk/.image/ada-europe2006-small.gif)
![[Ada-Europe'2005 logo]](/~dirk/.image/ada-europe2005-small.jpg)
![[Ada-Europe'2004 logo]](/~dirk/.image/ada-europe2004-small.jpg)
![[Ada-Europe'2003 logo]](/~dirk/.image/ada-europe2003-small.jpg)
![[Ada-Europe'2002 logo]](/~dirk/.image/ada-europe2002-small.jpg)
![[Ada-Europe'2001 logo]](/~dirk/.image/ada-europe2001-small.jpg)
![[SIGAda conference logo]](/~dirk/.image/sigadaconf-small.jpg)
![[ES]](/~dirk/.face/es.gif)
2010/01/17-19:
![[AU]](/~dirk/.face/au.gif)
2010/01/18-22:
![[IT]](/~dirk/.face/it.gif)
2010/01/25-27:
![[CZ]](/~dirk/.face/cz.gif)
2010/01/23-29:
![[DE]](/~dirk/.face/de.gif)
2010/01/25-29:
![[KR]](/~dirk/.face/kr.gif)
2010/01/27-29:
![[UK]](/~dirk/.face/uk.gif)
2010/01/28:
![[US]](/~dirk/.face/us.gif)
2010/01/28-30:
![[BE]](/~dirk/.face/be.gif)
![[PL]](/~dirk/.face/pl.gif)
2010/02/15-18:
![[CA]](/~dirk/.face/ca.gif)
2010/02/23-25:
![[IN]](/~dirk/.face/in.gif)
2010/02/25-27:
![[FR]](/~dirk/.face/fr.gif)
2010/03/09-11:
![[CY]](/~dirk/.face/cy.gif)
2010/03/20-28:
![[JP]](/~dirk/.face/jp.gif)
2010/03/23-26:
![[EC]](/~dirk/.face/ec.gif)
2010/04/12-16:
![[ZA]](/~dirk/.face/za.gif)
![[NL]](/~dirk/.face/nl.gif)
2010/05/31-06/02:
![[TN]](/~dirk/.face/tn.gif)
2010/05/31-06/02:
![[HU]](/~dirk/.face/hu.gif)
![[NO]](/~dirk/.face/no.gif)
2010/06/01-04:
![[SG]](/~dirk/.face/sg.gif)
2010/06/09-11:
![[IL]](/~dirk/.face/il.gif)
2010/06/15-16:
![[IR]](/~dirk/.face/ir.gif)
2010/06/21-23:
![[SI]](/~dirk/.face/si.gif)
![[PT]](/~dirk/.face/pt.gif)
2010/06/21-25:
![[TR]](/~dirk/.face/tr.gif)
2010/06/26-30:
![[CN]](/~dirk/.face/cn.gif)
2010/07/14-15:
![[GR]](/~dirk/.face/gr.gif)
2010/07/22-24:
![[BR]](/~dirk/.face/br.gif)
2010/09/01-03: