From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_00,FREEMAIL_FROM, PDS_FROM_2_EMAILS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.107.136.105 with SMTP id k102mr891991iod.21.1484740224012; Wed, 18 Jan 2017 03:50:24 -0800 (PST) X-Received: by 10.157.41.149 with SMTP id n21mr232113otb.4.1484740223973; Wed, 18 Jan 2017 03:50:23 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!r185no122016ita.0!news-out.google.com!78ni3038itm.0!nntp.google.com!r185no126560ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 18 Jan 2017 03:50:23 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=59.91.196.235; posting-account=FKeijgoAAACb_nfjxAQPx65f7seMZJtP NNTP-Posting-Host: 59.91.196.235 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada-Europe 2017 EXTENDED 22 January submission deadline From: "bhabeshsevak123@gmail.com" Injection-Date: Wed, 18 Jan 2017 11:50:24 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:33096 Date: 2017-01-18T03:50:23-08:00 List-Id: On Friday, 6 January 2017 16:55:01 UTC+5:30, Dirk Craeynest wrote: > The Ada-Europe 2017 Conference organizers decided to provide more > time for authors to finalize their contributions, and hence extended > the deadline for all submissions to Sunday 22 January 2017. >=20 > ----------------------------------------------------------------------- >=20 > UPDATED Call for Papers - EXTENDED DEADLINE >=20 > 22nd International Conference on > Reliable Software Technologies - Ada-Europe 2017 > =20 > 12-16 June 2017, Vienna, Austria > =20 > http://www.ada-europe.org/conference2017 > =20 > Organized by TU Vienna on behalf of Ada-Europe, > in cooperation with ACM SIGAda, SIGBED, SIGPLAN > and the Ada Resource Association (ARA) >=20 > *** Extended DEADLINE 22 JANUARY 2017 *** > =20 > ----------------------------------------------------------------------- >=20 > Ada-Europe organizes annual international conferences since the early > 80's. This is the 22nd event in the Reliable Software Technologies > series, previous ones being held at Montreux, Switzerland ('96), > London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), > Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria > ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, > UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, > Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK > ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France > ('14), Madrid, Spain ('15), and Pisa, Italy ('16). >=20 > General Information > ------------------- > The 22nd International Conference on Reliable Software Technologies - > Ada-Europe 2017 will take place in Vienna, Austria. Following its > traditional style, the conference will span a full week, including > a three-day technical program and vendor exhibition from Tuesday > to Thursday, along with parallel tutorials and workshops on Monday > and Friday. >=20 > Schedule > -------- > 22 January 2017: Submission of papers, industrial presentation, > tutorial and workshop proposals > 26 February 2017: Notification of acceptance to all authors > 19 March 2017: Camera-ready version of papers required > 30 April 2017: Industrial presentations, tutorial, and workshop > material required >=20 > Topics > ------ > The conference has over the years become a leading international > forum for providers, practitioners and researchers in reliable > software technologies. The conference presentations will illustrate > current work in the theory and practice of the design, development > and maintenance of long-lived, high-quality software systems for > a challenging variety of application domains. The program will > allow ample time for keynotes, Q&A sessions and discussions, and > social events. Participants include practitioners and researchers > representing industry, academia and government organizations active > in the promotion and development of reliable software technologies. >=20 > This edition of Ada-Europe features a focused Special Session on > Reliable and Safe Robotics. Following the increasing trend of robotic > systems in industrial and public environments it is more and more > important to address software systems to control autonomous vehicles. > This special topic discusses issues regarding challenging problems in > the field of autonomous navigation and sensor fusion. Topics include > (but are not limited to): frameworks for robotics, planning and system > modelling, as well as multi-agent and logistics applications. >=20 > For the general track of the conference, topics of interest include > but are not limited to: >=20 > - Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods > and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability > and Performance. >=20 > - Mixed-Criticality Systems: Scheduling methods, Mixed-Criticality > Architectures, Design Methods, Analysis Methods. >=20 > - Theory and Practice of High-Integrity Systems: Medium to Large-Scale > Distribution, Fault Tolerance, Security, Reliability, Trust and > Safety, Languages Vulnerabilities. >=20 > - Software Architectures: Design Patterns, Frameworks, Architecture- > Centered Development, Component-based Design and Development. >=20 > - Methods and Techniques for Software Development and Maintenance: > Requirements Engineering, Model-driven Architecture and Engineering, > Formal Methods, Re-engineering and Reverse Engineering, Reuse, > Software Management Issues, Compilers, Libraries, Support Tools. >=20 > - Ada Language and Technologies: Compilation Issues, Runtimes, > Ravenscar, Profiles, Distributed Systems, SPARK. >=20 > - Software Quality: Quality Management and Assurance, Risk Analysis, > Program Analysis, Verification, Validation, Testing of Software > Systems. >=20 > - Mainstream and Emerging Applications: Manufacturing, Robotics, > Avionics, Space, Health Care, Transportation, Cloud Environments, > Smart Energy Systems, Serious Games, etc. >=20 > - Experience Reports in Reliable System Development: Case Studies and > Comparative Assessments, Management Approaches, Qualitative and > Quantitative Metrics. >=20 > - Experiences with Ada: Reviews of the Ada 2012 new language features, > implementation and use issues, positioning in the market and in the > software engineering curriculum, lessons learned on Ada Education > and Training Activities with bearing on any of the conference topics. >=20 > Call for Regular and Special Session Papers > ------------------------------------------- > Authors of papers which are to undergo peer review for > acceptance are invited to submit original contributions > by 15 January 2017. Paper submissions shall not exceed 14 > LNCS-style pages in length. Authors for both the general track > and the special session shall submit their work via EasyChair at > https://easychair.org/conferences/?conf=3Dadaeurope2017. The format > for submission is solely PDF. >=20 > The International Conference on Reliable Software Technologies is > ranked class A in the CORE ranking and Microsoft Academic Search > has it in the top third for conferences on programming languages. > The conference is listed in DBLP, SCOPUS and Web of Science Conference > Proceedings Citation index, among others. >=20 > Proceedings > ----------- > Conference proceedings will be published in the Lecture Notes in > Computer Science (LNCS) series by Springer, and will be available > at the conference. Camera-ready accepted papers are due strictly by > 19 March 2017 (format guidelines available at the conference site). > Failure to comply and to register for the conference by that date > will prevent the paper from appearing in the proceedings. >=20 > Call for Industrial Presentations > --------------------------------- > The conference seeks industrial presentations which deliver > value and insight but may not fit the selection process for > regular papers. Authors are invited to submit a presentation > outline of exactly 1 page in length by 15 January 2017. > Submissions shall be made via EasyChair following the link > https://easychair.org/conferences/?conf=3Dadaeurope2017. The format > for submission is solely PDF. The Industrial Committee will review > the submissions and make the selection. The authors of selected > presentations shall prepare a final short abstract and submit it by > 30 April 2017, aiming at a 20-minute talk. The authors of accepted > presentations will be invited to submit corresponding articles for > publication in the Ada User Journal (http://www.ada-europe.org/auj/), > which will host the proceedings of the Industrial Program of the > Conference. For any further information please contact the Industrial > Chair directly. >=20 > Awards > ------ > Ada-Europe will offer honorary awards for the best regular paper and > the best presentation. >=20 > Call for Tutorials > ------------------ > Tutorials should address subjects that fall within the scope of the > conference and may be proposed as either half- or full-day events. > Proposals should include a title, an abstract, a description of the > topic, a detailed outline of the presentation, a description of the > presenter's lecturing expertise in general and with the proposed > topic in particular, the proposed duration (half day or full day), > the intended level of the tutorial (introductory, intermediate, or > advanced), the recommended audience experience and background, and a > statement of the reasons for attending. Proposals should be submitted > by e-mail to the Tutorial Chair. The authors of accepted full-day > tutorials will receive a complimentary conference registration as well > as a fee for every paying participant in excess of 5; for half-day > tutorials, these benefits will be accordingly halved. The Ada User > Journal (http://www.ada-europe.org/auj/) will offer space for the > publication of summaries of the accepted tutorials. >=20 > Call for Workshops > ------------------ > Workshops on themes that fall within the conference scope may be > proposed. Proposals may be submitted for half- or full-day events, to > be scheduled at either end of the conference week. Workshop proposals > should be submitted to the Workshop Chair. The workshop organizer > shall also commit to preparing proceedings for timely publication in > the Ada User Journal (http://www.ada-europe.org/auj/). >=20 > Call for Exhibitors > ------------------- > The commercial exhibition will span the three days of the main > conference. Vendors and providers of software products and services > should contact the Exhibition Chair for information and for allowing > suitable planning of the exhibition space and time. >=20 > Grants for Reduced Student Fees > ------------------------------- > A limited number of sponsored grants for reduced fees is expected > to be available for students who would like to attend the conference > or tutorials. Contact the Conference Chair for details. >=20 > Venue > ----- > The conference will take place at Palais Eschenbach, in the heart of > Vienna, Austria. >=20 > Organizing Committee > -------------------- > Conference Chair > Wolfgang Kastner, TU Vienna, Austria > k@auto.tuwien.ac.at >=20 > Program Co-Chairs > Johann Blieberger, TU Vienna, Austria > blieb@auto.tuwien.ac.at > Tullio Vardanega, Universit=C3=A0 di Padova, Italy > tullio.vardanega@math.unipd.it >=20 > Special Session Chair > Markus Bader, TU Vienna, Austria > markus.bader@tuwien.ac.at >=20 > Tutorial and Workshop Chair > Ben Brosgol, AdaCore, USA > brosgol@adacore.com >=20 > Industrial Chair > Jacob Sparre Andersen, JSA Research & innovation, Denmark > jacob@jacob-sparre.dk >=20 > Exhibition Chair > Ahlan Marriott, White Elephant GmbH, Switzerland > ahlan@Ada-Switzerland.ch >=20 > Publicity Chair > Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium > Dirk.Craeynest@cs.kuleuven.be >=20 > Local Chair > Markus Bader, TU Vienna, Austria > markus.bader@tuwien.ac.at >=20 > Program Committee > ----------------- > Mario Aldea, Univ. de Cantabria, Spain > Ted Baker, NSF, USA > Ezio Bartocci, Vienna University of Technology, Austria > Bernd Burgstaller, Yonsei Univ., Korea > Juan A. de la Puente, Universidad Polit=C3=A9cnica de Madrid, Spain > Lukas Esterle, Vienna University of Technology, Austria > Michael Gonz=C3=A1lez Harbour, Universidad de Cantabria, Spain > J. Javier Guti=C3=A9rrez, Universidad de Cantabria, Spain > J=C3=A9r=C3=B4me Hugues, ISAE, France > Raimund Kirner, Univ. of Hertfordshire, UK > Wilfried Kubinger, FH Technikum Wien, Austria > Albert Llemos=C3=AD, Universitat de les Illes Balears, Spain > Kristina Lundkvist, M=C3=A4lardalen University, Sweden > Franco Mazzanti, ISTI-CNR, Italy > Laurent Pautet, Telecom ParisTech, France > Justus Piater, Univ. Innsbruck, Austria > Lu=C3=ADs Miguel Pinho, CISTER/ISEP, Portugal > Erhard Pl=C3=B6dereder, Univ. Stuttgart, Germany > Jorge Real, Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain > Jos=C3=A9 Ruiz, AdaCore, France > Sergio S=C3=A1ez, Universitat Polit=C3=A8cnica de Valencia, Spain > Tucker Taft, AdaCore, USA > Theodor Tempelmeier, University of Applied Sciences Rosenheim, Germany > Elena Troubitsyna, =C3=85bo Akademi, Finland > Santiago Urue=C3=B1a, GMV, Spain > Tullio Vardanega, Univ. di Padova, Italy > Armin Wasice, University of California at Berkeley, USA > Michael Zillich, Vienna University of Technology, Austria >=20 > Industrial Committee > -------------------- > Ian Broster, Rapita Systems Ltd, UK > J=C3=B8rgen Bundgaard, Ramboll, Denmark > Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium > Thomas Gruber, Austrian Institute Of Technology (AIT), Austria > Egil Harald H=C3=B8vik, Kongsberg, Norway > Ismael Lafoz, Airbus Defence & Space, Spain > Bj=C3=B6rn Lundin, Consafe Logistics, Sweden > Ahlan Marriott, White Elephant GmbH, Switzerland > Paolo Panaroni, Intecs, Italy > Paul Parkinson, Wind River, UK > Andreas Richtsfeld, DS Automotion GmbH, Austria > Jean-Pierre Rosen, Adalog, France > Emilio Salazar, GMV, Spain > Jacob Sparre Andersen, JSA Research & Innovation, DK > Jean-Loup Terraillon, European Space Agency, The Netherlands > Sergey Tverdyshev, SysGO, Germany >=20 > ----------------------------------------------------------------------- >=20 > Our apologies if you receive multiple copies of this announcement. > Please circulate widely. >=20 > Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2017 Publicity Chair >=20 > *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 > *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org > (V3.1)