English
Related papers

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

200 papers

This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project…

Software Engineering · Computer Science 2021-01-20 John Fitzgerald , Tomohiro Oda , Hugo Daniel Macedo

Fast Abstracts are short presentations of work in progress or opinion pieces and aim to serve as a rapid and flexible mechanism to (i) Report on current work that may or may not be complete; (ii) Introduce new ideas to the community; (iii)…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-31 Naghmeh Ivaki

In July of 2021, the Santa Fe Institute hosted a workshop on evolutionary computation as part of its Foundations of Intelligence in Natural and Artificial Systems project. This project seeks to advance the field of artificial intelligence…

Neural and Evolutionary Computing · Computer Science 2021-10-22 Tyler Millhouse , Melanie Moses , Melanie Mitchell

In the concluding session of the Joint International Conference titled Econophys-2017 and Asia Pacific Econophysics Conference (APEC)-2017, held in Jawaharlal Nehru University and Delhi University during November 15-18, 2017, a brief…

Physics and Society · Physics 2018-06-29 Bikas K. Chakrabarti

Mini-proceedings of the ECT* Workshop, Hadronic Atoms and Kaonic Nuclei - Solved Puzzles, Open Problems and Future Challenges in Theory and Experiment, 12-16 October 2009

Nuclear Experiment · Physics 2015-03-13 C. Curceanu , J. Marton

This volume contains the papers presented at the 22nd International Overture Workshop, held on the 10th of September 2024. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source…

Software Engineering · Computer Science 2024-10-02 Hugo Daniel Macedo , Ken Pierce , Leo Freitas

Lecture given at BW2003 Workshop "Mathematical, Theoretical and Phenomenological Challenges Beyond Standard Model" 29 August-02 September, 2003 Vrnjacka Banja, Serbia

High Energy Physics - Theory · Physics 2017-08-23 Julius Wess

Large language models (LLMs) are increasingly used to evolve programs and multi-agent systems, yet most existing approaches rely on overwrite-based mutations that maintain only a single candidate at a time. Such methods discard useful…

Artificial Intelligence · Computer Science 2025-12-18 Kamer Ali Yuksel

Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by…

This extended abstract was presented at the Nectar Track of ECML PKDD 2024 in Vilnius, Lithuania. The content supplements a recently published paper "Laws of Macroevolutionary Expansion" in the Proceedings of the National Academy of…

Populations and Evolution · Quantitative Biology 2024-10-07 Indrė Žliobaitė

This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9,…

Software Engineering · Computer Science 2011-08-11 Laura Kovacs , Rosario Pugliese , Francesco Tiezzi

This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International…

Logic in Computer Science · Computer Science 2011-11-14 Fang Yu , Chao Wang

In September 2024, eclipsing binary star practitioners gathered in Litomysl, Czech Republic, the birth town of Zdenek Kopal, one of the most celebrated pioneers of our field, to discuss the latest developments and state-of-the-art. I was…

Solar and Stellar Astrophysics · Physics 2025-01-22 Andrej Prsa

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

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

This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-located with the 28th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-01-11 Michael Fink , Yuliya Lierler

The Sixth International Conference on Applied Category Theory took place at the University of Maryland, 31 July -- 4 August 2023. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020, fully online),…

Logic in Computer Science · Computer Science 2023-12-14 Sam Staton , Christina Vasilakopoulou

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

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

"Epigenetic Tracking" is the name of a model of cellular development that, coupled with an evolutionary technique, becomes an evo-devo (or "artificial embryology", or "computational development") method to generate 2d or 3d sets of…

Adaptation and Self-Organizing Systems · Physics 2010-01-19 Alessandro Fontana