These pages contain announcements, calls for papers, calls for
participation, programs, etc., of events that may be of interest
for the Ada community world-wide.
This is only the top-page, listing recent changes and how to be kept
informed; the full list is available separately.
If you are only interested in Ada-Belgium events, check the
Ada-Belgium Meetings and Conferences
page.
Changes/additions to the full list
made during the last month:
- 10/02/06:
Technology Update Seminar: Ada and SPARK for Education and
Research
- 10/02/01:
23rd IEEE-CS Conference on Software Engineering Education and
Training (CSEET'2010)
- 10/02/01:
ICSE2010 - 4th International Workshop on Software Clones
(IWSC'2010)
- 10/02/01:
22nd Annual Systems and Software Technology Conference
(SSTC'2010)
- 10/01/27:
Software Engineering 2010 (SE'2010)
- 10/01/27:
ICSE2010 - 3rd International Workshop on Multicore Software
Engineering (IWMSE'2010)
- 10/01/27:
16th International European Conference on Parallel and Distributed
Computing (Euro-Par'2010)
- 10/01/13:
BCS-FACS Evening Seminar: Evolving Critical Systems
- 10/01/13:
ICSE2010 - 5th Workshop on SHAring and Reusing architectural
Knowledge (SHARK'2010)
- 10/01/13:
8th ACM-IEEE International Conference on Formal Methods and Models
for Codesign (MEMOCODE'2010)
- 10/01/13:
5th IEEE International Conference on Global Software Engineering
(ICGSE'2010)
- 10/01/13:
5th International Conference on Graph Transformation (ICGT'2010)
- 10/01/13:
COMPSAC2010 - 4th IEEE International Workshop on Quality Oriented
Reuse of Software (QUORS'2010)
- 10/01/11:
ETAPS2010 - 9th International Workshop on Compiler Optimization
Meets Compiler Verification (COCV'2010)
- 10/01/11:
ICSE2010 - 6th International Workshop on Software Engineering for
Secure Systems (SESS'2010)
- 10/01/11:
DisCoTec2010 - 10th IFIP International Conference on Distributed
Applications and Interoperable Systems (DAIS'2010)
- 10/01/11:
4th IEEE International Conference on Secure Software Integration and
Reliability Improvement (SSIRI'2010)
- 10/01/11:
9th International Conference on Software Methodologies, Tools and
Techniques (SoMeT'2010)
- 10/01/11:
15th European Conference on Pattern Languages of Programs
(EuroPlop'2010)
- 10/01/09:
9th International Conference on Aspect-Oriented Software Development
(AOSD'2010)
- 10/01/09:
ICSE2010 - 1st International Workshop on Product LinE Approaches in
Software Engineering (PLEASE'2010)
- 10/01/09:
9th International Symposium on Parallel and Distributed Computing
(ISPDC'2010)
- 10/01/09:
11th International Conference on Product Focused Software
Development and Process Improvement (PROFES'2010)
- 10/01/09:
18th IEEE International Requirements Engineering Conference
(RE'2010)
- 10/01/09:
9th International Conference on Generative Programming and Component
Engineering (GPCE'2010)
- 10/01/09:
TOOLS2010 - 4th International Conference on Tests And Proofs
(TAP'2010)
- 10/01/07:
Software Engineering 2010 (SE'2010)
- 10/01/07:
ICSE2010 - 7th International Working Conference on Mining Software
Repositories (MSR'2010)
- 10/01/07:
ACM SIGAda Annual International Conference on Ada and Related
Technologies (SIGAda'2010)
- 10/01/03:
15th International Conference on Reliable Software Technologies -
Ada-Europe'2010
- 10/01/02:
HiPEAC2010 - 2nd Workshop on GCC Research Opportunities
(GROW'2010)
- 10/01/02:
ICSE2010 - 3rd Workshop on Comparison and Versioning of Software
Models (CVSM'2010)
- 10/01/02:
Automotive - Safety & Security 2010
- 09/12/29:
2nd International Symposium on Engineering Secure Software and
Systems (ESSoS'2010)
- 09/12/29:
ETAPS2010 - Programming Language Approaches to Concurrency and
communication-cEntric Software (PLACES'2010)
- 09/12/29:
2nd NASA Formal Methods Symposium (NFM'2010)
- 09/12/22:
POPL2010 - 4th ACM SIGPLAN Workshop on Programming Languages meets
Program Verification (PLPV'2010)
- 09/12/22:
ICCS2010 - 7th International Workshop on Practical Aspects of
High-level Parallel Programming (PAPP'2010)
- 09/12/22:
24th European Conference on Object Oriented Programming
(ECOOP'2010)
- 09/12/22:
48th International Conference Objects, Models, Components, Patterns
(TOOLS Europe'2010)
- 09/12/16:
11h International Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI'2010)
- 09/12/16:
16th International European Conference on Parallel and Distributed
Computing (Euro-Par'2010)
- There will be fewer regular updates for some time due to being
too busy with "Real Work (tm)" during the day,
and with
Ada-Belgium,
Ada-Europe,
ACM SIGAda,
ISO/IEC JTC1/SC22/WG9,
the next issue of the
Ada User Journal,
the
15th International Conference on Reliable Software Technologies -
Ada-Europe'2010
and
the
ACM SIGAda Annual International Conference on Ada and Related
Technologies (SIGAda'2010)
during the nights and weekends...
- 09/12/11:
15th International Conference on Reliable Software Technologies -
Ada-Europe'2010
- 09/12/08:
9th International Conference on Aspect-Oriented Software Development
(AOSD'2010)
- 09/12/08:
5th International Conference on Software and Data Technologies
(ICSOFT'2010)
- 09/12/08:
24th IEEE International Parallel and Distributed Processing
Symposium (IPDPS'2010)
- 09/12/08:
Code Generation 2010
- 09/12/08:
14th IEEE International Enterprise Computing Conference
(EDOC'2010)
- 09/12/08:
13th Brazilian Symposium on Formal Methods (SBMF'2010)
- 09/12/08:
14th International Conference on Evaluation & Assessment in Software
Engineering (EASE'2010)
- 09/12/05:
37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL'2010)
- 09/12/05:
EDCC2010 - Workshop on Critical Automotive applications: Robustness
and Safety (CARS'2010)
- 09/12/05:
2010 International Conference on Software Engineering Theory and
Practice (SETP'2010)
- 09/12/05:
CompArch2010 - 1st International Symposium on Architecting Critical
Systems (ISARCS'2010)
- 09/12/05:
Software Engineering and Management Conference (OOP'2010)
- 09/12/05:
11th International Conference on Agile Software Development
(XP'2010)
Announcements of
past events
remain available for some time (as disk space permits).
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif)
To the Ada-Belgium home page.
Last update: 2010/02/06.
Dirk Craeynest