Synthese (2007) 158:153–163DOI 10.1007/s11229-007-9183-8

ANNOUNCEMENT

International Union of History and Philosophy of Science,Division of Logic, Methodology and Philosophy of ScienceBulletin No 19

Published online: 7 June 2007© Springer Science+Business Media B.V. 2007

1 Executive Committee and Assessors of the Division, 2000–2003

1.1 Executive Committee

President, Michael Rabin, Division of Engineering and Applied Sciences, Harvard University,Pierce Hall, 29 Oxford Street, Cambridge, MA 02138, USA.First Vice-President, Graham Priest, Department of Philosophy, University of Melbourne,Melbourne, Victoria 3010, Australia.Second Vice-President, Deborah Mayo, Department of Philosophy/Major Williams Hall 235,Virginia Polytechnic Institute and State University, Blacksburg, VA 24061, USA.Secretary-General, Dag Westerståhl, Göteborg University, Department of Philosophy,Box 200, 405 30 Göteborg, Sweden.Treasurer, Ulf Schmerl, Fakultät für Informatik, Universität der Bundeswehr München, 85577Neubiberg, Germany.Past President (2000–2001†), Wesley Salmon, Department of Philosophy, University of Pitts-burgh, 1001 Cathedral of Learning, Pittsburgh, PA 15260, USA.

1.2 Assessors

Xavier Caicedo, Universidad de Los Andes, Departmento de Matematicas, Apartado Aereo4976, Santa Fe de Bogotá, Colombia.Roberto Cignoli, Departamento de Matematica, Facultad de Ciencias Exactas y Naturales,Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina.Anne Fagot-Largeault, Collège de France, 11 place Marcelin Berthelot, 75005 Paris, France.Peter Lipton, Department of History and Philosophy of Science, Free School Lane,University of Cambridge, Cambridge CB2 3RH, UK.Ewa Orlowska, National Institute of Telecommunications, Szachowa Str. 1, 04-894Warsaw, Poland.

123

154 Synthese (2007) 158:153–163

Alexander Razborov, Steklov Mathematical Institute, Russian Academy of Sciences,GSP-1, ul. Gubkina 8, 117966, Moscow, Russian Federation.Laszlo Szabo, Department of History and Philosophy of Science, Eötvös University,Budapest, 1518 Budapest, Pf. 32, Hungary.Soshichi Uchii, Department of Philosophy, Faculty of Letters, Yoshida-Honmachi,Sakyo-ku, Kyoto 606, Japan.

1.3 Former Presidents

Wesley Salmon† (USA)Jens-Erik Fenstad (Norway)L. J. Cohen (UK)Dana S. Scott (USA)Stephen C. Kleene† (USA)Georg Henrik von Wright† (Finland)Yehoshua Bar-Hillel† (Israel)Stephan Körner† (UK)Andrzej Mostowski† (Poland)Jaakko Hintikka (Finland, USA)Patrick Suppes (USA)Jerzy Łos† (Poland)

The Executive Committee of the Division is composed of the President, the Vice-Presi-dents, the Secretary-General, the Treasurer, and the immediate Past President. The Councilconsists of the Executive Committee plus the Assessors.

2 Committees for the 12th International Congress (Oviedo, Spain, August 2003)

2.1 Local Organizing Committee

Luis M. Valdés-Villanueva (chair), Eva Álvares-Martino, Cipriano Barrio-Alonso, RogerBosch i Bastardes, Javier Echeverría Ezponda (CSIC), Carmen Gonzalez del Tejo, JoséAntonio López Cerezo, Alfonso García-Suárez, Miguel Lorente, Eulalia Pérez Sedeño(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España), Jorge Rodríguez-Marqueze, Julián Velarde Lombraña, Lorena Villamil García.

2.2 General Program Committee

Petr Hájek (chair, Czech Republic), Peter Clark (UK), Maria Luisa Dalla Chiara (Italy),Toshio Ishigaki (Japan), Moshe Vardi (USA), Vladimir Vasyukov (Russia), Luis M. Valdés-Villanueva (OC representative, Spain), Dag Westerståhl (EC representative, Sweden).

2.3 Sectional Program Committees

A LogicA.1 Mathematical Logic (Proof Theory, Recursion Theory, Model Theory, Set Teory): JanKrajicek (chair, Czech Republic), Rod Downey (New Zealand), Stevo Todorcevic (Canada),Boris Zilber (UK).

123

Synthese (2007) 158:153–163 155

A.2 Philosophical Logic (Non-classical Logics, Logic and Language, Foundations of Logic):Johan van Benthem (chair, The Netherlands), Larry Moss (USA), Daniele Mundici (Italy),Hans Rott (Germany).A.3 Logic and Computation (Knowledge Representation and AI, Verification, Semantics ofPrograms, Interactive Proofs, Computational Linguistics): Jörg Flum (chair, Germany), Dex-ter Kozen (USA), Per Martin-Löf (Sweden), Mogens Nielsen (Denmark).

B General Philosophy of ScienceB.1 Methodology (Explanation, Causality, Laws, Models, Experiment, Theory): Ron Giere(chair, USA), Mary S. Morgan (UK), Mauricio Suárez (UK).B.2 Induction, Probability and Statistics (Induction, Statistical Inference, Learning Theory,Decision Theory): Theo Kuipers (chair, The Netherlands), Donald Gillies (UK), DeborahMayo (USA).

C Philosophical Issues of Particular SciencesC.1 Philosophy of Mathematics: Stuart Shapiro (chair, USA), Penelope Maddy (USA), MarkSteiner (Israel).C.2 Philosophy of Physical Sciences: Andreas Kamlah (chair, Germany), John Earman(USA), ), Roberto Torretti (Chile).C.3 Philosophy of Biological Sciences: Jean Gayon (chair, France), Osamu Kanamori (Japan),Alex Rosenberg (USA).C.4 Philosophy of Cognitive Science and Artificial Intelligence (including ComputationalPerspectives in Psychology): Richard Grandy (chair, USA), Daniel Kayser (France), StellaVosniadou (Greece).C.5 Philosophy of Linguistics: Jeff Pelletier (chair, USA), Uwe Reyle (Germany),Tom Wasow (USA).C.6 Philosophy of Social Sciences (including Non-Computational Psychology): Uskali Mäki(chair, The Netherlands), Felix Ovejero (Spain), Don Ross (South Africa).

D Ethical, Social, and Historical Perspectives on Philosophy of ScienceD.1 History of Logic, Methodology, and Philosophy of Science (History of the Topics Cov-ered by the Programme of the Congress): Jan Wolenski (chair, Poland), Valentin Bazhanov(Russia), Volker Peckhaus (Germany).D.2 Ethics of Science and Technology (Ethical Problems of Scientific Research, AppliedScience, and Technology): Wlodek Rabinowicz (chair, Sweden), John Broome (UK), IsaacLevi (USA).D.3 Philosophical Questions Raised by the History and Sociology of Science: James RobertBrown (chair, Canada), Catherine Chevalley (France), Oswaldo Pessoa (Brazil).

2.4 Special Symposia and their Chairs

1. Philosophy and Methodology of Empirical Modeling: Causation, Validation, and Discov-ery. Deborah Mayo.

2. Scientific (Evidence-Based) Medicine in the 19th–20th Centuries (Joint DHS-DLMPSsymposium). Anne Fagot-Largeault.

3. The Unusual Effectiveness of Logic in Computer Science. Martin Otto.4. Philosophy, Methodology, and History of Technology (Symposium arranged by DHS).

Alexandre Herlea and Juan José Saldaña.5. Workshop on Journal Publishing. John McAllister.

123

156 Synthese (2007) 158:153–163

2.5 Plenary Sessions and their Chairs

Foundations of Evolution. Elliott Sober.

2.6 Affiliated Symposia and their Chairs

1. Representation in Science and Philosophy. Andoni Ibarra and Thomas Mormann.2. Measuring Public Understanding of Science: Conceptual and Valorative Aspects. Javier

Echeverría Ezponda and José Antonio López Cerezo.3. Fuzzy Logic. Julián Velarde Lombraña.4. Epistemology of Systems Science. Celina Lertona Mendoza and Francisco Casiello.5. New Directions in Cryptology: Novel Techniques against Non-standard Attacks. Consuelo

Martínez.6. Modern Logic and its Spanish Reception / La Lógica Moderna y su Recepción Hispana.

Luis Vega Reñón.

3 Minutes of the General Assembly, Auditorio (Sala de Cámara),Oviedo, Spain, August 9, 2003

Ordinary Members Present: Australia, Austria, Baltic Association for the History and Philos-ophy of Science, Canada, China (CAST), Czech Republic, Finland, France, Germany, India,Ireland, Italy, Japan, Poland, Romania, Slovenia, Spain, Sweden, Switzerland, Taiwan, UK.

Ordinary Members Absent: Belgium, Brazil, Chile, Denmark, Georgia, Hungary, Iran,Israel, Monaco, Netherlands, Norway, Peru, Russia, USA, Yugoslavia.

International Members Present: Association for Symbolic Logic (ASL), Philosophy ofScience Association (PSA).

International Members Absent: C. S. Peirce Society, International Association forPhilosophy of Science, International Academy for Philosophy of Science.

Provisional members present (see item 6 below): European Association for Logic,Language and Information (FoLLI), Polish Association for Logic and Philosophy of Science,Vienna Circle Institute.

Observers: By tradition, General Assemblies have been open to all congress participants.In particular, Juan José Saldaña, Secretary-General of IUHPS/DHS, attended the meeting.

1. After verification of the delegates, President Rabin called the meeting to order at7.20 pm.

2. The minutes of the previous General Assembly, published in Synthese 123 (2000), 153–162, were approved unanimously.

3. President’s report.(3a) The President expressed the sadness of the members of the Executive Committee at theuntimely loss of the Past President, Wesley Salmon, in a tragic automobile accident in April2001. During the short time that this Executive Committee knew him,Wesley Salmon wasnot only an indispensable link to the Division’s past, but also became a great friend. In hisabsence, Elliott Sober, the previous Secretary-General, kindly agreed to help the ExecutiveCommittee in matters related to the Division’s past.(3b) The Executive Committee met four times during the mandate period: (1) An infor-mal meeting at the LMPS Congress in Cracow 1999, hosted by Jan Wolenski, Chair ofthe local Organizing Committee; (2) Cambridge (Boston), July 2000, hosted by MichaelRabin, President; (3) Oviedo, July 2002, hosted by Luis Valdés-Villanueva, Chair of the

123

Synthese (2007) 158:153–163 157

local Organizing Committee; and (4) again in Oviedo, just before the General Assembly,hosted by Luis Valdés-Villanueva.

At the Cambridge meeting, where the Executive Committee’s work with preparations forthe Oviedo Congress started, it was decided to shift emphasis somewhat, taking cognizanceof new developments in our field, resulting in a slight redistribution of the congress sections,and in proposals for new areas for special symposia.(3c) A DHS-DLMPS Joint Conference, organized by DLMPS, was held in Paris in October2002; see item 4e below.(3d) The Nominations Committee, consisting of Michael Rabin (chair, USA), Anne Fagot-Largeault (France), Elliott Sober (USA), and Soshichi Uchii (Japan), presented a slate ofcandidates for the new Council to be elected at this meeting of the General Assembly (item 8).

4. Secretary’s report.(4a) ICSU—whose acronym remains although its present name is The International Coun-cil for Science—the mother organization of which IUHPS is one of the 27 union members(there are also around 80 national members), has undertaken a significant revision and updateof its policy during the last 6 years. Ample information about this change can be found onICSU’s home page: www.icsu.org. One consequence that directly concerns IUHPS is thechange in the yearly ICSU Grants Programme. Previously, the two Divisions have appliedfor and obtained small grants each year in support of various events, including the JointDHS-DLMPS Conferences, and the international congresses of the Divisions, to be usedmainly for helping scientists from developing countries, and countries with economic diffi-culties, attend those meetings. The grants money was divided each year between DHS andDLMPS according to a key formulated in the Joint DHS-DLMPS Agreement of 1999. How-ever, the new Grants Programme (for grants during 2003 and onwards) no longer supportsconferences. Instead, only more ambitious projects inside the Priority Areas chosen by ICSUare funded, and grant applications have to be supported by at least one more ICSU unionor national member besides the applicant. At present the Priority Areas are: (1) scienceand technology for sustainable development; (2) capacity building and science education;(3) dissemination of data and information on science and technology; (4) emerging scienceand technology—creation of new knowledge.

Thus, whereas DLMPS supported, via ICSU grants, the Logic Colloquium’00 in Paris, aWorkshop on Deontic Logic in Toulouse, France, 2000, the Tarski Symposium in Warsaw,2001, and the Joint DHS-DLMPS Conference in Paris, 2002 (this was a transition year andall unions were given a ‘block grant’ of $ 5,000), the Division’s application for support tothe LMPS Congress in Oviedo was rejected, and it is clear that no further applications forconference support will be funded by ICSU. As a result, the Executive Committee madeno application in 2003 (for the year 2004). Since writing a grant application along the newdirectives is a much more ambitious and time-consuming activity, the Secretary urged thosemembers of the Division who are interested in formulating and carrying through a projectthat could obtain support from ICSU to contact the Executive Committee, well in advanceof March 1 in a given year, which is the deadline for applications for ICSU grants during thefollowing year.

Discussion: Bill Harper suggested that a proposal relating to information, and to pres-ervation of data, might be successful. Wilfrid Hodges added that the Executive Committeemight look at the material from the IMU congress in China in 2002; there is a committeeon electronic information and communication, and a booklet of recommendations that mightgive some guidelines.

123

158 Synthese (2007) 158:153–163

(4b) The Secretary attended, representing the whole IUHPS, the 27th General Assembly ofICSU in Rio de Janeiro, September 20–28, 2002. At that meeting the new Grants Programmewas also discussed, and the secretary urged, together with representatives from a few othersmaller unions, ICSU to continue to reserve a portion of the grants money for small grants,arguing that (a) even small grants play an important role for those scientists who are thus ableto attend international conferences, and this is still a worthy objective of ICSU, and (b) thatthe fact that a conference has been awarded even a symbolic grant from ICSU often helpsobtaining funds from other sponsors. After the General Assembly he also wrote a letter tothe ICSU Executive Board, elaborating this proposal. The polite and detailed response letterstated that ICSU feels that the new Grants Programme is a more efficient way to help sci-entists in developing countries than conference support, and that the total amount of moneyavailable is not sufficient to set aside a portion for grants of the previous kind. Further, ICSUno longer considers it appropriate to fund ‘internal’ meetings of a particular union, even whenthis is used for the attendance of participants from developing countries; the latter is ratherconsidered the responsibility of the unions themselves.(4c) In 2002, following a suggestion by the Secretary to the ICSU Executive Director, 2ndVice-President Deborah Mayo was appointed a member on the new ICSU Ad Hoc ReviewCommittee on the Responsibilities of Science and Society.(4d) Relations between DLMPS and our sister Division DHS—which is changing its nameto DHST, Division of History of Science and Technology—have been good during the pastfour year period, in particular, cooperation with both of its Secretary-Generals during theperiod, Robert Halleux and Juan José Saldaña (who was also present in Rio de Janeiro), hasworked well. The Secretary was invited by DHS as an observer to one meeting with the DHSExecutive Committee (Liège, January 2001), as well as to a meeting together with RobertHalleux (and on his initiative) with the ICSU Executive Board in Paris (June 2001), and hewas present as a representative of DLMPS at the DHS International Congress in Mexico CityJuly 8-14, 2001, and in particular at the General Assembly there.(4e) In the year 2002 it was the turn of DLMPS to organize a Joint DHST-DLMPS Meeting,and the Executive Committee gratefully accepted the offer of the Ecole Normale Supéri-eure (ENS) in Paris (supported by the French Ministry for Research and Technology, andby several French universities and research institutes) to arrange a conference “Relationsbetween History and Philosophy of Science”. The conference took place 3–5 October 2002at the ENS in Paris. Anne Fagot-Largeault was Program Chair, and Daniel Andler chaired theOrganizing Committee. The DLMPS Executive Committee was represented at the confer-ence by the Secretary, and DHST was represented by its Secretary, Juan José Saldaña. Thiswas a very successful event; in addition to around 12 invited speakers from both history ofscience and philosophy of science, the conference had 40 contributed papers and many post-ers, which had survived a strict selection by the program committee. A meeting, chaired byAnne Fagot-Largeault, with the Joint Commission was held on October 3, which among othertings outlined the two DHST-related special symposia taking place at the present congressin Oviedo.(4f) The Joint DHS-DLMPS Agreement which was ratified in 1999 has proved to be a usefulfoundation for maintaining good relations between the two Divisions. The new ICSU GrantsProgramme necessitates a revision of some points of the agreement; this will be a matter forthe next DLMPS Executive Committee in collaboration with DHST.

5. Treasurer’s report.The Treasurer gave an overview of the financial situation, and of the Division’s assets, whichare still in US dollars. Thanks to his two predecessors’ careful treasuring, the situation is

123

Synthese (2007) 158:153–163 159

not too bad. Nevertheless, there are worrying signs: (1) Bank charges have increased andDLMPS often has to pay a double charge, since the charge of the sending bank is oftendeducted by members from the fee they pay to the Division; (2) There is an increased erosionof contributions from members, which becomes particularly notable when, as has begunto happen, some D category members have difficulties in paying the fee; (3) The ICSUcontributions to our congresses have stopped.

What to do? It is unlikely that expenses can be cut down much; DLMPS expenditureis mainly for the international congresses, and to a small extent for the meetings of theExecutive Committee, and in the latter case we only pay travel and accommodation whenno funding from the members’ home university is available. The Treasurer has put someefforts into finding other sponsors, e.g. from industry, but the results have been disappoint-ing. We must try to increase our income by contacting other countries and encouraging themto become members. As to those that have had difficulties in paying, it was earlier the casethat failure to pay the fee inevitably led to exclusion, but this time, instead of proposing anyparticular members for exclusion by the General Assembly, the Treasurer suggested that thenew Executive Committee first make a final effort to convince the problematic members topay.

Discussion: Elliott Sober pointed out that the Statutes regulate the exclusion of non-payingmembers. He moved that the General Assembly delegates to the new Executive Committeeto first send out warnings to the relevant members and then take steps to exclude them ifpayment does not follow. The Treasurer added to this motion that an appeal be made to allmembers that payment should arrive in net form without fees deducted. The thus combinedmotion was unanimously approved.

The assembly then unanimously approved the accounts of the Division as presented bythe Treasurer (see Appendix).

6. The status of international scientific members.In connection with the application at the Cracow General Assembly from five organizationsto become international members, the Executive Committee was asked (item 3 in the Cracowminutes) to report on the policies it thinks the Division should follow concerning the statusand dues of such members, and to consider a policy whereby organizations pay dues to theDivision. The Executive Committee later received a letter with similar intent from the Brit-ish National Committee for LMPS, which also noted that one of the provisionally admittedorganizations, the Polish Association of Logic and Philosophy of Science, seemed to have astatus somewhat similar to the British National Committee except for not paying dues.

At present (as far as the Executive Committee has been able to establish from existingrecords), the international members of the Division are: Association for Symbolic Logic(10 votes); Philosophy of Science Association (5 votes); C. S. Peirce Society (1 vote);International Association for Philosophy of Science (10 votes); International Academy forPhilosophy of Science (1 vote); Society for the Study of Islamic Philosophy of Science(1 vote; it is unclear whether this organization is still a member).

The five organizations provisionally admitted in 1999 were: European Foundation forLogic, Language and Information (FoLLI); Kurt Gödel Society; Institute Vienna Circle;Polish Association of Logic and Philosophy of Science; International Society for History,Philosophy, and Social Studies of Biology. Of these, all except the last one have expressedtheir continued intent to become full members.

Comment and proposal by the Executive Committee: The presence of international mem-bers in the Division is valuable, and they should have a say in its affairs, but their relationsto the Division should be more clearly defined. There is no particular reason they should not

123

160 Synthese (2007) 158:153–163

pay dues, with a corresponding number of votes. Indeed, partly because of the absence ofdues for international members, there has been no clear principle for the number of votesof these members, and some of them appear to have dropped out of contact. Further, inresponse to a question put by the secretary to the 11 organizations mentioned above, sevenhad expressed their willingness to pay (modest) dues, two appeared to be uncertain, and twodid not reply.

The Statutes state that the General Assembly decides which organizations qualify as inter-national members, as well as about their dues and number of votes. The Executive Committeesuggests that the General Assembly can continue to decide which organizations are eligibleon a case by case basis, but that a norm for the dues and votes is adopted according to (1) ofthe proposal. Concerning details, note (a) that the proposal is in accordance with the Statutes,in particular article 13 c); (b) that it still makes it possible for an international member tohave 10 votes (if it pays corresponding dues); (c) that such a member can also have one vote,in the minimal membership category, with half of the dues required for of ordinary membersin category A. The proposal is as follows:

(1) International scientific members of the Division are classified as the Ordinary Membersin categories A–E, with the same corresponding dues, but with twice the number of votes.Thus, a category A international member has 2 votes, a B member 4 votes, a C member 6votes, a D member 8 votes, and an E member 10 votes. In addition, there will be a lowestor 0 category for international members only, with 1 vote, and with half of the dues paidby category A members.

(2) The existing international members of the Division will be informed of this decision, andasked if they want to remain in the Division on these new conditions, and if so whichcategory of membership they wish to have.

(3) The five organizations admitted provisionally at the last General Assembly all qualify asinternational members of the Division. They too will be asked if they still wish to becomefull-blown members, and if so under which category.

Discussion and decisions: David Miller asked if it would not be a good idea to issue alist of criteria for international members, and if the Division has a policy in this matter. DagWesterståhl replied that policy so far appears to have been fairly liberal, but that it presup-poses a clear distinction between ordinary and international members. Michael Rabin agreedthat one should find criteria for when an organization can be admitted without problems, andthat in the case of such organizations that are nationally based, a prerequisite must be thatthe country is also represented as an ordinary member. Also, he noted that part (2) of theproposal is a corollary of (1), and can be voted on at the same time.

Parts (1) and (2) were then approved unanimously by the assembly, with 1 abstention.Also, the General Assembly unanimously supported the idea that the Executive Commit-tee should formulate a list of criteria for international scientific members. Part (3) of theproposal was voted on case by case. FoLLI and the Kurt Gödel Society were admitted unan-imously. The Institute Vienna Circle was admitted unanimously with two abstentions. EwaOrlowska explained that the Polish Association of Logic and Philosophy of Science hasboth national and international activities, that it helped organize the Cracow LMPS con-gress and the Tarski symposium, and that it has 300 members both in Poland and abroad.Jan Wolenski added that it was established by Łukasiewicz and Tarski. Dag Westerståhlremarked that these points again raised the issue of the distinction between ordinary na-tional members and international members, and further showed the need for criteria inthis matter. The Polish Association of Logic and Philosophy of Science was then admittedunanimously.

123

Synthese (2007) 158:153–163 161

7. Membership issues concerning ordinary members. The Republic of South Africa, repre-sented by the Philosophical Society of Southern Africa, had applied (January 12, 2003) forordinary membership in IUHPS/DLMPS, in Category A. The application was unanimouslyapproved. In addition, Australia has upgraded its membership to category C. The GeneralAssembly delegated to the new Executive Committee to handle upgrades and similar mattersaccording to the Statutes.

8. Election of officers to the new DLMPS Council.The Nominations Committee proposed the following candidates:

Executive Committee: President: Adolf Grünbaum (USA); 1st Vice-President: HaimGaifman (USA); 2nd Vice-President: Daniel Andler (France); Secretary General: Dag West-erståhl (Sweden); Treasurer: Ulf Schmerl (Germany). (Michael Rabin automatically becomesPast President in the new Executive Committee.)

Assessors: Nancy Cartwright (UK), Maria Carla Galavotti (Italy), Rudolf Haller (Aus-tria), Gurol Irzik (Turkey), Margaret Morrison (Canada), Yosaku Nishiwaki (Japan), VictorRodriguez (Argentina).

The proposed members of the new Council were all elected by the General Assembly inone unanimous vote.

9. Host of the next LMPS Congress (2007).The Executive Committee had received two offers to host the next congress, one fromthe Ecole Normale Supérieure in Lyon, France, and one from Tsinghua University inBeijing, China. At the assembly, the Lyon proposal was presented by Sylvain Aroux, ClaudeDebru, and Anne Fagot-Largeault, and a printed document containing the proposal was dis-tributed. The Beijing proposal was then presented by Cai Shushan, Wang Wei, and QiuRenzong.

Elliott Sober moved that the General Assembly should thank Lyon and Beijing for theirgenerous and exciting proposals, and that it should delegate to the new Executive Committeeto make a decision on the matter, after receiving responses to any questions of detail that theExecutive Committee might want to ask the two putative hosts. The motion was supported byMichael Rabin, Bill Harper, and Wilfrid Hodges. Peter Koepke and Ewa Orlowska suggestedthat a decision might be taken about two successive congresses, using the two proposals athand. After some further discussion the General Assembly voted, essentially unanimously,in favor of Sober’s motion.

[NB. The new EC later decided to accept the Chinese offer, with a commitment, however, toa favorable attitude towards a possible French offer to host the 2011 congress.]

The meeting was adjourned at approximately 10 pm.

Respectfully submitted,Dag WesterståhlSecretary-General IUHPS/DLMPS

Appendix: IUHPS/DLMPS Accounts

Prepared by Ulf Schmerl, Treasurer

Year 2000 Annual Balance in USD

31-12-99 77.448,83

01-01-00 (loss of exchange) 72.639,72

123

162 Synthese (2007) 158:153–163

Income:

Contribution of members 15.767,84

Sponsor 863,90

ICSU Grant 1.155,00

Royalties: 250,07

Interests 6.934,97

24.971,78

Expenses:

Bank fees 204,94

Auditor’s fee 687,20

Office 81,28

Contribution to ICSU 864,45

Tarski conference 863,90

EC meeting 4.140,85

Loss of exchange 4.809,12

11.651,74

31-12-00 90.768,87

Year 2001 Annual Balance in USD

31-12-00 90.768,87

01-01-00 (loss of exchange) 88.813,57

Income:

Contribution of members 13.070,64

Sponsor 1.753,60

ICSU Block Grant 5.000,00

ICSU Grant 1.600,00

Royalties: 59,83

Interest, profit 5.110,98

26.595,05

Expenses:

Scientific activities 3.911,30

Bank fees 261,97

Auditor’s fee 458,72

Loss of exchange 1.955,30

6.587,29

31-12-01 110.776,63

123

Synthese (2007) 158:153–163 163

Year 2002 Annual Balance in USD

31-12-01 110.776,63

01-01-02 113.248,34

Income:

Contribution of members 12.302,22

Royalties: 37,59

Interest, profit 2.336,59

Gain of exchange 2.471,71

17.148,11

Expenses:

Scientific activities 9.762,20

Bank fees 236,66

Auditor’s fee 479,96

Loss deposit acc. 4.374,60

14.853,42

31-12-02 113.071,32

123