{"id":96,"date":"2025-01-31T19:43:38","date_gmt":"2025-01-31T19:43:38","guid":{"rendered":"https:\/\/focs.computer.org\/2025\/home\/"},"modified":"2025-12-03T03:45:09","modified_gmt":"2025-12-03T03:45:09","slug":"home","status":"publish","type":"page","link":"https:\/\/focs.computer.org\/2025\/","title":{"rendered":"Home"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"96\" class=\"elementor elementor-96\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-1f8e5bd elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1f8e5bd\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1be7cb88\" data-id=\"1be7cb88\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;slideshow&quot;,&quot;background_slideshow_gallery&quot;:[],&quot;background_slideshow_loop&quot;:&quot;yes&quot;,&quot;background_slideshow_slide_duration&quot;:5000,&quot;background_slideshow_slide_transition&quot;:&quot;fade&quot;,&quot;background_slideshow_transition_duration&quot;:500}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1b1ca0b elementor-widget elementor-widget-heading\" data-id=\"1b1ca0b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">66th IEEE Symposium on Foundations of Computer Science (FOCS) 2025<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-26cf2a69 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"26cf2a69\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5203673c\" data-id=\"5203673c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7c4cc5fb elementor-widget elementor-widget-menu-anchor\" data-id=\"7c4cc5fb\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"menu-anchor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-menu-anchor\" id=\"GraduatingBits\"><\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-60d14306 elementor-widget elementor-widget-heading\" data-id=\"60d14306\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\"><br>Overview<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-557de395 elementor-widget elementor-widget-text-editor\" data-id=\"557de395\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in <b>Sydney, Australia, December 14-17<\/b>. Information about previous conferences can be found at the <a href=\"https:\/\/ieee-focs.org\/\">FOCS Conference Archive<\/a>.<\/p><p>See the <a href=\"https:\/\/focs.computer.org\/2025\/call-for-papers\/\">Call for Papers<\/a> for more information.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t<div data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-element elementor-element-eb1a353 e-flex e-con-boxed e-con e-parent\" data-id=\"eb1a353\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-8cd3328 elementor-widget elementor-widget-heading\" data-id=\"8cd3328\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">News and Announcements<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-element elementor-element-9755ff2 e-flex e-con-boxed e-con e-parent\" data-id=\"9755ff2\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-85247ce elementor-widget elementor-widget-text-editor\" data-id=\"85247ce\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<ul><li>The list of <a href=\"https:\/\/focs.computer.org\/2025\/activities\/\">social activities<\/a> is now available!<\/li><li>The <a href=\"https:\/\/focs.computer.org\/2025\/schedule\/\">conference schedule<\/a> is available!<\/li><li><s>Nominations for the <a href=\"https:\/\/tc.computer.org\/tcmf\/2025\/08\/26\/focs-test-of-time-award-call-for-nominations-2025\/\">2025 FOCS Test of Time Awards<\/a> are open. <a href=\"https:\/\/tc.computer.org\/tcmf\/2025\/08\/26\/focs-test-of-time-award-call-for-nominations-2025\/\">Nominate<\/a> by September 15th!<\/s><\/li><li>Information about <a href=\"https:\/\/focs.computer.org\/2025\/childcare-support\/\">childcare<\/a> is now available: apply for financial support!<\/li><li><s>The <a href=\"https:\/\/focs.computer.org\/2025\/call-for-workshops\/\">call for workshops<\/a> is open: submit a proposal by September 5th!<\/s><\/li><li><s>The <a href=\"https:\/\/focs.computer.org\/2025\/travel-support\/\">student and postdoc travel support applications<\/a> are open: apply by September 19th!<\/s><\/li><li>The <a href=\"https:\/\/focs.computer.org\/2025\/accepted-papers\/\">list of accepted papers<\/a> is up!<\/li><li>Submissions are now closed. Registration server and information about travel grants coming soon!<\/li><li><del datetime=\"2025-06-09T01:17:42+00:00\">The <a href=\"https:\/\/focs25.hotcrp.com\/\">submission server<\/a> is open!<\/del><\/li><li><del datetime=\"2025-06-09T01:17:42+00:00\">Please consider <a href=\"https:\/\/www.sigact.org\/prizes\/knuth.html\">nominating worthy candidates to the Knuth Prize<\/a>!<\/del>\u00a0 The prize is awarded <em>&#8220;for major research accomplishments and contributions to the foundations of computer science over an extended period of time&#8221;, <\/em>with a ceremony alternating between STOC\/FOCS and will be presented at <a href=\"https:\/\/acm-stoc.org\/stoc2025\/\">STOC 2025<\/a> this year. The Knuth Prize Committee this year includes Noga Alon, Edith Cohen (Chair), David Eppstein, Valerie King, Salil Vadhan, and Moshe Vardi.\u00a0 <em>\u23f0 Deadline:\u00a0 March 31<\/em><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-400d7ab0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"400d7ab0\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-379f6073\" data-id=\"379f6073\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4ffe2fb8 elementor-widget elementor-widget-heading\" data-id=\"4ffe2fb8\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Important dates<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-5e8d1418 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5e8d1418\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-42de4585\" data-id=\"42de4585\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4dfbdcac elementor-widget elementor-widget-text-editor\" data-id=\"4dfbdcac\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<table style=\"border: none;border-collapse: collapse;height: 296px\" width=\"455\"><colgroup> <col width=\"268\" \/> <col width=\"265\" \/><\/colgroup><tbody><tr style=\"height: 25pt\"><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">Submission deadline<\/p><\/td><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.2;margin-top: 0pt;margin-bottom: 0pt\"><s>April 3, 2025 at 8PM ET<\/s><\/p><\/td><\/tr><tr style=\"height: 25pt\"><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">Paper notification<\/p><\/td><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\"><s>July 8, 2025<\/s><\/p><\/td><\/tr><tr style=\"height: 25pt\"><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">Workshop proposal deadline<\/p><\/td><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">September 5, 2025<\/p><\/td><\/tr><tr style=\"height: 25pt\"><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">Early registration deadline<\/p><\/td><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">November 21, 2025<\/p><\/td><\/tr><tr style=\"height: 25pt\"><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">Conference dates<\/p><\/td><td style=\"vertical-align: top;padding: 5pt 5pt 5pt 5pt;overflow: hidden\"><p dir=\"ltr\" style=\"line-height: 1.38;margin-top: 0pt;margin-bottom: 0pt\">December 14\u201317, 2025<\/p><\/td><\/tr><\/tbody><\/table>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-78f4bff1 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"78f4bff1\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5163e11d\" data-id=\"5163e11d\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-cc16a1b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"cc16a1b\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-6b281dd5\" data-id=\"6b281dd5\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1599fcdf elementor-widget elementor-widget-heading\" data-id=\"1599fcdf\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Organizers<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-7b52def5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7b52def5\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4b270550\" data-id=\"4b270550\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3df29695 elementor-widget elementor-widget-menu-anchor\" data-id=\"3df29695\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"menu-anchor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-menu-anchor\" id=\"Organizers\"><\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-4fb80b74 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4fb80b74\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1af1f32f\" data-id=\"1af1f32f\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3980ed78 elementor-widget elementor-widget-text-editor\" data-id=\"3980ed78\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<table style=\"height: 611px\" width=\"238\"><tbody><tr><td width=\"312\">Program Chair<\/td><td width=\"312\">Ran Raz, Princeton University<\/td><\/tr><tr><td width=\"312\">Program Co-Chair<\/td><td width=\"312\">Rotem Oshman, Tel-Aviv University and NYU<\/td><\/tr><tr><td width=\"312\">General Chair<\/td><td width=\"312\">Cl\u00e9ment Canonne, University of Sydney<\/td><\/tr><tr><td width=\"312\">Finance Chair<\/td><td width=\"312\">Troy Lee, University of Technology Sydney<\/td><\/tr><tr><td width=\"312\">Workshop Chairs<\/td><td width=\"312\">Mohsen Ghaffari, Massachusetts Institute of Technology<br \/>Dakshita Khurana, University of Illinois Urbana-Champaign<\/td><\/tr><tr><td width=\"312\">Safe ToC Advocates<\/td><td width=\"312\">Mahdi Cheraghchi, University of Michigan<br \/>Sumegha Garg, Rutgers University<br \/>Divyarthi Mohan, Boston University<br \/>Yuval Rabani, Hebrew University of Jerusalem<br \/>Cl\u00e9ment Canonne, University of Sydney<\/td><\/tr><tr><td width=\"312\">TCS For All<\/td><td width=\"312\"><i>(coming soon)<\/i><\/td><\/tr><tr><td width=\"312\">IEEE TCMF Chair<\/td><td width=\"312\"><span style=\"font-size: 16.2px\">Ran Canetti, Boston University<\/span><span style=\"font-size: medium\">\u00a0<\/span><\/td><\/tr><tr><td width=\"312\">IEEE TCMF Vice Chair<\/td><td width=\"312\">Rocco Servedio, Columbia University<\/td><\/tr><tr><td width=\"312\">Local Organizers<\/td><td width=\"312\">Andr\u00e9 van Renssen, University of Sydney<br \/>William Umboh, University of Melbourne<\/td><\/tr><\/tbody><\/table>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-37476efc elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"37476efc\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-591a0772\" data-id=\"591a0772\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7755aaaf elementor-widget__width-initial elementor-widget elementor-widget-text-editor\" data-id=\"7755aaaf\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h1><span style=\"color: #339966\"><b>Sponsors<\/b><\/span><\/h1><h2><span style=\"color: #339966\">Gold<\/span><\/h2><table><tbody><tr><td style=\"background-color: white;border: none;vertical-align: middle\"><a href=\"https:\/\/sig.com\/\"><img decoding=\"async\" class=\"size-medium wp-image-202 aligncenter\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/SUSQUEHANNA_Logo_blue-300x47.png\" alt=\"Susquehanna\" width=\"300\" height=\"47\" srcset=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/SUSQUEHANNA_Logo_blue-300x47.png 300w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/SUSQUEHANNA_Logo_blue-1024x161.png 1024w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/SUSQUEHANNA_Logo_blue-768x121.png 768w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/SUSQUEHANNA_Logo_blue.png 1312w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><\/td><td style=\"background-color: white;border: none;vertical-align: middle\">\u00a0<a href=\"https:\/\/insait.ai\/\"><img decoding=\"async\" class=\"alignnone wp-image-205 size-medium\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/INSAIT-Logo-1-300x27.png\" alt=\"INSAIT: Institute for Computer Science, Artificial Intelligence and Technology\" width=\"300\" height=\"27\" srcset=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/INSAIT-Logo-1-300x27.png 300w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/10\/INSAIT-Logo-1.png 633w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><\/td><\/tr><\/tbody><\/table><h2><span style=\"color: #339966\">Silver<\/span> <span style=\"font-size: 18px;text-transform: none\"><br \/><\/span><\/h2><table><tbody><tr><td style=\"background-color: white;border: none;vertical-align: middle\"><img decoding=\"async\" class=\"alignright\" src=\"https:\/\/focs.computer.org\/2024\/wp-content\/uploads\/sites\/3\/2024\/09\/Jane-Street-logo_horizontal_black_registered-300x78.png\" alt=\"Jane Street\" width=\"250\" \/><\/td><td style=\"background-color: white;border: none;vertical-align: middle\"><img decoding=\"async\" class=\"size-medium wp-image-155 alignleft\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/02\/UoS-RGB-standard-logo-mono-300x140.png\" alt=\"The University of Sydney\" width=\"200\" height=\"140\" \/><\/td><\/tr><\/tbody><\/table><div><h2><span style=\"color: #000000\"><span style=\"color: #339966\">Bronze<\/span>\u00a0<\/span><\/h2><table><tbody><tr><td style=\"background-color: white;border: none\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-153 size-medium\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/googlelogo-3-300x237.png\" alt=\"\" width=\"300\" height=\"237\" srcset=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/googlelogo-3-300x237.png 300w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/googlelogo-3.png 380w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/td><td style=\"background-color: white;border: none\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-160 size-full\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/apple-logo-small.png\" alt=\"Apple and the Apple logo are trademarks of Apple Inc., registered in the U.S. and other countries and regions.\" width=\"300\" height=\"259\" \/><\/td><td style=\"background-color: white;border: none\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-154 size-medium\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/amazon-logo-300x237.png\" alt=\"Amazon\" width=\"300\" height=\"237\" srcset=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/amazon-logo-300x237.png 300w, https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/03\/amazon-logo.png 380w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/td><td style=\"background-color: white;border: none;vertical-align: middle\" valign=\"middle\"><a href=\"https:\/\/www.chiefscientist.nsw.gov.au\/\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-155 size-medium vertical-align:middle;\" src=\"https:\/\/focs.computer.org\/2025\/wp-content\/uploads\/sites\/4\/2025\/07\/NSWGov_OCSE_Logo_CMYK_Primary-Blue-300x90.png\" alt=\"Logo of the Office of the NSW Chief Scientist\" width=\"300\" height=\"237\" \/><\/a><\/td><td style=\"background-color: white;border: none\">\u00a0<\/td><\/tr><\/tbody><\/table><\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t<div data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-element elementor-element-6e95fdf e-grid e-con-boxed e-con e-parent\" data-id=\"6e95fdf\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-c751a77 elementor-widget elementor-widget-spacer\" data-id=\"c751a77\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-87620e9 elementor-widget elementor-widget-text-editor\" data-id=\"87620e9\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h6 style=\"text-align: right\"><span style=\"color: #808080\">Header: photograph by JJ Harrison (<a style=\"color: #808080\" href=\"https:\/\/www.jjharrison.com.au\/\">https:\/\/www.jjharrison.com.au\/<\/a>) &#8211; Own work, CC BY-SA 3.0.<\/span><\/h6>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>66th IEEE Symposium on Foundations of Computer Science (FOCS) 2025 Overview The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Sydney, Australia, December 14-17. Information about previous conferences can be found at the FOCS Conference Archive. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-96","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/pages\/96","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/comments?post=96"}],"version-history":[{"count":0,"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/pages\/96\/revisions"}],"wp:attachment":[{"href":"https:\/\/focs.computer.org\/2025\/wp-json\/wp\/v2\/media?parent=96"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}