English
Related papers

Related papers: Evo* 2025 -- Late-Breaking Abstracts Volume

200 papers

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…

Category Theory · Mathematics 2026-03-11 Amar Hadzihasanovic , Jean-Simon Pacaud Lemay

An important recurring pattern in scientific breakthroughs is a two-stage process: an initial phase of undirected experimentation that yields an unexpected finding, followed by a retrospective phase that explains why the finding works and…

Artificial Intelligence · Computer Science 2026-04-08 Zhe Zhao , Haibin Wen , Jiaming Ma , Jiachang Zhan , Tianyi Xu , Ye Wei , Qingfu Zhang

Proceedings of the 3rd Italian Conference on Big Data and Data Science (ITADATA2024), held in Pisa, Italy, September 17-19, 2024. The Italian Conference on Big Data and Data Science (ITADATA2024) is the annual event supported by the CINI…

The LPC EFT workshop was held April 25-26, 2024 at the University of Notre Dame. The workshop was organized into five thematic sessions: "how far beyond linear" discusses issues of truncation and validity in interpretation of results with…

Back in mid 2018, we were organizing eXtreme19, a conference on astro-particle physics held in Padova on the topic of extremely energetic emission from galaxies. For the preparation of the graphical material in support of the conference we…

Physics Education · Physics 2022-09-21 Elisa Prandini , Michele Doro , Manuela Mallamaci , Barbara Montolli , Daria Mauri

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers'…

Programming Languages · Computer Science 2021-09-01 Emanuele De Angelis , Wim Vanhoof

Speculative decoding accelerates Large Language Model inference via a draft-then-verify paradigm, yet the output projection layer becomes a bottleneck as vocabulary sizes scale. While existing static pruning methods effectively reduce this…

Computation and Language · Computer Science 2026-05-29 Shuyu Zhang , Lingfeng Pan , Qicheng Wang , Yaqi Shi , Yueyang Tan , Ruyu Yan , Jiaqi Chen , Lixing Du , Lu Wang

This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS…

Software Engineering · Computer Science 2013-03-05 Alexander K. Petrenko , Holger Schlingloff

This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of…

Computational Engineering, Finance, and Science · Computer Science 2010-03-01 Emanuela Merelli , Paola Quaglia

Some of the new experimental results and theoretical developments presented at the Workshop on Deep Inelastic Scattering and Related Phenomena (Rome, April 1996) are reviewed.

High Energy Physics - Phenomenology · Physics 2007-05-23 W. J. Stirling

This volume contains the papers presented at the 21st International Overture Workshop, held on the 10th of March 2023. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project…

Software Engineering · Computer Science 2023-11-20 Hugo Daniel Macedo , Ken Pierce

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

Logic in Computer Science · Computer Science 2012-01-04 Jean-Yves Marion

These are the proceedings of the Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013), which took place on March 24, 2013 in Rome, Italy, as a satellite event of the 16th European Joint Conferences on Theory and…

Data Structures and Algorithms · Computer Science 2013-12-30 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

This is a summary of the talks presented at the International Workshop on Top Quark Physics (top2008) held in Elba, Italy, May 18-24, 2008.

High Energy Physics - Phenomenology · Physics 2010-11-11 Scott Willenbrock

We give an overview of presentations and discussions during the Accelerator Working Group Session dedicated to High Luminosity Issues for a future upgrade of the Frascati e+e- Phi-Factory DAPhNE at the Workshop "e+e- in the 1-2 GeV range:…

Accelerator Physics · Physics 2007-05-23 F. Ruggiero , M. Zobov

Inspired by natural evolutionary processes, Evolutionary Computation (EC) has established itself as a cornerstone of Artificial Intelligence. Recently, with the surge in data-intensive applications and large-scale complex systems, the…

Neural and Evolutionary Computing · Computer Science 2024-04-16 Beichen Huang , Ran Cheng , Zhuozhao Li , Yaochu Jin , Kay Chen Tan

Nature's spectacular inventiveness, reflected in the enormous diversity of form and function displayed by the biosphere, is a feature of life that distinguishes living most strongly from nonliving. It is, therefore, not surprising that this…

Neural and Evolutionary Computing · Computer Science 2019-09-11 Norman Packard , Mark A. Bedau , Alastair Channon , Takashi Ikegami , Steen Rasmussen , Kenneth O. Stanley , Tim Taylor

This volume represents the proceedings of the 3rd Workshop on Open-Source Design Automation (OSDA) 2023, co-hosted with Design, Automation, and Test in Europe (DATE) conference in Antwerp, Belgium, April 17, 2023.

Hardware Architecture · Computer Science 2023-04-03 Christian Krieg

We propose a half-day workshop at IEEE VIS 2023 on the topic of communication and collaboration around data. Specifically, we aim to gather researchers interested on multimodal, synchronous, and remote or hybrid forms of communication and…

Human-Computer Interaction · Computer Science 2023-04-13 Matthew Brehmer , Maxime Cordeil , Christophe Hurter , Takayuki Itoh

This volume contains the proceedings of Infinity'13, the 15th International Workshop on Verification of Infinite-State Systems, which was held in Hanoi, Vietnam on the 14th of October 2013 as a satellite event of ATVA'13. The aim of the…

Formal Languages and Automata Theory · Computer Science 2014-02-27 Lukas Holik , Lorenzo Clemente