The primary aim of the Working Group 2.2 is to explain programming concepts through the development, examination and comparison of various formal models of these concepts. The Working Group will investigate formalisms and models which represent different approaches to formal specification of programming concepts. The models of concern must, at least in part: apply to the actual and future computing milieu; have sufficient generality to describe total systems or useful subsystems; treat either: problem specification or solution specification; provide practical guides towards derivation of: capabilities, semantics, correctness, equivalence, implementability, performance and their support by the means of computer tools; assist in standards development and specification; have a pedagogical utility.
As usual abstracts of all talks will be collected by the secretary of IFIP WG 2.2 Andrzej Tarlecki. Additionally, speakers are kindly invited to make available to the organizers any typeset material that they might want to distribute to the participants. Technical reports and early drafts on ongoing work are welcome. We are considering the possibility of collecting this material in an informal proceeding.
The '99 Annual Meeting of the IFIP WG 2.2 is organized by
Furio Honsell
Dipartimento di Matematica e Informatica
Universita` di Udine - ITALY
in cooperation with CISM - International Centre for Mechanical Sciences
and takes place at :
18, Piazza Garibaldi,
33100 Udine,
ITALY,
tel 00 39 0432248511, fax 00 39 0432 248550, cism@uniud.it
The Udine '99 Meeting is partially sponsored by Unesco ROSTE and the University of Udine.
Partial support for travel and living expenses in Udine will be provided to a limited number of participants from central and eastern european, or southern mediterranean countries, thanks to the UNESCO ROSTE sponsorship.
Udine is located in north-eastern Italy. The closest international airport is Trieste (Udine) Airport with international connections to London and Munich. There are direct rail connections with Venice (2 hrs), Milan, Rome, Vienna, Salzburg.
Participants are asked to book their own accomodation directly. For hotels in Udine please see Hotels. In need of further assistance please email cism@uniud.it or honsell@dimi.uniud.it
As customary for the group, the exact schedule will be decided at the beginning of the meeting, Monady June 28 at 9.00 am. Administrative meetings will take place on Monday June 28 at 5.30 pm and on Thursday June 30 at 5.30 pm. For further scientific informations concerning the meeting, including abstracts of talks, please click here
On Sunday 27 June there will be an excursion to the roman and romanic city of Aquileia and to the fishing village of Grado. A bus will leave from Piazza Garibaldi (in front of the CISM building) at 9 am sharp. We will return in Udine at around 5 pm. The excursion is free. All participants and accompanying persons are invited to come.
On Monday 28 June at 6.30 pm there will be a Welcoming Reception at CISM.
The social dinner will take place on Wednesday June 30 at 8 pm.
A short guided tour of the city of Udine will take place on Tuesday June 29 at 5.30 pm.