Wilfrid Augustine Hodges

born 27 May 1941

M.A. D.Phil. FBA.

Website http://wilfridhodges.co.uk

E-mail my first and last names with a dot between them, at btinternet.com

- 1992- Scientific Council, European Association for Computer Science Logic
- Scientific Advisory Committee, ILLC, University of Amsterdam.
- 2007- Consultant on logic, Oxford English Dictionary.
- 2008- WoLLIC Steering Committee.
- 2009- Fellow of the British Academy.
- 2009- Emeritus Professor, Queen Mary, University of London.
- 2010- Board, IfCoLog.
- 2010- Associate Member, Iranian Institute of Philosophy, Tehran.

See also below under Editorial.

- 1959-65 full-time student, New College Oxford
- 1961 Classical Moderations (first class honours)
- 1963 Literae Humaniores (first class honours)
- 1965 Theology B.A. (first class honours)
- 1970 D.Phil. in Faculty of Lit. Hum., Oxford, "Some questions on the structure of models" (under supervision of J. N. Crossley).

- 1967-8 Acting Assistant Professor in Department of Philosophy, University of California at Los Angeles.
- 1968-74 Lecturer in Departments of Philosophy and Mathematics, Bedford College, University of London.
- 1974-81 Lecturer in Department of Mathematics, Bedford College.
- 1979-80 Visiting Associate Professor, Department of Mathematics, University of Colorado at Boulder.
- 1981-4 Reader in Mathematical Logic, University of London, at Bedford College.
- 1984-7 Reader in Mathematical Logic, University of London, at Queen Mary College.
- 1987-2006 Professor of Mathematics, University of London, at Queen Mary College.
- 1987-9 Deputy Head of Department, School of Mathematical Sciences, Queen Mary College.
- 1990-3 Dean of Informatics and Mathematical Sciences, Queen Mary and Westfield College.
- 1999-2003 Deputy Head of Department, School of Mathematical Sciences, Queen Mary, University of London.
- 2006-8 Professorial Fellow, School of Mathematical Sciences, Queen Mary, University of London.

Courses taught include: Analysis and calculus; College algebra; Complexity and optimisation in operational research; Discrete techniques for computing; Differential equations; Ethics; Galois theory; Geometry; Graph theory and applications; Logic; Logic for mathematical writing; Module theory; Moral and political philosophy; Philosophy of religion.

Courses taught include: Sets, logic and categories; Prolog; Rings and modules; Universal algebra.

Number of Ph.D. theses completed under my supervision: 13, viz.

- 1972 A. J. Wilkie, Models of number theory.
- 1973 D. A. Bryars, On the syntactic characterisation of some model theoretic relations.
- 1973 S. C. Jackson, The model theory of abelian groups.
- 1975 M. Mortimer, Some topics in model theory.
- 1977 P. K. Rogers, The model theory of abelian and nilpotent groups.
- 1977 A. Pillay, The number of countable models of a first-order theory.
- 1980 E. Nemesszeghy, On the notion of negation in certain non-classical logics. (In Philosophy department)
- 1980 C. Kalfa, Decision problems concerning sets of equations.
- 1982 A. L. Pope, Some applications of set theory to algebra.
- 1983 S. R. Thomas, Classification theory of simple locally finite groups.
- 1985 I. M. Hodkinson, Building many uncountable rings by constructing many different Aronszajn trees.
- 1992 G. M. Weetman, Groups acting flag-transitively on simplicial complexes.
- 1995 J. Clark, Model-theoretic classification of topological structures.

- 1980 S. W. Salem, Sheaves in model theory.
- 1988 Pan Geng, Interpreting groups in linear orderings.

In 1999 I was one of two recipients of the first Drapers' Prize for Excellence in Teaching, Queen Mary, University of London.

- Secretary, Philosophy Departmental Board 1971-3.
- Secretary, Mathematics Departmental Board 1973-6.
- Space Committee 1973-4.
- Academic Board (Faculty of Science representative) 1977-9.
- Organising Committee, Mathematics Sixth-form Conference 1973-83.

- Admission of MSc. students for pure mathematics 1984-90. Admission of Ph.D. students for pure mathematics 1987-90.
- Various committees as dean 1990-3.
- Undergraduate admissions to School of Math. Sciences 1993-9.
- Clerical Review panel 1993-6.
- Working party on criteria for promotion to senior lecturer 1993-4.
- Chair, Examination Offences Panel 1994-2000.
- Chair, Clerical Review Committee 1994-5.
- Working party on future of the Registry 1997-8.
- Director of Undergraduate Studies, School of Mathematical Sciences 1999-2003.
- Quality Enhancement Committee 1999-2003.
- Teaching and Learning Quality Enhancement Group 1999-2003.
- Continuation Audit Group 1999-2000.

- 1978 Science Research Council Grant GR/A/52997: Senior Visiting Fellowship on behalf of Professor Saharon Shelah.
- 1981 Royal Society grant (Israel Academy Programme) for visit to Model Theory Year, Institute for Advanced Studies, Jerusalem, 25 March - 15 April 1981.
- 1983 Science and Engineering Research Council Grant GR/C/30672: Visiting Fellowship on behalf of Dr Roman Kossak.
- 1984 British Council grant for two weeks' visit to Department of Mathematics, University of Paris VII, in Spring 1984.
- 1985 British Council grant for travel to Department of Mathematics, University of Paris VI, in Spring 1985.
- 1985 Science and Engineering Research Council Grant GR/D/33298: £23,870 for research assistant for two years, to work in "Permutation groups applied to model theory".
- 1987 Science and Engineering Research Council Grant GR/E/06732: Visiting Fellowship of £1901 on behalf of Professor Bruno Poizat for three months' visit to Queen Mary College.
- 1987 Science and Engineering Research Council Grant GR/E/06466: Visiting Fellowship of £1110 on behalf of Dr Ehud Hrushovski for one month's visit to Queen Mary College.
- 1987 with P. J. Higgins and P. M. Neumann: Science and Engineering Research Council Grant GR/E/36982: £21,715 for Durham Symposium, July 1988, on Model Theory and Groups, organised with Neumann and Otto Kegel.
- 1988 Science and Engineering Research Council Grant GR/E/67412: Visiting Fellowship of £1385 on behalf of Dr Simon R. Thomas for two months' visit to Queen Mary College.
- 1988 Science and Engineering Research Council Grant GR/E91639: Visiting Fellowship of £1011 on behalf of Professor Saharon Shelah for one month's visit to Queen Mary College.
- 1989 Science and Engineering Research Council Grant GR/F22234: Visiting Fellowship of £1667 on behalf of Professor M. Rubin for one month's visit to QMW.
- 1989 Science and Engineering Research Council Grant GR/F22258: Visiting Fellowship of £2588 on behalf of Professor Anand Pillay for two months' visit to QMW.
- 1989 (with Dugald Macpherson) Science and Engineering Research Council Grant GR/F22241 for a research assistant (Deirdre Haskell) for two years.
- 1990 Royal Society grant for visit to Karl-Weierstrass-Institut, Akademie der Wissenschaften der DDR, 2-26 September 1990.
- 1992 (with Dugald Macpherson) Science and Engineering Research Council Grant GR/H25324: Visiting Fellowship of £2770 on behalf of Dr Ludomir Newelski for a month's visit to QMW.
- 1994 INTAS grant of up to 20,000 ecus for network of research groups in Kazakhstan and western Europe, on 'Combinatorial questions in model theory'.
- 1994 Joint with John Bell, EPSRC grant for research assistant for 3 years on 'Implementing nonmonotonic logics'.
- 1999 London Mathematical Society grant of £500 for visiting lecturer Yi Zhang.
- 2000 Royal Society grant of £2620 for visitor Bektur Baizhanov (Almaty).
- 2000 Royal Society grant of £1970 for visitor Serban Basarab (Bucharest).

- 1975

Conference on Model Theory, Université Catholique de Louvain. - 1977

Logic Workshop, Free University, Berlin. - 1978

Conference 'Modelltheorie der Gruppen', Oberwolfach, W. Germany.

Mathematical Logic Seminar, University of Oslo. - 1980

Association for Symbolic Logic joint meeting with American Mathematical Society, Boulder, Colorado, USA.

Midwest Model Theory Seminar, Bowling Green, Ohio, USA. - 1982

Meeting of Deutsche Ver. Math. Logik Grundl., Oberwolfach.

Meeting on Universal Algebra, Oberwolfach.

Conference sur les ensembles ordonnées, Lyon. - 1983

25th Arbeitstagung in Universal Algebra, Darmstadt.

British Mathematical Colloquium, Aberdeen.

European meeting of Association for Symbolic Logic, Aachen.

Conference on model theory and complexity, Institute Poincaré, Paris. - 1984

Wintersymposium, Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Natuurwetenschappen, Utrecht.

2nd East German Easter Conference in Model Theory, Lutherstadt-Wittenberg. - 1985

3rd East German Easter Conference in Model Theory, Gross Köris.

Conference on PROLOG and its relevance to philosophy (Nuffield Foundation), King's College London. - 1986

Conference on "Model theory, model-theoretic algebra and models of arithmetic", Notre Dame, Indiana. - 1987

European meeting of Association for Symbolic Logic, Granada.

Mid-Atlantic Mathematical Logic Seminar, Rutgers University. - 1988

6th East German Easter Conference in Model Theory, Wendisch-Rietz.

VII Congrés Català de Lógica, Barcelona. - 1989

Annual Conference, Belgian Mathematical Society, Brussels.

Conference on "Abelsche Gruppen", Oberwolfach.

Conference on Algebra and Logic, in memory of A. I. Mal'tsev, Novosibirsk. - 1991

9th Easter Conference in Model Theory, Berlin.

Semantik von Programmiersprachen und Modelltheorie, Dagstuhl Castle, Saarland.

Mid-Atlantic Mathematical Logic Seminar, Rutgers University.

Encuentro de Logica y Filosofia de la Ciencia, Madrid. - 1992

British Colloquium for Theoretical Computer Science, Newcastle University.

Association for Logic Programming UK, City University, London.

Mathematics and Music, A Weekend Course, Department of Continuing Education, Oxford. - 1993

Théorie des modèles, Association Henri Poincaré, Séminaire d'histoire des mathématiques, Université Paris 6.

LOGFIT Final Workshop, Leeds.

Dagstuhl Conference on Semantics of Programming Languages.

Oberwolfach meeting on Abelsche Gruppen. - 1994

Oberwolfach meeting on Model Theory.

British Mathematical Colloquium, Cardiff.

Conference 'Logic and its applications', University of Amsterdam.

Colloquium Logicum, Deutsche Logikverein, Neuseddinland, Berlin.

Théorie des Modèles, Université d'Angers. - 1995

Conference in Model Theory, University of Seville.

Workshop on Games, Processes and Logic, Isaac Newton Institute, Cambridge. - 1996

Workshop on Logic, Language, Information and Computation, Salvador, Brazil.

Mathematics Summer School on Neural Networks, Kings College London.

Universal Algebra, Szeged.

FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, Japan. - 1997

Conference on A level Mathematics, King's College London.

Conference in Model Theory, Luminy.

Logic Colloquium '97, Leeds.

Amsterdam Logic Conference, Workshop on Logical Games. - 1998

German-Polish Workshop on Logic and Logical Philosophy, Zagan (Poland).

Plenary lecture, 10th European Summer School in Language, Logic and Information, Saarbruecken. - 1999

Meeting on Model Theory and Combinatorics, Hattingen.

Frontiers of Logic, King's College London.

Meeting in memory of Mostowski and Rasiowa, Warsaw.

CEIC section, Future of Electronic Communication, Berkeley. - 2000

Logic Colloquium 2000, Paris.

Meeting on Intensionality, Munich.

Second Augustus De Morgan meeting on History of Logic, Kings College London.

Meeting in honour of Jaakko Hintikka, Helsinki. - 2001

Model Theory conference, Istanbul.

Centenary Conference on Alfred Tarski, Warsaw. - 2002

Meeting in honour of Melvin Fitting, City University of New York

Sémantique et Epistémologie, Casablanca.

Spinoza Lecture, ESSLLI, Trento.

ICM 2002 Satellite Conference on Electronic Information and Communication in Mathematics, Beijing. - 2003

Retirement conference for Daniel Lascar, Paris.

Logica, Kravsko Castle, Moravia.

International Congress in Logic, Methodology and Philosophy of Science, Oviedo.

First Order Logic (75th year), Humboldt University, Berlin. - 2004

Models in Science and Technology, Dutch-Flemish Network for Philosophy of Science and Technology, Ravenstein.

New Aspects of Compositionality, Paris. - 2005

Logic 2005, Indian Institute of Technology, Bombay.

Peri Hermeneias Symposium, Cambridge.

Methods of Logic in Mathematics, Euler International Institute, St Petersburg.

Annual Meeting, Logic Association of Kolkata.

Interactive Logic: Games and Social Software, Kings College London.

Workshop on Semantic Processing, Logic and Cognition, Tuebingen. - 2006

The Topics in the Arabic and Latin Traditions, CRASSH, Cambridge.

Logic, Models and Computer Science, in memory of Sauro Tulipani, Camerino.

Tools for Teaching Logic, Salamanca. - 2007

International Conference on Logic, Navya-Nyaya and Applications, Homage to Matilal, Kolkata.

International Seminar on Necessity and Contingency, Dept of Philosophy, University of Calcutta.

2nd World Congress on Universal Logic, Xi'an.

A Day of Mathematical Logic, Amsterdam.

Aesthetics and Mathematics, Utrecht. - 2008

Retirement conference for Gabriel Sabbagh, Paris VII. - 2009

Workshop on use of ideal and imaginary elements and methods in mathematics, Pont-à-Mousson.

Workshop on practice-based philosophy of logic and mathematics, Amsterdam.

Memorial conference for Maria Panteki, Thessaloniki.

Sixtieth birthday conference for Oleg Belegradek, Istanbul. - 2010

MiDiSoVa, Amsterdam.

Fundamental Structures of Algebra, for Şerban Basarab 70th birthday, Constanta, Romania.

History of Science in Practice, Athens.

Antalya Algebra Days, Antalya, Turkey.

Workshop "Modern Formalisms for Pre-Modern Indian Logic and Epistemology", Hamburg.

A snapshot of logic: some recent results in mathematical logic, University of East Anglia (London campus).

YuriFest, Brno.

Meeting in Honor of Jouko Väänänen's 60th Birthday, Helsinki.

World Philosophy Day, Tehran.

'Logic and philosophy of logic, traditional and modern', Iranian Institute of Philosophy, Tehran.

SIHSPAI International Colloquium on 'Philosophy and science in classical islamic civilisation', London. - 2011

British Post Graduate Model Theory Conference, Leeds.

Conversazione in Philosophy of Mathematics, Cambridge.

Presidential Address, 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, France.

Workshop on History of Logic, Brussels.

Workshop on later Arabic logic and philosophy of language, Cambridge.

Workshop on the Roots of Deduction, Groningen. - 2012

Ancient and Arabic Logic, CNRS, Paris.

Tarski Workshop, Amsterdam.

Medieval modal logic, St Andrews. - 2013

Dependence Logic, Dagstuhl.

Proof-Theoretic Semantics, Tübingen. - 2014

Meeting on Arabic Logic, Cambridge.

Avicenna and Avicennisms, SOAS. - 2015

'Meaning, Concept and Conception in the Arabic tradition', Göteborg.

- 1983

London Mathematical Society. - 1986

Aristotelian Society. - 1987

London Mathematical Society Popular Lecture, in Leeds and London, and on videotape.

British Association for the Advancement of Science, Belfast. - 1988

Mathematical Association, Leicestershire branch. - 1991

British Society for the Philosophy of Science. - 1994

London Mathematical Society lecture for Week of Science and Technology, Norwich. - 1997

Welsh Pure Mathematics Society, Gregynog. - 1998

British Association for the Advancement of Science, Cardiff.

Institute of Physics. - 2001

Cognitive Science Society, 23rd Annual Meeting, Edinburgh.

Joint Session of Aristotelian Society and Mind Association, York.

Annual meeting, British Logic Colloquium, Manchester. - 2003

Annual meeting of HoDoMS, Greenwich. - 2007

Annual meeting, British Logic Colloquium, London. - 2009

Cameleon, Cambridge. - 2015

British Society for History of Mathematics, meeting on De Morgan, London.

Talks given at Universities of: Birmingham, Bristol, Cambridge, Canterbury, Edinburgh, Essex, Exeter, Hull, Kent, Leeds, Leicester, Liverpool, London (including Computer Science LiveNet seminar), Manchester, Newcastle, Nottingham, Oxford, St Andrews, Sheffield, Surrey, Sussex, Swansea, UMIST, Warwick, York, the Open University; Amsterdam; Barcelona; Calgary, Alberta; Delft University of Technology; Humboldt-University, Berlin; University of Bonn; University of California at Irvine; University of California at Los Angeles; University of Colorado at Boulder; University of Illinois at Chicago Circle; University of Freiburg; Hebrew University, Jerusalem; University of Heidelberg; University of Helsinki; Wesleyan University, Middletown, Connecticut; International University, Moscow; University of Munich; University of New Mexico at Albuquerque; University of New Mexico at Las Cruces; Notre Dame University, Indiana; Mathematical Institute of Russian Academy of Sciences, Novosibirsk, Siberia; Stanford University; Steklov Institute, St Petersburg; University of Ohio at Columbus; State University of Omsk, Siberia; University of Paris VI; University of Paris VII; University of Passau, Germany; Bar Ilan University, Tel Aviv; University of Tuebingen; University of Tver', Russia; Simon Fraser University, Vancouver BC, Canada.

- 1988 10-hour course on Stability Theory, given at the University of Utrecht, for Dutch Mathematical Society.
- 1990 12-hour course on "Structures oméga-catégoriques", given at the University of Paris 7.
- 1991 10-hour course on "Definitions", 3rd European Summer School in Language, Logic and Information, Saarbruecken.
- 1998 10-hour course on "Model theory", 10th European Summer School in Language, Logic and Information, Saarbruecken.
- 1999 Short course on "Advanced logic", Summer School in Logic, Universal Algebra and Theoretical Computer Science, Rand Afrikaans University, Johannesburg.
- 2003 Short course on "Composition of meanings", University of Duesseldorf.
- 2003 Short course on "Logic", Conference on Logic and Linguistics, Tbilisi.

- 1985 Sixth-form mathematics conference, Royal Holloway and Bedford New College.
- 1986 Eton College.
- 1988 Student Mathematical Society, University of Surrey.
- 1989 Weekend conference for students from King's College, London.
- 1989 Student Mathematical Society, King's College London.
- 1991 Skegness Grammar School.
- 1992 Omsk State University, Siberia (on British universities).
- 1992 International University, Moscow (on British universities).
- 1993 North London Collegiate School.
- 1994 Conference for women prospective students, University College, London.
- 1995 Cerberus Club, Balliol College, Oxford.
- 1996 Royal Grammar School, High Wycombe.
- 1996 Popular Schools Lecture, Liverpool Mathematics Association.
- 1996 The PPE Society, Oxford.
- 1997 The PPE Society, Oxford.
- 1997 Invariants, Oxford.
- 1998 Borehamwood Gifted Children's Association.
- 2001 Kings College Mathematics Society, Cumberland Lodge, Windsor.
- 2001 De Morgan Society, University College London.
- 2002 Cardinal Vaughan Memorial School, Notting Hill.
- 2007 Kings College Mathematics Society, Cumberland Lodge, Windsor.
- 2010 Edinburgh University Philosophy Society.

- 2001 Mittag-Leffler Institute, Stockholm, 'Mathematical Logic', Dag Norman et al. (one month).
- 2006 Isaac Newton Institute, Cambridge, 'Logic and Algorithms', Anuj Dawar and Moshe Vardi (one month).

- 2001 Coulter McDowell Annual Lecture, Royal Holloway (on Pythagoras and music).
- 2001 Christmas Lecture, Culham Science Centre (on geometry of music).
- 2003 Third Annual Venn Lecture, Hull (on geometry of music).
- 2008 Big Ideas Group, The Wheatsheaf, Goodge Street London (on logic versus rationality).
- 2009 Greenwich Time Symposium, National Maritime Museum, Greenwich (on music and time).
- 2009 Gresham College (on geometry of music).
- 2013 Lindström Lectures (on Ibn Sina's logic), Göteborg.

- Ph.D. examining and assessment for the universities of Birmingham (2000), Bristol (1971), Helsinki (1991), IC London (Computing) (1986, 1988, 1991, 1993), Leeds (1994, 2002), Manchester (1977), Middlesex (1999), Oxford (1979, 1983, 1985, 1990, 1991, 1993), Paris (1991, 1994, 1998), Sussex (2001), Tübingen (1988), Uppsala (2000).
- M.Phil. examining for London School of Economics, London University (1983), Kings College London (2000).
- External examiner in Logic for Mathematics M.Sc., University of Leeds 1976-9.
- External examiner in Logic for Mathematics M.Sc., University of Nottingham 1979-1982.
- London University panel of examiners in Mathematics for course-unit courses in colleges of education 1978-9, 1980-6.
- Subject coordinator in Logic and Foundations for London University M.Sc. in Pure and Applied Mathematics 1977-9, 1980-6.
- Block coordinator for Block III (Pure: Algebra) for the London University M.Sc. in Mathematics 1986-90.
- Coordinator of M.Sc. in Mathematics for SERC-funded students at London University 1982-90.
- SERC interviewing panel for Advanced Fellowships in Mathematics 1986.
- London University Scholarships Committee 1989-93.
- External examiner for BSc Mathematics, University of Leeds 1992-4.
- Visiting examiner in Pure Mathematics, Imperial College London 1994-7.
- EPSRC Panel to Award Earmarked and Case Studentships, February 1995.
- EPSRC College in Mathematics, 1995-2005.
- External expert, appointment committee for Developmental Chair in Logic, University of Leeds, 1995.
- Chair, Panel of judges for the IGPL/FoLLI Prize for the best idea in pure or applied logic in the year 1995, 1996.
- EPSRC Pure Mathematics Research Grants panel, July 1996.
- Chair of External Assessors, Institute of Logic, Language and Computation, University of Amsterdam, September 1996.
- Chair, EPSRC Pure Mathematics Research Grants panel, November 1996.
- Invited member of Scientific Committee of the Equipe de Logique Mathématique (UPRESA 7056) of the CNRS for review, 10 March 1998.
- External examiner in Pure Mathematics, University of Birmingham 1997-2000.
- Chair of Subject Panel in Mathematics and Convener of Specialist Group in Mathematics, University of London 1998-2002.
- Elector for Chair in Mathematical Logic, Oxford University 1998-9.
- External examiner for MSc in Computational Linguistics, Kings College, London 2000-3.
- External examiner in pure mathematics for BSc, University of Hull, 2000-4.
- External advisor in Mathematics and Computation, Open University, 2001-3.
- Chair of Subject Area Board B, University of London, 2001-3 (Deputy Chair till 2005).
- EPSRC MathFIT panel 2003.
- Advising Committee for a personal chair at ILLC, Amsterdam, 2003.
- Kurt Goedel Fellowship Committee 2007-8.
- AERES Evaluation Committee for the Institute of Mathematics at the University of Lyon, 2010.
- AERES Evaluation Committee for the Institut de Mathématiques de Jussieu, Paris 7, 2013.

- 1974-?? Editorial Board of Journal of Philosophical Logic.
- 1979-87 Editor, Journal of Symbolic Logic.
- 1981-2 Elected coordinator of editorial board, Journal of Symbolic Logic.
- 1983-7 Editor for survey/expository papers, Journal of Symbolic Logic (with brief to establish new section of journal).
- 1988-96 Advisory editor in Logic and Set Theory, London Mathematical Society journals.
- 1989- Editorial Board of journal Logic and Computation.
- 1991-2005 Editorial Board, Perspectives in Logic (book series of Association for Symbolic Logic; formerly the Springer series Perspectives in Mathematical Logic); Managing Editor from 1999.
- 1992-2002 Editor, Mathematical Logic Quarterly.
- 1994- Editorial Board, Bulletin of the Interest Group in Pure and Applied Logics (now the Logic Journal of the IGPL).
- 1996-9 Project Manager, LMS Journal of Computation and Mathematics.
- 1998-2010 Editorial Board, de Gruyter book series Logic and its Applications.
- 2003- Editorial Board, Journal of Applied Logic.
- 2005- Editorial Board, FoLLI Publications on Logic, Language and Information, Springer-Verlag.
- 2007 with Johan van Benthem and Helen Hodges: Guest Editor, volume on Logic and Cognition, Topoi 26 (2007) pp. 1-165.
- 2007 Advisory Board, Texts in Logic and Games, Amsterdam University Press.
- 2009 with Ruy de Queiroz: Guest Editor, WoLLIC 08 special issue of Journal of Computer and System Sciences.
- 2009-2014 Advisory Board, Journal of Computer and System Sciences.

- 1970 Conference in Mathematical Logic - London '70, Bedford College, London (organising secretary).
- 1977, 1978, 1981 Meeting of Model Theorists, Bedford College, London (organiser).
- 1984 Conference in Mathematical Logic, Manchester (programme committee).
- 1985 Conference in Mathematical Logic, Paris (programme committee).
- 1986 Conference in Mathematical Logic, Hull (programme committee).
- 1988 Oberwolfach meeting on Model Theory of Modules (organising committee); Durham Symposium on Model Theory and Groups (organising committee).
- 1990 Conference in Mathematical Logic, Helsinki 1990 (programme committee).
- 1992 4th European Summer School in Language, Logic and Information, Colchester (programme committee).
- 1993 European meeting of Association for Symbolic Logic, Keele (programme committee chair); LMS day conference 'Benefits of a unified computing and mathematics undergraduate course', London (chair).
- 1994 Conference in Mathematical Logic, Alma-Ata (programme committee).
- 1995 Conference of Kurt Goedel Society and Italian Logic Association, Florence (programme committee); Human Capital and Mobility summer school on Model Theory of Groups and Automorphism Groups, Blaubeuren (programme committee chair); Section on Model Theory, Set Theory and Formal Systems, for Logic, Methodology and Philosophy of Science, Florence (section chair).
- 1997 European meeting of Association for Symbolic Logic, Leeds (programme committee).
- 1998 Logic and Philosophy of Logic, 20th World Congress of Philosophy, Boston (section chair).
- 1999 Joint meeting of Belgian Mathematical Society and London Mathematical Society, Brussels (programme committee); International Congress in Logic, Methodology and Philosophy of Science, Kraków (section chair); European meeting of Association for Symbolic Logic, Utrecht (programme committee chair); First Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science, Johannesburg (advisory board)
- 2004 Workshop on Knowledge and Games, Liverpool (programme committee).
- 2005 Logic and Language, Batumi (Georgia) (programme committee).
- 2007 International Congress in Logic, Methodology and Philosophy of Science, Beijing (section programme committee); WoLLIC 2007 (programme committee).
- 2008 WoLLIC 2008, Edinburgh (programme committee chair).
- 2010 ESSLLI 2010, Copenhagen, workshop on Dependence and Independence in Logic (programme committee).
- 2013 International Congress of History of Science and Technology, Manchester: symposium on Arabic Foundations of Science (with Ahmad Hasnaoui).
- 2015 George Boole 200, Cork, August 2015, theme 'From Boole's Algebra of Logic to Boolean Algebra, and Beyond' (steering committee).
- 2015 International Congress of Logic, Methodology and Philosophy of Science, Helsinki: symposium on Arabic Logic.

- 1977-9 Executive Committee for European Affairs, Association for Symbolic Logic.
- 1978-80 Council, Association for Symbolic Logic.
- 1981 with A. J. Ostaszewski, set up Polish Mathematical Book Fund (supported by London Mathematical Society from 1982).
- 1982 Nominating committee, Association for Symbolic Logic.
- 1983-4 Ad hoc committee of Association for Symbolic Logic on the future of the Association.
- 1984- Committee on professional rights of logicians, Association for Symbolic Logic. (Chair 1984-91)
- 1988 Nominating committee, Association for Symbolic Logic.
- 1989-2000 London Mathematical Society Computer Science Committee (Chair from 1990 to 1994).
- 1989-95 Scientific Council, European Foundation for Logic, Language and Information (FoLLI).
- 1989 Ad hoc committee of Association for Symbolic Logic, on revision of the Newsletter.
- 1990-5 President, British Logic Colloquium.
- 1990-6 Council, London Mathematical Society.
- 1990-1 London Mathematical Society representative on Executive Committee of Save British Science.
- 1993-5 Working Party on Former Soviet Union, LMS Council.
- 1993-8 Personnel and Office Management Committee, LMS Council.
- 1994-6 Executive Committee, Association for Symbolic Logic.
- 1994-5 Nominating Committee, Association for Symbolic Logic.
- 1994-5 Hon. Secretary, British National Committee for Logic, Methodology and Philosophy of Science.
- 1994 EPSRC meeting to advise on earmarked areas between Mathematics and Computer Science.
- 1995-6 President, European Association for Logic, Language and Information (FoLLI).
- 1996-7 Vice-President, London Mathematical Society.
- 1998-02 Committee on Electronic Publishing and Communication (CEIC) of International Mathematical Union.
- 2009- Philosophy Section Standing Committee, British Academy.
- 2011-4 Chair, British Academy Section H12 Philosophy.

Author : Wilfrid Hodges Last updated 17 June 2015 |