From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA06896; Thu, 27 May 2004 21:38:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA06525 for ; Thu, 27 May 2004 21:38:43 +0200 (MET DST) Received: from suhkur.cc.ioc.ee (suhkur.cc.ioc.ee [193.40.251.100]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4RJcgEV014503 for ; Thu, 27 May 2004 21:38:42 +0200 Received: from localhost (ness.kybi [172.17.1.37]) by suhkur.cc.ioc.ee (Postfix) with ESMTP id BB86941FAE; Thu, 27 May 2004 22:38:40 +0300 (EET DST) X-Mailer: exmh version 2.5 07/13/2001 (debian 2.5-1) with nmh-1.1-RC1 To: relmics-l@mcmaster.ca, coq-club@pauillac.inria.fr, caml-list@inria.fr, e-eu-contact , colognet-nodes , mercury-users@cs.mu.OZ.AU, softtech@cs.uu.nl, lprolog@cs.umn.edu, nuprllist@cs.cornell.edu Cc: afp04@cs.ut.ee Subject: [Caml-list] AFP 2004 - Early registration deadline extension Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Thu, 27 May 2004 22:38:48 +0300 From: Tarmo Uustalu Message-Id: <20040527193840.BB86941FAE@suhkur.cc.ioc.ee> X-Miltered: at nez-perce with ID 40B643C2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.01; 2004:99 2004:99 conjuction:01 dependable:99 portugal:99 renowned:99 chalmers:01 datatypes:01 generic:01 bernie:99 pope:99 declarative:01 debugging:01 haskell:01 thiemann:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 5th International Summer School on Advanced Functional Programming AFP 2004 Tartu, Estonia, 14-21 August 2004 http://www.cs.ut.ee/afp04 Call for Participation ******** EXTENDED DEADLINE ******** Early registration: June 11, 2004 AFP is a series of international summer schools which aims to bring computer scientist, in particular young researchers and programmers, up to date with the latest advances in practical functional programming. The main focus of the school is on the interface between results presented at programming conferences and the programming in the real world. This is the fifth event in the series organized by the Department of Computer Science of the Tartu University in conjuction with the Centre for Dependable Computing. The previous schools were held in B=E5stad (Sweden, 1995), Olympia (Washington, USA, 1996), Braga (Portugal, 1998) and Oxford (UK, 2002). Programme The scientific programme of AFP'04 consists of short courses by renowned experts of the field and a student session. The school offers eight main courses, each composed of lectures and accompanied by lab sessions. The course list is the following: John Hughes (Chalmers University of Technology): Arrows Conor McBride (University of Durham): Epigram: dependent types for practical programming Alberto Pardo (University de la Republica, Montevideo): Combining datatypes and effects Rinus Plasmeijer (University of Nijmegen): Generic programming techniques for the construction of graphical user interfaces A strongly typed functional operating system based on dynamics Bernie Pope (University of Melbourne): Declarative debugging with Buddha Doaitse Swierstra (Utrecht University) Atze Dijkstra (Utrecht University): First-class aspects in Haskell Peter Thiemann (University of Freiburg): Server-side Web programming in WASH Simon Thompson (University of Kent): Refactoring Functional Programs In addition, there will be some introductory and intermediate functional programming courses serving as a preparation for the advanced courses. The purpose of the student session is to give students an opportunity to present their work and get feedback. Everyone intending to give a presentation should submit an extended abstract (max 10 pp) along with the registration form. Venue Tartu, with 100,000 inhabitants, is the second largest city in Estonia, situated 180 km south-east from Tallinn. Tartu University, founded 1632, is one of the oldest universities in Northern Europe. The school will be held in the new building of the Faculty of Mathematics and Computer Science. Tartu is accessible from Tallinn by coach. The coaches run very frequently (1-2 departures per hour) and the ride takes 2-2.5 hrs. Tallinn, with 400,000 inhabitants, is the capital city of Estonia, that used to be a member of the Hansa League. Tallinn's medieval Old Town is on the UNESCO World Heritage List. There are direct flights to Tallinn from London, Paris, Amsterdam, Frankfurt, Hamburg, Berlin, Prague, Warsaw, Moscow, Copenhagen, Oslo, Stockholm, Helsinki. Important dates June 11, 2004 Early registration deadline (extended) July 9, 2004 Late registration deadline Registration and cost The registration is done through internet http://www.cs.ut.ee/afp04. The deadline for registration is July 9, 2004 and the registration fee is 330= EUR. For early registrants, until June 11, there is a reduced registratio= n fee 280 EUR. The registration fee includes course materials distributed during the school, revised lecture notes published by Springer after the school, lunches, refreshments for coffee breaks and conference dinner. Programme committee / organizing committee Varmo Vene (Tartu University) Tarmo Uustalu (Inst. of Cybernetics, Tallinn) Johan Jeuring (Utrecht University) Sponsors Tiigri=FClikool Programme National Centers of Excellence in Research Programme of Ministry of Educa= tion and Research of Estonia APPSEM II - FP5 IST thematic network Applied Semantics II Further information Details on the submission of abstracts, registration procedure and cost a= re available from the school webpage, http://www.cs.ut.ee/afp04. Questions should be sent to afp04@cs.ut.ee. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners