Utenti collegati: 32
Programmare il computer
Invia un reply
Tutti i newsgroup
CfP 23rd Conf. Reliable Software Technologies, Ada-Europe 2018
Invia una risposta:
>----------------------------------------------------------------------- > > Call for Papers > > 23rd International Conference on > Reliable Software Technologies - Ada-Europe 2018 > > 18-22 June 2018, Lisbon, Portugal > > http://www.ada-europe.org/conference2018 > > Organized by U.Lisboa on behalf of Ada-Europe, > in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) > and the Ada Resource Association (ARA) > >----------------------------------------------------------------------- > >Ada-Europe organizes annual international conferences since the early >80's. This is the 23rd 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), Pisa, Italy ('16) and Vienna, Austria ('17). > >General Information >------------------- >The 23rd International Conference on Reliable Software Technologies - >Ada-Europe 2018 will take place in Lisbon, Portugal. 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. > >Schedule >-------- >22 January 2018: Submission of papers, industrial presentation > outlines, tutorial and workshop proposals >9 March 2018: Notification of acceptance to all authors >24 March 2018: Camera-ready version of papers required >8 May 2018: Industrial presentations, tutorial and workshop > material required > >Topics >------ >The conference is 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. > >This edition of Ada-Europe features a focused Special Session on >Security in Safety-Critical Systems. Safety-critical systems, >on which we daily bet our lives, have become increasingly more >complex, networked and distributed. In combination with the growing >professionalism of adversarial teams, this demands not only for >safe systems but systems that remain safe while under attacks. >This session seeks (but is not limited to) contributions aiming at >bridging the safety and security gap in cyber-physical and other >safety-critical systems. Topics include: Software and System Aspects >of Secure and Dependable CPS, Vulnerabilities and Protective Measures >for Safety-Critical System Infrastructures, and Fault and Intrusion >Tolerance and Long-Term Unattended Operation for Safety-Critical >Systems. For further information please contact the Special Session >Chair directly. > >For the general track of the conference, topics of interest include >but are not limited to: > >- Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods > and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability > and Performance. > >- Mixed-Criticality Systems: Scheduling methods, Mixed-Criticality > Architectures, Design Methods, Analysis Methods. > >- Theory and Practice of High-Integrity Systems: Medium to Large-Scale > Distribution, Fault Tolerance, Security, Reliability, Trust and > Safety, Languages Vulnerabilities. > >- Software Architectures: Design Patterns, Frameworks, Architecture- > Centered Development, Component-based Design and Development. > >- 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. > >- Ada Language and Technologies: Compilation Issues, Runtimes, > Ravenscar, Profiles, Distributed Systems, SPARK. > >- Software Quality: Quality Management and Assurance, Risk Analysis, > Program Analysis, Verification, Validation, Testing of Software > Systems. > >- Mainstream and Emerging Applications: Manufacturing, Robotics, > Avionics, Space, Health Care, Transportation, Cloud Environments, > Smart Energy Systems, Serious Games, etc. > >- Experience Reports in Reliable System Development: Case Studies and > Comparative Assessments, Management Approaches, Qualitative and > Quantitative Metrics. > >- 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. > >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 22 January 2018. >Paper submissions shall be 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=adaeurope2018. >The format for submission is solely PDF. > >The International Conference on Reliable Software Technologies is >listed in DBLP, SCOPUS, Web of Science Conference Proceedings Citation >index, Google Scholar and Microsoft Academic Search, among others. > >Proceedings >----------- >The 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 must be in conformance >with the LNCS style, not exceeding 14 pages and are due strictly >by 24 March 2018. For format and style guidelines authors should >refer to http://www.springer.de/comp/lncs/authors.html. Failure to >comply and to register for the conference by that date will prevent >the paper from appearing in the proceedings. > >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 at least 1 page in length by 22 January 2018, at >https://easychair.org/conferences/?conf=adaeurope2018. 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 8 >May 2018, aiming at a 20-minute talk. Authors will be also 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. For any further information please contact >the Industrial Co-chairs directly. > >Awards >------ >Ada-Europe will offer honorary awards for the best regular paper and >the best presentation. > >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. >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 will offer space for the publication of summaries of the >accepted tutorials. > >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 Tutorial and Workshop Chair. >The workshop organizer shall also commit to preparing proceedings >for timely publication in the Ada User Journal. > >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. > >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. > >Venue >----- >The conference will take place at the VIP Executive Art's Hotel, >in the Parque das Nações area of Lisbon, Portugal. > >Organizing Committee >-------------------- >Conference Chair > Nuno Neves, LASIGE/U. Lisboa, Portugal > nuno at di.fc.ul.pt > >Program Chair > António Casimiro, LASIGE/U. Lisboa, Portugal > casim at ciencias.ulisboa.pt > >Special Session Chair > Marcus Völp, University of Luxembourg, Luxembourg > marcus.voelp at uni.lu > >Tutorial and Workshop Chair > David Pereira, CISTER/ISEP, Portugal > dmrpe at isep.ipp.pt > >Industrial Co-Chairs > Marco Panunzio, Thales Alenia Space, France > marco.panunzio at thalesaleniaspace.com > José Rufino, LASIGE/U. Lisboa, Portugal > ruf at ciencias.ulisboa.pt > >Publication Chair > Pedro Ferreira, LASIGE/U. Lisboa, Portugal > pmf at ciencias.ulisboa.pt > >Exhibition Co-Chairs > José Neves, GMV, Portugal > jose.neves at gmv.com > Ahlan Marriott, White Elephant GmbH, Switzerland > ahlan at Ada-Switzerland.ch > >Publicity Chair > Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium > Dirk.Craeynest at cs.kuleuven.be > >Local Secretariat > Madalena Almeida, Viagens Abreu S.A., Portugal > madalena.almeida at abreu.pt > >Program Committee >----------------- >Mario Aldea, Univ. de Cantabria, Spain >Ezio Bartocci, Vienna Univ. of Technology, Austria >Rakesh Bobba, Oregon State Univ., USA >Bernd Burgstaller, Yonsei Univ., Korea >António Casimiro, LASIGE, Univ. Lisboa, Portugal >Juan A. de la Puente, Univ. Pol. de Madrid, Spain >Virgil Gligor, Carnegie Mellon University, USA >Michael González Harbour, Univ. de Cantabria, Spain >J. Javier Gutiérrez, Univ. de Cantabria, Spain >Jérôme Hugues, ISAE, France >Ruediger Kapitza, Tech Univ. Braunschweig, Germany >Hubert Keller, Karlsruhe Inst. of Technology, Germany >Raimund Kirner, Univ. of Hertfordshire, UK >Adam Lackorzynski, TU Dresden & Kernkonzept GmbH, Germany >Kristina Lundkvist, Mälardalen Univ., Sweden >Franco Mazzanti, ISTI-CNR, Italy >Laurent Pautet, Telecom ParisTech, France >Luís Miguel Pinho, CISTER, ISEP, Portugal >Erhard Plödereder, Univ. Stuttgart, Germany >Jorge Real, Univ. Politècnica de València, Spain >José Ruiz, AdaCore, France >Sergio Sáez, Univ. Politècnica de València, Spain >Elad Schiller, Chalmers Univ. of Technology, Sweden >Frank Singhoff, Univ. Bretagne Occidentale, France >Jorge Sousa Pinto, Univ. of Minho, Portugal >Tucker Taft, AdaCore, USA >Elena Troubitsyna, Åbo Akademi Univ., Finland >Santiago Urueña, GMV, Spain >Tullio Vardanega, Univ. di Padova, Italy >Marcus Völp, Univ. of Luxembourg, Luxemburg > >Industrial Committee >-------------------- >Ian Broster, Rapita Systems, UK >Luís Correia, EMPORDEF-TI, Portugal >Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium >Thomas Gruber, Austrian Inst. of Tech, Austria >Andreas Jung, European Space Agency, the Netherlands >Ismael Lafoz, Airbus Defence and Space, Spain >Ahlan Marriott, White Elephant, Switzerland >Maurizio Martignano, Spazio IT, Italy >Jean-Pierre Rosen, Adalog, France >Emilio Salazar, GMV, Spain >Helder Silva, EDISOFT, Portugal >Jacob Sparre Andersen, JSA Consulting, Denmark >Andreas Wortmann, OHB System, Germany >(to be completed) > >----------------------------------------------------------------------- > >Our apologies if you receive multiple copies of this announcement. >Please circulate widely. > >Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2018 Publicity Chair > >*** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018 >*** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org >(V1.4)
l'invio del messaggio richiede diversi secondi.
Non premere piï¿½ volte il tasto "Invia".