Proceedings Eighth International Conference on Applied Category Theory
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912959081480192 |
|---|---|
| author | Hadzihasanovic, Amar Lemay, Jean-Simon Pacaud |
| author_facet | Hadzihasanovic, Amar Lemay, Jean-Simon Pacaud |
| contents | The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 contributed talks, an online community meeting, a general community meeting, and 4 talks by junior researchers who attended the Adjoint School to present the results of their research at the school. Information regarding the conference may be found at https://gataslab.org/act2025/act2025.html. Submission to ACT2025 had three tracks: extended abstracts, software demonstrations, and proceedings. Accepted proceedings track submissions are included in this volume. The contributions to ACT2025 ranged from pure to applied and included contributions in a wide range of disciplines. ACT2025 included talks related to computer science, probability theory, chemistry, string diagrams, game semantics, quantum computation, and more.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_07595 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Proceedings Eighth International Conference on Applied Category Theory Hadzihasanovic, Amar Lemay, Jean-Simon Pacaud Category Theory Logic in Computer Science The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 contributed talks, an online community meeting, a general community meeting, and 4 talks by junior researchers who attended the Adjoint School to present the results of their research at the school. Information regarding the conference may be found at https://gataslab.org/act2025/act2025.html. Submission to ACT2025 had three tracks: extended abstracts, software demonstrations, and proceedings. Accepted proceedings track submissions are included in this volume. The contributions to ACT2025 ranged from pure to applied and included contributions in a wide range of disciplines. ACT2025 included talks related to computer science, probability theory, chemistry, string diagrams, game semantics, quantum computation, and more. |
| title | Proceedings Eighth International Conference on Applied Category Theory |
| topic | Category Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2603.07595 |