comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Interest in Ada is growing strong
Date: Wed, 09 Jun 2010 19:43:26 +0200
Date: 2010-06-09T19:43:26+02:00	[thread overview]
Message-ID: <op.vd1nioswxmjfy8@garhos> (raw)
In-Reply-To: ca6dc9d3-8426-4fac-9448-5eea50fd882b@u7g2000yqm.googlegroups.com

Le Wed, 09 Jun 2010 16:57:01 +0200, Ludovic Brenta  
<ludovic@ludovic-brenta.org> a écrit:

> The world-renowned Ada-Belgium International Spring Event once again
> attracted a crowd; this year, 12 persons were present and another 2
> expressed interest but could not attend. The Beaujolais Effect was
> demonstrated once again. The Debian packaging workshop attracted
> unprecedented audience of 5 enthusiastic people (not including
> myself), some of whom actually came prepared with questions and Debian
> already installed on their machines.
>
> All in all it was a very pleasant event; Lady Ada smiled upon us from
> the heavens and granted us excellent weather. I look forward to next
> time.
>
> There were 10 people present last year, 2 of whom also attended the
> Debian packaging workshop. So, the interest in Ada grew 20% year over
> year and the interest in "Ada in Debian" grew 150% year over year. Not
> bad for a "dying" language.
>
> --
> Ludovic Brenta.

Could not join for personal reasons. Hope this will be OK for next year or  
a later year.

Cheers, and hope you all enjoyed a lot.

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.



  reply	other threads:[~2010-06-09 17:43 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-09 14:57 Interest in Ada is growing strong Ludovic Brenta
2010-06-09 17:43 ` Yannick Duchêne (Hibou57) [this message]
2010-06-10 14:07 ` Alex R. Mosteo
2010-06-10 14:50   ` Ludovic Brenta
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox