University of Florida, March 1-2, 2025
With colloquium talks on Friday February 28 and Monday March 3.
General Information
The Southeastern Logic Symposium (SEALS) series provides a forum for logicians to meet on a regular basis. It has traditionally been a unique venue for set theorists, computability theorists, and other logicians to interact, facilitating conversation between different fields of mathematics. The weekend meetings are held annually in the beginning of March at University of Florida.
SEALS 2025 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.
Logistics
The plenary speakers and supported participants should be in contact with our secretary Margaret Somers regarding your accommodation. Reimbursement checks will be sent out after the conference (this will likely take 3-4 weeks to process).
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á, Robin Tucker-Drob, Jindřich Zapletal, Doug Cenzer
Please contact Margaret Somers (msomers@ufl.edu) for fiscal and accommodation matters.
Funding
The conference is supported by NSF award DMS 2401437, 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:
Abstracts: TBA
Schedule: TBA All talks will be in the mathematics building, Little Hall.
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.
