Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013

7 views
Skip to first unread message

Dirk Craeynest

unread,
Apr 18, 2013, 4:35:42 PM4/18/13
to
-----------------------------------------------------------------------

Call for Participation

*** PROGRAM SUMMARY ***

18th International Conference on
Reliable Software Technologies - Ada-Europe 2013

10-14 June 2013, Berlin, Germany

http://www.ada-europe.org/conference2013

Organized by Ada-Germany on behalf of Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN

*** Early registration discount until April 30 ***
*** Conference AND hotel bookings ONLY via conference web site ***

-----------------------------------------------------------------------

The 18th International Conference on Reliable Software Technologies
- Ada-Europe 2013 will take place in Berlin, Germany, from June 10
to 14, 2013. The conference will offer an outstanding technical
program, invited talks, plus an exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
These events highlight the increased relevance of Ada in safety-
and security-critical systems, and provide a unique opportunity
for interaction and collaboration between academics and industrial
practitioners.

The 16-page Preliminary Program (PP) brochure with extensive
information is available on the conference web site. The PP contains
the list of accepted papers and industrial presentations, as well as
detailed descriptions of all tutorials, keynote presentations, and
panel sessions. In the menu on the home page first select "Program",
and then the PP download link. Also check the conference web site
for registration, accommodation and travel information.

Quick overview
- Mon 10 & Fri 14: tutorials
- Tue 11 - Thu 13: core program

Proceedings
- published by Springer
- volume 7896 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference

Program co-chairs
- Hubert B. Keller, Karlsruhe Institute of Technology, Germany
hubert...@kit.edu
- Erhard Pl�dereder, University of Stuttgart, Germany
ploe...@iste.uni-stuttgart.de

Invited speakers
- Bruce Powel Douglass, Chief Evangelist IBM Rational, USA,
"Model-based Ada Development for DO-178B/C and the Application of
Agile Methods"
- Jack G. Ganssle, The Ganssle Group, USA, "The Way Ahead in Software
Engineering: Replacing Artists with Disciplined Grownups"
- Giorgio C. Buttazzo, Scuola Superiore Sant'Anna of Pisa, Italy,
"Research Challenges in Exploiting Multi-Core Platforms for Real-Time
Applications"

Tutorials (half day)
- "Multicore Programming using Divide-and-Conquer and Work Stealing",
S. Tucker Taft, AdaCore, USA
- "Designing and Checking Coding Standards for Ada",
Jean-Pierre Rosen, Adalog, France
- "Effective Requirements Development Practices and their Role in
Effective Design", William Bail, The MITRE Corporation, USA
- "Understanding Dynamic Memory Management in Safety Critical Java",
Tom Grosman, Kelvin Nilsen, Atego Systems, Inc., USA
- "Developing Code Analysis Applications with ASIS",
Jean-Pierre Rosen, Adalog, France
- "Verification and Validation Techniques for Dependable Systems",
William Bail, The MITRE Corporation, USA
- "Testing Real-Time Software",
Ian Broster, Rapita Systems, UK
- "Service-Oriented Architecture and Enterprise Service Bus",
Rick Sward, The MITRE Corporation, USA, Jeff Boleng, The Software
Engineering Institute, Pittsburgh, USA
- "Developing High-Integrity Systems with GNAT GPL and the Ravenscar
Profile", Juan de la Puente and Juan Zamorano, Universidad
Polit�cnica de Madrid, Spain
- "Maximize your Application Potential",
David Sauvage, AdaLabs Ltd, Republic of Mauritius

Tutorials (full day)
- "Design of Multitask Software: the Entity-Life Modeling Approach",
Bo Sand�n, Colorado Technical University, USA

Panel session "How to Use the Heap in Real-Time Systems":
- "On Region-Based Storage Management for Parallel Programming",
S. Tucker Taft, AdaCore, USA
- "Extending the Java Type System to Enforce Disciplined Use of
Scope-Allocated Objects", Tom Grosman, Atego Systems, USA
- "On Dynamic Memory Management in Real-Time, Safety-Critical System",
James Hunt, aicas GmbH, Germany

Papers and Presentations
- 11 refereed technical papers in sessions on Multicore and Distributed
Systems, Ada and Spark, Dependability, Real-Time Systems
- 5 industrial presentations in 2 sessions
- 1 special session "Introducing Ada 2012"
- submissions by authors from 17 countries, and accepted contributions
from Canada, Denmark, France, Germany, Italy, Mauritius, Portugal,
Spain, Switzerland, UK and USA.

Vendor exhibition
- 6 exhibitors already committed: AdaCore, Atego, Ellidiss Software,
ETAS, Rapita, and Vector Software
- vendor presentation sessions in core program

Social events
- each day: coffee breaks and sit-down lunches offer ample time for
interaction and networking
- Monday evening: Get Together
- Tuesday evening: Welcome Reception
- Wednesday evening: Conference Banquet Dinner at the Botanic Garden
of the Freie Universit�t Berlin, one of the largest and most diverse
botanical gardens in the world, within walking distance to the hotel

Registration
- early registration discount up to Tuesday April 30, 2013
- additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and
SIGPLAN members
- a limited number of student grants is available
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes all social events
- payment possible by bank transfer or credit card

Please make sure you book accommodation as soon as possible. A large
block of rooms at reduced prices has been reserved at the conference
hotel until April 30. Note that those rooms are ONLY available for
reservations made through the conference web site!

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2013>.

-----------------------------------------------------------------------

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2013 Publicity Chair
Dirk.Cr...@cs.kuleuven.be

*** 18th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2013
*** June 10-14, 2013 *** Berlin, Germany *** http://www.ada-europe.org
(V7.5)

gamer...@yahoo.com

unread,
Apr 30, 2013, 4:21:15 AM4/30/13
to
On Thursday, April 18, 2013 3:35:42 PM UTC-5, Dirk Craeynest wrote:
> -----------------------------------------------------------------------
>
>
>
> ARE YOU IN NEED OF CASH? DON’T GO AND STEAL IT. TRY THIS. THIS REALLY CAN MAKE YOU EASY MONEY!! IT WORKS!!! BUT YOU HAVE TO FOLLOW THE LETTER FOR IT TO WORK!!!! THIS IS NOT A PYRAMID SCAM!! YOU TOO CAN BE RICH!!!!! A little while back, I was browsing through newsgroup, just like you are now and came across an article similar to this that said you could make thousands dollars within weeks with only an initial investment of $6.00! So I thought, "Yeah, right, this must be a scam", but like most of us, I was curious, so I kept reading. Anyway, it said that you send $1.00 to each of the 6 names and address stated in the article. You then place your own name and address in the bottom of the list at #6, and post the article in at least 200 newsgroups. (There are thousands) No catch, that was it. So after thinking it over, and talking to few people first, I thought about trying it. I figured what have I got to lose except 6 stamps and $6.00, right? Like most of us I was a little skeptical and a little worried about the legal aspects of it, so I checked it out with the U.S. Post Office (1-800-725-2161) and they confirmed that it is indeed legal! Then I invested the measly $6.00. Well GUESS WHAT? Within 7 days, I started getting money in the mail! I was shocked! I figured it would end soon, but the money just kept coming in. In my first week, I made about $25.00. By the end second week I had made a total over $1,000.00! In the third week I had over $10,000.00 and it's still growing. This is now my fourth week and I have made a total of just over $42,000.00 and it's still coming in rapidly. It’s certainly worth $6.00, and 6 stamps, I have spent more than that on the lottery!! Let me tell you how this works and most importantly, why it works? Also, make sure you print a copy of this article NOW, so you can get the information off of it, as you need it. STEP 1: Get 6 separate pieces of paper and write the following on each piece of paper "PLEASE PUT ME ON YOUR MAILING LIST." Now get 6 US $1.00 bills and place ONE inside EACH of the 6 pieces of paper so the bill will not be seen through the envelope to prevent thievery. Next, place one paper in each stating the above phrase, your name and address, and a $1.00 bill. What you are doing is creating a service by this. THIS IS ABSOLUTELY LEGAL! Mail the 6 envelopes to the following addresses: #1) Edwin Peterson 111-14 Rockaway Beach Blvd Unit#1B Rockaway Park, NY 11694 #2) John Huynh, 491 Posada Way, #14, Chico, CA 95973 #3) K. Hayes 9211 NE 15th AVE, #H-322, Vancouver, WA 98665 #4) W. Tomney 32 Bombay rd marsh green wigan Lancashire wn5 oej England #5) 707 S. Park Ave. Independence, MO, 64052 #6) 1307 S. Northern Blvd. Independence, MO 54052 STEP 2: Now take the #1 name off the list that you see above, move the other names up (6 becomes 5, 5 becomes 4, etc) and add YOUR Name as number 6 on the list. STEP 3: Change anything you need to, but try to keep this article as close to original as possible. Now, post your amended article to at least 200 newsgroups, message board. (I think there are close to 24,000 groups) All you need is 200, but remember, the more you post, the more money you make!---- DIRECTIONS----HOW TO POST TO NEWSGROUPS, MESSAGE BOARD----------Step 1) You do not need to re-type this entire letter to do your own posting. Simply put your cursor at the beginning of this letter and drag your cursor to the bottom of this document, and select 'copy' from the edit menu. This will copy the entire letter into the computer memory. Step 2) Open a blank 'notepad' file and place your cursor at the top of the blank page. From the 'edit' menu select 'paste'. This will paste a copy of the letter into notepad so that you can add your name to the list. Step 3) save your new notepad file as a .txt file. If you want to do your postings in different sittings, you'll always have this file to go back to. Step 4: Use Netscape or Internet explorer and try searching for various newsgroups (on-line forums, message boards, chat sites, discussions.) Just example you log on any search engine like Yahoo.com, google.com, altavista.com, excite.com then you search with this subject? Millionaire message board, money-making message board, employment message board, money-making discussions, money making forum, and business message board? Etc. You will find thousand & thousand message board. Click one by one then you will find the option post a new message. Step 5: Visit these messages boards and post this article as a new message by highlighting the text of this letter and selecting paste from the edit menu. Fill in the Subject, this will be the header that everyone sees as they scroll through the list of postings in a particular group, click the post message button. You're done with your first one! Congratulations? THAT'S IT! All you have to do is jump to different newsgroups and post away, after you get the hang of it, and it will take about 30 seconds for each newsgroup! ** REMEMBER, THE MORE NEWSGROUPS OR MESSAGE BOARD YOU POST IN, THE MORE MONEY YOU WILL MAKE!! BUT YOU HAVE TO POST A MINIMUM OF 200. That's it! You will begin receiving money from around the world within days! You may can rent a P.O. Box due to the large amount of mail you will receive. If you wish to stay anonymous, you can invent a name to use, as long as the postman will deliver it. **JUST MAKE SURE ALL THE ADDRESSES ARE CORRECT. ** Now the WHY part: Out of 200 postings, say I receive only 5 replies (a very low example). So I made $5.00 with my name at #6 on the letter. Now, each of the 5 persons who just sent me $1.00 make the MINIMUM 200 postings, each with my name at #5 and only 5 persons respond to each of the original 5, that is another $25.00 for me, now those 25 each make 200 MINIMUM posts with my name at #4 and only 5 replies each, I will bring in an additional $125.00! Now, those 125 persons turn around and post the MINIMUM 200 with my name at #3 and only receive 5 replies each, I will make an additional $625.00! OK, now here is the fun part, each of those 625 persons post a MINIMUM 200 letters with my name at #2 and they only receive 5 replies, that just made me $3,125.00!!! Those 3,125 persons will all deliver this message to 200 newsgroups with my name at #1 and if still 5 persons per 200 newsgroups react I will receive $15,625.00! With an original investment of only $6.00! AMAZING! When your name is no longer on the list, you just take latest posting in the newsgroups, and send out another $6.00 to names on the list, putting your name at number 6 again. And start posting again. The thing to remember is, do you realize that thousands of people all over the world are joining the Internet and reading these articles everyday, JUST LIKE YOU are now!! So can you afford $6?? See if it really works?? I think so. PLAY FAIRLY AND HONESTLY AND THIS WILL WORK FOR YOU TOO. GOOD LUCK! Call for Participation
0 new messages