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:
- 2012/01/21:
Ada at the Free and Open-Source Software Developers' European
Meeting (FOSDEM'2012)
- 2012/01/07:
17th International Conference on Reliable Software Technologies -
Ada-Europe'2012
- 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
Ada Developer Room at FOSDEM'2012,
the
17th International Conference on Reliable Software Technologies -
Ada-Europe'2012
and
the
ACM SIGAda Annual International Conference on Ada and Related
Technologies (SIGAda'2012)
during the nights and weekends...
- 2011/12/22:
European Joint Conferences on Theory and Practice of Software
(ETAPS'2012)
- 2011/12/22:
ICST2012 - 3rd International Workshop on Security Testing
(SecTest'2012)
- 2011/12/22:
IPDPS2012 - Workshop on Multithreaded Architectures and Applications
(MTAAP'2012)
- 2011/12/22:
ICSE2012 - International Conference on Software and Systems Process
(ICSSP'2012)
- 2011/12/22:
DisCoTec2012 - 14th International Conference on Coordination Models
and Languages (Coordination'2012)
- 2011/12/22:
6th IEEE International Conference on Software Security and
Reliability (SERE'2011)
- 2011/12/22:
12th International Workshop on Automated Verification of Critical
Systems (AVoCS'2012)
- 2011/12/22:
5th International Conference on Dependability (DEPEND'2012)
- 2011/12/18:
ETAPS2012 - 7th Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (Bytecode'2012)
- 2011/12/18:
5th IEEE International Conference on Software Testing, Verification
and Validation (ICST'2012)
- 2011/12/18:
10th IEEE International Symposium on Parallel and Distributed
Processing with Applications (ISPA'2012)
- 2011/12/18:
8th European Conference on Modelling Foundations and Applications
(ECMFA'2012)
- 2011/12/18:
CompArch2012 - 8th International ACM SIGSOFT Conference on the
Quality of Software Architectures (QoSA'2012)
- 2011/12/18:
4th USENIX Workshop on Hot Topics in Parallelism (HotPar'2012)
- 2011/12/18:
ACM/IEEE 15th International Conference on Model-Driven Engineering
Languages and Systems (MODELS'2012)
- 2011/12/18:
17th Conference on Pattern Languages of Programs (EuroPlop'2012)
- 2011/12/16:
Ada at the Free and Open-Source Software Developers' European
Meeting (FOSDEM'2012)
- 2011/12/14:
3rd Workshop on Determinism and Correctness in Parallel Programming
(WODET'2012)
- 2011/12/14:
11th International Conference on Aspect-Oriented Software
Development (AOSD'2012)
- 2011/12/14:
34th International Conference on Software Engineering
(ICSE'2012)
- 2011/12/14:
GNU Tools Cauldron 2012
- 2011/12/14:
17th International Conference on Reliable Software Technologies -
Ada-Europe'2012
- 2011/12/11:
16th International Conference on Evaluation & Assessment in Software
Engineering (EASE'2012)
- 2011/12/11:
12th International SPICE Conference on Software Process Improvement
and Capability dEtermination (SPICE'2012)
- 2011/12/11:
CompArch2012 - 17th International Doctoral Symposium on Components
and Architecture (WCOP'2012)
- 2011/12/11:
36th Annual International Computer Software and Applications
Conference (COMPSAC'2012)
- 2011/12/11:
11th International Conference on Generative Programming and
Component Engineering (GPCE'2012)
- 2011/12/11:
13th International Conference on Product Focused Software
Development and Process Improvement (PROFES'2012)
- 2011/12/11:
International Symposium on Software Testing and Analysis
(ISSTA'2012)
- 2011/12/11:
8th International Conference on Open Source Systems (OSS'2012)
- 2011/12/11:
9th International Colloquium on Theoretical Aspects of Computing
(ICTAC'2012)
- 2011/12/11:
13th International Conference on Agile Software Development
(XP'2012)
- 2011/12/10:
11th International Conference on Mathematics of Program Construction
(MPC'2012)
- 2011/12/10:
TOOLS2012 - 6th International Conference on Tests And Proofs
(TAP'2012)
- 2011/12/10:
9th International Conference on Integrated Formal Methods
(iFM'2012)
- 2011/12/08:
16th European Conference on Software Maintenance and Reengineering
(CSMR'2012)
- 2011/12/08:
12th International Conference on Application of Concurrency to
System Design (ACSD'2012)
- 2011/12/08:
5th IEEE International Conference on Software Testing, Verification
and Validation (ICST'2012)
- 2011/12/08:
25th Conference on Software Engineering Education and Training
(CSEET'2012)
- 2011/12/08:
6th IEEE International Symposium on Theoretical Aspects of Software
Engineering (TASE'2012)
- 2011/12/08:
IPDPS2012 - 13th International Workshop on Parallel and Distributed
Scientific and Engineering Computing (PDSEC-12)
- 2011/12/08:
2012 International Conference for Computational Science and its
Applications (ICCSA'2012)
- 2011/12/08:
24th International Conference on Software Engineering and Knowledge
Engineering (SEKE'2012)
- 2011/12/07:
ETAPS2012 - 9th International Workshop on Formal Engineering
approaches to Software Components and Architectures (FESCA'2012)
- 2011/12/07:
ICSE2012 - 5th Workshop on Exception Handling (WEH'2012)
- 2011/12/07:
18th International Symposium on Formal Methods (FM'2012)
- 2011/12/07:
12th International Conference on Computational Science
(ICCS'2012)
- 2011/12/07:
17th Annual IEEE International Conference on the Engineering of
Complex Computer Systems (ICECCS'2012)
- 2011/12/07:
4th NASA Formal Methods Symposium (NFM'2012)
- 2011/12/05:
16th European Conference on Software Maintenance and Reengineering
(CSMR'2012)
- 2011/12/05:
24th International Conference on Advanced Information Systems
Engineering (CAiSE'2012)
- 2011/12/05:
3rd ACM/SPEC International Conference on Performance Engineering
(ICPE'2012)
- 2011/12/05:
31st IEEE International Symposium on Reliable Distributed Systems
(SRDS'2012)
- 2011/12/05:
4th NASA Formal Methods Symposium (NFM'2012)
- 2011/12/04:
AOSD2012 - 3rd Workshop on Empirical Evolution of Software
Composition Techniques (ESCOT'2012)
- 2011/12/04:
ACM SIGAda Annual International Conference on Ada and Related
Technologies (SIGAda'2012)
- 2011/12/04:
50th International Conference on Objects, Models, Components,
Patterns (TOOLS Europe'2012)
- 2011/12/01:
BCS Evening Seminar: Peter Landin Annual Semantics Seminar
- 2011/12/01:
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL'2012)
- 2011/12/01:
10th IEEE International Symposium on Parallel and Distributed
Processing with Applications (ISPA'2012)
- 2011/12/01:
26th European Conference on Object-Oriented Programming
(ECOOP'2012)
- 2011/12/01:
50th International Conference on Objects, Models, Components,
Patterns (TOOLS Europe'2012)
- 2011/12/01:
IPDPS2012 - Workshop on Multithreaded Architectures and Applications
(MTAAP'2012)
- 2011/12/01:
34th International Conference on Software Engineering
(ICSE'2012)
- 2011/12/01:
GNU Tools Cauldron 2012
- 2011/12/01:
3rd International ABZ 2012 Conference
- 2011/11/27:
11th International Conference on Aspect-Oriented Software
Development (AOSD'2012)
- 2011/11/23:
ACM/IFIP/USENIX 12th International Middleware Conference
(Middleware'2011)
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: 2012/01/21.
Dirk Craeynest