STEFFEN LEMPP


Picture of Steffen Lempp

Address

Department of Mathematics
University of Wisconsin
480 Lincoln Drive
Madison, WI 53706-1388
USA

Phone/Fax/Email

Office: +1-608-263-1975
Department: +1-608-263-3053
Fax: +1-608-263-8891
Email: @math.wisc.edu">lemppmath.wisc.edu
Skype: steffen.lempp

Office and office hours during semester

Office: 525 Van Vleck Hall
Office hours: Mondays, Wednesdays and Fridays, 8:50-9:40 a.m., or email me (@math.wisc.edu">lemppmath.wisc.edu) to arrange another time.

Course taught in fall 2014

Information for UW graduate students in math or with math minor

Associate Chair Business

My main public task as Associate Chair is to handle concerns or complaints related to teaching by Department of Mathematics faculty and academic staff. (For concerns or complaints related to teaching assistants, please contact our TA Supervisor, Prof. Fabian Waleffe.)

If you have such a concern or complaint, please contact me by email (usually best) or office phone or in person (preferably during my office hours). I will then look into the facts of the concern or complaint and try to work out a solution agreeable to all.

Some useful links related to my job as Associate Chair:

Logic seminars around the Midwest

Conferences I plan to attend (and other times I will be out of town)

Other conferences of interest to logicians

Web pages from past conferences I have co-organized

Travel Information on Madison and the University of Wisconsin

Madison Weather Picture of Van Vleck Hall

Travel information for foreign visitors to the UW math department

IMPORTANT NOTE FOR VISA WAIVER TRAVELERS: You will now need to pre-register at least three days before arrival in the United States at the ESTA web site. ESTA now charges US$14 for this! Be sure to bring along your ESTA receipt as well as a copy of the green form you fill out during your travel to the U.S. if we will pay you for any expenses, we cannot pay you without this receipt and this green form!

Since September 11, 2001, visa regulations for foreign visitors have become much stricter. In particular, the "wrong kind" of visa can result in

In particular, a tourist visa B-2 (or tourist visa waiver WT) allows us to pay you for at most nine days of travel expenses; so you should always try to get a business visa B-1 (or business visa waiver WB) whenever you come for shorter visits over nine days. If you are eligible for a visa waiver (check here for the list of eligible countries), then you should make sure at the border that you show the immigration official an official letter of invitation from us and that the immigration official circles "WB" on your entry stamp in your passport. Do not leave from this official until your passport stamp is correct, since this cannot be changed later on!

Also note that if your travel to and from the U.S. is supported by a federal grant (such as an NSF grant), then you need to abide by the Fly America Act (see Article 14c+d in this document), which generally requires the use of U.S. carriers to the closest foreign airport served by a U.S. airline. However, several Open Skies Agreements have recently been signed (currently with the European Union, Switzerland, Australia and Japan), which allow use of these countries' airlines as well. Note, however, that what matters for the Fly America Act is the airline listed on your ticket and not the airline actually flying the plane, which can become tricky with all the code sharing! Here are some useful links:

State Department web sites on U.S. visas

Related information for visitors

My research interests

My primary research interest is computability in its various aspects, both in classical computability theory, in particular degree structures, and in applications of computability to model theory, algebra, proof theory, and computer science.

Some particular problems I am currently working on include

My curriculum vitae, bibliography, and mathematical genealogy

My publications on line

Bulletin of Symbolic Logic

On January 1, 2013, I began a 3-year term as reviews editor for the Bulletin of Symbolic Logic. The reviews published quarterly in the Bulletin of Symbolic Logic (under the auspices of the Association for Symbolic Logic) serve to inform the logic research community of selected books and articles, as well as sets of articles on a common theme.

If you have suggestions for reviews or would like to submit a review, please contact me by email at @math.wisc.edu">lemppmath.wisc.edu. Suggestions for reviewers can be found here. Reviewers are asked (but not required) to use latex with the ASL review style file (with instructions).

Professional Organizations

Research databases of interest to logicians

Job openings I happen to hear of

Information on special Ph. D. and Master's Programs in Logic

Summer Schools in Logic for Undergraduate and Graduate Students

Information for Russian-speaking Logicians

The ASL Committee on Translations offers a
Russian translation of Bruno Poizat's
"Cours de théorie des modèles" ("A Course in Model Theory")
for free download.

I also administer the program of the Association for Symbolic Logic (ASL) offering

free subscriptions to
the Journal of Symbolic Logic and the Bulletin of Symbolic Logic
to university libraries in the non-EU countries of the former Soviet Union.

For more information about this program, click here for information in English or in Russian (KOI-8 encoding or Windows-1251 encoding).

Home pages of some other logicians


Prepared by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)