[TYPES/announce] School LERNET 2008 *** Deadline extension for registration ***

Alberto Pardo pardo at fing.edu.uy
Tue Jan 29 13:39:20 EST 2008


===================================================================

             *** DEADLINE EXTENSION FOR REGISTRATION ***

                      Call for Participation

                    International Summer School
                                on
        Language Engineering and Rigorous Software Development

                 LERNET 2008, Piriapolis, Uruguay
                   February 25 to March 1, 2008
            http://www.fing.edu.uy/inco/eventos/lernet2008

                    email: lernet at fing.edu.uy
                  
            *** NEW DEADLINE FOR REGISTRATION: February 4 ***

           *** DEADLINE FOR GRANT APPLICATION: January 31 ***


===================================================================

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
(http://www.di.uminho.pt/lernet/), 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.

PROGRAM

LERNET 2008 will consist of six courses:

- Introduction to Type Theory
Herman Geuvers (Radboud University Nijmegen, The Netherlands)

- Theory and Applications of the PF-transform
Jose Nuno Oliveira (University of Minho, Portugal)

- Embedded Domain Specific Languages: Combinator Parsers
Doaitse Swierstra (Utrecht University, The Netherlands)

- Dependent Types at Work
Peter Dybjer and Ana Bove (Chalmers University, Sweden)

- Formal Programming Language Semantics with Inductive Types
Yves Bertot (INRIA Sophia-Antipolis, France)

- Verification Methods for Software Security and Correctness
Gilles Barthe (INRIA Sophia-Antipolis, France)

In addition, there will be some PhD sessions where students from the
LerNet project will expose advances of their PhD thesis.

VENUE

LERNET 2008 will be held at Argentino Hotel 
(http://www.argentinohotel.com.uy),
located in Piriápolis, a seaside city, 100 kms east from Montevideo. 

REGISTRATION

To register, fill in the registration form at

  http://www.cs.chalmers.se/Cs/Research/Logic/LerNet08/registration.html

The deadline for registration has been *extended*. The new deadline is 
February 4, 2008.

FEES

Details about the registration fees can be found in the school's
webpage (http://www.fing.edu.uy/inco/eventos/lernet2008).

GRANTS

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.

Details of the fee reduction application can be found in the school's
webpage (http://www.fing.edu.uy/inco/eventos/lernet2008).

The deadline for grant application is January, 31 2008. **Note that this 
deadline has not been extended**.

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

FURTHER INFORMATION

For further details on the school, visit the webpage

   http://www.fing.edu.uy/inco/eventos/lernet2008




More information about the Types-announce mailing list