[WG2.2 Homepage] [CISM] [Hotels] [Currency Convertor] [Tourism and Maps]

IFIP Working Group 2.2
FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS
'99 Annual Meeting

UDINE, Italy
Monday  June 28  - Friday July 2, 1999

Aim and Scope of the WG

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.

Proceedings

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.

Organization and Venue

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

Sponsors

The Udine '99 Meeting is partially sponsored by Unesco ROSTE and the University of Udine.

Support

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.

Travel Information

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.

Accomodation

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

Scientific Programme

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

Social Events

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.


Date Last Modified: Mon June 21 1999