Utenti collegati: 25
Programmare il computer
Invia un reply
Tutti i newsgroup
Ada-Europe 2016 EXTENDED 24 January submission deadline
Invia una risposta:
>The Ada-Europe 2016 Conference organizers decided to provide more >time for authors to finalize their contributions, and hence extended >the deadline for all submissions to Sunday 24 January 2016. > >----------------------------------------------------------------------- > > UPDATED Call for Papers - EXTENDED DEADLINE > > 21st International Conference on > Reliable Software Technologies - Ada-Europe 2016 > > 13-17 June 2016, Pisa, Italy > > http://www.ada-europe.org/conference2016 > > Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe, > in cooperation (approval pending) with ACM SIGAda, SIGBED, SIGPLAN > and the Ada Resource Association (ARA) > > *** Extended DEADLINE Sunday 24 JANUARY 2016 *** > >----------------------------------------------------------------------- > >Ada-Europe organizes annual international conferences since the early >80's. This is the 21st 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), and Madrid, Spain ('15). > >General Information >------------------- >The 21st International Conference on Reliable Software Technologies >- Ada-Europe 2016 will take place in Pisa, Italy. 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. > >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. >The Ada language, a reliable software technology by design, crosses >all topics of the conference, which nonetheless also welcomes any >other technologies proposed or in use for reliable software. > >This edition of Ada-Europe also features a focused Special Session >on Safe, Predictable Parallel Software Technologies. Following the >intensifying trend of usage of Multi-/Many-core systems, it is >increasingly important to assess how reliable software technologies >need to adapt to these complex platforms, as well as how parallel >models need to adapt to domains in which safety and predictability >is a must. > >Conference Proceedings will be published in the Lecture Notes in >Computer Science (LNCS) series by Springer. Selected papers of the >conference will be also invited for special issues of Springer's >Computing Journal (general track papers) and Journal of Parallel >Programming (special session papers). > >Schedule >-------- >24 January 2016: Submission of regular papers, industrial > presentations, tutorial and workshop proposals >10 March 2016: Notification of acceptance to all authors >24 March 2016: Camera-ready version of regular papers required >2 May 2016: Industrial presentation, turorial and workshop > materials required > >Topics >------ >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. > >For the special focus session, topics include (but are not limited to): > >- Predictable Parallel Programming Models. >- Parallel Language Technologies. >- Compiler Support for Parallel Execution. >- Parallel Runtimes and Libraries. >- Automatic Parallelization. >- Safety Issues and Reliability Mechanisms for Parallel Execution. >- Software Modelling and Design Approaches. >- Hardware Support for Predictability of Parallel Software. > >Call for Papers >--------------- >Authors of regular and special session papers which are to >undergo peer review for acceptance are invited to submit original >contributions. Paper submissions shall not exceed 14 LNCS-style >pages in length. Authors shall submit their work via EasyChair at >https://easychair.org/conferences/?conf=adaeurope2016. The format >for submission is solely PDF. > >Proceedings >----------- >The conference proceedings will be published in the Lecture Notes in >Computer Science (LNCS) series by Springer, and will be available >at the start of the conference. The authors of accepted regular >papers shall prepare camera-ready submissions in full conformance >with the LNCS style, not exceeding 14 pages, and strictly by March >24, 2016. 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. > >The International Conference on Reliable Software Technologies is >ranked class A in CORE. Microsoft Academic Search has it in the top >third for conferences on programming languages by number of citations >in the last 10 years. The conference is listed in DBLP, SCOPUS and >Web of Science Conference Proceedings Citation index, among others. > >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 January 17, 2016. Submissions shall be made via >EasyChair at https://easychair.org/conferences/?conf=adaeurope2016. >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, 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 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 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 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 Scuola Superiore Sant'Anna, in the >heart of Pisa, Italy. Plan in advance as June is full of events in >Pisa, including in the conference week the Saint Patron's festivities >(San Ranieri) with the Luminara on the night of June 16. > >Organizing Committee >-------------------- >Conference Chair > Giorgio Buttazzo, Scuola Superiore Sant'Anna, Italy > email@example.com > >Program Co-Chairs > Marko Bertogna, University of Modena and Reggio Emilia, Italy > firstname.lastname@example.org > Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal > email@example.com > >Special Session Chair > Eduardo Quinones, Barcelona Supercomputing Center, Spain > firstname.lastname@example.org > >Tutorial and Workshop Chair > Jorge Real, Universitat Politecnica de Valencia, Spain > email@example.com > >Industrial Co-Chairs > Marco Di Natale, Scuola Superiore Sant'Anna, Italy > firstname.lastname@example.org > Tullio Vardanega, Universita di Padova, Italy > email@example.com > >Publication Chair > Geoffrey Nelissen, CISTER Research Centre/ISEP, Portugal > firstname.lastname@example.org > >Exhibition Co-Chairs > Paolo Gai, Evidence Srl, Italy > email@example.com > Ahlan Marriott, White Elephant GmbH, Switzerland > ahlan@Ada-Switzerland.ch > >Publicity Co-Chairs > Mauro Marinoni, Scuola Superiore Sant'Anna, Italy > firstname.lastname@example.org > Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium > Dirk.Craeynest@cs.kuleuven.be > >Local Chair > Ettore Ricciardi, ISTI-CNR, Pisa, Italy > email@example.com > >Program Committee >----------------- >Mario Aldea, Universidad de Cantabria, Spain >Ted Baker, NSF, USA >Marko Bertogna, University of Modena and Reggio Emilia, Italy >Johann Blieberger, Technische Universität Wien, Austria >Bernd Burgstaller, Yonsei University, Korea >Albert Cohen, INRIA, France >Juan A. de la Puente, Universidad Politécnica de Madrid, Spain >Michael González Harbour, Universidad de Cantabria, Spain >J. Javier Gutiérrez, Universidad de Cantabria, Spain >Jérôme Hugues, ISAE, France >Raimund Kirner, University of Hertfordshire, UK >Albert Llemosí, Universitat de les Illes Balears, Spain >Franco Mazzanti, ISTI-CNR, Italy >Stephen Michell, Maurya Software, Canada >Jürgen Mottok, Regensburg University of Applied Sciences, Germany >Laurent Pautet, Telecom ParisTech, France >Luís Miguel Pinho, CISTER/ISEP, Portugal >Erhard Plödereder, Universität Stuttgart, Germany >Eduardo Quinoñes, Barcelona Supercomputing Center, Spain >Jorge Real, Universitat Politècnica de València, Spain >Christine Rochange, IRIT, University of Toulouse, France >José Ruiz, AdaCore, France >Sergio Sáez, Universitat Politècnica de Valencia, Spain >Martin Schoeberl, Technical University of Denmark, Denmark >Tucker Taft, AdaCore, USA >Theodor Tempelmeier, University of Applied Sciences Rosenheim, Germany >Elena Troubitsyna, Åbo Akademi, Finland >Santiago Urueña, GMV, Spain >Tullio Vardanega, Università di Padova, Italy > >Industrial Committee >-------------------- >Ian Broster, Rapita Systems, UK >Jørgen Bundgaard, Ramboll, Denmark >Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium >Arne Hamann, Bosch, Germany >Ismael Lafoz, Airbus Defence & Space, Spain >Riccardo Mariani, Yogitech, Italy >Ahlan Marriott, White Elephant, Switzerland >Paolo Panaroni, Intecs, Italy >Paul Parkinson, Wind River, UK >Eric Perlade, AdaCore, France >Jean-Pierre Rosen, Adalog, France >Jacob Sparre Andersen, JSA Consulting, Denmark >Claus Stellwag, Elektrobit AG, Germany >Jean-Loup Terraillon, European Space Agency, The Netherlands >Sergey Tverdyshev, SysGO, Germany >Rod White, MBDA, UK > >----------------------------------------------------------------------- > >Our apologies if you receive multiple copies of this announcement. >Please circulate widely. > >Dirk.Craeynest, Ada-Europe'2016 Publicity Co-Chair >Dirk.Craeynest@cs.kuleuven.be > >*** 21st Intl.Conf.on Reliable Software Technologies - Ada-Europe'2016 >*** June 13-17, 2016 *** Pisa, Italy *** http://www.ada-europe.org *** >(V3.4)
l'invio del messaggio richiede diversi secondi.
Non premere piï¿½ volte il tasto "Invia".