University of Florida, March 4-5, 2023
General Information
The Southeastern Logic Symposium (SEALS) series provides a forum for set theorists and computability theorists to meet on a regular basis. It has traditionally been a unique venue in this direction. The conversation of the two fields keeps producing new ideas. The weekend meetings are held annually in the beginning of March at University of Florida.
SEALS 2023 is planned as an in-person conference at University of Florida. There will be three plenary talks and parallel special session talks in set theory and computability.
The conference will follow UF COVID-19 rules as outlined and updated at https://wellness.ufl.edu/. As indicated there in the January 9 announcement, most COVID-19 precautions previously implemented by UF have been rescinded.
Logistics
The plenary speakers and supported participants should be in contact with our secretary Margaret Somers regarding your accommodation, and you will be able to pick up a reimbursement check upon conference check-in.
Regardless of reimbursement status, every participant will be charged a USD25 conference fee upon registration to cover refreshment expenses.
If you plan to stay over for a couple of days after the conference, please make arrangements with Margaret and inform the organizers as well about your stay details.
Contact
Organizers: Dana Bartošová, Douglas Cenzer, Robin Tucker-Drob, Jindřich Zapletal
Please contact Margaret Somers (msomers@ufl.edu) for fiscal and accommodation matters.
Funding
The conference is supported by NSF award 1945890, the College of Liberal Arts and Sciences of University of Florida, the mathematics department of University of Florida, and the office of research of University of Florida.
Plenary Speakers:
Damir Dzhafarov, University of Connecticut
Rachel Greenfeld, Institute for Advanced Studies, Princeton
Joe Miller, University of Wisconsin Madison
Speakers:
Set Theory Session: Matthew Bowen (McGill University), Joseph Briggs (University of Auburn), Filippo Calderoni (Rutgers University), Alexander Creiner (UNT Denton), Jan Grebik (University of Warwick), Stephen Jackson (UNT Denton), Aristotelis Panagiotopoulos (CMU), Christopher Shriver (UT Austin), Hunter Novak Spink (Stanford), Greg Terlov (UIUC), Allison Wang (CMU), Amanda Wilkens (UT Austin),
Computability Session: Wesley Calvert (Southern Illinois University), Valentina Harizanov (George Washington University), Denis Hirschfeldt (University of Chicago), Liling Ko (Ohio State), Patrick Lutz (UCLA), Daniel Mourad (University of Connecticut), Christopher Porter (Drake University), Russell Miller (Queens College, CUNY), Isabella Scott (University of Chicago), Gihanee Senadheera (Winthrop University), Mariya Soskova (University of Wisconsin Madison), Manlio Valenti (University of Wisconsin Madison).
All talks will be in the mathematics building, Little Hall.
Set theory session Zoom meeting ID: 8467451630
Plenary talk and Computability session Zoom Meeting ID: 97509041502 Passcode: 539130
Resources for caregivers
We plan to provide access to a lactation room, and we will update the website with a list of local resources for babysitting services and family friendly activities.
Local Information
There are plenty of new restaurants along W. University Ave. The downtown is a fine 20-minute walk in the east direction along 2nd Ave, with a great choice of mediocre restaurants and cafes once you get there.
Restaurants, lunch:
4th Ave Food Park: A few different options for food, including Humblewood fire (bagels), Satch Squared (detroit style pizza, and also waffles), Fehrenbacher’s (artisan sausages and other meats; they have sandwiches and more), Sublime Tacos (tacos). There’s also a bakery and a coffee truck. 409 SW 4th Ave
Dick Mondell’s: Burgers & Fries. It’s just across the street from 4th ave food park. 412 SW 4th Ave
Midpoint Park: Park with food trucks. 931 SW 2nd Ave, Gainesville, FL 32601
The Bistro has closed.
Chipotle: you will survive. 1432 W University Ave, Phone: (352) 372-5330
Just Salad: a decent recent salad bar option. 1404 W University Ave, Phone: (866) 673-3757
Restaurants, dinner:
Blue Gill: great Southern food. 1310 SW 13th St, Phone: (352) 872-5181. A long walk, USD25.
Satchel’s Pizza: A very good pizza place with a cult following, 1800 NE 23rd Ave, Phone: (352) 335-7272. Drive, USD25, no reservations.
The Top: American diner with many vegetarian options. 30 N Main St, Phone: (352) 337-1188. Downtown, a long walk, USD25, make sure to call ahead.
Coffee:
Pascal’s: A Christian study center with good coffee. 112 NW 16th St, Phone: (352) 377-5480. They close early. Walk.
Opus: Nitro and a continual stream of cat videos. 800 SW 2nd Ave, Phone: (352) 262-0348. Walk
Concord: The closest option. 1380 W University Ave, Phone: (561) 312-3974
There is Starbucks in Library West and in Norman Hall, both walkable.
Beer:
First Magnitude Brewing Company: No food, but endless variety of beer on tap next to the best Gainesville brewery. Highly recommended. 1220 SE Veitch St, (352) 727-4677.
Other:
People watch the sunrise and sunset along US441 on Payne’s Prairie, just as you leave the town and cross the wide-open swamp. The sunset is at 6:08pm on Saturday. There is also a boardwalk there.
Butterfly Rainforest. Mostly indoors, great variety and number of butterflies in all stages of their lives. 3215 Hull Rd, Florida Museum of Natural History, 352-846-2000. On campus, but you have to drive. Admission USD12.
