diff --git a/_assets/gatas_bar_UF.png b/_assets/gatas_bar_UF.png new file mode 100644 index 0000000..1c85861 Binary files /dev/null and b/_assets/gatas_bar_UF.png differ diff --git a/_quarto.yml b/_quarto.yml index f0597e5..54e2602 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -4,17 +4,17 @@ project: bibliography: bibliography.bib website: - title: "GATAS Laboratory | University of Florida" + title: "GATAS Lab | University of Florida" favicon: _assets/brand/favicon.ico navbar: - logo: _assets/gatas_logo.png + logo: _assets/gatas_bar_uf.png collapse-below: sm right: - members.qmd - projects.qmd - research.qmd - - text: "AMMA" - href: amma.qmd + - text: "ACT 2025" + href: act2025.qmd - text: "Blog" href: https://blog.algebraicjulia.org/ - icon: github @@ -25,11 +25,13 @@ format: html: html-math-method: katex theme: - light: flatly - dark: darkly + light: [flatly, custom.scss] + dark: [darkly, custom-dark.scss] linkcolor: "#4E8ABB" navbar: - background: "#4E8ABB" + # background: "#343741" + # background: "#AABBCC" + background: "#D8D4D7" foreground: "#6FB450" # Blue: "#4E8ABB" # Green: "#6FB450" diff --git a/act2025.qmd b/act2025.qmd new file mode 100644 index 0000000..7ee0ee1 --- /dev/null +++ b/act2025.qmd @@ -0,0 +1,32 @@ +--- +title: "8th International Conference on Applied Category Theory" +--- + + +![](UF_Skyline.webp) + +## About + +The 8th International Conference on Applied Category Theory (ACT) will take place together at the University of Florida on June 2-6, 2025. The conferences will be preceded by the Adjoint School on May 26-30, 2025. + +For more information on the ACT series, see [here](https://www.appliedcategorytheory.org/). + +## Dates (tentative) + +- Call for proposals released: 2 December 2025 AOE +- Submission deadline: 3 March 2025 AOE +- Reviews start: 5 March 2025 AOE +- Announcement of accepted papers and presentations: 7 April 2025 AOE +- Release of pre-proceedings: 19 May 2025 AOE + +## Adjoint School + +More information about the adjoint school can be found at [adjointschool.com](https://adjointschool.com/2025.html). + +## Organizers + +- Program Chairs + - [Amar Hadzihasanovic](https://ioc.ee/~amar/) + - [JS Lemay](https://sites.google.com/view/jspl-personal-webpage/) +- Local Chair + - [James Fairbanks](/members/jamesfairbanks.qmd) diff --git a/amma.qmd b/amma.qmd deleted file mode 100644 index e104f92..0000000 --- a/amma.qmd +++ /dev/null @@ -1,54 +0,0 @@ ---- -title: "" ---- - -## AMMA 2024: Abstract Methods in Multivariate Algorithmics - -::: {.callout-important title="Postponed"} - -**AMMA 2024 is now postponed to 2025 due to international changes in the organizing committee** - -::: - -![](UF_Skyline.webp) - - -### About - -The Abstract Methods in Multivariate Algorithmics (AMMA) is an international workshop bringing together two mathematical communities: (1) researchers in parameterized (multivariate) complexity theory and (2) researchers in applied topology and category theory. The two communities share many core goals such as understanding compositional systems and compositional algorithms and the systematic confinement of emergent complexity (such as combinatorial explosion). The workshop will consist of a blend of invited and contributed talks as well as tutorials on parameterized complexity and applied category theory aiming to bridge the mathematical and linguistic gap between the two communities. - - -The topics may include but are not limited to: - -- Sheaves and dynamic programming - -- Well-quasi-ordering and encountered-instance algorithmic frameworks beyond worst-case analysis - -- Universal obstructions in graph structural width metrics and a general theory of such metrics - -- Abstract approaches to second-order Myhill-Nerode congruences and beyond - -- Diagram-completion paradigms in parameterized complexity such as solution diversity, - -- Transfer learning and dynamic input - -- General theories of purposeful kernelization - -- Parameterizing on quantization - -- Inductive gradients in parameterized algorithms - -- Problem-specific well quasi-ordering and functorial approaches to parameterized complexity classification - -- Abstract views of input normal forms such as graphs as lineal topologies - -- Abstract models of computation appropriate to truly linear FPT (O(n) + f(k)) algorithmics - -- Abstract models of graphs arising from data points plus metric knobs, and their natural decompositions. - -#### Organizers - -- [Benjamin Bumpus](https://bmbumpus.com/) -- [James Fairbanks](https://jpfairbanks.com/) -- [Michael R. Fellows](https://en.wikipedia.org/wiki/Michael_Fellows) -- [Frances A. Rosamond](https://en.wikipedia.org/wiki/Frances_A._Rosamond) diff --git a/custom-dark.scss b/custom-dark.scss new file mode 100644 index 0000000..0377d54 --- /dev/null +++ b/custom-dark.scss @@ -0,0 +1,16 @@ +/*-- scss:defaults --*/ +// Base document colors +$body-bg: #343741; +// $body-color: rgb(180, 175, 175); +// $link-color: #75AADB; +/* -- UF Grey Colors -- */ +// black +// $navbar-bg: #0000; +// Cool Gray 11 +$navbar-bg: #343741; +// Cool Gray 3 +// $navbar-bg: #C7C9C8; +// Warm Gray 1 +// $navbar-bg: #D8D4D7; +// White +// $navbar-bg: #FFFFFF; \ No newline at end of file diff --git a/custom.scss b/custom.scss new file mode 100644 index 0000000..04bb4b5 --- /dev/null +++ b/custom.scss @@ -0,0 +1,16 @@ +/*-- scss:defaults --*/ +// Base document colors +// $body-bg: #181818; +// $body-color: rgb(180, 175, 175); +// $link-color: #75AADB; +/* -- UF Grey Colors -- */ +// black +// $navbar-bg: #0000; +// Cool Gray 11 +// $navbar-bg: #343741; +// Cool Gray 3 +// $navbar-bg: #C7C9C8; +// Warm Gray 1 +$navbar-bg: #D8D4D7; +// White +// $navbar-bg: #FFFFFF; \ No newline at end of file diff --git a/index.qmd b/index.qmd index 6c8f97a..e785594 100644 --- a/index.qmd +++ b/index.qmd @@ -1,5 +1,5 @@ --- -title: "The GATAS Laboratory" +title: "The GATAS Lab" listing: - id: pages type: grid @@ -13,6 +13,17 @@ listing: - sponsors/sponsors.qmd --- + +:::{.callout-tip} +## Applied Category Theory 2025 + +The GATAS Lab is hosting the 8th International Conference on Applied Category Theory here at UF. +For more information see the [ACT2025 Page](/act2025.qmd) +::: + + +![](_assets/gatas_bar_UF.png) + The GATAS laboratory uses applied category theory to develop novel approaches to scientific computing. We are domain-agnostic, solving problems in [dynamics](https://arxiv.org/abs/2105.12282),