Summer School LERNET 2008 - Call for Participation
=================================================================== 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@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
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@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@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell
participants (2)
-
Alberto Pardo - INCO -
Benjamin L. Russell