Celebrating STEFFEN LEMPP's 60th birthday

Announcement

On the occasion of Steffen Lempp's 60th birthday the logic group at the University of Wisconsin–Madison is hosting a three day birthday conference. The conference will consist of a Friday afternoon workshop on September 13th 2019, followed by a special session on Computability Theory, part of the AMS 2019 Fall Central Sectional Meeting at the University of Wisconsin–Madison, September 14-15, 2019

Dates

Friday Workshop: September 13th 2019
AMS Special Session: September 14th and 15th 2019

The birthday dinner will be on Saturday, September 14th 2019 starting at 7:00PM. It will take place at the Essen Haus (514 East Wilson Street, German, 2 miles from campus). Please register here if you plan to attend Registration will CLOSE on Sept 5.

Confirmed speakers

Uri Andrews, University of Wisconsin–Madison
Peter Cholak, University of Notre Dame
Barbara Csima, University of Waterloo, Ontario, Canada
Alf Dolich, Kingsborough Community College, New York City
Rod Downey, Victoria University of Wellington, New Zealand
Damir Dzhafarov, University of Connecticut-Storrs
Denis Hirschfeldt, University of Chicago, Illinois
Jeff Hirst, Appalachian State University, Boone, North Carolina
Carl Jockusch, University of Illinois at Urbana-Champaign
Reese Johnston, Shoreline Community College, Shoreline
Iskander Kalimullin, Kazan Federal University, Russia
Julia Knight, University of Notre Dame
Chris Laskowski, University of Maryland, College Park
Russell Miller, Queens College, New York City
Antonio Montalbán, University of California-Berkeley
Richard Shore, Cornell University, Ithaca, New York
Ted Slaman, University of California-Berkeley
Reed Solomon, University of Connecticut-Storrs
Linda Brown WESTRICK, Pennsylvania State University

AMS Sectional Meeting

This event is part of the AMS 2019 Fall Central Sectional Meeting . The following sessions will be of interest to participants:

Schedule

The schedule is available here. Rooms have been allocated as well! Friday we will be on level B2, Van Vleck Hall and Saturday and Sunday we will be in Room 594, Van Hise Hall. Note that level B2 is two levels below the first floor!

A colorful schedule that provides an overview of all logic talks during this meeting provided by Uri Andrews can be found here.

Organizers

Joe Miller, University of Wisconsin-Madison
Noah Schweber, University of Wisconsin-Madison
Mariya Soskova, University of Wisconsin-Madison

Hotel information

We will use the hotel arrangements that the AMS organizers arrange. More information will be available at the conference website.

Travel Information on Madison and the University of Wisconsin

The following is borrowed from Steffen's webpage.

Reaching Madison by air or airport limousine
Reaching Madison by bus
Reaching the UW campus by car
Reaching UW campus area hotels by car
UW campus map
Favorite restaurants near the UW campus
Greater Madison Convention and Visitors Bureau
Madison area traffic cameras (provided by the City of Madison Traffic Engineering)
Wisconsin Tourism Information
Wisconsin Traffic Map
Wisconsin Attractions (by Wisconline)
Wisconsin Weather Radar

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!

NEW: Starting in September 2016, Canada now also has a similar travel authorization system to ESTA called eTA, which is required even if you just have a flight layover in Canada. eTA is valid for five years (or until your passport expires), usually takes only minutes to complete, and costs CAN$ 7.

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

your being denied a visa,
your being denied entry at the border even if you have a visa or do not need a visa to enter the U.S. as a tourist,
the department being unable to pay you any money for travel expenses, honorarium, consulting fees, or salary even if such payment was promised to you before, or
your children being unable to attend public school in the U.S.

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, note that if you have traveled to Iran, Iraq, Libya, Somalia, Sudan, Syria, or Yemen, you are not eligible for a visa waiver and need to apply for a regular visa), 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

UW page on requirements for payments to foreign nationals
U.S. visa home page
Visa Waiver Program (for citizens of many Western European and other industrialized countries, generally requires e-passports, with an electronic chip)
Visa information for citizens of Canada and Bermuda
J visa information for longer-term exchange visitors (J1 for visitors, J2 for dependents)
List of U.S. Consulates worldwide

Related information for visitors

Internal Revenue Service: U.S. federal taxes for foreigners
SHIP Insurance: health insurance for international scholars at UW-Madison (including Waiver Application Form)
Security Administration: Individual Taxpayer Identification Number (ITIN) application
UW information on immigration and tax restrictions
UW International Faculty and Staff Services
UW Math Department travel and visitor information
UW tax information
UW tax information for J-1 scholars
Wisconsin Department of Revenue: Wisconsin state taxes (tax information for non-residents)

Prepared by Mariya Soskova (@math.wisc.edu">msoskovamath.wisc.edu)