[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

                       Preliminary Announcement

                     International Summer School
                                on
         Language Engineering and Rigurous 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

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

The aim of the school is the dissemination of advanced scientific
knowledge and the promotion of international contacts among scientists.
The school is directed 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.  

REGISTRATION

Details about the registration procedure and fees will be made available 
soon.

GRANTS

The school might be able to offer a limited number of fee reduction
grants for students; priority will be given to participants from South
America.

VENUE

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

SCHOOL ORGANISERS
 
  Luis Barbosa (Univerity of Minho, Portugal)
  Ana Bove (Chalmers University, Sweden)
  Alberto Pardo (Universidad de la República, Uruguay)
  Jorge Souza 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 web page

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


Reply via email to