-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!plix.pl!newsfeed2.plix.pl!goblin1!gobli
n.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx02.eternal-s
eptember.org!.POSTED!not-for-mail
From: d...@f...cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: ie.comp,se.dator.programmering.diverse,no.it.programmering.diverse,dk.edb
.programmering,pl.comp.programming
Subject: 20th Int.Conf. Reliable Software Technologies, Ada-Europe 2015
Date: Sun, 5 Apr 2015 09:47:52 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Lines: 153
Message-ID: <mfr0c8$is9$1@dont-email.me>
Injection-Date: Sun, 5 Apr 2015 09:47:52 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
posting-host="2dacc763d5aee253ed9b901ccded1054";
logging-data="19337";
mail-complaints-to="a...@e...org";
posting-account="U2FsdGVkX1+v8iYHJIk72WRihG0fcC3LNMmpED6drHY="
Summary: Program information is online. Registration has started.
Keywords: Conference,industry,reliability,Ada,LNCS,Madrid,Spain
Originator: d...@f...cs.kuleuven.be. (Dirk Craeynest)
Cancel-Lock: sha1:rdVawwTLR8p9G+mv+XadlpIa0G4=
Xref: news-archive.icm.edu.pl pl.comp.programming:207783
[ ukryj nagłówki ]----------------------------------------------------
-------------------
Call for Participation
*** PROGRAM SUMMARY ***
20th International Conference on
Reliable Software Technologies - Ada-Europe 2015
22-26 June 2015, Madrid, Spain
http://www.ada-europe.org/conference2015
Organized by Ada-Spain on behalf of Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN
and the Ada Resource Association (ARA)
*** Online registration open! ***
*** All info available on conference web site ***
*** Early registration discount until June 7 ***
----------------------------------------------------
-------------------
The 20th International Conference on Reliable Software Technologies
- Ada-Europe 2015 takes place in Madrid, Spain, from June 22 to 26,
2015. It is an exciting event with an outstanding technical program,
keynote talks, exhibition and networking from Tuesday to Thursday,
and a rich program of workshops and tutorials on Monday and Friday.
The conference is hosted by ETSIT-UPM, the engineering school of the
Polytechnic University of Madrid, which covers teaching and research
in all fields related to Information and Communications Technology,
and is one of the leading institutions in that field in Spain.
The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
These events highlight the increased relevance of Ada in safety-
and security-critical systems, and provide a unique opportunity
for interaction and collaboration between academics and industrial
practitioners.
Extensive information is available on the conference web site, such as
the list of accepted papers and industrial presentations, and detailed
descriptions of all workshops, tutorials and keynote presentations.
Also check the conference web site for registration, accommodation
and travel information.
Quick overview
- Mon 22 & Fri 26: tutorials + workshops
- Tue 23 - Thu 25: core program
Proceedings
- published by Springer
- volume 9111 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-Chairs
- Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
j...@d...upm.es
- Tullio Vardanega, Universita di Padova, Italy
t...@u...it
Invited speakers
- Jon Pérez, "EC-61508 Certification of Mixed-Criticality Systems
based on Multicore and Partitioning"
- Javier Rodríguez, "Software Development of Safety-Critical Railway
Systems"
- Andras Balazs, "The Central On-Board Computer of the Philae Lander
in the Context of the Rosetta Space Mission"
Workshops (full day)
- Workshop on "Challenges and new Approaches for Dependable and
Cyber-Physical Systems Engineering" (De-CPS 2015)
- Workshop on "Architecture Centric Virtual Integration" (ACVI 2015)
Tutorials (full day)
- "Parallelism in Ada, Today and Tomorrow",
Brad Moore, General Dynamics Canada, and Stephen Michell, Maurya
Software, Canada
- "Probabilistic Timing Analysis",
Francisco J. Cazorla and Jaume Abella, Barcelona Supercomputing
Center, Spain, Tullio Vardanega, University of Padua, Italy, and
Mark Pearce, Rapita Systems Ltd, UK
- "Real-Time and Embedded Programming with Ada 2012",
Patrick Rogers, AdaCore, USA
Tutorials (half day)
- "Access Types and Memory Management in Ada 2012",
Jean-Pierre Rosen, Adalog, France
- "Designing and Checking Coding Standards for Ada",
Jean-Pierre Rosen, Adalog, France
- "Ada 2012 (Sub)type and Subprogram Contracts in Practice",
Jacob Sparre Andersen, JSA Research & Innovation, Denmark
- "When Ada meets Python: Extensibility through Scripting",
Emmanuel Briot and Ben Brosgol, AdaCore, France and USA
- "Software Measures for Dependable Software Systems",
William Bail, The MITRE Corporation, USA
- "Software Design Concepts and Pitfalls",
William Bail, The MITRE Corporation, USA
Papers and Presentations
- 12 refereed technical papers in sessions on
Language Technology, Real-Time Applications, Critical Systems,
Multi-core and Distributed Systems
- 9 industrial presentations in sessions on
Ada Applications, Critical Systems, Tools at Work
- 3 presentations in special "Advances on Methods" session
Vendor exhibition and networking area
- area features exhibitor booths, project posters, reserved vendor
tables, and general networking options
- 3 companies already committed: AdaCore, Ellidiss Software, and
Rapita Systems; others expected to confirm soon
- vendor presentation sessions in core program
Social events
- each day: coffee breaks in the exhibition space and sit-down lunches
offer ample time for interaction and networking
- Tuesday evening: Welcome Cocktail
- Wednesday evening: the traditional Ada-Europe Conference Banquet
will be held at Club de Campo Villa de Madrid, a country club
located at the outskirts of the city, with magnificent views
- Ada Lovelace 200th Anniversary Celebration
Registration
- early registration discount up to Sunday June 7, 2015
- additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and
SIGPLAN members
- a limited number of student discounts is available
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes all social events
- payment possible by credit card, check, or bank transfer
- see registration page for info on novel student waiver program!
Please make sure you book accommodation as soon as possible.
Madrid will be very busy in that week.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2015>.
----------------------------------------------------
-------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk Craeynest, Ada-Europe'2015 Publicity Chair
D...@c...kuleuven.be
*** 20th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2015
*** June 22-26, 2015 **** Madrid, Spain **** http://www.ada-europe.org
(V7.3)
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-18 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=