{"id":1330,"date":"2019-11-04T12:43:38","date_gmt":"2019-11-04T17:43:38","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/zapletal\/?page_id=1330"},"modified":"2026-03-19T08:13:41","modified_gmt":"2026-03-19T12:13:41","slug":"south-eastern-logic-symposium-2020","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/zapletal\/south-eastern-logic-symposium-2020\/","title":{"rendered":"South Eastern Logic Symposium 2020"},"content":{"rendered":"\r\n
\r\n\t
\r\n\t\t
\r\n\t\t\t
\r\n\t\t\t\t\n

The conference.<\/h3>\n\n\n\n

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.\u00a0 The program committee consists of Dana Bartosova, Doug Cenzer, Ethan McCarthy, and Jindrich Zapletal, of University of Florida.<\/p>\n\n\n\n

Invited speakers and Participants.<\/h3>\n\n\n\n

Friday colloquium: Alexandra Shlapentokh<\/p>\n\n\n\n\n\n

Plenary:\u00a0 Denis Hirschfeldt, Su Gao, Slawomir Solecki<\/p>\n\n\n\n\n\n

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<\/p>\n\n\n\n\n\n

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

Schedule.<\/h3>\n\n\n\n

the schedule is here<\/a> and abstracts of talks are here<\/a>. Slides of some of the talks are here\u00a0\n\n\n\n\t\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
Set Theory<\/th>Plenary<\/th>Computability<\/th>\n<\/tr>\n<\/thead>\n
Ronnie Chen<\/a><\/td>Solecki<\/a><\/td>Harizanov<\/a><\/td>\n<\/tr>\n
Davila<\/a><\/td>Gao<\/a><\/td><\/td>\n<\/tr>\n
Panagiotopoulos<\/a><\/td>Hirschfeldt<\/a><\/td><\/td>\n<\/tr>\n
Coskey<\/a><\/td><\/td>Alvir<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Goh<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Joe Miller<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Russell Miller<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Morozov<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Porter<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Reimann<\/a><\/td>\n<\/tr>\n
<\/td><\/td>Rossegger<\/a><\/td>\n<\/tr>\n
Zielinski<\/a><\/td><\/td>Soskova<\/a><\/td>\n<\/tr>\n
Zomback<\/a><\/td><\/td>Stull<\/a><\/td>\n<\/tr>\n
Zu Yao<\/a><\/td><\/td>Towsner<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/p>\n\n\n\n

Contact.<\/h3>\n\n\n\n

Margaret Somers (msomers@ufl.edu) for fiscal and accommodation matters, Jindrich Zapletal (zapletal@ufl.edu) for program and scheduling matters.<\/p>\n\n\n\n

Local Information.<\/h3>\n\n\n\n

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.<\/p>\n\n\n\n\n\n

Restaurants, lunch:<\/strong>
\nThe Bistro has closed.
\nLeonardo\u2019s: a pizza place, next to where the Bistro used to be. 1245 W University Ave, Phone: (352) 375-2007
\nChipotle: you will survive. 1432 W University Ave, Phone: (352) 372-5330
\nJust Salad: a decent recent salad bar option. 1404 W University Ave, Phone: (866) 673-3757
\nLarry\u2019s Giant Subs: a local sandwich chain.\u00a0 1620 W University Ave #6, Phone: (352) 271-7963
\nRestaurants, dinner:<\/strong>
\n706: a traditional Italian diner. 706 W University Ave, Phone: (352) 378-2001. An easy walk, USD25.
\nBlue Gill: great Southern food. 1310 SW 13th St, Phone: (352) 872-5181. A long walk, USD25.
\nCivilization: an eclectic choice with many vegetarian options. 1511 NW 2nd St, Phone: (352) 380-0544. Drive, USD25, CASH ONLY
\nSatchel\u2019s Pizza: A very good pizza place with a cult following, 1800 NE 23rd Ave, Phone: (352) 335-7272. Drive, USD25, no reservations.
\nThe 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.
\nCoffee:<\/strong><\/p>\n\n\n\n\n\n

Pascal\u2019s: A Christian study center with good coffee. 112 NW 16th St, Phone: (352) 377-5480. They close early. Walk.
\nOpus: Nitro and a continual stream of cat videos. 800 SW 2nd Ave, Phone: (352) 262-0348. Walk
\nConcord: The closest option. 1380 W University Ave, Phone: (561) 312-3974
\nThere is Starbucks in Library West and in Norman Hall, both walkable.<\/p>\n\n\n\n\n\n

Beer:<\/strong><\/p>\n\n\n\n\n\n

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<\/p>\n\n\n\n\n\n\n\n\n\n\n\n

Other:<\/strong><\/p>\n\n\n\n\n\n

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.<\/p>\n\n\n\n\n\n

Butterfly Rainforest. Mostly indoors, great variety and number of butterflies in all stages of their lives. 3215 Hull Rd, Florida Museum of Natural History,\u00a0352-846-2000. On campus, but you have to drive. Admission USD12.<\/p>\n\n\n\n

Other logistics.<\/h3>\n\n\n\n

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.<\/p>\n\n\n\n\n\n\n\n\n\n

Funding.<\/h3>\n\n\n\n

The conference is supported by NSF award 1945890<\/span><\/span>, 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.<\/p>\n\n\n\n\n\n

\"NSF_Logo\"<\/a><\/figure>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":251,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-1330","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1330","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/users\/251"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/comments?post=1330"}],"version-history":[{"count":10,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1330\/revisions"}],"predecessor-version":[{"id":1775,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1330\/revisions\/1775"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/media?parent=1330"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}