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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 107e1d,a5c550127d940134,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 107324,a5c550127d940134,start X-Google-Attributes: gid107324,public X-Google-Thread: 111c4c,a5c550127d940134,start X-Google-Attributes: gid111c4c,public X-Google-Thread: 103376,a5c550127d940134,start X-Google-Attributes: gid103376,public From: dirk@neptunus.cs.kuleuven.ac.be (Dirk Craeynest) Subject: 2nd CFP Ada-Belgium'99 Seminar - Nov 19 - Ada 95 Works! Date: 1999/07/01 Message-ID: <7lg3gh$kb9@neptunus.cs.kuleuven.ac.be> X-Deja-AN: 496058660 Distribution: world Cache-Post-Path: marvin!dirk@neptunus.cs.kuleuven.ac.be Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=iso-8859-1 X-Complaints-To: abuse@belnet.be X-Trace: naxos.belnet.be 930845020 28226 134.58.127.3 (1 Jul 1999 16:03:40 GMT) Organization: Ada-Belgium, c/o Dept. Computer Science, K.U.Leuven X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/) Mime-Version: 1.0 NNTP-Posting-Date: 1 Jul 1999 16:03:40 GMT Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp,nl.comp.programmeren Date: 1999-07-01T16:03:40+00:00 List-Id: Please find appended the updated Call for Contributions for the 9th annual Ada-Belgium Seminar. Feel free to forward to anyone who might be interested. Updates: * The seminar will be held in Leuven, near Brussels. * Invited speaker is John Barnes. He will give two extended presentations: one on the SPARK language and toolset for developing "more correct" Ada 95 programs, and one on how to use some of the advanced new features in Ada 95. * We especially invite Ada 95 project presentations (even short ones). Dirk Craeynest - Ada-Belgium ------------------------------------------------------------------------ 2nd Call for Contributions A d a - B e l g i u m ' 9 9 - 9 t h A n n u a l S e m i n a r A d a 9 5 W o r k s ! Friday, November 19, 1999 Leuven, Belgium http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html DEADLINE for submission of abstracts Monday, July 26, 1999 ------------------------------------------------------------------------ Ada-Belgium is a non-profit volunteer organization whose purpose is to promote the use in Belgium of the Ada programming language, the first ISO standardized object-oriented language and a great language for engineering reliable systems. Ada-Belgium is soliciting contributions for presentation during its next Annual Seminar, to be held in Leuven on Friday, November 19, 1999. Attendees will include industry, government and university representatives that are active and interested in Ada software development and management. The language of the Seminar is English. Overview -------- This ninth Annual Ada-Belgium Seminar will feature tutorial, paper and project presentations. Once more, we are preparing a program with first class invited speakers, such as the previous years John Barnes ('94), Robert Dewar ('95), Tucker Taft ('96), Bill Beckwith ('97) and Brian Dobbing ('98), and lots of free Ada-related material, e.g. free Ada CD-ROMs in all Seminars from '94 on, copies of the Ada 95 Reference Manual and Rationale ('95), of the Ada 95 Quality and Style Guide ('96), of the CORBA IDL to Ada 95 mapping document ('97), etc. Theme of the Seminar will be "Ada 95 Works!". Presentations will show that Ada 95 is a viable alternative to be considered for your next project, as well as share practical experiences, describe available products, etc. Invited Speaker --------------- We are happy to announce that John Barnes will give presentations on the following topics: (1) An Overview of SPARK The SPARK language consists of a subset of Ada with embedded annotations in the form of Ada comments. One of the keys to developing correct software is using appropriate abstractions. This presentation will show how the SPARK language and its associated tools improve the completeness and correctness of abstractions and thus lead to Ada programs which are more likely to be correct. (2) Advanced Ada Ada 95 contains many advanced features which give the programmer greater control over various aspects of programs. Examples are the ability to define storage pools, to manipulate exception occurrences, to handle streams, and to control visibility. This presentation will discuss a number of such topics illustrated by examples. Call for Contributions ---------------------- Contributions consistent with the general theme of the Seminar, outlined below, are hereby invited: * Presentations supporting the theme of the Seminar. * Experience reports of projects using or trying out Ada technology. * Short technical presentations of available products. * Ada 95 project presentations (even short ones). More general contributions are also welcome, such as on: * Management of Ada software development projects, including the transition to Ada 95. * Experiences with Ada development, lessons learned. * Ada technology. * Ada research projects in universities and industry. Those interested to present at the Seminar should submit a short abstract (10-15 lines) in English by July 26, 1999, via e-mail to ada-belgium-board@cs.kuleuven.ac.be for consideration by the board. Short presentations will get a time-slot of 20-30 minutes. For longer presentations, the organizers will work out a schedule with the authors. Proceedings with full papers of the presentations will be available at the Seminar. Dates: * July 26, 1999: deadline for submission of abstracts. * end of August, 1999: notification of acceptance. * October 21, 1999: deadline for submission of final papers. * November 19, 1999: Ada-Belgium'99 Seminar. For additional information on the Ada-Belgium'99 Seminar please contact the Ada-Belgium Board at the e-mail address listed. Dirk Craeynest Ada-Belgium Board ada-belgium-board@cs.kuleuven.ac.be ------------------------------------------------------------------------ Acknowledgements We would like to thank our sponsors for their continued support of our activities: ACT Europe, John Robinson & Associates, Katholieke Universiteit Leuven (K.U.Leuven), Koninklijke Militaire School / Ecole Royale Militaire (K.M.S./E.R.M.), OFFIS nv/sa, Rational Software Corporation, Top Graph'X, and Universite' Libre de Bruxelles (U.L.B.). ------------------------------------------------------------------------ Information on this and other Ada-Belgium events is available on the Internet at the Ada-Belgium World-Wide-Web pages and is updated regularly. Check out URL http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html ------------------------------------------------------------------------