Utenti collegati: 38 
 
it.comp.programmare
Programmare il computer

Indice messaggi | Invia un reply | Tutti i newsgroup | Cerca | Statistiche 



  Inviato da: Dirk Craeynest  Mostra tutti i messaggi di Dirk Craeynest
Titolo: Ada-Europe 2016 - online registration open
Newsgroup: at.sonstiges, ch.comp, es.comp.programas, it.comp.programmare, pt.comp.programacao
Data: 28/04/2016
Ora: 22:51:02
Mostra headers
 
  -----------------------------------------------------------------------<br /> <br /> Call for Participation<br /> <br /> *** UPDATED Program Summary ***<br /> <br /> 21st International Conference on<br /> Reliable Software Technologies - Ada-Europe 2016<br /> <br /> 13-17 June 2016, Pisa, Italy<br /> <br /> http://www.ada-europe.org/conference2016<br /> <br /> Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,<br /> in cooperation with ACM SIGAda, SIGBED, SIGPLAN<br /> and the Ada Resource Association (ARA)<br /> <br /> *** Online registration open ***<br /> *** Early registration discount until May 9 ***<br /> *** Highly recommended to book your hotel ASAP ***<br /> *** 16-page Advance Program available online ***<br /> <br /> -----------------------------------------------------------------------<br /> <br /> The 21st International Conference on Reliable Software Technologies -<br /> Ada-Europe 2016 takes place in Pisa, Italy, from June 13 to 17, 2016.<br /> It is an exciting event with an outstanding technical program,<br /> keynote talks, exhibition and networking from Tuesday to Thursday,<br /> and a rich program of workshops and tutorials on Monday and Friday.<br /> <br /> The conference is hosted by Scuola Superiore Sant'Anna, located in<br /> the heart of Pisa. The Scuola can be easily reached from the Campo<br /> dei Miracoli airport or the railway station.<br /> <br /> The Ada-Europe series of conferences has over the years become<br /> a leading international forum for providers, practitioners and<br /> researchers in reliable software technologies. These events<br /> highlight the increased relevance of Ada in general and in safety-<br /> and security-critical systems in particular, and provide a unique<br /> opportunity for interaction and collaboration between academics and<br /> industrial practitioners.<br /> <br /> Extensive information is already available on the conference web site,<br /> such as an overview of the program, the list of accepted papers and<br /> industrial presentations, and detailed descriptions of workshops,<br /> tutorials, and keynote presentations. Also check the conference web<br /> site for registration, accommodation and travel information.<br /> <br /> Quick overview<br /> - Mon 13 &amp; Fri 17: tutorials + workshops<br /> - Tue 14 - Thu 16: core program<br /> <br /> Proceedings<br /> - published by Springer<br /> - volume 9695 in Lecture Notes in Computer Science series<br /> - will be available at conference<br /> <br /> Program co-Chairs<br /> - Marko Bertogna, University of Modena and Reggio Emilia, Italy<br /> marko.bertogna@unimore.it<br /> - Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal<br /> lmp@isep.ipp.pt<br /> <br /> Keynote speakers<br /> - Alan Burns, University of York, on &quot;Why the Expressive Power of<br /> Languages such as Ada is needed for Future Cyber Physical Systems&quot;<br /> - Valerio Giorgetta, Magneti Marelli, on<br /> &quot;Challenges for the Automotive Platform of the Future&quot;<br /> - Marc Duranton, CEA, on &quot;The HiPEAC Vision&quot; (HiPEAC = European Network<br /> on High Performance and Embedded Architecture and Compilation)<br /> <br /> Workshops (full day)<br /> - 3rd International Workshop on &quot;Challenges and new Approaches for<br /> Dependable and Cyber-Physical Systems Engineering&quot; (De-CPS 2016)<br /> <br /> Tutorials (full day)<br /> - &quot;Embedded ARM Programming with Ada 2012&quot;<br /> Patrick Rogers, AdaCore, USA<br /> - &quot;Parallelism in Ada, C, Java and C#, Today and Tomorrow&quot;<br /> Brad Moore, General Dynamics Canada, and Stephen Michell, Maurya<br /> Software, Canada<br /> <br /> Tutorials (half day)<br /> - &quot;A Semi-formal Approach to Software Development&quot;<br /> William Bail, The MITRE Corporation, USA<br /> - &quot;Software Test and Verification Techniques for Dependable Systems&quot;<br /> William Bail, The MITRE Corporation, USA<br /> - &quot;Ada 2012 (Sub)types and Subprogram Contracts in Practice&quot;<br /> Jacob Sparre Andersen, JSA Research &amp; Innovation, Denmark<br /> - &quot;Towards Energy Awareness and Predictability in the Linux Kernel&quot;<br /> Juri Lelli, ARM Ltd, UK<br /> - &quot;Access Types and Memory Management in Ada 2012&quot;<br /> Jean-Pierre Rosen, Adalog, France<br /> - &quot;Using Gnoga for Desktop/Mobile GUI and Web development in Ada&quot;<br /> Jean-Pierre Rosen, Adalog, France<br /> <br /> Papers and Presentations<br /> - 12 refereed technical papers in sessions on<br /> Concurrency &amp; Parallelism, Testing &amp; Verification, Program<br /> Correctness &amp; Robustness, Real-Time Systems<br /> - 8 industrial presentations in sessions on<br /> Us of Ada, Reliable Software<br /> - 3 presentations in special &quot;Ada &amp; Parallelism&quot; session<br /> - &quot;ITS EASY Post Graduate School &amp; Projects&quot; presentation session<br /> - submissions by authors from 25 countries, and accepted contributions<br /> from Australia, Austria, Canada, France, Germany, Italy, Portugal,<br /> Spain, Sweden, Tunisia, UK, and USA<br /> <br /> Vendor exhibition and networking area<br /> - area features exhibitor booths, project posters, reserved vendor<br /> tables, and general networking options<br /> - 5 companies already committed:<br /> AdaCore, Ansys/Esterel, PTC Developer Tools, Rapita Systems,<br /> Vector Software; others expected to confirm soon<br /> - vendor presentation sessions in core program<br /> <br /> Social events<br /> - each day: coffee breaks in the exhibition space and sit-down lunches<br /> offer ample time for interaction and networking<br /> - Tuesday evening: Ada-Europe General Assembly and Welcome Cocktail<br /> - Wednesday evening: the traditional Ada-Europe Conference Banquet<br /> - Best Paper and Best Presentation awards will be handed out<br /> <br /> Registration<br /> - online registration is open at<br /> &lt;http://www.ada-europe.org/conference2016/reg><br /> - early registration discount up to Monday May 9, 2016<br /> - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and<br /> SIGPLAN members<br /> - a limited number of student discounts is available<br /> - registration includes copy of printed proceedings at event<br /> - includes coffee breaks and lunches<br /> - three day conference registration includes all social events<br /> - payment possible by credit card, check, or bank transfer<br /> - see registration page for info on novel student waiver program!<br /> <br /> Promotion<br /> - support Ada-Europe 2016 with promotional material available at<br /> &lt;http://www.ada-europe.org/conference2016/promo><br /> - 16-page Advance Program brochure available online for viewing at<br /> &lt;http://www.ada-europe.org/conference2016/AE2016_advance_program_lq.pdf><br /> and for printing at<br /> &lt;http://www.ada-europe.org/conference2016/AE2016_advance_program.pdf><br /> - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2016<br /> <br /> Please make sure you book accommodation as soon as possible.<br /> Pisa will be very busy in that week.<br /> <br /> For more info and latest updates see the conference web site at<br /> &lt;http://www.ada-europe.org/conference2016>.<br /> <br /> -----------------------------------------------------------------------<br /> <br /> Our apologies if you receive multiple copies of this announcement.<br /> Please circulate widely.<br /> <br /> Dirk Craeynest, Ada-Europe'2016 Publicity Co-Chair<br /> Dirk.Craeynest@cs.kuleuven.be<br /> <br /> *** 21st Intl.Conf.on Reliable Software Technologies - Ada-Europe'2016<br /> *** June 13-17, 2016 *** Pisa, Italy *** http://www.ada-europe.org ***<br /> (V6.4)  

Invia una risposta:

Nome:

Email:

Titolo:

Testo:


Attenzione: l'invio del messaggio richiede diversi secondi.
Non premere pi� volte il tasto "Invia".

 © Sergio Simonetti 2001 Che cos'è Links