Summer School AFP

Center
%TOC%

---+++ Dates

   * ETAPS 29 March - 6 April
   * FLOPS 14- 16 April
   * TFP   7-9, 8-10   May
   * AFP08 12-17 May


---+++ Program

| *Subject*                        | *Speaker(s)*  |
| Software transactional memory    | Simon(s)      |
| GADT's                           | Doaitse       |
| Fast packed Strings/Rules        | Don Stewart   |
| Qualified Types                  | ??            |
| Associated Types/Type families   | Chackravarty  |
| "From Credit Suisse/ABN "        | Lennart       | 
| Type hacking                     | Oleg Kyseljov |
| AGDA                             | Ulf Norell    |
| ??                               | Richard Bird  |
| ??                               | Ralf          |
           
---+++ Budget & Financing

   * Microsoft
   * IPA (spring-school)
   * UU - 25 jaar bestaan

---+++ Proceedings
 
   * voorlopige preprints
   * daarna LNCS
      * S.D. Swierstra
      * R. Plasmijer
      * P. Koopman