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-2012 by
Dirk Craeynest
All Rights Reserved.
Major annual Ada-related events
2012
Tallinn, Estonia
Events include: CC, International Conference on Compiler Construction;
ESOP, European Symposium on Programming; FASE, Fundamental Approaches to
Software Engineering; FOSSACS, Foundations of Software Science and
Computation Structures; TACAS, Tools and Algorithms for the Construction
and Analysis of Systems.
Deadline for submissions: March 6, 2011 (satellite events), December
31, 2011 (EAPLS PhD Award nominations)
-
2012/03/24:
ETAPS2012 - 15th International Conference on Fundamental Approaches to
Software Engineering (FASE'2012)
Topics include: Software Engineering as an engineering discipline;
Specification, design, and implementation of particular classes of
systems (embedded, distributed, ...); Software quality (validation and
verification of software using theorem proving, model-checking,
testing, analysis, refinement methods, metrics, ...); Software
evolution (refactoring, reverse and re-engineering, configuration
management, ...); etc.
Deadline for submissions: October 7, 2011 (abstracts), October 14,
2011 (full papers)
-
2012/03/31:
ETAPS2012 - 9th International Workshop on Formal Engineering
approaches to Software Components and Architectures (FESCA'2012)
Topics include: Modelling formalisms for the analysis of concurrent,
embedded or model-driven systems assembled of components; Interface
compliance (interface-to-interface and interface-to implementation)
and contractual use of components; Techniques for prediction and
formal verification of system properties, including static and dynamic
analysis; Industrial case studies and experience reports; etc.
Deadline for submissions: December 15, 2011
-
2012/03/31:
ETAPS2012 - 7th Workshop on Bytecode Semantics, Verification, Analysis
and Transformation (Bytecode'2012)
Topics include: theoretical and practical aspects of semantics,
verification, analysis, certification and transformation of bytecode.
Deadline for submissions: January 4, 2012
-
2012/03/31-04/01:
ETAPS2012 - 12th International Workshop on Language Descriptions,
Tools and Applications (LDTA'2012)
Topics include: software based on grammars in some form, typically
language processing applications such as parsers, program analyzers,
optimizers and translators; parser generation, attribute grammar
systems, term/graph rewriting systems, and other grammar-related
meta-programming tools, techniques, and formalisms; program analysis,
transformation, generation, and verification, reverse engineering and
re-engineering, refactoring and other source-to-source
transformations, language definition and language prototyping, and
debugging, profiling, IDE support, etc.
Deadline for submissions: November 28, 2011 (abstracts), December
5, 2011 (full papers)
![[IT]](/~dirk/.face/it.gif)
2012/03/25-29:
27th ACM Symposium on Applied Computing (SAC'2012)
Riva del Garda, Trento, Italy
-
2012/03/25-29:
SAC2012 - Track on Object-Oriented Programming Languages and Systems
(OOPS'2012)
Topics include: Language design and implementation; Type systems,
static analysis, formal methods; Integration with other paradigms;
Aspects, components, and modularity; Distributed, concurrent or
parallel systems; Interoperability, versioning and software
adaptation; etc.
Deadline for paper submissions: September 7, 2011
-
2012/03/25-29:
SAC2012 - Track on Software Engineering (SE'2012)
Topics include: technologies, theories, and tools used for producing
highly dependable software more effectively and efficiently; such as
Safety, Security; Dependability and Reliability; Fault Tolerance and
Availability; Architecture, Framework, and Design Patterns; Standards;
Maintenance and Reverse Engineering; Quality Assurance; Verification,
Validation, and Analysis; Formal Methods and Theories; Component-Based
Development and Reuse; Empirical Studies, and Industrial Best
Practices; Applications and Tools; Distributed, Embedded, Real-Time,
Highly Dependable Systems; etc.
Deadline for paper submissions: August 31, 2011
-
2012/03/25-29:
SAC2012 - Track on Programming Languages (PL'2012)
Topics include: Compiling Techniques, Formal Semantics and Syntax,
Garbage Collection, Language Design and Implementation, Languages for
Modeling, Model-Driven Development, New Programming Language Ideas
and Concepts, Practical Experiences with Programming Languages,
Program Analysis and Verification, Programming Languages from All
Paradigms, etc.
Deadline for submissions: August 31, 2011 (full papers)
-
2012/03/25-29:
SAC2012 - Track on Software Verification and Testing (SVT'2012)
Topics include: new results in formal verification and testing,
technologies to improve the usability of formal methods in software
engineering, detailed descriptions of applications of mechanical
verification to large scale software, tools and techniques for
verification of large scale software systems, real world applications
and case studies applying software verification, static and run-time
analysis, refinement and correct by construction development, software
certification and proof carrying code, etc.
Deadline for submissions: September 7, 2011 (papers)
-
2012/03/25-29:
SAC2012 - Track on Coordination Models, Languages and Applications
Topics include: Novel models, languages, programming and
implementation techniques; Software architectures and software
engineering techniques; Configuration and Architecture Description
Languages; etc.
Deadline for submissions: August 31, 2011 (papers)
-
2012/03/25-29:
SAC2012 - 7th Track on Dependable and Adaptive Distributed Systems
(DADS'2012)
Topics include: dependable, adaptive, and trustworthy Distributed
Systems (DADS); middleware for DADS; modeling, design, and engineering
of DADS; foundations and formal methods for DADS; etc.
Deadline for submissions: August 31, 2011 (papers)
-
2012/03/25-29:
SAC2012 - Embedded Systems Track (EMBS'2012)
Topics include: Multithreading in Embedded Systems design and
development; Security and dependability support within Embedded
Systems; Safety-critical Embedded Systems; Compilation strategies,
code transformation and parallelization for Embedded Systems; Case
studies; etc.
Deadline for submissions: August 31, 2011 (papers)
-
2012/03/25-29:
SAC2012 - Track on Programming for Separation of Concerns
Topics include: Software reuse and evolution; Software engineering
tools; Consistency, integrity and security; Generative approaches;
Evolution of legacy systems; etc.
Deadline for submissions: August 31, 2011 (papers)
Potsdam, Germany
Topics include: Complex systems; Software design and engineering;
Programming languages (language design, compilation and interpretation,
verification and static program analysis, ...); Varieties of modularity
(model-driven development, generative programming, software product
lines, contracts and components, ...); Tools (evolution and reverse
engineering, crosscutting views, refactoring, ...); Applications
(distributed and concurrent systems, middleware, ...); etc.
Deadline for submissions: April 21, 2011 (abstracts round 1), April
25, 2011 (papers round 1), July 14, 2011 (abstracts round 2), July 18,
2011 (papers round 2), September 23, 2011 (Modularity Visions track
papers, workshops), October 13, 2011 (abstracts round 3), October 23,
2011 (ACM student research competition), October 17, 2011 (papers round
3), January 9, 2012 (demonstrations), January 13, 2012 (workshop
papers), February 20, 2012 (grants for student forum), February 29, 2012
(student posters)
Deadline for early registration: February 20, 2012
Szeged, Hungary
Topics include: the development of maintainable systems, and the
evolution, migration and reengineering of the existing ones.
Deadline for submissions: October 21, 2011 (abstract), October 28,
2011 (papers), December 9, 2011 (abstracts satellite events), December
16, 2011 (papers satellite events), January 20, 2012 (workshop
abstracts), January 27, 2012 (workshop papers)
-
2012/03/27:
CSMR2012 - 6th International Workshop on Software Quality and
Maintainability (SQM'2012)
Topics include: Software maintainability, Software analysis using
automated techniques, Software evolution, Experience reports, etc.
Deadline for submissions: January 20, 2012 (abstracts), January
27, 2012 (papers)
-
2012/03/27:
CSMR2012 - 1st International Workshop on Volatility and Complexity of
Software Systems (VCSS'2012)
Topics include: identification of the most change-prone artefacts of
a system, architectural approaches for containing the spread of
changes through the system, evolution of volatility and complexity of
large-scale software systems, etc.
Deadline for submissions: January 20, 2012 (abstracts), January
27, 2012 (papers)
Norfolk, Virginia, USA
Topics include: identifying challenges and providing solutions to
achieving assurance in mission- and safety-critical systems; formal
verification, including theorem proving, model checking, and static
analysis; model-based development; techniques and algorithms for scaling
formal methods, such as abstraction and symbolic methods, parallel and
distributed techniques, ...; code generation from formally verified
models; significant applications of formal methods to aerospace systems;
etc.
Deadline for submissions: December 11, 2011 (abstracts), December
18, 2011 (papers)
Bern, Switzerland
Topics include: all areas of operating systems and distributed systems,
including systems aspects of dependable computing, distributed
computing, parallel and concurrent computing, programming-language
support and runtime systems, real-time and embedded systems, security,
etc.
Deadline for paper submissions: 14 October 2011 (abstracts), 20
October 2011 (full papers)
Shenzhen, China
Topics include: Programming and system engineering (languages,
model-driven development of high integrity applications, specification,
design, verification, validation, maintenance, ...); System software
(real-time kernels, middleware support for ORC, extensibility,
synchronization, scheduling, fault tolerance, security, ...);
Applications (embedded systems (automotive, avionics, consumer
electronics, etc), real-time object-oriented simulations, ...); System
evaluation (timeliness, worst-case execution time, dependability,
end-to-end QoS, fault detection and recovery time, ...); etc.
Deadline for paper submissions: November 8, 2011
Novi Sad, Serbia
Topics include: Dependability, Safety, and Security; Distributed Systems
Design & Architecture; ECBS Infrastructure (Tools, Platforms); Embedded
Real-Time Software Systems; Model-based System Development; Verification
& Validation; Reengineering & Reuse; Evolution & Change; etc.
Deadline for paper submissions: November 7, 2011 (abstracts),
November 14, 2011
Deadline for early registration: February 22, 2012
Nanjing, China
Topics include: Technology Transfer; Student projects and internships;
Industry-academia collaboration models; Software engineering
professionalism; Education & training for "real-world" Software
Engineering practices; Evaluation of SE Curricula: Are We Still
Relevant?; Training models in industry; Systems and Software
Engineering; Teaching the Business of Software Engineering; etc.
Deadline for submissions: November 5, 2011 (workshops); November 6,
2011 (papers, reports); November 30, 2011 (panels, tutorials); January
10, 2012 (short papers, work in progress papers, posters)
Montreal, Canada
Topics include: Domain specific testing, e.g.: security testing,
embedded software testing, OO software testing, ...; Verification &
validation; Quality assurance; Empirical studies;
Agile/iterative/incremental testing processes; Tools; Software
reliability assessment; Success stories; etc.
Deadline for submissions: September 30, 2011 (workshops); October
28, 2011 (paper abstracts, Ph.D.Symposium abstracts); November 4, 2011
(full papers, Ph.D.Symposium papers); March 2, 2012 (posters)
Deadline for early registration: March 2, 2012
-
2012/04/17:
ICST2012 - 8th Workshop on Advances in Model Based Testing
(A-MOST'2012)
Deadline for submissions: January 31, 2012
-
2012/04/21:
ICST2012 - 3rd International Workshop on Security Testing
(SecTest'2012)
Topics include: application security testing, cost effectiveness
issues, comparisons between security-by-design and formal analyses,
formal techniques for security testing and validation, robustness and
fault tolerance to attacks, process and models for designing and
testing secure system, compile time fault detection and program
verification, tools and case studies, industrial experience reports,
etc.
Deadline for submissions: January 30, 2012
Boston, USA
Deadline for submissions: September 30, 2011 (research paper
abstracts), October 7, 2011 (research papers), October 24, 2011
(industrial and experience abstracts), October 31, 2011 (industrial and
experience papers), November 7, 2011 (posters and demos, tutorials),
January 10, 2012 (work-in-progress and vision papers)
Deadline for early registration: April 15, 2012
Salt Lake City, UT, USA
Deadline for submissions: November 2, 2011 (abstracts)
Bad-Honnef, Germany
Topics include: all activities that aim at examination and alteration of
a software system to reconstitute it in a new form, such as Methods and
models for software reengineering; Embedding reengineering activities
into software development; Tools for program comprehension,
redocumentation, software visualization, static and dynamic program
analysis, software test, software maintenance, program transformation;
Interoperability between software reengineering and development tools;
Migration strategies and transformation approaches; Architecture
reconstruction, assessment, migration; Improving software quality by
reengineering; Experience reports about maintenance activities,
migration and reengineering projects; etc.
Deadline for extended abstract submissions: March 16, 2011
Sibiu, Romania
Topics include: Hardware and software architecture of dependable
systems, Safety critical systems, Embedded and real-time systems, Impact
of manufacturing technology on dependability, Testing and validation
methods, etc.
Deadline for submissions: October 7, 2011
Wavre area, south of Brussels, Belgium
Includes: 2012 Ada-Belgium General Assembly and Ada Workshop
Deadline for registration: May 9, 2012, 20:00
Ciudad Real, Castilla-La Mancha, Spain
Theme: "Empirical Grand Challenges for Agile Development"
Topics include: all forms of empirical and evaluation studies in
software engineering.
Deadline for submissions: January 20, 2012 (full paper abstracts),
January 25, 2012 (full papers), March 1, 2012 (short papers)
Dubrovnik, Croatia
Malmö, Sweden
Theme: "Agile by Design"
Deadline for submissions: January 3, 2012
Shanghai, China
Topics include: all areas of parallel and distributed processing, such
as Parallel and distributed algorithms; Applications of parallel and
distributed computing; Parallel and distributed software, including
parallel and multicore programming languages and compilers, runtime
systems, parallel programming paradigms, programming environments and
tools, etc.
Deadline for submissions: August 10, 2011 (workshops), September 24,
2011 (abstracts), October 1, 2011 (papers), January 27, 2012 (PhD
forum)
Deadline for early registration: March 27, 2012
Prague, Czech Republic
Topics include: Object technology, programming techniques, languages,
tools; Language implementation techniques, compilers, run-time systems;
Distributed and concurrent object systems, multicore programming;
Program verification and analysis techniques; Trusted, reliable and
secure components; Component-based programming, modeling, tools;
Model-driven development; Empirical studies on programming models and
techniques; Domain specific languages and language design;
Industrial-strength experience reports; Real-time object-oriented
programming and design; etc.
Deadline for submissions: January 6, 2012 (abstracts), January 13,
2012 (full papers), February 17, 2012 (workshops)
-
2012/05/31-06/01:
TOOLS2012 - International Conference on Multicore Software
Engineering, Performance, and Tools (MSEPT'2012)
Topics include: from small-scale systems to large-scale parallel
systems; from writing new applications to reengineering legacy
applications; frameworks and libraries for multicore software;
parallel software architectures; modeling techniques for multicore
software; programming models for multicore; testing and debugging of
parallel applications; verification techniques for multicore software;
software reengineering for parallelism; development environments and
tools for multicore software; compiler techniques and
auto-parallelization on multicore; multicore software issues in
scientific computing; multicore software on mobile and embedded
devices; experience reports; etc.
Deadline for submissions: February 1, 2012
-
2012/05/31-06/01:
TOOLS2012 - 6th International Conference on Tests And Proofs
(TAP'2012)
Topics include: Transfer of concepts from testing to proving
(e.g. coverage criteria) and from proving to testing, Generation
of specifications by deduction, Automatic bug finding, Formal
frameworks, Tool descriptions and experience reports, etc.
Deadline for submissions: December 14, 2011 (abstracts), December
21, 2011 (papers)
-
2012/05/31-06/01:
TOOLS2012 - 11th International Conference on Software Composition
(SC'2012)
Topics include: Component-based software engineering; Verification,
validation and testing; Large-scale component-based systems; etc.
Deadline for submissions: January 22, 2012 (abstracts), January
29, 2012 (papers)
Palma de Mallorca, Spain
Deadline for submissions: January 20, 2012
Deadline for early registration: April 2, 2012
Zurich, Switzerland
Theme: "Sustainable Software for a Sustainable World"
Deadline for submissions: September 29, 2011 (technical research
papers); October 15, 2011 (Harlan D. Mills Award nominations); October
27, 2011 (software engineering in practice (SEIP) papers, software
engineering education (SEE) papers, formal research demonstrations,
workshop proposals, tutorial and technical briefing proposals); December
1, 2011 (new ideas and emerging results (NIER) papers, doctoral
symposium submissions); December 15, 2011 (ACM SIGSOFT Awards
nominations); January 15, 2012 (ACM Student Research competition);
February 17, 2012 (workshop papers, posters, informal demonstrations);
February 23, 2012 (student volunteers); March 21, 2012 (IEEE Computer
Society TCSE Software Engineering Distinguished Service Award and
Distinguished Educator Award)
Deadline for early registration: April 22, 2012
-
2012/06/01:
ICSE2012 - 5th Workshop on Refactoring Tools (WRT'2012)
Topics include: refactoring engines, program analyses for refactoring
tools, tools for suggesting refactorings, medium- and large-scale
refactorings (e.g., package- or component-level), refactoring for
concurrency and parallelism, etc.
Deadline for submissions: March 18, 2012
-
2012/06/02-03:
ICSE2012 - International Conference on Software and Systems Process
(ICSSP'2012)
Deadline for submissions: January 16, 2012
-
2012/06/02-03:
ICSE2012 - 9th International Working Conference on Mining Software
Repositories (MSR'2012)
Topics include: mining of repositories across multiple projects;
characterization, classification, and prediction of software defects
based on analysis of software repositories; techniques to model
reliability and defect occurrences; 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; empirical studies on
extracting data from repositories of large long-lived and/or
industrial projects; mining execution traces and logs; etc.
Deadline for submissions: February 6, 2012 (abstracts), February
10, 2012 (research & short papers), March 2, 2012 (challenge
papers)
-
2012/06/09:
ICSE2012 - 5th Workshop on Exception Handling (WEH'2012)
Topics include: Exceptions in the software life-cycle (specifications,
architectural design, modelling and programming, verification,
debugging, testing, refactoring, variability management, static
analysis, etc); Exception handling for and with new software artefacts
(aspects, components, etc); Exception handling in today's applications
(distributed, web-based, cloud, etc); Empirical studies of exception
handling; Design patterns and anti-patterns, architectural styles, and
good programming practice; etc.
Deadline for submissions: February 17, 2012 (papers)
Omaha, Nebraska, USA
Topics include: modeling and simulation of real-world phenomena,
Scientific Computing, Parallel and Distributed Computing, New
Programming Models, Education in Computational Science, etc.
Deadline for submissions: October 15, 2011 (workshops), January 20,
2012 (full papers)
Berkeley, CA, USA
Deadline for submissions: January 24, 2012 (abstracts), January 31,
2012 (full papers)
Salamanca, Spain
Topics include: other approaches to formal specification; specification
languages, methods, and environments; model-driven development;
integration of formal specification techniques; quality assurance,
validation, and verification; etc.
Deadline for submissions: April 2, 2012 (abstracts)
Stockholm, Sweden
Sponsored by Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN
Deadline for submissions: November 28, 2011 (abstracts), December 5,
2011 (papers, tutorials, workshops), January 12, 2012 (industrial
presentations)
Deadline for early registration: May 7, 2012
Beijing, China
Topics include: all areas of object technology and related software
development technologies, such as Analysis and design methods;
Concurrent, parallel, distributed, and real-time systems; Language
design and implementation; Modularity, aspects, features, components,
services; Software development environments and tools; Static and
dynamic software analysis; Type systems, formal methods; Software
evolution; etc.
Deadline for submissions: September 30, 2011 (nominations for
Dahl-Nygaard prize), ongoing (workshops), December 17, 2011
(papers)
Beijing, China
Events includes: 1st Asia-Pacific Programming Languages and Compilers
Workshop (APPLC), 3rd Workshop on Experimental Evaluation of Software
and Systems in Computer Science (Evaluate), ACM SIGPLAN 7th Workshop on
Programming Languages and Analysis for Security (PLAS), 2nd ACM SIGPLAN
Software Security and Protection Workshop (SSP), etc.
Deadline for submissions: February 24 - April 4, 2012 (workshop
papers)
-
2012/06/14:
PLDI2012 - 1st Asia-Pacific Programming Languages and Compilers
Workshop (APPLC'2012)
Topics include: Language designs and extensions; Static and dynamic
analysis of programs; Domain-specific languages and tools; Type
systems and program logics; Checking or improving the security or
correctness of programs; Memory management; Parallelism, both
implicit and explicit; Novel programming models; Debugging techniques
and tools; Interaction of compilers and run-time systems with
underlying systems; etc.
Deadline for submissions: February 3, 2012 (abstracts), February
10, 2012 (full papers)
Madrid, Spain
Deadline for submissions: February 3, 2012
Boston, MA, USA
Topics include: Distributed and parallel systems; Embedded systems;
Reliability, availability, and scalability; Security, privacy, and
trust; etc.
Deadline for submissions: January 10, 2012 (abstracts), January 17,
2012 (full papers)
Stockholm, Sweden
Includes the COORDINATION, DAIS, and FMOODS & FORTE conferences.
Deadline for submissions: February 10, 2012 (abstracts), February
17, 2012 (papers)
-
2012/06/13-16:
DisCoTec2012 - 12th International IFIP Conference on Distributed
Applications and Interoperable Systems (DAIS'2012)
Topics include: novel and innovative applications and systems;
architectures, middleware, platforms, distributed computing
infrastructures, ..., supporting distributed applications; properties
and design goals (security, trust, privacy, dependability, resilience,
safety, performance, scalability, usability, efficiency,
sustainability, ...); engineering and tools (modeling, model-driven
architecture, domain-specific languages, design, patterns,
development, deployment, validation, ...); etc.
Deadline for submissions: February 20, 2012 (abstracts), February
27, 2012 (papers)
-
2012/06/14-15:
DisCoTec2012 - 14th International Conference on Coordination Models
and Languages (Coordination'2012)
Topics include: programming abstractions and languages (design and
implementation of languages and middleware related to multicore
programming, ...); software management and software engineering
(component and module systems for distributed software, multicore and
distributed coordination patterns, ...); specification and
verification (modeling and analysis of issues related to security,
dependability, real time, ...); foundations and types (type systems
for concurrency and distribution, component conformance, contracts,
...); experience reports (case studies and industrial experiences with
coordination in multicore and/or distributed development,
app-development, ...); etc.
Deadline for submissions: February 10, 2012 (abstracts), February
17, 2012 (papers)
Salvador de Bahia, Brazil
Topics include: Parallel and Distributed Computing, Security
Engineering, Risk Analysis, Reliability Engineering, Software
Engineering, etc.
Deadline for submissions: September 25, 2011 (session proposals),
February 20, 2012 (papers, posters)
Deadline for early registration: April 6, 2012
Pisa, Italy
Topics include: the cross-fertilization of five related state-based
and machine-based formal methods, Abstract State Machines (ASM),
Alloy, B, VDM and Z
Deadline for submissions: October 15, 2011 (workshops); January 14,
2012 (papers); February 3, 2012 (extended abstracts for short
presentations); to be announced (tutorial proposals)
Pisa, Italy
Topics include: the combination of (formal and semi-formal) methods for
system development, covering all aspects from language design through
verification and analysis techniques to tools and their integration into
software engineering practice.
Deadline for submissions: January 14, 2012 (papers)
Washington, D.C., USA
Deadline for submissions: November 15, 2011 (workshops), January 10,
2012 (regulare papers), February 15, 2012 (student doctoral program,
fast abstracts)
Braga, Portugal
Topics include: Programming language concepts and methodologies; Design
of novel language constructs and their implementation; Domain Specific
Languages design and implementation; Programming tools; Programming,
refactoring and debugging environments; Dynamic and static analysis:
Program Slicing Compilation and interpretation techniques; Code
generation and optimization; Runtime techniques and Memory management;
etc.
Deadline for paper submissions: March 14, 2012
Madrid, Spain
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: January 9, 2012 (abstracts), January 16,
2012 (full papers)
2012/06/25-28:
Federated Events on Component-Based Software Engineering and Software
Architecture (CompArch'2012)
Bertinoro, Italy
-
2012/06/25:
CompArch2012 - 17th International Doctoral Symposium on Components and
Architecture (WCOP'2012)
Topics include: predictable assembly of components, component-oriented
development processes, reliability of component-based systems,
addressing variability requirements in component-based solutions,
system design for independent extensibility, maintainability and
evolution of component based systems, component versus application
evolution, etc.
Deadline for submissions: March 5, 2012
-
2012/06/25-28:
CompArch2012 - 8th International ACM SIGSOFT Conference on the Quality
of Software Architectures (QoSA'2012)
Deadline for submissions: February 17, 2012 (abstracts), February
28, 2012 (papers)
-
2012/06/26-28:
CompArch2012 - 3rd International Symposium on Architecting Critical
Systems (ISARCS'2012)
Topics include: architectural support for evolution; automotive and
avionic systems; component-based development; critical
infrastructures; embedded, mobile, and ubiquitous systems; industrial
case studies, challenges, problems, and solutions; integrators
(wrappers) for dependability; model-driven development; runtime
checks; survivability and error confinement; type checking techniques;
etc.
Deadline for submissions: February 14, 2012 (abstracts), February
21, 2012 (papers)
Gdansk, Poland
Theme: "Information Services"
Topics include: Methodologies and Approaches for IS Engineering (Model,
component, and software reuse; IS reengineering; Quality of models and
of modelling languages; ...); Innovative technologies for IS engineering
(Model-driven architecture; Component based development; Distributed,
and open architecture; ...); etc.
Deadline for submissions: October 20, 2011 (workshop submissions),
December 5, 2011 (papers), December 16, 2011 (tutorials)
Hamburg, Germany
Topics include: (industrial) case studies of general interest, gaming
applications, automotive systems, (bio-)medical applications, internet
and grid computing, etc.; synthesis and control of concurrent systems,
(compositional) modeling and design, (modular) synthesis and analysis,
distributed simulation and implementation, ...; etc.
Deadline for submissions: January 13, 2012 (abstracts), January 20,
2012 (papers)
Redwood City, California, USA
Topics include: Integrity, Security, and Fault Tolerance; Reliability;
Component-Based Software Engineering; Embedded Software Engineering;
Reverse Engineering; Programming Languages and Software Engineering;
Program Understanding; Software Assurance; Software dependability;
Software economics; Software Engineering Tools and Environments;
Software Maintenance and Evolution; Software product lines; Software
Quality; Software Reuse; Software Safety; Software Security; Software
Engineering Case Study and Experience Reports; etc.
Deadline for submissions: December 15, 2011 (workshops, special
sessions), March 1, 2012 (papers)
Deadline for early registration: May 10, 2012
Lyngby, Denmark
Deadline for submissions: December 12, 2011 (workshops, tutorials),
February 15, 2012 (abstracts), February 22, 2012 (papers), April 16,
2012 (workshop papers), May 21, 2012 (tools, posters)
Haifa, Israel
Beijing, China
Topics include: Specification and Verification; Program Analysis;
Model-Driven Engineering; Software Architectures and Design; Aspect and
Object Orientation; Embedded and Real-Time Systems; Component-Based
Software Engineering; Software Safety, Security and Reliability; Reverse
Engineering and Software Maintenance; Dependable Concurrency; etc.
Deadline for submissions: January 13, 2012 (abstracts), January 20,
2012 (papers)
Prague, Czech Republic
Sponsored by: AdaCore, Google, IBM
Topics include: gathering of GNU tools developers
Deadline for submissions: January 31, 2012 (abstracts)
Madrid, Spain
Topics include: Parallel and Distributed Algorithms, and Applications;
High-performance scientific and engineering computing; Middleware and
tools; Reliability, fault tolerance, and security; Parallel/distributed
system architectures; Tools/environments for parallel/distributed
software development; Novel parallel programming paradigms; Compilers
for parallel computers; Distributed systems and applications; etc.
Deadline for submissions: November 15, 2011 (workshops), January 15,
2012 (tutorials), January 31, 2012 (papers), February 15, 2012 (workshop
papers), February 29, 2012 (posters, demos)
2012/07/11-13:
24th Euromicro Conference on Real-Time Systems (ECRTS'2012)
Pisa, Italy
Topics include: avionics, aerospace, automotive applications; embedded
devices; hardware/software co-design; compiler support; component-based
approaches; middleware and distribution technologies; programming
languages and operating systems; modelling and formal methods; etc.
Bavaria, Germany
Deadline for submissions: February 6, 2012 (papers)
Izmir, Turkey
Topics include: Software life cycle, evolution, and maintenance; Formal
methods; Software architecture and design; Reliability, metrics, and
fault tolerance; Security; Real-time and embedded systems; Education and
learning; Applications; etc.
Deadline for submissions: December 8, 2011 (workshops, panels),
January 15, 2012 (abstracts), January 31, 2012 (full papers), March 15,
2012 (workshop papers), April 20, 2012 (fast abstracts, posters,
doctoral symposium papers)
Minneapolis, MN, USA
Deadline for submissions: November 18, 2011 (workshops), February
10, 2012 (technical papers)
Paris, France
Topics include: Verification and validation, Model-driven development,
Reverse engineering and refactoring, Design by contract, Agile methods,
Safety-critical & fault-tolerant architectures, Real-time and embedded
systems, Tools and tool integration, Industrial case studies, etc.
Deadline for submissions: February 1, 2012 (abstracts), March 1,
2012 (papers)
Deadline for early registration: May 30, 2012
Rome, Italy
Deadline for submissions: April 5, 2012
Paris, France
Co-located with FM'2012
Topics include: Design, specification, code generation and testing based
on formal methods; Methods, techniques and tools to support automated
analysis, certification, debugging, learning, optimization and
transformation of complex, distributed, real-time systems and embedded
systems; Verification and validation methods that address shortcomings
of existing methods with respect to their industrial applicability
(e.g., scalability and usability issues); Tools for the development of
formal design descriptions; Case studies and experience reports on
industrial applications of formal methods, focusing on lessons learned
or identification of new research directions; Impact of the adoption of
formal methods on the development process and associated costs;
Application of formal methods in standardization and industrial forums.
Deadline for submissions: March 28, 2012 (abstracts), April 4, 2012
(papers)
Xi'an, China
Theme: "Engineering of Quality Software"
Deadline for submissions: January 16, 2012 (workshops, tutorials),
April 23, 2012 (papers)
Paris, France
Theme: "Interdisciplinary Formal Methods"
Topics include: Interdisciplinary formal methods (techniques, tools and
experiences demonstrating formal methods in interdisciplinary
frameworks); Formal methods in practice (industrial applications of
formal methods, experience with introducing formal methods in industry,
tool usage reports, etc); Tools for formal methods (advances in
automated verification and model-checking, integration of tools,
environments for formal methods, etc); Role of formal methods in
software and systems engineering (development processes with formal
methods, usage guidelines for formal methods, method integration,
qualitative or quantitative improvements); Theoretical foundations (all
aspects of theory related to specification, verification, refinement,
and static and dynamic analysis); Teaching formal methods (original
contributions that provide insight, courses of action regarding the
teaching of formal methods, teaching experiences, educational resources,
integration of formal methods into the curriculum, etc).
Deadline for submissions: July 30, 2010 (hosting proposals),
November 3, 2011 (workshops), March 5, 2012 (abstracts), March 12, 2012
(papers)
Elba Island, Italy
Topics include: languages from various paradigms and areas of software
engineering.
Deadline for application: March 15, 2012
Cesme, Izmir, Turkey
Topics include: information technology for software-intensive systems.
Deadline for application: February 24, 2012 (workshops, tutorials),
March 23, 2012 (abstracts), March 30, 2012 (papers), April 13, 2012 (PhD
Symposium)
-
2012/09/05-08:
SEAA2012 - Track on Embedded Software Engineering (ESE'2012)
Topics include: Design and implementation of embedded software;
Programming methodologies and languages for embedded software;
Model-based and component-based approaches to embedded software
development; Embedded software verification and validation; Testing
and certification of embedded software; Software-intensive systems
applications, e.g. in automotive, avionics, energy, industrial
automation, health care, and telecommunication; Embedded software
architectures; etc.
Pisa, Italy
Topics include: accountability, information hiding, information flow
control, integrity, formal security methods, language-based security,
risk analysis and management, security verification, software security,
etc.
Deadline for submissions: March 31, 2012 (papers)
Pittsburgh, PA, USA
Topics include: all aspects of parallel and distributed computing, such
as Architecture; Programming Models, Languages & Environments; Compilers
and Run-Time Systems; Applications; etc.
Deadline for paper submissions: March 2, 2012
-
2012/09/10:
ICPP2012 - 5th International Workshop on Parallel Programming Models
and Systems Software for High-end Computing (P2S2'2012)
-
2012/09/13:
ICPP2012 - International Workshop on Embedded Multicore Systems
(EMS'2012)
Topics include: Compilers for heterogeneous embedded multi-core
systems; Programming models for embedded multi-core systems; Embedded
OS designs and performance tuning tools; Formal methods for embedded
systems; etc.
Hammamet, Tunisia
Theme: "Long-Term Sustainability with OSS"
Deadline for submissions: March 9, 2012 (research papers, industry
papers, formal tool demonstrations, lightning talks, posters, doctoral
symposium), March 16, 2012 (workshops), May 25, 2012 (panels,
tutorials)
Deadline for early registration: June 15, 2012
Deauville, France
Topics include: abstract interpretation, bug detection, data flow
analysis, model checking, new applications, program verification,
security analysis, type checking, etc.
Deadline for submissions: March 16, 2012 (abstracts), March 23, 2012
(full papers)
Bamberg, Germany
Topics include: Specification and Refinement, Verification of Software
and Hardware, Verification of Security-Critical Systems, Real-Time
Systems, Dependable Systems, Verified System Development, Industrial
Applications, etc.
Deadline for submissions: June 1, 2012 (full papers), July 23, 2012
(short papers)
Deadline for registration: July 30, 2012
Lund, Sweden
Topics include: qualitative methods, empirical studies of software
processes and products, industrial experience and case studies,
evaluation and comparison of techniques and models, reports on the
benefits / costs associated with using certain technologies,
empirically-based decision making, quality measurement and assurance,
software project experience and knowledge management, etc.
Deadline for submissions: March 4, 2012 (full paper abstracts),
March 11, 2012 (full papers), May 20, 2012 (short papers, posters)
Minneapolis, Minnesota, USA
Topics include: Parallel architectures and computational models;
Compilers and tools for parallel computer systems; Support for
correctness in hardware and software (especially with concurrency);
Parallel programming languages, algorithms and applications; Middleware
and run time system support for parallel computing; Applications and
experimental systems studies; etc.
Deadline for submissions: March 16, 2012 (abstracts), March 23, 2012
(papers), April 2, 2012 (workshops, tutorials)
Riva del Garda, Trento, Italy
Topics include: reverse engineering and re-engineering, program and
system comprehension, static and dynamic analysis, software migration
and renovation, mining software repositories, maintenance and evolution
processes, run-time evolution and update, empirical studies in software
maintenance and evolution, testing in relation to maintenance (i.e.,
regression testing), etc.
Deadline for submissions: April 15, 2012 (research track abstracts),
April 20, 2012 (research track), May 31, 2012 (doctoral symposium), June
25, 2012 (early research achievements track), June 27, 2012 (industry
track, tool demo track)
Dresden, Germany
Deadline for submissions: April 23, 2012 (abstracts), April 30, 2012
(papers)
-
2012/09/25-28:
5th International Conference on Software Language Engineering
(SLE'2012)
Topics include: Formalisms used in designing and specifying languages
and tools that analyze such language descriptions; Language
implementation techniques; Program and model transformation tools;
Language evolution; Approaches to elicitation, specification, or
verification of requirements for software languages; Language
development frameworks, methodologies, techniques, best practices, and
tools for the broader language lifecycle; Design challenges in SLE;
Applications of languages including innovative domain-specific
languages or "little" languages; etc.
Deadline for submissions: June 4, 2012 (abstracts), June 11, 2012
(papers)
Bangalore, India
Topics include: principles and semantics of programming languages;
relationship between software requirements, models and code; software
specification, refinement, verification and testing; integration of
theories, formal methods and tools for engineering computing systems;
models of concurrency, security, and mobility; theory of parallel,
distributed, grid and cloud computing; real-time, embedded, hybrid and
cyber-physical systems; case studies, theories, tools and experiments
of verified systems; domain-specific modeling and technology; etc.
Deadline for submissions: April 16, 2012 (regular and short
papers)
Chicago, Illinois, USA
Theme: "Bridging the Knowledge Gap"
Deadline for submissions: January 30, 2012 (workshops), February 27,
2012 (abstracts), March 5, 2012 (full papers), May 28, 2012 (tutorials,
panels, doctoral symposium), June 4, 2012 (posters, tool demos)
Magdeburg, Germany
Deadline for submissions: February 5, 2012 (abstracts), February 19,
2012 (full papers)
Genoa, Italy
Topics include: software methodologies, and tools for robust, reliable,
non-fragile software design; software developments techniques and legacy
systems; software evolution techniques; agile software and lean methods;
formal methods for software design; software maintenance; software
security tools and techniques; 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 paper submissions: March 31, 2012
Innsbruck, Austria
Deadline for submissions: March 19, 2012 (abstracts), April 2, 2012
(papers)
Toronto, Canada
Topics include: Fault-Tolerance and Dependable Systems, Safety and
Security, Formal Methods, etc.
Deadline for submissions: April 16, 2012 (abstracts), April 23, 2012
(papers)
Thessaloniki, Greece
Topics include: programming languages, program analysis and type theory;
formal methods for real-time, hybrid and embedded systems; formal
methods for safety-critical, fault-tolerant and secure systems;
light-weight and scalable formal methods; tool integration; applications
of formal methods, industrial case studies and technology transfer;
education and formal methods; etc.
Deadline for submissions: February 20, 2012 (workshops), April 4,
2012 (abstracts), April 19, 2012 (papers)
Irvine, California, USA
Topics include: distributed systems design, development and evaluation,
with emphasis on reliability, availability, safety, security, trust and
real time; high-confidence and safety-critical systems; distributed
objects and middleware systems; formal methods and foundations for
dependable distributed computing; evaluations of dependable distributed
systems; etc.
Deadline for submissions: March 9, 2012 (workshops), March 26, 2012
(abstracts), April 2, 2012 (papers), June 25, 2012 (workshop
papers)
Tucson, Arizona, USA
Topics include: the intersection of programming, programming languages,
and software engineering; areas such as programming methods, design and
analysis, testing, concurrency, program analysis, empirical studies, and
new programming languages; all aspects of software construction and
delivery, all factions of programming technologies.
Deadline for submissions: April 13, 2012 (OOPSLA research papers,
Onward! papers, Onward! essays, Wavefront, Wavefront Experience,
workshops, panels); July 9, 2012 (posters, ACM Student Research
competition, Doctoral Symposium); July 11, 2012 (Dynamic Languages
Symposium); July 15, 2012 (demonstrations)
Kyoto, Japan
Topics include: abstraction and refinement; software verification;
program analysis; formal methods for robotics, cyber-physical systems,
medical devices, aeronautics, railway; formal methods for software
safety, security, reliability and dependability; experiments involving
verified systems; formal model-based development and code generation;
etc.
Deadline for submissions: April 9, 2012 (abstracts), April 16, 2012
(full papers)
Lisbon, Portugal
Topics include: Advances in fundamentals for software development;
Advanced mechanisms for software development; Advanced design tools for
developing software; Software security, privacy, safeness; Specialized
software advanced applications; Open source software; Agile software
techniques; Software deployment and maintenance; Software engineering
techniques, metrics, and formalisms; Software economics, adoption, and
education; etc.
Deadline for submissions: July 7, 2012
Boston, Massachusetts, USA
Hong Kong, China
Theme: "Software Engineering for the Evolving World"
Topics include: Software architecture and design, SE methodologies,
Software analysis and understanding, Software verification and
validation, Software maintenance and evolution, Software quality,
Software process and standards, Software security and reliability, SE
environments and tools, SE education, Distributed and parallel software
systems, Embedded and real-time software systems, Component based SE,
Product-line SE, Formal methods in SE, Emerging SE methods, etc.
Deadline for submissions: May 28, 2012 (research papers)
![[PR]](/~dirk/.face/pr.gif)
2012/12/05-07:
33th IEEE Real-Time Systems Symposium (RTSS'2012)
San Juan, Porto Rico
Topics include: all aspects of real-time systems design, analysis,
implementation, evaluation, and experiences.
Deadline for submissions: May 15, 2012
Happy Programmers' Day!
Pune, India
Topics include: Parallel and Distributed Algorithms/Systems, Parallel
Languages and Programming Environments, Hybrid Parallel Programming with
GPUs and Accelerators, Scheduling, Fault-Tolerant Algorithms and
Systems, Scientific/Engineering/Commercial Applications, Compiler
Technologies for High-Performance Computing, Software Support, etc.
Deadline for submissions: March 1, 2012 (workshops), May 16, 2012
(papers), September 16, 2012 (student symposium)
Deadline for early registration: November 14, 2012
2013
Rome, Italy
Topics include: fundamental principles and important innovations in the
design, definition, analysis, transformation, implementation and
verification of programming languages, programming systems, and
programming abstractions.
Deadline for submissions: April 22, 2012 (co-located events)
Fukuoka, Japan
Topics include: Complex systems; Software design and engineering
(evolution, economics, composition, methodology, ...); Programming
languages (language design, compilation and interpretation, verification
and static program analysis, formal languages, execution environments
and dynamic weaving, ...); Varieties of modularity (model-driven
development, generative programming, software product lines, contracts
and components, ...); Tools (evolution and reverse engineering,
crosscutting views, refactoring, ...); Applications (distributed and
concurrent systems, middleware, runtime verification, ...); etc.
Deadline for submissions: May 7, 2012 (round 1), July 23, 2012
(round 2), October 8, 2012 (round 3)
Happy Programmers' Day!
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: 2012/05/06.
Copyright © 1994-2012 by
Dirk Craeynest
All Rights Reserved.
![[Ada-Belgium event logo]](/~dirk/.image/ada-belgium-48.gif)
![[Ada-Europe'2012 logo]](/~dirk/.image/ada-europe2012-small.png)
![[Ada-Europe'2011 logo]](/~dirk/.image/ada-europe2011-small.jpg)
![[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)
![[EE]](/~dirk/.face/ee.gif)
2012/03/24-04/01:
![[DE]](/~dirk/.face/de.gif)
2012/03/25-30:
![[HU]](/~dirk/.face/hu.gif)
2012/03/27-30:
![[US]](/~dirk/.face/us.gif)
2012/04/03-05:
![[CH]](/~dirk/.face/ch.gif)
2012/04/10-13:
![[CN]](/~dirk/.face/cn.gif)
![[RS]](/~dirk/.face/rs.gif)
2012/04/11-13:
![[CA]](/~dirk/.face/ca.gif)
2012/04/17-21:
![[RO]](/~dirk/.face/ro.gif)
2012/05/08-11:
![[BE]](/~dirk/.face/be.gif)
![[ES]](/~dirk/.face/es.gif)
2012/05/14-15:
![[HR]](/~dirk/.face/hr.gif)
![[SE]](/~dirk/.face/se.gif)
2012/05/21-25:
![[CZ]](/~dirk/.face/cz.gif)
![[BR]](/~dirk/.face/br.gif)
2012/06/18-21:
![[PT]](/~dirk/.face/pt.gif)
2012/06/21-22:
![[PL]](/~dirk/.face/pl.gif)
2012/06/25-29:
![[DK]](/~dirk/.face/dk.gif)
2012/07/02-05:
![[IL]](/~dirk/.face/il.gif)
2012/07/03-05:
![[TR]](/~dirk/.face/tr.gif)
2012/07/16-20:
![[FR]](/~dirk/.face/fr.gif)
2012/07/18-20:
![[TN]](/~dirk/.face/tn.gif)
2012/09/10-13:
![[IN]](/~dirk/.face/in.gif)
2012/09/24-27:
![[AT]](/~dirk/.face/at.gif)
2012/09/30-10/05:
![[GR]](/~dirk/.face/gr.gif)
2012/10/01-05:
![[JP]](/~dirk/.face/jp.gif)
2012/11/12-16:
![[UK]](/~dirk/.face/uk.gif)