To receive the Ada User Journal, apply to Ada-Europe at: http://www.ada -europe.org/join ADA Volume 41 USER Number 2 June 2020 JOURNAL Contents Page Editorial Policy for Ada User Journal 62 Editorial 63 Quarterly News Digest 64 Conference Calendar 89 Forthcoming Events 97 Article from the 10th Ada Developer Room at FOSDEM 2020 M. Stein “Spunky, a Genode Kernel in Ada/SPARK” 99 Articles from the Industrial Track of AEiC 2020 T. A. Beyene, C. Herrera “Integrated Formal Analysis for Ada Programs” 103 F. Gómez, M. Masmano, V. Nicolau, J. Andersson, J. Le Rhun, D. Trilla, F. Gallego, G. Cabo, J. Abella “De-RISC – Dependable Real-Time Infrastructure for Safety-Critical Computer Systems” 107 Y. Valiente, P. Balbastre, F. Gómez, L. Rioux, R. Henia “Time4PS: Fully Integrated Development Toolset for Partitioned Systems” 113 Puzzle J. Barnes “The problem of the Greek Cross” 117 Ada-Europe Associate Members (National Ada Organizations) 118 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 41, Number 2, June 2020 64 Quarterly News Digest Alejandro R. Mosteo Centro Universitario de la Defensa de Zaragoza, 50090, Zaragoza, Spain; Instituto de Investigación en Ingeniería de Aragón, Mariano Esquillor s/n, 50018, Zaragoza, Spain; email:
[email protected] Finally, Jeremy Grosser has put together a From: Pat Rogers <
[email protected]> searchable (and cloneable) archive of all Subject: Request for WG 9 participation and Contents posts to comp.lang.ada since 1982, with Ada 202x draft standard review synchronization moving forward [5]. Date: Fri, 22 May 2020 13:43:22 -0700 Preface by the News Editor 64 Newsgroups: comp.lang.ada Sincerely, Ada-related Events 64 To Whom It May Concern, Ada in Education 65 Alejandro R.