# LerNet

...collaborate on

# Documents

## Project Final Meeting and Summerschool

### Duration

6 days

The budget is for 7 days = 5 working days.

### Dates

February 25 -- March 1, 2007

Piriapolis

July / Augst

### Schedule

within the 6 days we need to accommodate:

• 5 or 6 courses, possibly with exercise sessions
• a project meeting
• student talks
• 1 half-day off (excursion)

The project meeting is expected to be short.

Student talks should be conference-like, 20+5 min. They should be distributed over the duration of the school rather than concentrated in the same day.

#### Principles

• fixed-duration slots
• fixed number of slots for each course
• slots will be used as the lecturer chooses (possibly for exercise sessions)
• possibilities: 60, 50, or 45 min

#### Alberto's Proposal

• Suppose the school runs from Monday to Saturday.
• Wednesday or Thursday afternoon is left for the excursion.
• 6 courses, lectures of 50 min long, each course 5 x 50 min (we need 30 slots of 50 min); lecturers decide whether they use one lecture for excercises.
• students presentations of 20+5 min long. I arrange them in slots of 1:15 (3 talks in each one); 6 of such slots (in total 18 talks)
• I have not assigned any space for other talks given by lecturers (e.g. on research topics).

 9-9:50 course lecture 9:50-10:00 break 10:00-10:50 course lecture 10:50-11:15 coffee break 11:15-12:30 students talks 12:30-14:00 lunch 14:00-14:50 course lecture 14:50-15:00 break 15:00-15:50 course lecture 15:50-16:10 coffee break 16:10-17:00 course lecture 17:00-17:10 break 17:10-18:00 course lecture

This scheme would be as it is for Monday, Tuesday, Thursday and Friday (assuming excursion on Wed.). This leaves us two slots on saturday afternoon free; we could use them for the ALFA meeting. The hotel in Piriapolis provides free coffee all the time. By "break" I mean only with coffee, "coffee break" has the addition of something to eat (coffee breaks cost 2 dollars per person).

The following is a picture of the whole week (columns correspond to days, C=course, S=student talks, A=ALFA meeting, E=excursion):

M T W T F S
C C C C C C
break
C C C C C C
coffee break
S S S S S S
lunch
C C E C C C
break
C C E C C C
coffee break
C C E C C A
break
C C E C C A

Another alternative is to consider courses of 4 x 50 min and then we have 4 more free slots which can be used for the ALFA meeting or other purposes (reserach talks).

### Lecturers

• Herman Geuvers, Lambda calculus and type systems (Accepted)

• Peter Dybjer, Dependent types programming (Accepted)

• Doaitse Swierstra, Generic programming, parsing combinators or things related with attribute grammars by (maybe just call this course Advanced Functional Programming?) (ALBERTO)

• José Nuno Oliveira, Program Construction and Calculation (Accepted)

• María Alpuente, Verification of websites. (JORGE)

• Gilles Barthe, Security and Verification (JORGE)

### Funding

PD, DS, JNO, MA, and GB will be funded by the network.

(The budget contemplates two people from each European university)

### Hotel Details

2 free rooms, to be used for Alberto and HG

### Excursion

A half-day programme seems to be a good choice.

## Lecture Notes

• Post proceeding with reading phase for lectures, draft available for the school
• Informal proceedings for the students, possible a summary included in the formal proceedings (this doesn't have to be decided now)

## Invitation Mail

Dear XXX,

The LerNet? ALFA project is organising a Summerschool in Montevideo, from February 25 - March 1, 2007, as part of its final meeting.

I am writing on behalf of the organising committee to invite you to participate as a lecturer and give a course on YYYY.

The courses will be structured as a series of K sessions of 45 minutes, that you may use as you prefer, either entirely as lecture time, or alternatively using some of the time for exercise sessions.

It is our intention to publish the course lecture notes, possibly as a Springer Tutorial volume. If you accept, we will ask you to provide a draft text before the event. The deadline for sending the finished text to the volume editors will be 3 months after the Summerschool.

You will be funded by the LerNet? project as follows: flight allowance = ... + perdiem .... x 7 days, from which the hotel payment will be deduced.

(this will have to be different for HG).

-- JorgeSousaPinto - 20 May 2007

r1 - 20 May 2007 - 20:19:22 - JorgeSousaPinto