[Haskell] Summer School LERNET 2008 - Call for Participation

Benjamin L. Russell dekudekuplex at yahoo.com
Wed Dec 26 20:38:22 EST 2007


This is exactly the type of seminar that I am
interested in participating in, but I live in Tokyo,
Japan.

Does anybody know of any similar event anywhere in
Japan?

Benjamin L. Russell

--- Alberto Pardo - INCO <pardo at fing.edu.uy> wrote:

>
===================================================================
> 
>                      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
>       
>                  *** REGISTRATION IS OPEN ***
> 
>
===================================================================
> 
> 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.
> 
> 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 is January 31, 2008.
> Early registration is
> encouraged.
> 
> 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).
>  
> Deadline for grant application is also January, 31
> 2008. Early application
> is encouraged.
> 
> 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
> 
> 
> 
> 
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
> 



More information about the Haskell mailing list