[University] Lecturer for Safty Critical Software at Dual Univeristy of Baden-Wuerttemberg
Raimund.Scheucher
Raimund.Scheucher at web.de
Sat May 16 00:29:07 CEST 2015
Hello,
having contact since years with AdaCore to have GNAT as option available, a
week ago Jack Mellor and Quentin Ochem visited.
Since April this year I give lectures in Safty Critical Software at a
special kind of university in southern Germany.
Jack said that there is a form that I could fill out, so that I could get
support for my lectures, because I will give a short introduction in Ada in
a few days (i.e. on 27th and 28th of May).
Please send me that form.
I found already some material at university.adacore.com.
If I got no help, I use what I found: very important and valuable
information in papers (Ada for C++ & Java Dev. / Safe and Secure Software
--> Ada2012).
What is the difference to http://www.adacore.com/academia?
Here a login is requested.
What is the GAP Package?
I would be pleased about any help.
To be useful in 2015, I need this help in the coming few days.
In the coming years, I would have the same lectures again from April to
June.
Regards,
Raimund Scheucher
Dr.-Zimmermann-Str. 4a, D-88090 Immenstaad, Tel. 07545 939937, handy 0152
32094878
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/university/attachments/20150516/108eb2b7/attachment.html>
More information about the University
mailing list