30 April 2007 09:30–12:00 13:30–16:00
01 May 2007 09:00–12:00 13:30–16:00
02 May 2007 09:00–12:00

Meeting Location:

Dipartimento di Matematica Pura ed Applicata
(Dept. of Pure and Applied Maths)
Trieste 63, Padova

The meeting will take place in meeting room #432, marked SALA RIUNIONI on the IV floor, to be reached via the elevator in Tower B, marked SCALA B and then entering the fire-breaker door marked CORRIDOIO B-C.

Meeting Information:

N0057R

Host:

Ente Nazionale Italiano di Unificazione
Italy

Host Contact information:

Email: Tullio Vardanega

or

Blue Pilot Consulting, Inc.
Email: John Benito
Phone: +1 (831) 427-0528
Cell:   +1 (831) 600-5547

Monday 30^th

9:00 – 9:30 – Coffee –

9:30 – 10:00 1. Opening activities

1.1 Opening Comments (Vardanega, Moore, Benito)
1.2 Introduction of Participants/Roll Call
1.3 Procedures for this Meeting (Benito)
1.4 Approval of previous minutes (Moore)
1.5 Review of previous actions items and resolutions ( Action Item & Decision Logs).
1.6 Approval of Agenda
1.7 Information on Futute Meetings. (N0058) (Plum, Benito)

1.7.1 Future Meeting Schedule
1.7.2 Future Agenda Items
1.7.3 Future Mailings

10:00 – 10:30 2. Reports on Liaison Activities

2.1 SC 22 (Moore)
2.2 J3/WG5 (Fortran)
2.3 J4/WG4 (COBOL)
2.4 WG9 (Ada)
2.5 J11/WG14 (C)
2.6 ECMA TC39/TG2 (C#)
2.7 MISRA (C)
2.8 MISRA (C++)
2.9 SPARK
2.10 MDC (MUMPS)
2.11 SC7/WG19 (UML)
2.12 Other Liaison Activities or National body reports

10:30 – 10:45 Break

10:45 – 16:00 3. Document Review

3.1 Forms of language specification (Jones)
3.2 Vulnerability, Safety, Security, and Quality (Plum)
3.3 Paper Presentation AE2006 Ben Brosgol 
3.4 Paul Caseley, "Dependable software dependent systems?," presentation at Meeting #2
3.5 Contribution from Stephen Michell, Revisions of "Vulnerabilities Issues from TR15942"
3.6  Various Versions of a Template for Language-Independent Descriptions of Vulnerabilities
3.7 Preliminary draft of the CERT C Programming Language Secure Coding Standard
3.8 Working Draft of PDTR 24772 (All)

Tuesday 1^st

9:00 – 16:00 4. Continue Document Review

Wednesday 2^nd

9:00 – 10:30 5. Other Business

10:30 – 10:45 Break

10:40 – 12:00 6. Resolutions

6.1 Review of Decisions Reached
6.2 Formal Vote on Resolutions
6.3 Review of Action Items
6.4 Thanks to Host

12:00 7. Adjournment