Next: Università di Bologna Up: Management Previous: Management
The main management of the project is done at INRIA, Rocquencourt, and at ICL.
The following activities at the consortium level have taken place during the first year of the CONFER-2 working group:
Two workshops have been held. The first took place in March 1997 at University of Bologna with 20 presentations and 30 participants, and was organised by Andrea Asperti. The second workshop took place in October 1997 at CWI in Amsterdam with 14 presentations and 30 participants. It was organised by Inge Bethke and J.-W. Klop.
As specified in §2.6 of the Working Group Programme, the vast majority of the activity of CONFER-2 is devoted to the organisation of 2 workshops per year. The cost statements forms will strengthen this distribution of the activity, although some of the funds are still reserved for travelling expenses between sites.
As a general remark on the technical orientation of the Working Group, it should be noticed that the subject of area 3 in the Progress section has a bit changed with respect to the initial programme. The title remains unchanged, but the area covers more semantics foundations of the various syntactic calculi considered in the two first parts of the programme: foundational models and calculi. The third area is now more oriented towards game semantics and denotational semantics. However, the overall project keeps its very syntactic initial flavour. The aim of the Working Group is also still to consider the fusion of the functional and concurrent approach.