PART I. Council A
Total Page:16
File Type:pdf, Size:1020Kb
Tab13b_TC-2 report.doc TC-2 Software Theory and Practice Report to Council and TA London, February-March 2007 Period covered: September 2006 - February 2007 Robert Meersman (BE) and Judith Bishop (ZA)/Stefan Biffl (AT) Chair and Secretary (2006/2007), IFIP TC-2 PART I. Council a. Meetings held and scheduled. TC-2 held its annual meeting on June 10-11, 2006 in Como, Italy (reported earlier). The membership (see Annexure 1) stands at 46 (cf 43 in 2006). The next annual TC2 meeting is June 17-18, 2007, in Sofia, Bulgaria. b. Changes in membership and officers Robert Meersman (BE) was re-elected to serve as TC2 Chair for a second term (2007-9) Judith Bishop (ZA) resigned at the end of 2006 as Vice Chair and TC Secretary. New Vice Chair: Bashar Nuseibeh (GB) <[email protected]> New TC Secretary: Stefan Biffl (AT) [email protected] as proposed by TC2 Chair and approved by TC2 membership. TC2 Membership: • New delegates/members: RS Nenad Stefanovic <[email protected]> JP Masami Hagiya <[email protected]> WG 2.2 I. Walukiewicz (F) new vice chair WG 2.4 Welf Löwe (SWE) WG 2.5 Shigeo Kawata WG 2.6 Thomas Risse WG 2.7 Simone Barbosa WG 2.7 Gerrit van der Veer WG 2.13 Brian Fitzgerald • Membership ended or delegates resigned JP Kakehi Katsuhiko c. Working groups WG2.1 Report submitted by Lambert Meertens 1. Changes in membership and officers: There were no changes during this period. 2. Last meeting The 62th meeting of WG 2.1 was held 11 − 15 December 2006 in Namur, Belgium. It was hosted by Michel Sintzoff and Charles Pecheur of the Université catholique de Louvain, and attended by - 1 - 1 Tab13b_TC-2 report.doc 11 members and 12 observers, of which 5 were local observers. There were 22 technical presentations. The informal minutes, including abstracts of most of the talks and links to on-line working documents, are available on web page www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/wg21/meeting62/minutes.html 3. Next meetings Meeting #63: 10 − 14 September 2007, Kyoto, Japan. 4. Recent events: None 5. Upcoming event: None 6. Status of the group, general points, other activities The possibility of a joint WG2.1/WG2.8/WG2.11 Working Conference on Domain-Specific Languages, to be held in the middle of 2008, is being explored. WG2.2 Report submitted by Davide Sangiorgi The last meeting of IFIP WG 2.2 took place during the period 11—13 September 2006 in Udine, Italy. It was a special meeting, as it celebrated the 40th Anniversary Meeting of the WG. The meeting was organized by our member Furio Honsell with the help of Marino Miculan, at the University of Udine. Both the organization and the talks were excellent. Furio Honsell, presently rector of the University of Udine, has provided funding for the meeting. Five invited speakers retraced the development of the ideas at various stages in the history of programming language semantics and implementation or expressed a position on what concepts are central to this field. These talks were given by Hans Langmaack, Gordon Plotkin, Dana Scott, Leslie Lamport, and Manfred Paul. Three more invited talks were given by members of WG2.2. For the rest, the program comprised 17 presentations by members of the group. These invited talks and ordinary presentations also contributed to a general perspective of the field by surveying wide areas of work or by reporting on works accomplished over long periods. For some titles and abstracts of presentations, see http://www.cs.unibo.it/~sangio/IFIP/talks_Udine06.html 24 out of 29 members were present at the meeting: Given the exceptional event, in this case participation to the meeting was open. We therefore had a number of external participants (overall about 80 people registered) The Chairman proposed the nomination of a vice-chairman, as exists in several other working groups, and suggested for this I. Walukiewicz (F). This proposal was approved by the WG, during its administrative sessions. The WG has been asked by the organizers of the International Conference FSEN'07 (Fundamentals of Software Engineering, April 17-19, 2007) to be held in Teheran, to grant the co-sponsorship of the IFIP WG2.2 to this conference. The WG has accepted; the co-sponsorship has been approved by IFIP TC2. The WG involvement in the conferences concerns PC members, invited speakers, and tutorial sessions. Planned events and activities: The next meeting of the WG will take place in Nancy, France, in September. The precise dates are still under discussion. It will be organised by our member Stephan Merz. - 2 - 2 Tab13b_TC-2 report.doc The WG has co-sponsorship for the conference FSEN (Fundamentals of Software Engineering)to be held in Teheran, April 17-19, 2007, as discussed above. WG2.3 Report submitted by Pamela Zave Meeting #46 took place in Sydney, Australia, 8-12 January 2007. The host was Prof. Annabelle McIver of Macquarie University. Facilities for the meeting were graciously provided by the University of Sydney. There were 18 participants, including 11 members and 7 observers. 5 other members had originally planned to attend, but were forced by circumstances to revise their plans. No observers were eligible for membership at this meeting. Discussion topics and abstracts are available on the Web site: http://research.microsoft.com/~leino/IFIP-WG2.3/ We regret to note the passing of long-time member Douglas Ross. The International Conference on Tests and Proofs was held in Zurich, Switzerland, 12-14 February 2007. This event was organized by member Bertrand Meyer, endorsed by WG 2.3, and sponsored by IFIP. For further information see: http://tap.ethz.ch/ Meeting #47 will be held in Santa Fe, New Mexico, 8-12 October 2007. The host will be Robert Balzer of Teknowledge. WG2.4 Report submitted by Erhard Ploedereder Since the report to TC2 at its Como meeting, WG 2.4 met in Glasgow (UK) for a week-long meeting (July 16-21). There were 21 attendees, among them 4 members. While a slight improvement over the previous meeting, attendance levels are still not back to our normal number of about 30 participants. Nevertheless discussions of the presentations were lively and focused mostly on language capabilities and their implementation. Welf Löwe, Vaxjö University, Sweden, was proposed as a new member. Our next meeting is scheduled at the UCLA conference center at Lake Arrowhead, California, May 6-11, 2007. For the Lake Arrowhead meeting an increased number of invitations were sent out to prospective new members. This time they were personally contacted by members to familiarize them with the group and the meaning of the invitation extended to them. Early registration results indicate that the next meeting will have 30 participants or more. We experienced a veritable avalanche of offers to host upcoming meetings. A place in Northern Italy, two locations in Germany, offers from Sweden, Qatar, USA, Canada and South Africa provide a wealth of opportunities to chose from. Following traditions, the next meeting will be either in Europe or some “remote” country. 4th IFIP WG2.4 Summer School, South Africa 26-30 March 2007. Attendance stands at 88, from 9 African countries, the Netherlands and Italy. The School is being run by Judith Bishop through the University of Pretoria under the auspices of WG2.4. IFIP has not provided any funding this time. Scholarships for students and airfares for speakers have been the responsibility of Microsoft Research and local Research organizations. There is no profit sharing with IFIP, but the day fee at 2 euros per day will be paid to IFIP. WG2.5 Report submitted by Ron Boisvert Leadership Chair Dr. Ronald F. Boisvert, NIST, Gaithersburg, MD, USA - 3 - 3 Tab13b_TC-2 report.doc Vice-Chair Professor Michael Thuné, University of Uppsala, Sweden Secretary Professor Wayne Enright, University of Toronto, Canada Membership The Working Group currently has 34 full members representing 13 countries. The Working Group has an additional 12 affiliate members. (Affiliates are former WG 2.5 full members who are interested in working group activities, but are unable to regularly attend meetings or commit large amount of time to working group projects. They maintain email contact, and attend Working Group meetings when possible. They are considered members of the Working Group by IFIP.) The newest member of WG 2.5 is Professor Shigeo Kawata Utsunomiya University Japan He was approved by WG 2.5 in July 2006. Aims and Scope WG 2.5 recently re-evaluated its statement of aims and scope with an eye to updating its viewpoint in light of current trends in the field. The result of this process was a re-affirmation of the basic aim of the group, i.e., to improve the quality of scientific computation by promoting the development and availability of sound numerical software. However, it was felt that a re-statement and clarification of the objectives that lie within its scope was needed. In July 2006, the group approved a modified scope statement, which is included in Appendix 1 of this report. An important feature of this new statement is an expanded (one-page) rationale for each of the topic areas identified in the scope statement. This rationale is also attached. Business Meetings The working group holds yearly meetings. These are typically comprised of a two-day business meeting and an associated two-day workshop. The workshop provides an opportunity for the working group to interact with researchers in the local region on issues of mutual interest.