Chuỗi hội nghị chuyên đề logic Đông Nam [SEALS] cung cấp một diễn đàn cho các nhà lý thuyết tập hợp và các nhà lý thuyết tính toán gặp nhau thường xuyên. Theo truyền thống, nó là một địa điểm độc đáo theo hướng này. Cuộc trò chuyện của hai lĩnh vực tiếp tục tạo ra những ý tưởng mới. Các cuộc họp cuối tuần được tổ chức hàng năm vào đầu tháng 3 tại Đại học Florida
SEALS 2023 được lên kế hoạch như một hội nghị trực tiếp tại Đại học Florida. Sẽ có ba cuộc nói chuyện toàn thể và các cuộc nói chuyện phiên đặc biệt song song về lý thuyết tập hợp và tính toán
Hội nghị sẽ tuân theo các quy tắc của UF COVID-19 như đã nêu và cập nhật tại https. //sức khỏe. ufl. edu/. Như đã nêu trong thông báo ngày 9 tháng 1, hầu hết các biện pháp phòng ngừa COVID-19 do UF thực hiện trước đó đã bị hủy bỏ
hậu cần
Các diễn giả toàn thể và những người tham gia được hỗ trợ nên liên hệ với thư ký Margaret Somers của chúng tôi về chỗ ở của bạn và bạn sẽ có thể nhận séc hoàn trả khi đăng ký hội nghị
Bất kể tình trạng hoàn trả, mọi người tham gia sẽ bị tính phí hội nghị USD25 khi đăng ký để trang trải chi phí giải khát
Nếu bạn dự định ở lại vài ngày sau hội nghị, vui lòng sắp xếp với Margaret và thông báo cho ban tổ chức cũng như chi tiết về thời gian lưu trú của bạn
Liên hệ
Người tổ chức. Dana Bartošová , Douglas Cenzer , Robin Tucker-Drob, Jindřich Zapletal
Vui lòng liên hệ với Margaret Somers [msomers@ufl. edu] cho các vấn đề tài chính và chỗ ở
Điện thoại liên lạc khẩn cấp. JZ. 352-256-5796, RTD. 347-513-3421
Kinh phí
Hội nghị được hỗ trợ bởi giải thưởng NSF 1945890, Cao đẳng Khoa học và Nghệ thuật Tự do của Đại học Florida, khoa toán của Đại học Florida và văn phòng nghiên cứu của Đại học Florida
Diễn giả toàn thể
Damir Dzhafarov, Đại học Connecticut
Rachel Greenfeld, Viện nghiên cứu cao cấp, Princeton
Joe Miller, Đại học Wisconsin Madison
Diễn giả
Đặt phiên lý thuyết. Matthew Bowen [Đại học McGill], Joseph Briggs [Đại học Auburn], Filippo Calderoni [Đại học Rutgers], Alexander Creiner [UNT Denton], Jan Grebik [Đại học Warwick], Stephen Jackson [UNT Denton], Aristotelis Panagiotopoulos [CMU],
Phiên tính toán. Wesley Calvert [Đại học Southern Illinois], Valentina Harizanov [Đại học George Washington], Denis Hirschfeldt [Đại học Chicago], Liling Ko [Bang Ohio], Patrick Lutz [UCLA], Daniel Mourad [Đại học Connecticut], Christopher Porter [Đại học Drake]
tóm tắt. Tóm tắt SEALS 2023
Lịch trình. Lịch trình SEALS 2023 [cập nhật tháng 2. 21 với những điều chỉnh nhỏ] Tất cả các cuộc nói chuyện sẽ diễn ra trong tòa nhà toán học, Little Hall Đặt phiên lý thuyết ID cuộc họp thu phóng. 8467451630 Thảo luận toàn thể và phiên Khả năng tính toán ID cuộc họp thu phóng. 97509041502 Mật khẩu. 539130 Chỉ đường đến nhà JZ cho tối thứ bảy Đi về phía nam trên Đường SW 13 [US441] khoảng 17 dặm đến thị trấn Mc Intosh. Có một đèn giao thông mới ở thị trấn Micanopy đang can thiệp. Khi đến Mc Intosh, bạn sẽ thấy đèn giao thông nhấp nháy phía trên đường [giao lộ với CR320]. Rẽ phải [phía tây, lên dốc]. Nhà nằm trên đỉnh đồi ngắn, bên tay phải, trước mặt có hàng cọ. Đậu xe ở bất cứ đâu trên bãi cỏ. Nếu lái xe về phía nam trên US441, bạn gặp thị trấn Orange Lake, bạn đã đi quá xa. Địa chỉ là 20600 NW 10th Street, Mc Intosh và số điện thoại là 352-256-5796
Tài nguyên cho người chăm sóc Chúng tôi dự định cung cấp quyền truy cập vào phòng cho con bú và chúng tôi sẽ cập nhật trang web với danh sách các nguồn lực địa phương cho các dịch vụ giữ trẻ và các hoạt động thân thiện với gia đình Thông tin địa phương Có rất nhiều nhà hàng mới dọc theo W. đại học Ave. Trung tâm thành phố cách 20 phút đi bộ theo hướng đông dọc theo Đại lộ số 2, với rất nhiều nhà hàng và quán cà phê tầm thường khi bạn đến đó Nhà hàng, ăn trưa Công viên ẩm thực 4th Ave. Một vài lựa chọn khác nhau cho thực phẩm, bao gồm Humblewood fire [bánh mì tròn], Satch Squared [pizza kiểu Detroit và cả bánh quế], Fehrenbacher's [xúc xích thủ công và các loại thịt khác; họ có bánh mì kẹp và hơn thế nữa], Sublime Tacos [bánh taco]. Ngoài ra còn có một tiệm bánh và một xe tải cà phê. 409 SW 4th Ave Dick Mondell's. Burgers & khoai tây chiên. Nó nằm ngay bên kia đường từ công viên ẩm thực đại lộ số 4. 412 SW 4th Ave Công viên trung điểm. Công viên với xe tải thực phẩm. 931 SW 2nd Ave, Gainesville, FL 32601 Bistro đã đóng cửa Chipotle. bạn sẽ sống sót. 1432 W University Ave, Điện thoại. [352] 372-5330 chỉ cần xà lách. một lựa chọn thanh salad gần đây phong nha. 1404 W University Ave, Điện thoại. [866] 673-3757 Nhà hàng, bữa tối mang xanh. món ăn miền nam tuyệt vời. 1310 SW Đường 13, Điện thoại. [352] 872-5181. Đi bộ đường dài, USD25 Bánh Pizza của Satchel. Một địa điểm bán bánh pizza rất ngon được nhiều người theo dõi, 1800 NE 23rd Ave, Phone. [352] 335-7272. Lái xe, 25 USD, không đặt trước Đỉnh. Thực khách Mỹ với nhiều lựa chọn ăn chay. 30 N Main St, Điện thoại. [352] 337-1188. Trung tâm thành phố, đi bộ một quãng dài, 25 USD, nhớ gọi điện trước Cà phê Pascal. Một trung tâm nghiên cứu Kitô giáo với cà phê ngon. 112 NW Đường 16, Điện thoại. [352] 377-5480. Họ đóng cửa sớm. Đi bộ Opus. Nitro và một luồng video liên tục về mèo. 800 SW 2nd Ave, Điện thoại. [352] 262-0348. Đi bộ hòa hợp. Tùy chọn gần nhất. 1380 W University Ave, Điện thoại. [561] 312-3974 Có Starbucks ở Library West và Norman Hall, cả hai đều có thể đi bộ được Bia Công ty sản xuất bia First Magnitude. Không có thức ăn, nhưng vô số loại bia trên vòi bên cạnh nhà máy bia Gainesville ngon nhất. Rất khuyến khích. 1220 SE Veitch St, [352] 727-4677 Khác Mọi người ngắm bình minh và hoàng hôn dọc US441 trên Paynes Prairie, ngay khi bạn rời thị trấn và băng qua đầm lầy rộng mở. Hoàng hôn lúc 6 giờ. 08h tối Thứ Bảy. Ngoài ra còn có một lối đi lót ván ở đó Rừng nhiệt đới bướm. Chủ yếu ở trong nhà, rất nhiều loại và số lượng bướm trong tất cả các giai đoạn của cuộc đời chúng. 3215 Hull Rd, Bảo tàng Lịch sử Tự nhiên Florida, 352-846-2000. Trong khuôn viên trường, nhưng bạn phải lái xe. Vé vào cửa USD12