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 <[EMAIL PROTECTED]> 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: [EMAIL PROTECTED] > > *** 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell > _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
