University of Florida, March 5-6
***Update: While we expect to have a strong in-person turnout for the conference, there will be a hybrid option. Speakers may present their talk via Zoom and participants may view other talks also on Zoom. Please let us know as soon as possible if you will not be able to attend in person. ***
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 2022 is planned as an in-person conference at University of Florida. There will be four plenary talks, parallel special session talks in set theory and computability, and problem sessions.
We are pleased to be running concurrently with the 38th Southeastern Analysis Meating (SEAM). With this in mind, we plan for the set theory and computability sessions to emphasize connections between Logic and Analysis.
We are committed to the safety and health of all participants. The conference will follow UF COVID-19 rules as outlined and updated at https://coronavirus.ufl.edu/
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.
There is a conference fee of USD25 payable upon check-in in either cash or check.
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.
Friday 3/4 at 5:30 pm: For those who are around, on Friday at 5:30 pm we are meeting for dinner/drinks at First Magnitude Brewin Co. (1220 SE Veitch St, Gainesville, FL 32601). There are two food trucks scheduled to be there (one has a vegan option), and they have a large outdoor seating area.
Saturday 3/5 at 7:30 pm: Dana Bartošová is hosting an informal party. We give directions and discuss the logistics at the meeting.
All talks will be in the mathematics building, Little Hall.
Breakfast, breaks, and lunch will be in Little Hall room 225 (breakfast and lunch will be provided). Registration will also be in room 225 on Saturday.
The plenary talks will be in room 113. The computability sessions will be in room 127, and the set theory session will be in room 125. For online participants we will send out the zoom meeting information via email.
| Saturday | Computability (Little Hall125) | Set theory (Little Hall 127) |
| 8:00 | Breakfast | |
| 9:00 | Christian Rosendal (plenary, Little Hall 113) | |
| 10:00 | Coffee Break | |
| 10:30 | Wesley Calvert | Yuqing Frank Li |
| 11 | Robert Lubarsky | Ben Hayes |
| 11:30 | Valentina Harizanov | Felix Weilacher |
| 12 | Francesca Zaffora Blando (Online) | Udyan Darji |
| 12:30 | Lunch | |
| 2:00 | Cameron Freer (online, plenary, Little Hall 113) | |
| 3:00 | Coffee Break | |
| 3:30 | Tim McNicholl | Rachel Skipper |
| 4:00 | Diego Rojas | Anton Bernshteyn |
| 4:30 | Xizhong Zheng (Online) | Riley Thornton |
| 5:00 | Matthew Harrison-Trainor (Online) | |
| Sunday | Computability (Little Hall 125) | Set theory (Little Hall 127) |
| 8:00 | Breakfast | |
| 9:00 | Kate Juschenko (online, plenary, Little Hall 113) | |
| 10:00 | Coffee Break | |
| 10:30 | Don Stull | Dakota Ilhi (online) |
| 11:00 | Neil Lutz (Online) | Lauren Wickman |
| 11:30 | Justin Miller | Yuxin Zhou |
| 12:00 | Jack Piazza (Online) | |
| 12:30 | Chris Porter (Online) | |
Accommodations
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.
