BISS 2002: Bertinoro International Summer School for Graduate Studies in Computer Science 20-31 May 2002 University of Bologna Residential Center Bertinoro (Forlì), Italy

[ Courses and Lecturers
| Lecture Schedule
| Important Dates
| Location
| How to Reach Bertinoro
| Scholarship Application (Expired)
| Registration (Expired)
| List of Participants
| Organization and Sponsorship
| Local Weather Forecast]

The 2002 edition of the School is the eighth in the series and will be the first to adopt English as its official language.  Each of the three courses that are offered consists of 20 hours of lecturing spread over the two-week period.  Upon request, a final evaluation for each course will be made through a final exam or project as determined by the instructor.  The daily schedule admits laboratory, recitation or working group activities to be organized in addition to the lectures.

The registration fee for the School is EUR 800.00 and includes all local expenses from the evening of 19 May to mid-day on 31 May including on-site lodging in double occupancy rooms and meals. A limited number of scholarships are available and will be awarded on a need basis upon completion of an application form. Attendance is limited to 50 students and will be allocated on a first-come-first-served basis.

Courses and Lecturers

Summary:
We will discuss the nature of the difficulties in overcoming faults in a distributed system.  We will develop basic protocols to address the issue of consensus among participating parties.  The course will enable students to get an intuition about the tradeoff between the level of synchrony and the complexity of solving distributed problems. We will study the principle framework for a group communication service in a distributed setting.

Summary:
The well-known Curry-Howard analogy, which relates formulas to types and proofs to lambda terms, can be extended to states and concurrent computations as well. The concepts and constructions of category theory make the analogies transparent. In the course we will introduce categories as (partial) algebras in an elementary way and use them to model Petri nets (symmetric and strictly symmetric monoidal categories), simply typed lambda calculus (cartesian closed categories) and SOS process algebras (coalgebras in a category of algebras).

Prerequisites:
Some elementary knowledge of logic and universal algebra (first order logic, inference rules, signatures, algebra homomorphisms) and some knowledge of Petri nets, simply typed lambda calculus and CCS. However these models will be formally defined in the course in the ordinary way before giving the categorical version.  Intuitions from the models will drive the explanations of the abstract descriptions. While the course is intended to be elementary enough to be accessible to every computer science graduate, skipping initial lectures is discouraged.

Summary:
We will first introduce classic access control models, such as mandatory and discretionary models, and role-based models (RBAC models). We will then present the system R model, as an example of access control model for relational DBMS, its extensions, and the access control models of commercially available DBMS.  Finally, we will present access control models for advanced data management applications, such as the BFA model for workflow systems, and the models for digital library systems, and for XML data.

Prerequisites:
Operating systems: processes, file systems.
Data base systems: relational model.

Lecture Schedule

Important Dates

Location

Bertinoro itself is picturesque, with many narrow streets and walkways winding around the central peak.  The School will be held in an archiepiscopal fortress that has been converted by the University of Bologna into an ultramodern conference center with computing facilities and Internet access.  From the fortress you can enjoy a beautiful vista that stretches from the Tuscan Apennines to the Adriatic coast and the Alps over the Po Valley.

How to Reach Bertinoro

Scholarship Application (Expired)

Registration (Expired)

List of Participants

Organization and Sponsorship

Last updated: Tue 30 April 2002