- Haskell - Haskell.org

First class modules
by Tom Pledger 08 Nov '00

08 Nov '00

Hallo again. Supposing that (some version of) Haskell had first class modules, and type variables could be universally quantified at the module level, would rule 2 of the monomorphism restriction go away? Is this among the aims of the "First-class modules for component-based programming" (proposal document by Simon Peyton Jones and Mark Jones, 1996) research project? Regards, Tom

2 2

Re: Passing an environment around
by José Romildo Malaquias 08 Nov '00

08 Nov '00

On Fri, Oct 27, 2000 at 09:07:24AM -0700, Jeffrey R. Lewis wrote: > José Romildo Malaquias wrote: > > > On Thu, Oct 19, 2000 at 09:08:16AM -0700, Conal Elliott wrote: > > > Indeed Fran behaviors are like your alternative #1 (function passing), and > > > hence sharing loss is a concern. Simon PJ is right that I have a paper > > > discussing this issue and some others. See "Functional Implementations of > > > Continuous Modeled Animation" on my pubs page > > > (http://research.microsoft.com/~conal/papers) > > > > > > About alternative #2 (implicit arguments), would it help? Does it eliminate > > > the non-memoized redundant function applications, or just hide them? For > > > Fran, Erik Meijer suggested implicit functions to me a couple of years ago. > > > I hadn't thought of it, and it did indeed seem to be attractive at first as > > > a way to eliminate the need for overloading in Fran. However, the (Time -> > > > a) representation of Fran behaviors is not really viable, so I wouldn't > > > merely want to hide that representation behind implicit arguments. > > > > It seems that implicit parameters does not eliminate redundant function > > applications, as Conal Elliott has commented. Reading the paper > > > > Implicit Parameters: Dynamic Scoping with Static Types > > Jefrrey Lewis, Mark Shields, Erik Meijer, John Launchbury > > http://www.cse.ogi.edu/~jlewis/ > > > > (especially section 5.1) I got this impression. I would like to hear > > from others as well, as I had some difficulties with the paper. > > I am sorry you had difficulties! The difficulties I had is basicaly due to my lack of solid knowledge on type theory and semantic formalisms. Not that the paper was badly written. > Yes, as implemented using the dictionary > translation, implicit parameterization can lead to loss of sharing, exactly in > the same way that overloading (and HOF in general) can lead to loss of sharing. > > However, I can imagine that a compiler might chose to implement implicit > parameters more like dynamic variables in lisp. Each implicit param essentially > becomes a global variable, implemented as a stack of values - the top of the > stack is the value currently in scope. This would avoid the sharing problem > nicely. > > --Jeff I suppose your implementation of implicit parameterization in GHC and Hugs uses the dictionary translation, right? Would an alternative implementation based on a stack of values be viable and even done? Does it have serious drawbacks when compared with the dictionary translation technique? Thanks. Romildo -- Prof. José Romildo Malaquias <romildo(a)iceb.ufop.br> Departamento de Computação Universidade Federal de Ouro Preto Brasil

3 2

ANNOUNCE: hdirect-0.17
by Sigbjorn Finne 07 Nov '00

07 Nov '00

Hi, a new release of HDirect is now available from the new home of HDirect, http://www.haskell.org/hdirect/ see the web pages for more info as to what HDirect can help you out with. This 0.17 release is a source-only, bugfix release. The main user-level fix is that the sources should now compile out-of-the-box with GHC-4.08 Enjoy; bug reports/feedback to sigbjorn_finne(a)hotmail.com --sigbjorn

1 0

Translations
by M. S. Poole 07 Nov '00

07 Nov '00

Can anyone point me toward some reasearch that implements a translator from Prolog to Haskell? Mark Poole

4 3

Half Price Cigarettes! Why pay more ? ? ?
by CheapFags71＠Hotmail.com 07 Nov '00

07 Nov '00

Hi, Why pay �45.00 for a carton of 200 cigarettes when we can deliver the same to your door for just �25.00. This is totally legal and complies with EEC regulations. We are in the process of updating our web site with this exciting offer but if you would like further information please send a blank e.mail with the word subscribe in the subject title to CheapFags71(a)Hotmail.com. We look forward to hearing from you. Kindest Regards Chris Scott IF YOU WISH TO BE REMOVED FROM OUR MAILING LIST PLEASE SEND A BLANK E.MAIL WITH THE WORD "REMOVE" IN THE SUBJECT TITLE TO THE ABOVE ADDRESS.

1 0

1st Call for Papers
by Kristina Striegnitz 06 Nov '00

06 Nov '00

!!! Concerns all students in Logic, Linguistics and Computer Science !!! !!! Please circulate and post among students !!! We apologize, if you receive this message more than once. ESSLLI 2001 STUDENT SESSION FIRST CALL FOR PAPERS August 13-24 2001, Helsinki, Finland Deadline: February 18, 2001 http://www.coli.uni-sb.de/~kris/esslli We are pleased to announce the Student Session of the 13th European Summer School in Logic, Language and Information (ESSLLI 2001) organized by the University of Helsinki under the auspices of the European Association for Logic, Language and Information (FoLLI). ESSLLI 2001 will be held at the University of Helsinki in August 2001. We invite submission of papers for presentation at the ESSLLI 2001 Student Session and for appearance in the proceedings. PURPOSE: This sixth ESSLLI Student Session will provide, like the other editions, an opportunity for ESSLLI participants who are students to present their own work in progress and get feedback from senior researchers and fellow-students. The ESSLLI Student Session encourages submissions from students at any level, from undergraduates (before completion of the Master Thesis) as well as postgraduates (before completion of the PhD degree). Papers co-authored by non-students will not be accepted. Papers may be accepted for full presentation (30 minutes including 10 minutes of discussion) or for a poster presentation. The accepted papers will be published in the ESSLLI 2001 Student Session proceedings, which will be made available during the summer school. KLUWER BEST PAPER AWARD: As in previous years, the best paper will be selected by the program committee and will be offered a prize by Kluwer Academic Publishers consisting in 1000 Dfl worth of books. REQUIREMENTS: The Student Session papers should describe original, unpublished work, completed or in progress that demonstrates insight, creativity, and promise. No previously published papers should be submitted. All topics within the six ESSLLI subject areas (Logic, Language, Computation, Logic & Language, Logic & Computation, Language & Computation) are of interest. FORMAT OF SUBMISSION: Student authors should submit an anonymous extended abstract headed by the paper title, not to exceed 5 pages in length exclusive of references and send a separate identification page (see below). Note that the length of the full papers will not be allowed to exceed 10 pages. Since reviewing will be blind, the body of the abstract should omit author names and addresses. Furthermore, self-references that reveal the author's identity (e.g., "We previously showed (Smith, 1991)... ") should be avoided. It is possible to use instead references like "Smith (1991) previously showed...". For any submission, a plain ASCII text version of the identification page should be sent separately, using the following format: Title: title of the submission First author: firstname lastname Address: address of the first author ...... Last author: firstname lastname Address: address of the last author Short summary: abstract (5 lines) Subject area (one of): Logic | Language | Computation | Logic and Language | Logic and Computation | Language and Computation If necessary, the program committee may reassign papers to a more appropriate subject area. The submission of the extended abstract should be in one of the following formats: PostScript, PDF, RTF, or plain text. But note that, in case of acceptance, the final version of the paper has to be submitted in LaTeX format. Please, use A4 size pages, 11pt or 12pt fonts, and standard margins. Submissions outside the specified length and formatting requirements may be subject to rejection without review. The extended abstract and separate identification page must be sent by e-mail to: kris(a)coli.uni-sb.de by FEBRUARY 18, 2001 ESSLLI 2001 INFORMATION: In order to present a paper at ESSLLI 2001 Student Session, at least one student author of each accepted paper has to register as a participant at ESSLLI 2001. The authors of accepted papers will be eligible for reduced registration fees. For all information concerning ESSLLI 2001, please consult the ESSLLI 2001 web site at http://www.helsinki.fi/esslli. IMPORTANT DATES: Deadline for submission of abstracts: February 18, 2001. Authors Notifications: April 17, 2001. Final version due: May 18, 2001. ESSLLI-2001 Student Session: August 13-24, 2001. PROGRAM COMMITTEE: Raffaella Bernardi, University of Utrecht (Logic & Language) Patrick Blackburn, University of the Saarland (Logic & Language) Gilles Dowek, INRIA (Computation) Ruth Kempson, King`s College London (Language) Carsten Lutz, University of Aachen (Logic & Computation) Ani Nenkova, Columbia University (Logic) Ilkka Niemel�, Helsinki University of Technology (Logic & Computation) Malvina Nissim, University of Pavia (Language) Susanne Salmon-Alt, Loria, Nancy (Language & Computation) Jan Schwinghammer, University of the Saarland (Computation) Kristina Striegnitz, University of the Saarland (Chair) Yde Venema, University of Amsterdam (Logic) Shuly Wintner, University of Haifa (Language & Computation) For any question concerning the ESSLLI 2001 Student Session, please, do not hesitate to contact me: Kristina Striegnitz Computational Linguistics, University of the Saarland, Germany phone: +49 - 681 - 302 4503 email: kris(a)coli.uni-sb.de

1 0

Error compiling gtk+hs in Red Hat Linux 7.0
by José Romildo Malaquias 04 Nov '00

04 Nov '00

Hello. When trying to build gtk+hs from CVS I am getting the following error message: ==================== + make Entering preparation phase... make[1]: Entering directory `/home/romildo/rpms/BUILD/gtk+hs-0.10.1/glib' /usr/bin/c2hs --cppopts="-I/usr/lib/glib/include -I/usr/X11R6/include" glib.h GL ist.chs c2hs: Generic fatal error. /usr/lib/gcc-lib/i386-redhat-linux/2.96/include/stdarg.h:43: (column 26) [FATAL] >>> Syntax error! The symbol `__gnuc_va_list' does not fit here. make[1]: *** [GList.hs] Error 1 make[1]: Leaving directory `/home/romildo/rpms/BUILD/gtk+hs-0.10.1/glib' make: *** [prep] Error 2 ==================== I am using c2hs from CVS. The system is Red Hat Linux 7.0. Any clues? Romildo -- Prof. José Romildo Malaquias <romildo(a)iceb.ufop.br> Departamento de Computação Universidade Federal de Ouro Preto Brasil

1 0

Research Associateship in Metaprogramming Languages
by Andrew Pitts 01 Nov '00

01 Nov '00

POSTDOCTORAL RESEARCH ASSOCIATE IN METAPROGRAMMMING LANGUAGES at the UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Cambridge, UK We are seeking a postdoctoral Research Associate to work on implementing an exciting new approach to representing, computing and reasoning about syntactical structures that involve variable-binding. START DATE: 1 January 2001, or as soon as possible thereafter. SALARY: 16,775--25,213 GBP per year, depending on age and qualifications. DURATION: 3 years. THE PROJECT: People who create software systems that manipulate syntactical structures (interpreters, compilers, proof checkers, proof assistants, etc) agree that dealing with variable-binding constructs, renaming of bound variables, capture-free substitution, etc, is very often a nightmare. Despite the efforts of many smart people, no clear winner has emerged from the different approaches to this problem that have been proposed so far---name-carrying terms, de Bruijn nameless terms, higher order abstract syntax. We have a new approach to this long-standing problem based on some simple mathematics to do with permuting variables. We think it is very exciting because our way of representing abstract syntax modulo renaming of bound names seems to integrate very well with the inductive data types and pattern-matching facilities of existing functional programming languages commonly used for metaprogramming activities, such as ML or Haskell. Roughly speaking, we are aiming to extend those languages so that the user can write syntax-manipulating code using explicitly named bound variables and be notified by the language's static type system if their code descends below the level of abstraction that identifies pieces of syntax up to renaming bound variables. Can our new approach be implemented efficiently? Does it result in a programming style that's useful for metaprogramming and that aids refining and reasoning about such programs? That's what we aim to find out. The project is called "FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages" and is funded by the UK EPSRC and Microsoft Research. It is led by Andrew Pitts in collaboration with Mike Gordon at the Cambridge University Computer Laboratory and Simon Peyton Jones at the Cambridge Laboratory of Microsoft Research. See the FreshML web page at <www.cl.cam.ac.uk/users/amp12/freshml/> for more details. THE JOB: We are looking for an experienced hacker (in the best sense of the word) to design and implement a new language, FreshML, embodying our new approach to binding. You need to have enough brain-power to understand the FreshML type system and dynamic semantics, and you will have an opportunity to contribute to them---but the main areas where we need your help are in the design of a programming language to embody the type system, an implementation to demonstrate its practicality, and significant examples of its use. You should hold a PhD or equivalent qualification and have experience with the implementation of typed functional programming languages such as ML or Haskell. Experience with systems for machine-assisted reasoning or with programming language theory will be advantageous. THE ENVIRONMENT: You will be based in the Cambridge University Computer Laboratory (currently located in central Cambridge, but which will move to purpose-built accommodation on the west side of the city during late summer 2001). Further details of the Computer Laboratory can be found at <www.cl.cam.ac.uk>. The FreshML project involves the Laboratory's Theory and Semantics research group <www.cl.cam.ac.uk/Research/TSG/> and the Automated Reasoning research group <www.cl.cam.ac.uk/Research/HVG/>. It also involves collaboration with the Programming Principles & Tools group at Microsoft Research Cambridge <research.microsoft.com/ppt/>. HOW TO APPLY: Send a full CV, names of at least two referees, and a brief statement saying how you think you fit the post, what you expect to contribute, and what you hope to get out of the job, to: Ms Caroline Bean Cambridge University Computer Laboratory Pembroke Street Cambridge CB2 3QG, UK email: Caroline.Bean(a)cl.cam.ac.uk tel: +44 1223 334607 fax: +44 1223 334611 ENQUIRIES about this job should be directed to: Andrew Pitts, Cambridge University Computer Laboratory, Pembroke Street, Cambridge CB2 3QG, UK (email: Andrew.Pitts(a)cl.cam.ac.uk, tel: +44 1223 334629). CLOSING DATE FOR APPLICATIONS: 1 December 2000

1 0

<no subject>
by S Dublin 29 Oct '00

29 Oct '00

1 0

MBR'01 Conference
by Lorenzo Magnani 29 Oct '00

29 Oct '00

Please accept our apologies if you receive multiple copies of this call If you want to receive updated information please send your complete address Last updated October 29, 2000 ********************************************************************** MODEL-BASED REASONING: SCIENTIFIC DISCOVERY, TECHNOLOGICAL INNOVATION, VALUES (MBR'01), Pavia, Italy, May 17-19, 2001. ********************************************************************** Up-to date information on the conference will be found at http://philos.unipv.it/courses/progra1.html or http://www.unipv.it/webphilos_lab/courses/progra1.html ********************************************************************** GENERAL INFORMATION >From Thursday 17 to Saturday 19 May 2001 (three days) the International Conference "MODEL-BASED REASONING. SCIENTIFIC DISCOVERY, TECNOLOGICAL INNOVATION, VALUES" will be held at the University of Pavia (near Milan, Italy). PROGRAM The conference will deal with the logical, epistemological, and cognitive aspects of modeling practices employed in scientific discovery and technological innovation, including computational models of such practices. Abduction is widely recognized as a significant reasoning process in discovery whose features are in need of explication. We will solicit papers that examine various forms of model-based reasoning, such as analogical and visual modeling, from philosophical, historical, sociological, psychological, or computational perspectives. We also plan to address the problem of model-based reasoning in ethics reasoning, especially pertaining to science and technology. RELEVANT RESEARCH AREAS We shall call for papers that cover topics from the following list: - abduction - analogical reasoning - causal and counterfactual reasoning in model construction - computational models of model-based reasoning and scientific reasoning - conceptual combination and theory formation - hypothetical and explanatory reasoning - logical analyses that may contribute to our understanding of the issues in model-based reasoning - model-based reasoning in ethics - models and manipulative reasoning - models and technological innovation - thought experimenting - visual, spatial, imagistic modeling, reasoning, and simulation SUBMISSIONS OF PAPERS All submitted papers will be carefully refereed. The precise format of the conference will be fixed after we have an idea of the number of accepted papers. We are thinking in terms of presentations of 40 and 20 minutes. The funding is Italian and US, but we are also looking elsewhere for further financing (and would appreciate any suggestions). A selected subset will be invited for inclusion (subject to refereeing) in a book which will constitute an advanced handbook for scientists and researchers. The book will be published by an international publishing house. Moreover another selected subset will be invited for inclusion (subject to refereeing) in special issues of suitable international Journals. FORMAT Authors must submit three printed copies and an electronic version - formatted in Microsoft Word, RTF, PDF, or Postcript format - of an extended abstract (about 1000 words) not later than November 30, 2000. Please send electronically the extended abstract to the program chair at the address lmagnani(a)cc.gatech.edu in case of problem with the above address please use lorenzo(a)philos.unipv.it or lmagnaniusa(a)netscape.net REGISTRATION AND FURTHER INFORMATION Registration Fees: Before 15 March 2001: Normal: ITL. 300.000 = appr. US$ 155 (EUR 154.93) (to participate in all the activities of the Conference) Students: Free After 15 March 2001: Normal: ITL. 350.000 = appr. US$ 175 (EUR 180.75) (to participate in all the activities of the Conference) Students: Free METHOD OF PAYMENT AND REGISTRATION DEADLINE: Bank (Swift) Transfer to BANCA REGIONALE EUROPEA S.p.A BRANCH PAVIA - Sede SWIFT BREUITM2 301 Bank Code 06906.11301 Acc. n. 520 Dipartimento di Filosofia indicating CONVEGNO INTERNAZIONALE MBR'01 PLEASE REGISTER by email, fax or air mail (before March 15, 2001) by sending PROGRAM CHAIR first and last name, function, institution, full address, phone, fax and email. For information about paper submission and the program that is not available on the web site, please contact the program chair. IMPORTANT DATES Registration deadline............................15 March 2001 Submission deadline..............................30 Nov 2000 Notification of acceptance.....................28 Feb 2001 Final papers (from those selected for publication) due........30 June 2001 Conference....................................17-19 May 2001 PROGRAM CHAIR Lorenzo MAGNANI School of Public Policy and College of Computing Program in Philosophy, Science, & Technology Georgia Institute of Technology, 685 Cherry Street Atlanta, GA, 30332 - 0345, USA Office: 404-894-0950 & 404-385-0884, Home: 404-875-3566 Fax: 404-385-0504 & 404-894-2970 Email: lorenzo.magnani(a)cc.gatech.edu Address in Italy: Department of Philosophy and Computational Philosophy Laboratory University of Pavia, Piazza Botta 6, 27100 Pavia, Italy Office: +39-0382-506283, Home: +39-0383-371067 Fax: +39-0382-23215 Email: lorenzo(a)philos.unipv.it PROGRAM CO-CHAIR Nancy J. NERSESSIAN (Program Co-Chair) Program in Cognitive Science School of Public Policy and College of Computing, Georgia Institute of Technology, Atlanta, USA Email: nancyn(a)cc.gatech.edu PROGRAM CO-CHAIR Kenneth J. KNOESPEL (Program Co-Chair) School of History, Technology, and Society, and Program in Cognitive Science Georgia Institute of Technology, Atlanta, USA Email: kenneth.knoespel(a)hts.gatech.edu PROGRAM COMMITTEE - Ann Bostrom, School of Public Policy, Georgia Institute of Technology, Atlanta, GA, USA - Elena Gagliasso, Department of Philosophical and Epistemological Studies, University of Rome La Sapienza, Rome, ITALY - Dedre Gentner, Psychology Department, Northwestern University, Evanston, IL 60208, USA - Ronald N. Giere, Department of Philosophy, University of Minnesota, MN, USA - Mark L. Johnson, Department of Philosophy, 1295 University of Oregon, Eugene, OR, USA - Kenneth Knoespel, School of History, Technology, and Society, Georgia Institute of Technology, Atlanta, GA, USA - Lorenzo Magnani, Department of Philosophy, University of Pavia, Pavia, ITALY and School of Public Policy and College of Computing, Georgia Institute of Technology, Atlanta, GA, USA - Pat Langley, Adaptive Systems Group, DaimlerChrysler Research & Technology Center, Palo Alto, CA, USA - Nancy J. Nersessian, School of Public Policy and College of Computing, Georgia Institute of Technology, Atlanta, GA, USA - Brian Norton, School of Public Policy, Georgia Institute of Technology, Atlanta, GA, USA - Claudio Pizzi, Department of Philosophy and Social Sciences, University of Siena, Siena, ITALY - Mario Stefanelli, Department of Computer Science, University of Pavia, Pavia, ITALY - Paul Thagard, Department of Philosophy, University of Waterloo, Waterloo, CANADA - Ryan D. Tweney, Bowling Green State University, Bowling Green, OH, USA - Stella Vosniadou, Department of Philosophy and History of Science, Brain and Cognitive Science Division, National and Capodistrian University of Athens, Athens, GREECE. LOCAL ORGANIZING COMMITTEE Riccardo Dossena (riki.dox@libero), Elena Gandini (elegand(a)yahoo.com) Rosella Gennari (gennari(a)hum.uva.nl) Lorenzo Magnani (lmagnani(a)cc.gatech.edu) Massimo Manganaro (triskel(a)worldonline.it) Stefania Pernice (stepernice(a)libero.it) Matteo Piazza (pimat(a)yahoo.com) Giulio Poletti (philosophia(a)libero.it) Stefano Rini (s.rini(a)philos.unipv.it) Andrea Venturi (aventuri@philos.unipv.,it) (Department of Philosophy, University of Pavia, Pavia, Italy), Mario Stefanelli (mstefa(a)ipvstefa.unipv.it) (Department of Computer Science, University of Pavia, Pavia, Italy). IMPORTANT ADDRESSES LORENZO MAGNANI (Conference Chair) School of Public Policy and College of Computing Program in Philosophy, Science, & Technology Georgia Institute of Technology, 685 Cherry Street Atlanta, GA, 30332 - 0345, USA Office: 404-894-9050 & 404-385-0884, Home: 404-875-3566 Fax: 404-385-0504 & 404-894-2970 Email: lorenzo.magnani(a)cc.gatech.edu Address in Italy: Department of Philosophy and Computational Philosophy Laboratory University of Pavia, Piazza Botta 6, 27100 Pavia, Italy Office: +39-0382-506283, Home: +39-0383-371067 Fax: +39-0382-23215 Email: lorenzo(a)philos.unipv.it CONFERENCE SITE: Collegio Ghislieri, Piazza Ghislieri, 27100 PAVIA, Italy, phone +39 0382 22044. The Conference is sponsored by UNIVERSITY OF PAVIA, ITALY GEORGIA INSTITUTE OF TECHNOLOGY, ATLANTA, GA, USA UNIVERSITY OF SIENA, ITALY UNIVERSITY OF ROME "LA SAPIENZA", ITALY, MURST (Ministero dell'Università e della Ricerca Scientifica e Tecnologica), ITALY, CARIPLO (CASSA DI RISPARMIO DELLE PROVINCIE LOMBARDE, MILAN, ITALY) HOW TO REACH PAVIA LINATE Airport: People arriving by plane at LINATE should take the bus to the CENTRAL STATION of Milan (cf below fron this Station to Pavia). In LINATE it could be convenient to take a Taxi because the airport is close to the center of Milan. Moreover, The bus company SGEA offers six runs from LINATE to Pavia at 9.00, 10.00, 12.00 AM and 2.00, 5.00, 8.30 PM. The last stop is Pavia, near the station (see again our updated web page for possible alterations of this time-table) (from Pavia to LINATE six runs at 5,00, 7.45, 10.00 AM, 1.00, 4.00, 6.00 PM) (one hour trip). In Pavia there is only one station. The easiest way to reach the center of the town is to get off at the station and than take the bus n. 3. MALPENSA 2000 and OLD MALPENSA Airports (usually people arrive to Malpensa 2000 and not to OLD MALPENSA): People arriving by plane at MALPENSA 2000 (also called MALPENSA 2000 Terminal 1) or at "old" MALPENSA (now called MALPENSA NORTH but also called Malpensa 2000 Terminal 2) should take the bus to the CENTRAL STATION of Milan. There is also a bus AND A TRAIN from Malpensa 2000 to the NORTH STATION (Piazzale Cadorna) of Milan, in this case from NORTH Station you will have to take the underground MM1 to the Central Station: trains to Pavia leave from Central station). Moreover, the bus company SGEA offers four runs from MALPENSA 2000 to Pavia at 9.00 AM, 1:30 PM, 5.00 PM, and 9:30 PM - from Malpensa North (OLD Malpensa or Malpensa 2000 Terminal 2 5 munutes later) (from Pavia to MALPENSA 2000 and to OLD MALPENSA four runs at 7.00 AM, 11:00 AM, 3.15 PM, and 7:00 PM) (one hour and half trip). The last stop is Pavia, near the station (see again our updated web page for possible alterations of this time-table) In Pavia there is only one station. The easiest way to reach the center of the town is to get off at the station and than take the bus n. 3. There are trains from MILAN (Central Station) to PAVIA and vice Versa about every an hour (routes: MILAN-GENOVA; MILAN-VENTIMIGLIA; MILAN-LA SPEZIA; MILAN-SAVONA; MILAN-SESTRI LEVANTE; MILAN-IMPERIA; MILAN-ALBENGA; Pavia is the first stop only if the train is not slow, that is, if it is not, in ITALIAN, "L", locale). In Pavia there is only one rail station. The easiest way to reach the center of the town is to get off at the station and than take the bus n. 3. ACCOMMODATION The WEB site of the Tourist Office is http://www.systemy.it/pavia/home.html (new! sorry, only in Italian). The email address is info(a)apt.pv.it. When available you will find the whole list of hotels and other information concerning Pavia and its history. See also http://www.itwg.com/ct_00036.asp. In case of accommodation problems remember we will have at our disposal some rooms at special "conference rates" in the Colleges of the University. For further information please contact the Program Chair. As the the conferences dates are very close to summer holidays we recommend making your reservations as early as possible and before March 31, 2000 at the latest. ALL ACCOMMODATIONS (EXCEPT FOR INVITED SPEAKERS) WILL BE PROCESSED BY: Agenzia Viaggi ALOHATOUR Corso Cairoli 11 I - 27100 PAVIA Italy Phone: +39-0382-539565 Fax: +39-0382-539572 +39-0382-539504 email (only to request information): aloha(a)buonviaggio.it (cut here) ********************************************************************** ACCOMMODATION FORM - MBR'01 ---------------------------------------------------------------------- TO BE FAXED: +39-0382-539572 +39-0382-539504 OR MAILED: Agenzia Viaggi ALOHATOUR Corso Cairoli 11 I - 27100 PAVIA Italy email (only to request information): aloha(a)buonviaggio.it ---------------------------------------------------------------------- FILL IN CAPITAL LETTERS, PLEASE LAST NAME:___________________FIRST NAME:_____________Prof./Dr./Mr./Ms. AFFILIATION/UNIVERSITY/DEPT.__________________________________________ STREET:_______________________________________________________________ TOWN:___________________________CODE:_____________COUNTRY:____________ PHONE:__________________FAX:__________________E-MAIL:_________________ TYPE OF TRAVELLING:__________________DATE OF ARRIVAL:_________________ DATE OF DEPARTURE:___________________NUMBER OF NIGHTS:________________ CREDIT CARD NUMBER AND TYPE__________________________ EXPIRATION_____________ (you can also pay by bank transfer and postal order, please see below) ACCOMMODATION INCL. BREAKFAST SINGLE ROOM+BATH. / DOUBLE ROOM+BATH. ***HOTEL EXCELSIOR, Piazza Stazione, PAVIA LIT. 100.000 / LIT. 150.000 ______________ (EUR. 51.64 / EUR. 77.46) ****HOTEL ARISTON, Via Scopoli, PAVIA LIT. 130.000 / LIT. 190.000 +_____________ (EUR. 67.13 / EUR. 98.12) ****HOTEL MODERNO, Viale V. Emanuele, PAVIA LIT. 170.000 / LIT. 230.000 +_____________ (EUR. 87.79 / EUR. 118.78) RESERVATION CHARGE LIT. 25.000 +_______ (EUR. 12.91) TOTAL AMOUNT: =_____________ ACCOMMODATION DEPOSIT: ONE NIGHT LIT......... - _____________ (EUR) ACCOMMODATION BALANCE: LIT......... =_____________ (EUR)........ Hotel Excelsior (from the station walk east) Hotel Moderno (from the station walk north) To reach Hotel Ariston take the bus n. 3 or taxi. ____________________________________________________________________ PLEASE FAX OR MAIL THIS FORM AND PAY BY *CREDIT CARD* BEFORE *15 MARCH 2001* TO: FAX: +39-0382-539572 +39-0382-539504 MAIL ADDRESS: Agenzia Viaggi ALOHATOUR Corso Cairoli 11 I - 27100 PAVIA Italy email (only to request information): aloha(a)buonviaggio.it DATE OF PAYMENT____________YOUR SIGNATURE____________________ ________________________________________________________________________ PLEASE FAX OR MAIL THIS FORM AND PAY BY *BANK TRANSFER* BEFORE *15 MARCH 2001* (fax or mail also a copy of the bank transfer) TO: BANCA REGIONALE EUROPEA S.p.A.BRANCH PAVIA - SedeSWIFT BREUITM2 301Bank Code 6906.11301 Agenzia Viaggi ALOHATOUR S.r.l. Acc.n 19952/4 DATE OF PAYMENT____________YOUR SIGNATURE___________________ ________________________________________________________________________ PLEASE FAX OR MAIL THIS FORM AND PAY BY *POSTAL ORDER* BEFORE* 15 MARCH 2001* (fax or mail also a copy of the postal receipt) TO: Agenzia Viaggi ALOHATOUR Corso Cairoli 11 I - 27100 PAVIA Italy DATE OF PAYMENT______________________YOUR SIGNATURE______________________ _________________________________________________________________________ ALHOATOUR WILL MAIL OR FAX YOU THE RESERVATION VOUCHER ALOHATOUR WILL SATISFY THE REQUESTS AS FAR AS POSSIBLE. IF NOT POSSIBLE, ANOTHER SIMILAR ACCOMMODATION WILL BE ARRANGED.

1 0