Utenti collegati: 32
Programmare il computer
Invia un reply
Tutti i newsgroup
22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
Invia una risposta:
>----------------------------------------------------------------------- > > Call for Participation > > *** PROGRAM SUMMARY *** > > 22nd International Conference on > Reliable Software Technologies - Ada-Europe 2017 > > 12-16 June 2017, Vienna, Austria > > http://www.ada-europe.org/conference2017 > > Organized by TU Vienna on behalf of Ada-Europe, > in cooperation with ACM SIGAda, SIGBED, SIGPLAN > and the Ada Resource Association (ARA) > > *** Online registration open *** > *** Early registration discount until May 22 *** > *** Extensive info available on conference web site *** > > *** Highly recommended to book your hotel ASAP *** > >----------------------------------------------------------------------- > >The 22nd International Conference on Reliable Software Technologies - >Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16, >2017. 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 TU Vienna at Palais Eschenbach, which is >located near the center of Vienna and can easily be accessed by metro. > >The Ada-Europe series of conferences has over the years become >a leading international forum for providers, practitioners and >researchers in reliable software technologies. These events >highlight the increased relevance of Ada in general and in safety- >and security-critical systems in particular, 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 an overview of the program, the list of accepted papers and >industrial presentations, and descriptions of workshops, tutorials, >keynote presentations, and social events. Also check the conference >web site for registration, accommodation and travel information. > >Quick overview >- Mon 12 & Fri 16: tutorials + workshops >- Tue 13 - Thu 15: core program > >Proceedings >- published by Springer >- volume 10300 in Lecture Notes in Computer Science series >- will be available at conference > >Program co-Chairs >- Johann Blieberger, TU Vienna, Austria > firstname.lastname@example.org >- Tullio Vardanega, UniversitÓ di Padova, Italy > email@example.com > >Keynote speakers >- Giovanni Battista Gallus, Array, Italy, > on "The laws of robotics and autonomous vehicles may be much more > than three, but don't panic... yet" >- Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics" >- Kay R÷mer, TU Graz, Austria, on "Dependable Internet of Things" > >Workshops (full day) >- 4th International Workshop on "Challenges and new Approaches for > Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017), > focus on "Transportation of the Future" > >Tutorials (full day) >- "Introduction to SPARK 2014" > Peter Chapin, Vermont Technical College, USA > >Tutorials (half day) >- "Ada on ARM Cortex-M, a Zero-Run-Time Approach" > Maciej Sobczak, GE Aviation and Inspirel, Poland >- "Software Measurement for Dependable Software Systems" > William Bail, The MITRE Corporation, USA >- "Real-Time Parallel Programming with the UpScale SDK" > Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain >- "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" > Jean-Pierre Rosen, Adalog, France >- "Frama-C, a Collaborative Framework for C Code Verification" > Julien Signoles, CEA LIST, France >- "On beyond ASCII: Characters, Strings, and Ada 2012" > Jean-Pierre Rosen, Adalog, France >- "Modular Open System Architecture for Critical Systems" > William Bail, The MITRE Corporation, USA > >Papers and Presentations >- 14 refereed technical papers in sessions on Runtimes, Programming > Models, Safety & Security, Timing Verification, Mixed Criticality >- 9 industrial presentations and experience reports in sessions on > Exploratory Uses of Ada, Verification, Large Industrial Applications >- 4 presentations and discussion in special panel session on > "The Future of Safety-Minded Languages" >- submissions by authors from 24 countries, and accepted contributions > from Australia, Austria, Denmark, France, Italy, Portugal, South > Korea, Spain, Sweden, Switzerland, UK, and USA > >Vendor exhibition and networking area >- area features exhibitor booths, project posters, reserved vendor > tables, and general networking options >- 4 companies already committed: AdaCore, PTC, Rapita Systems, > VectorCAST; 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: Ada-Europe General Assembly, followed by Welcome > Reception incl. Robotics Presentations at "TU the Sky"; its terraces > at the top of TU Vienna's buildings offer a terrific view on the city >- Wednesday evening: Vienna bus tour, followed by the traditional > Ada-Europe Conference Banquet, held at a very famous "Heuriger" >- Best Paper and Best Presentation awards will be handed out > >Registration highlights this year >- single day registration cost has been reduced >- Wednesday is Meet Ada-Europe day! registration is discounted >- tutorial fees reduced when taken together with 3-day conference > >Registration >- online registration is open: select "Registration" at >
>- early registration discount up to Monday May 22, 2017 >- additional discount for > academia, Ada-Europe, ACM SIGAda, and ACM 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! > >Promotion >- recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 >- 16-page Advance Program brochure available online at >
>- support Ada-Europe 2017 with promotional material available at >
>- soon also available there: call for participation, ready-to-print > posters for use in your office, university, etc. > >Please make sure you book accommodation as soon as possible. >Vienna will be very busy in that week. > >For more info and latest updates see the conference web site at >
. > >----------------------------------------------------------------------- > >Our apologies if you receive multiple copies of this announcement. >Please circulate widely. > >Dirk Craeynest, Ada-Europe'2017 Publicity Chair >Dirk.Craeynest@cs.kuleuven.be > >*** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 >*** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org >(V5.4)
l'invio del messaggio richiede diversi secondi.
Non premere pi´┐Ż volte il tasto "Invia".