English
Related papers

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

200 papers

This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of…

Formal Languages and Automata Theory · Computer Science 2012-08-14 Enrico Formenti

Collection of manuscripts accepted for presentation at the Student Forum and Fast Abstracts tracks of the 17th European Dependable Computing Conference (EDCC 2021).

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-06 Marcello Cinque , Barbara Gallina

The LiveRAG Challenge at SIGIR 2025, held between March and May 2025, provided a competitive platform for advancing Retrieval-Augmented Generation (RAG) technologies. Participants from academia and industry were invited to develop a…

Computation and Language · Computer Science 2025-07-09 David Carmel , Simone Filice , Guy Horowitz , Yoelle Maarek , Oren Somekh , Ran Tavory , Mehdi Ghissassi , Edo Liberty , Roy Miara

The proceedings of Workshop Scientific HPC in the pre-Exascale era (SHPC), held in Pisa, Italy, September 18, 2024, are part of 3rd Italian Conference on Big Data and Data Science (ITADATA2024) proceedings (arXiv: 2503.14937). The main…

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working…

Multiagent Systems · Computer Science 2012-04-27 Jeremy Bryans , John Fitzgerald

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

This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos…

Programming Languages · Computer Science 2013-07-29 Johannes Borgström , Bas Luttik

These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23--July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to…

Algebraic Geometry · Mathematics 2007-10-11 James S. Milne

We propose a half-day workshop at IEEE VIS 2025 on addressing the emerging challenges in data-rich multimodal remote collaboration. We focus on synchronous, remote, and hybrid settings where people take part in tasks such as data analysis,…

Human-Computer Interaction · Computer Science 2025-04-23 Wolfgang Büschel , Gabriela Molina León , Arnaud Prouzeau , Mahmood Jasim , Christophe Hurter , Maxime Cordeil , Matthew Brehmer

The contribution contains the preface to the Proceedings to the 23rd International Workshop "What Comes Beyond the Standard Models", July 04 -- July 12, 2020, Bled, Slovenia, [Virtual Workshop -- July 6.--10. 2020], Volume 1: Invited Talks…

General Physics · Physics 2022-12-16 N. S. Mankoč Borštnik , H. F. B. Nielsen , M. Y. Khlopov , D. Lukman

The report is based on an extended abstract for the MFO workshop "Hilbert Complexes: Analysis, Applications, and Discretizations", held at Oberwolfach during 19-25 June 2022. The aim is to provide an overview of some aspects of…

Numerical Analysis · Mathematics 2023-01-20 Kaibo Hu

This volume represents the proceedings of Workshop 27 on Purposeful XR: Affordances, Challenges, and Speculations for an Ethical Future, held together with the CHI conference on Human Factors in Computing Systems on MY 26th, 2025 in…

Human-Computer Interaction · Computer Science 2025-04-11 Elizabeth Childs , Samir Ghosh , Sebastian Cmentowski , Andrea Cuadra , Rabindra Ratan

Work package 2 (WP2) aims to develop libraries for energy-efficient inter-process communication and data sharing on the EXCESS platforms. The Deliverable D2.4 reports on the final prototype of programming abstractions for energy-efficient…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-12 Phuong Hoai Ha , Vi Ngoc-Nha Tran , Ibrahim Umar , Aras Atalar , Anders Gidenstam , Paul Renaud-Goud , Philippas Tsigas , Ivan Walulya

Exploration of the structure formation and dynamics of animate and inanimate matter on the nanometer scale is a highly interdisciplinary field of rapidly emerging research. It is relevant for various molecular and nanoscale systems of…

Chemical Physics · Physics 2023-09-06 Alexey V. Verkhovtsev , Vincenzo Guidi , Nigel J. Mason , Andrey V. Solov'yov

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2010-11-30 Sibylle Fröschle , Frank D. Valencia

This volume constitutes the informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), held on 21-23rd September 2022 as a hybrid (blended) meeting, both in-person (at the…

Programming Languages · Computer Science 2022-08-09 Alicia Villanueva