G J Chaitin Home Page e-mail: chaitin@us.ibm.com web sites (mirror images): http://www.cs.umaine.edu/~chaitin http://www.cs.auckland.ac.nz/CDMTCS/chaitin phone: 914/945-2785 mailing address: IBM Research, P O Box 218, Yorktown Heights, NY 10598, USA shipping address: IBM T J Watson Research Center, 1101 Kitchawan Road, Route 134, Yorktown Heights, NY 10598, USA Outline Quotes Recent Reviews ...

Andrew Pitts Picture Professor of Theoretical Computer Science Deputy Head of Department Fellow of Darwin College Research My research is in applications of mathematical logic and category theory to computer science. I am especially interested in the semantics of programming languages and type theories, formal logics for reasoning about program properties, and metaprogramming languages and the ...

This page contains the archive of Saharon Shelah's mathematical papers. Professor Shelah is a mathematician working at the Hebrew University of Jerusalem and Rutgers University in New Jersey, USA.

Andre Scedrov Professor of Mathematics and Computer and Information Science, University of Pennsylvania. Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A. Contacts Photo by Tomislav Robotic. Teaching Fall 2002: Advanced Mathematical Methods in Computer Science. Research Interests: logic, information assurance, computer security, hybrid ...

Richard Kaye's Home Page Conferences For BLC2002, the meeting of the British Logic Colloquium, 12-14 Sep 2002 at Birmingham University, go to http://www.cs.bham.ac.uk/~blc02/ For BMC2003, the meeting of the British Mathematical Colloquium, 7-10 Apr 2003 at Birmingham University, go to http://www.mat.bham.ac.uk/bmc/ Can a leech do maths ... instinct tells you that this bloodsucker can no more ...

Richard Zach is Assistant Professor of Philosophy at the University of Calgary, Alberta, Canada. His interests include philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.

Dr.-Ing. Renate A. Schmidt Currently on sabbatical at: Max-Planck-Institut fur Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrucken, Germany. Tel: +49 (0)681 9325 226, Fax: +49 (0)681 9325 299. Department of Computer Science University of Manchester Oxford Rd, Manchester M13 9PL, UK. Tel: +44 (0)161 275 6163, Fax: +44 (0)161 275 6236. Mobile: +44 (0)776 193 5696. Email: schmidt@cs.man.ac.uk ...

Andreas R. Blass Office: 3830 East Hall Mathematics Department University of Michigan (2072 East Hall 525 East University Ave.) Ann Arbor, MI 48109-1109 U.S.A. Office phone: (734) 763-1183 Dept. fax: (734) 763-0937 e-mail: ablass@umich.edu Research My research is primarily in mathematical logic, especially set theory, but it extends into other areas, including finite combinatorics and ...

Books & Papers For My Classes Prose and Poetry Tautology Tester Other Web Pages Conferences New Book E-Mail: fitting@lehman.cuny.edu Melvin Fitting Department of Mathematics and Computer Science Lehman College 250 Bedford Park Boulevard West Bronx, NY 10468-1589 Offices: Gillet Hall 200A (phone 718 960-8874) Graduate Center 4411 (phone 212 817-8206) ...

Rami Grossberg Department of Mathematical Sciences Carnegie Mellon University Ph.D. Hebrew University of Jerusalem, 1986 (advisor: Saharon Shelah ) Research Recent papers Teaching Logic Seminar Some links Personal Information Email Research I'm interested in model theory (a branch of logic), especially in the classification theory of non elementary classes, infinitary logics, extensions of ...

Solomon Feferman Professor of Mathematics and Philosophy Patrick Suppes Family Professor of Humanities and Sciences Stanford University Interests: Mathematical logic, especially proof theory and theory of computation Foundations of mathematics, especially constructive and predicative foundations Philosophy of mathematics History of modern logic Office: Room 383-Z, Building 380 Email: sf@csli.

The home page of Ullrich Hustadt at the Department of Computer Science, University of Liverpool, UK.

Martin Goldstern is a mathematician working at the Vienna University of Technology in Wien, Austria. This page contains information about his work -- teaching and research ...

John Etchemendy Department of Philosophy Stanford University Stanford, CA 94305 I am Professor and Chair of Philosophy at Stanford University. I am also a faculty member in the Symbolic Systems Program at Stanford and a senior researcher at the Center for the Study of Language and Information. My research interests include logic, semantics, and the philosophy of language. My recent research has ...

Kenneth Kunen Professor, University of Wisconsin 305 Van Vleck Hall 480 Lincoln Drive Madison, WI 53706 E-Mail: kunen@math.wisc.edu Telephone: (608) 263-4831 Ph.D., Stanford University, 1968 Interests: set theory, automated deduction, topology, measure theory. Courses Taught For spring, 2001: Math 131: Geometrical Inference and Reasoning. Math 873: Topics in Foundations (i.e., Set Theory). For ...

Luke Ong Reader in Computation Tutorial Fellow in Computation, Merton College Address Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, England. Telephone Direct: +44 (0)1865 283522 Department: +44 (0)1865 273838 Fax: +44 (0)1865 273839 EMail Luke.Ong@comlab.ox.ac.uk WWW Work-related information (OUCL) Personal Information (Personal page, content is not the ...

Last revised 25.03.02 Vincent Danos Equipe Preuves, Programmes, Syst mes Charge de Recherches au CNRS Universite Paris VII tel: +33 1 4427 8679, fax: +33 1 4427 8654 Slides Classical Realizability and New Forms of Control lectures for the PPS Agay 2002 Spring School. Communication and Control slides of a talk at the Logic and Semantics seminar series in Cambridge. New Binders on the Block slides ...

Edward Nelson's Home Page Links More Links Bookmarks Characters Campus Directory Points I am in the Department of Mathematics at Princeton University. To reach me, please use email: nelson@math.princeton.edu Otherwise, phone: (609)-258-4206, fax: (609)-258-1367, or write: Edward Nelson Fine Hall -- Washington Road Princeton, NJ 08544-1000 USA My office is Fine 1208. Here are my list of ...

Herbert B. Enderton Adjunct Professor, Department of Mathematics, UCLA Coordinating Editor of Reviews for the Association for Symbolic Logic, publisher of The Journal of Symbolic Logic and The Bulletin of Symbolic Logic. Logic Colloquium chairman. Click here for more about logic at UCLA and here for information on VIG 2003. Here: links to logicians' web pages! Electronic mail: hbe@math.ucla.edu ...

Anton Setzer From 1/xi/2000 until 31/xi/2000 and from 15/vii/2001 I am a lecturer at Dept. of Computer Science, University of Wales Swansea; See my homepage in Swansea with references to lectures given there. Before 1/xi/2000 I was and from 1/i/2001 - 15/vii/2001 I have a research position, and am associated with Group for Mathematical Logic, Department of Mathematics, Uppsala University.

ALEXANDER S. KECHRIS Professor of Mathematics Diploma, Mechanical & Electrical Engineering, National Technical University of Athens, 1969 Ph.D., Mathematics, UCLA, 1972 Research Interests Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems. Recent projects include the study of foundational and set theoretic questions, and the ...

The Homepage of Boris Zilber Personal Information Full name: Boris Zilber Affiliation: Mathematical Institute University of Oxford, and Merton College, Oxford Address: 24-29 St Giles Phone: (+44)(0) 1865 273537 Oxford, OX1 3LB Fax: (+44)(0) 1865 273583 United Kingdom email: zilber@maths.ox.ac.uk Teaching Model Theory (c/MSc course) Lecture Notes lect.dvi lect.ps (updated 7.11.01) Problems sheet1.

Steve Awodey Assistant Professor Department of Philosophy Carnegie Mellon University Research Areas : Category theory Logic History and philosophy of mathematics and logic Connections: Logic of Types and Computation Publications Topological completeness for higher-order logic S. Awodey and C. Butz., Journal of Symbolic Logic 65(3), (2000) pp. 1168--82. Topological representation of the ...

J.M.E. Hyland Reader in Mathematical Logic Kings College Research interests: Mathematical Logic , Category Theory, Theoretical Computer Science Office: C1.11 Phone: 37986 Email: M.Hyland@dpmms.cam.ac.uk Home page at the Computer Laboratory. Summary of recent EPSRC project Uniform Game semantics etc made available as required. New paper on abstract games - not done. Examples Sheets: 1irst, ...

Laurent Regnier Charge de recherches l'Institut de mathematiques de Luminy (CNRS) Telephone : bureau +33 4 91 26 96 42 fax +33 4 91 26 96 55 Adresse electronique : regnier@iml.univ-mrs.fr Une liste de mes articles se trouve ici ...

Dr T.E. Forster Hughes Hall Fellow and Director of Studies in Mathematics, Hughes Hall. Tel 337981 (at DPMMS) 523469 (home) Research interests: I work on Set Theory, Type Theory, BQO theory and Philosophy of Mind. I developed this last interest when I was a music+philosophy student and it led me into Neurophysiology: to this day I am a paid-up working member (albeit part-time!) of the ...

Equipe de Logique Mathematique Elisabeth Bouscaren Equipe de Logique Mathematique (CNRS - UMR 7056) tel: (33) 1 44 27 54 58 UFR de Mathematiques, Case 7012 fax: (33) 1 44 27 61 48 Universite Paris 7 email: elibou_at_logique.jussieu.fr 2 place Jussieu 75251 Paris Cedex 05 FRANCE Adresse du bureau:175 rue du Chevaleret, 5 me etage, Bureau A31. Model Theory and Algebraic Geometry A Book, and some ...

Zoe Chatzidakis UFR de Mathematiques, Case 7012 Universite Paris 7 2, place Jussieu 75251 Paris Cedex 05 FRANCE tel: (33) 1 44 27 68 56 fax: (33) 1 44 27 61 48 e-mail: zoe@logique.jussieu.fr Adresse du bureau: 175-179 rue du Chevaleret, 5 me etage, plateau A, bureau 5. Articles, preprints avec E. Hrushovski: The model theory of difference fields (Trans. Amer. Math. Soc. 351 (1999), pp.

Albert-Ludwigs-Universitat Freiburg Mathematische Fakultat Institut fur mathematische Logik und Grundlagen der Mathematik Prof. Dr. Heinz-Dieter Ebbinghaus Albert-Ludwigs-Universitat Freiburg Mathematisches Institut Abteilung fur mathematische Logik Eckerstr. 1 79104 Freiburg Zimmer 310 Tel.: 0761/203-5603 email: hde@math.uni-freiburg.de Sprechstunde: Mo 17-18 und nach Vereinbarung ...

JAMES CUMMINGS Welcome to my page. I am a professor at Carnegie Mellon University where I work in the Mathematical Sciences Department. My main research interest is set theory and mathematical logic, and I am part of the CMU interdisciplinary program in logic. When I'm not doing maths I enjoy reading, movies and travel. On the left those of you with graphical browsers can see a picture of me and ...

DEPARTMENT OF MATHEMATICS Mike Prest Publications and preprints Courses/Teaching Seminars, Mathematics Challenge and other activities Links Professor of Mathematics Department of Mathematics University of Manchester Oxford Road Manchester M13 9PL Telephone: (+44) (0)161 275 5875 Fax: (+44) (0)161 275 5819 email: mprest@maths.man.ac.uk Research interests: Algebra and Model Theory Back to the ...

Akihiro Kanamori Do not do to others what you would not have them do to you. The perfect is often the enemy of the good. If something is worth doing, then it is also worth doing badly. O Western wind, when wilt thou blow The small rain down doth rain . . . Oh God, that my love were in my arms, And I in bed again! --Anonymous, 12th Century Whatsoever thy hand findeth to do, do with all thy ...

Steven Buechler's Personal Page This document augments my official page, maintained by the Math Department. Complete CV Contact Information Electronic Phone Book I am located in room 360 of the Math/Computing Building; phone: (219)631-6233; e-mail: steven.a.buechler.1@nd.edu. Local Info In addition to my normal faculty duties, I currently serve as Associate Dean of the College of Science.

The Homepage of Alex Wilkie Personal Information Full name: Alex Wilkie Affiliation: Mathematical Institute University of Oxford Address: 24-29 St Giles Phone: (+44)(0) 1865 273540 Oxford, OX1 3LB Fax: (+44)(0) 1865 273583 United Kingdom email: wilkie@maths.ox.ac.uk Research PUBLICATIONS 1. On models of arithmetic-answers to two problems raised by H. Gaifman, J Symb Logic, 40(1975)(1), 41-47. 2. A ...

University of California, Irvine Department of Mathematics Professor Matthew Foreman Mathematics 265 Multipurpose Science & Technology Building Irvine, CA 92697-3875 (949) 824-5424 (949) 824-7993 Fax mforeman@math.uci.edu Office hour: Appointment only Publication *****PAPERS AVAILABLE FOR DOWNLOADING:***** *****COMPLETE PUBLICATIONS LIST***** *****RECENT PUBLICATIONS***** (with R. Dougherty) ...

Anil Nerode Goldwin Smith Professor of Mathematics Director, Center for Foundations of Intelligent Systems OFFICE ADDRESSES Department of Mathematics 545 Malott Hall Cornell University 625 Rhodes Hall Cornell University Ithaca, New York 14853 545 Malott Phone:(607) 255-3577 Department Phone:(607) 255-4013 Home Phone: (607) 257-7641 Department Fax:(607) 255-7149 Home Fax :(607) 255 5716 e-mail: ...

William Mitchell Dept of Mathematics University of Florida (Click to see my nieces and nephew) Contact Information. Schedule. Courses Analytic Geometry and Calculus II (MAC 2312 section 3177) Introduction to Set Theory (MHF 4102/5107 section 3276/3277) Here are some suggestions in case you have trouble with these (or any other) math courses. Logic seminars at the University of Florida Logic ...

Peter Quigley - Home Page Position: Senior Lecturer. Qualifications: BA (Mathematics & Computing), Cert Ed, MSc (Software Engineering). Research Interests: Functional Programming, Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning. I work within the Centre for Agent Research and Development, and currently I am involved in the Mechanising First-Order ...

Richard A. Shore Home Page Department of Mathematics White Hall Cornell University Ithaca NY 14853 607-255-4081 shore@math.cornell.edu fax: 607-255-7149 7 Avon Road Binghamton NY 13905 607-729-6135 14 Kenwood Avenue Newton MA 02459 617-916-1035 617-916-1035 Research Interests (from Department's Annual Report) Curriculum Vitae Education and Employment Invited Talks Grants Editorial Boards and ...

Luck DARNIeRE's homepage. Topics: Mathematical logic, french poetry, humour, PhD student's association ...

Jean A. Larson Dept of Mathematics University of Florida Spring 2002 Classes: MHF 3202 Sets and Logic MAA 4103/5105 Advanced Calculus for Engineers and Physical Scientists 2 UF Math PhD Alumni Research Interests: Set Theory and Foundations, Combinatorics PhD from Dartmouth College, 1972 Logic and Set Theory at the University of Florida, UF Logic Seminar Some homepages in set theory and ...

Faculty Visiting Faculty Staff Graduate Students Undergraduate Students Home Richard Statman Professor Ph.D., Stanford University Office: Wean Hall 7214 Phone: (412) 268-8475 E-mail: statman@cs.cmu.edu Research My principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory ...

Dr. Heinrich Wansing University of Leipzig Institute of Logic and Philosophy of Science Augustusplatz 9 04109 Leipzig Germany Phone: +49 (0)341 9735773 Fax: +49 (0)341 9735798 e-mail: wansing@rz.uni-leipzig.de Research areas and interests: - non-classical logics, in particular modal, constructive and substructural logic - sequent-style proof systems, proof-theoretic semantics - deontic logics, ...

Mai Gehrke Department of Mathematical Sciences Phone: (505] 646-4218 New Mexico State University Fax: (505) 646-1064 Las Cruces, NM 88003 mgehrke@nmsu.edu Office Location: Science Hall Room 232 Return to Faculty Page, Return to Main Index PROFESSIONAL EXPERIENCE 8/00--Present Professor, New Mexico State University, Las Cruces, New Mexico. 1/99--Present Part-time consulting, Physical Science ...

Yves LAFONT professor at Universite de la Mediterranee research at IML (CNRS, UPR 9016) in the LDP team teaching at Faculte des Sciences de Luminy in the math department address : Institut de Mathematiques de Luminy - 163 avenue de Luminy, Case 907 - 13288 Marseille CEDEX 9 office : 227 - phone : +33 4 91 26 96 37 - fax : +33 4 91 26 96 55 - e-mail : lafont@iml.univ-mrs.fr French version (with ...

Name: Wilfried Sieg Rank: Professor of Philosophy Administrative Functions: Head, Philosophy Department Ph.D.: Stanford University Department Member Since: 1985 Research Interests I came from mathematics to philosophy: learning and doing mathematics had to be complemented by studying the foundations of the subject. I learned quickly that foundational positions and their mathematical ...