{"id":1022,"date":"2016-11-03T14:41:08","date_gmt":"2016-11-03T18:41:08","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/zapletal\/?page_id=1022"},"modified":"2026-03-19T08:13:41","modified_gmt":"2026-03-19T12:13:41","slug":"south-eastern-logic-symposium-2017","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/zapletal\/south-eastern-logic-symposium-2017\/","title":{"rendered":"South Eastern Logic Symposium 2017"},"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) 2017 will take place on March 4 and 5, 2017. The conference site is 358 Little Hall on the campus of University of Florida.\u00a0 The program committee consists of Doug Cenzer, Jean Larson, Michael Hull, and Jindrich Zapletal, of University of Florida,<\/p>\n\n\n\n

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

The conference will start with a colloquium talk on Friday March 3, 4:05pm, the speaker will be\u00a0 Andy Lewis-Pye<\/a> and the title\u00a0 Sex or asex?<\/a> [Note: the colloquium has been canceled.]<\/strong> Other speakers are shown in the table below.<\/p>\n\n\n\n\n\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
Plenary speakers<\/th>Set theory session<\/th>Computability session<\/th>\n<\/tr>\n<\/thead>\n
Christian Rosendal<\/a>: Coarse equivalence, topological coupling, and a theorem of Gromov<\/a><\/td>William Chan: Effective Scott ranks on some Polish spaces<\/a>
\n<\/td>		Eric Astor<\/a> : Robust computation modulo \"small\" sets<\/a><\/td>\n<\/tr>\n
Jan Reimann<\/a> : Randomness vs definability hierarchies<\/a><\/td>Michael Cohen<\/a>: On the large scale geometry of diffeomorphism groups of 1-manifolds<\/a><\/td>Matthew Harrison--Trainor<\/a> : Optimal Scott sentences for groups<\/a><\/td>\n<\/tr>\n
Russell Miller<\/a> : Genericity, infinitary interpretations, and automorphism groups of structures<\/a><\/td>Curt Kent<\/a> : Fundamental groups of planar continua<\/a><\/td>Christopher Porter<\/a> : Rank and randomness<\/a><\/td>\n<\/tr>\n
<\/td>Marcin Sabok<\/a> : Hyperfiniteness of boundary actions of cubulated hyperbolic groups<\/a><\/td>Wesley Calvert: Generically and coarsely computable structures<\/a><\/td>\n<\/tr>\n
<\/td>Phillip Wesolek<\/a>: Chief factors in locally compact Polish groups<\/a><\/td>Ludovic Patey<\/a> : The strength of the thin set theorems<\/a><\/td>\n<\/tr>\n
<\/td>Andrew Zucker<\/a> : A topological interpretation of Devlin's theorem<\/a><\/td>Jennifer Chubb<\/a> : Complexity of orderability of groups<\/a><\/td>\n<\/tr>\n
<\/td>Khalid Bou-Rabee<\/a>: Determining a group's properties through its finite quotients<\/a><\/td>Mariya Soskova<\/a> : Seven characterizations of the cototal enumeration degrees<\/a><\/td>\n<\/tr>\n
<\/td>Konstantinos Beros<\/a>: Group homomorphism reductions<\/a><\/td>Ekaterina Fokina<\/a>: Degree spectra of structures<\/a><\/td>\n<\/tr>\n
<\/td>Tim Susse<\/a> : Flows, dynamics and algorithms for 3-manifold groups<\/a><\/td>Rose Weisshaar Forcing orders comparable to the Cohen or Mathias forcing orders<\/a>
\n<\/td>\n<\/tr>\n
<\/td>Sherwood Hachtman<\/a> : Borel determinacy and computability in higher types<\/a>
\n
\n<\/td>		Jonny Stephenson: Computable categoricity on a cone and degrees of categoricity<\/a><\/td>\n<\/tr>\n
<\/td>Steve Jackson<\/a> : Complexity of generic points and the specification property<\/a><\/td>Francis Adams<\/a> : Effective categoricity of ultrahomogeneous structures<\/a><\/td>\n<\/tr>\n
<\/td>Nicholas Touikan<\/a> : Free conjugacy separability in limit groups<\/a><\/td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n

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

is here<\/a><\/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

The location map with advice regarding the location of restaurants, hotels, and attractions is here<\/a>. On Saturday starting at 7pm, we will have a conference dinner at Blue Gill<\/a> in honor of Doug Cenzer’s anniversary. There will be a vegetarian option, a chicken option, a fish option, and a red meat option, hopefully making everyone a happy camper.<\/p>\n\n\n\n

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

If you are a plenary or special session speaker, you were offered travel reimbursement. You 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. 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

There is a conference fee payable in cash or check upon conference check-in to cover catering expenses–which our grant does not cover. We charge USD25 for the conference refreshments plus USD33 for the conference dinner, for USD58 total, regardless of your reimbursement status. If you are bringing a significant other to the conference dinner, he or she needs to pay the dinner share as well.<\/p>\n\n\n\n\n\n

We plan to publish a SEALS volume, and if you want to be a part of it, please let us know before the conference. Expository papers are welcome, at this point there is no set deadline.<\/p>\n\n\n\n

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

The SEALS conference series is funded by the NSF grant DMS-1362273, the College of Liberal Arts and Sciences 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-1022","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1022","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=1022"}],"version-history":[{"count":11,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1022\/revisions"}],"predecessor-version":[{"id":1785,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1022\/revisions\/1785"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/media?parent=1022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}