International Summer School on
Language Engineering and Rigorous Software Development
February 25 to March 1, 2008
Piriápolis, Uruguay
The aim of the school is the dissemination of advanced scientific
knowledge and the promotion of international contacts among scientists.
The school is oriented to students and researchers working in computer
science and interested in formal techniques for the design and construction
of software systems and programming languages.
The school is partially supported by the
EU LerNet ALFA project,
which implements a joint PhD programme
on Software Design and Programming Language Engineering, based on a
co-tutoring scheme and conformed by 6 european universities and 5 from
Latin America.
List of participants
Courses
- Introduction to Type Theory (Abstract)
Herman Geuvers (Radboud University Nijmegen, The Netherlands)
Lectures:
first, second,
third, fourth
and fifth.
Exercises
References
- Theory and Applications of the PF-transform (Abstract)
Jose Nuno Oliveira (University of Minho, Portugal)
Updated slides
- Embedded Domain Specific Languages: Combinator Parsers (Abstract)
Doaitse Swierstra (Utrecht University, The Netherlands)
- Dependent Types at Work (Abstract)
Peter Dybjer and Ana Bove (Chalmers University, Sweden)
Lectures
AGDA files
- Formal Programming Language Semantics with Inductive Types (Abstract)
Yves Bertot (INRIA Sophia-Antipolis, France)
- Verification Methods for Software Security and Correctness (Abstract)
Gilles Barthe (INRIA Sophia-Antipolis, France)
Most courses assume knowledge in Functional Programming (FP). Depending on the
knowledge and interest manifested by the school participants we might organise
a couple of lectures with a brief introduction to FP in the afternoon of Sunday 24th.
Please state your FP knowledge and interest in these FP lectures when filling
the registration form.
In addition to the courses, there will be some student sessions where
PhD students from the LerNet project will expose advances of their thesis.
Schedule, including
student sessions
Abstracts of student talks
Lecture Notes
Draft lecture notes
Revised lecture notes will be published after the school as a volume of
Springer's LNCS Tutorial Series.
Venue
LERNET 2008 will be held at
Argentino Hotel,
located in Piriápolis, a seaside city, 100 kms east from Montevideo.
Registration
To register, fill in the
registration form.
The deadline for registration has been extended. The new deadline is
February 4, 2008.
Early registration is encouraged.
Participation fee
The participation fee includes lunches,
refreshments during coffee breaks, and an excursion.
Accomodation and dinners are not included.
Payment should be made in cash at the registration desk
the first day of the school.
All values are in US Dollars (USD).
| Students from Latin America |
160 USD |
| Students outside Latin America |
220 USD |
| Other participants from Latin America |
220 USD |
| Other participants outside Latin America |
270 USD |
Banquet
The conference dinner is not included in the registration fee and has a cost of 30 USD.
If you want to participate, please provide the information in the registration form.
Grants for students
We may be able to offer a reduction in the value of the registration fee
to a limited number of students.
Priority will be given to students from Latin America.
To apply for a fee reduction, please fill in the
registration form and then send an email, with
Subject "fee reduction application" and containing the following data,
to lernet[at]fing.edu.uy:
- Name
- E-mail
- University
- Country
- Student level (Undergrad/Master/PhD), subject, and scientific interests.
- For graduate students (Master,PhD): previous studies and current area
of studies.
- For undergrads: status of your studies.
- Name and email of a supervisor or reference person we might contact
for additional information.
The deadline for fee reduction application is January, 31 2008. Note that
this deadline has not been extended.
Early application is encouraged.
Local information
Information about accomodation, transportation, and other
local matters can be found in the following
page.
School organisers
Luis Barbosa
(Univerity of Minho, Portugal)
Ana Bove (Chalmers University, Sweden)
Alberto Pardo
(Universidad de la República, Uruguay)
Jorge Sousa Pinto
(Univerity of Minho, Portugal)
Local organisation
Alberto Pardo
Luis Sierra
Carlos Luna
Instituto de Computación
Facultad de Ingeniería
Universidad de la República
Montevideo, Uruguay
Sponsors
PEDECIBA
CSIC (Comisión Sectorial de Investigación Científica, Universidad de la República)
TATA Consultancy Services
Microsoft Uruguay
Contact
E-mail: lernet[at]fing.edu.uy