South Eastern Logic Symposium 2020

The conference.

The South Eastern Logic Symposium (SEALS) 2020 will take place on February 29 and March 1, 2020. The conference site is 358 Little Hall on the campus of University of Florida.  The program committee consists of Dana Bartosova, Doug Cenzer, Ethan McCarthy, and Jindrich Zapletal, of University of Florida.

Invited speakers and Participants.

Friday colloquium: Alexandra Shlapentokh

Plenary:  Denis Hirschfeldt, Su Gao, Slawomir Solecki

Computability: Rachael Alvir, Johanna Franklin, Jun Le Goh, Valentina Harizanov, Neil Lutz, Joe Miller, Russell Miller, Andrey Morozov, Chris Porter, Jan Reimann, Dino Rossegger, Mariya Soskova, Don Stull

Set Theory:  Kostas Beros, Ronnie Chen, Tomasz Ciesla, Samuel Coskey, Michael Cotton, Trevor Davila,  Maciej Malicki,  Aristotelis Panagiotopoulos, Forte Shinko, Levi Sledd, Joseph Zielinski, Jenna Zomback


the schedule is here and abstracts of talks are here. Slides of some of the talks are here 

Set Theory Plenary Computability
Ronnie Chen Solecki Harizanov
Davila Gao
Panagiotopoulos Hirschfeldt
Coskey Alvir
Joe Miller
Russell Miller
Zielinski Soskova
Zomback Stull
Zu Yao Towsner


Margaret Somers ( for fiscal and accommodation matters, Jindrich Zapletal ( for program and scheduling matters.

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. My choices in other places are below.

Restaurants, lunch:
The Bistro has closed.
Leonardo’s: a pizza place, next to where the Bistro used to be. 1245 W University Ave, Phone: (352) 375-2007
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
Larry’s Giant Subs: a local sandwich chain.  1620 W University Ave #6, Phone: (352) 271-7963
Restaurants, dinner:
706: a traditional Italian diner. 706 W University Ave, Phone: (352) 378-2001. An easy walk, USD25.
Blue Gill: great Southern food. 1310 SW 13th St, Phone: (352) 872-5181. A long walk, USD25.
Civilization: an eclectic choice with many vegetarian options. 1511 NW 2nd St, Phone: (352) 380-0544. Drive, USD25, CASH ONLY
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.

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.


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. Drive



People watch the sunrise and sunset along US441 on Payne’s Prairie (on the way to the party), 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.

Other 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 Zapletal as well about your stay details.



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 office of research of University of Florida.