English
Related papers

Related papers: Proceedings of the Twentieth Conference on Uncerta…

200 papers

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

The TriRhenaTech alliance presents the accepted papers of the 'Upper-Rhine Artificial Intelligence Symposium' held on October 27th 2021 in Kaiserslautern, Germany. Topics of the conference are applications of Artificial Intellgence in life…

Artificial Intelligence · Computer Science 2021-12-13 Karl-Herbert Schäfer , Franz Quint

This is a report of an NSF workshop titled "Envisioning National Resources for Artificial Intelligence Research" held in Alexandria, Virginia, in May 2024. The workshop aimed to identify initial challenges and opportunities for national…

Artificial Intelligence · Computer Science 2024-12-16 Shantenu Jha , Yolanda Gil

This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF…

Computer Science and Game Theory · Computer Science 2019-09-16 Jérôme Leroux , Jean-Francois Raskin

These are the proceedings of the 7th European Conference on Python in Science, EuroSciPy 2014, that was held in Cambridge, UK (27-30 August 2014).

Computational Engineering, Finance, and Science · Computer Science 2014-12-23 Pierre de Buyl , Nelle Varoquaux

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

Computational Complexity · Computer Science 2010-06-04 Xizhong Zheng , Ning Zhong

This volume presents the proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025), held in Nagaoka, Japan, on December 3-5, 2025. The conference, organized in cooperation with…

This is the proceedings of the 3rd ML4D workshop which was help in Vancouver, Canada on December 13, 2019 as part of the Neural Information Processing Systems conference.

Computers and Society · Computer Science 2020-04-13 Maria De-Arteaga , Tejumade Afonja , Amanda Coston

These are the proceedings of the 13th Workshop on Algorithms in Bioinformatics, WABI2013, which was held September 2-4 2013 in Sophia Antipolis, France. All manuscripts were peer reviewed by the WABI2013 program committee and external…

Quantitative Methods · Quantitative Biology 2013-08-07 Aaron Darling , Jens Stoye

This volume includes a selection of papers presented at the 2nd Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2026 in Singapore on 26th January 2026. The purpose of this volume is to provide an open…

Artificial Intelligence · Computer Science 2026-03-20 Nitay Alon , Joseph M. Barnby , Reuth Mirsky , Stefan Sarkadi

Proceedings of the Seventh International Conference on Applied Category Theory, held at the University of Oxford on 17 - 21 June 2024. The contributions to ACT 2024 ranged from pure to applied and included contributions in a wide range of…

Logic in Computer Science · Computer Science 2025-09-24 Michael Johnson , David Jaz Myers

Artificial Intelligence (AI) conferences are essential for advancing research, sharing knowledge, and fostering academic community. However, their rapid expansion has rendered the centralized conference model increasingly unsustainable.…

Computers and Society · Computer Science 2025-10-24 Nuo Chen , Moming Duan , Andre Huikai Lin , Qian Wang , Jiaying Wu , Bingsheng He

Modern science, technology, and politics are all permeated by data that comes from people, measurements, or computational processes. While this data is often incomplete, corrupt, or lacking in sufficient accuracy and precision, explicit…

The TriRhenaTech alliance presents a collection of accepted papers of the cancelled tri-national 'Upper-Rhine Artificial Inteeligence Symposium' planned for 13th May 2020 in Karlsruhe. The TriRhenaTech alliance is a network of universities…

Artificial Intelligence · Computer Science 2020-11-02 Andreas Christ , Franz Quint

Proceedings of 16th International Conference on Mathematical and Numerical Aspects of Wave Propagation held at the Harnack House, Berlin, Germany, 30 June - 5 July, 2024.

Numerical Analysis · Mathematics 2025-03-14 Laurent Gizon

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

Programming Languages · Computer Science 2024-04-08 Diana Costa , Raymond Hu

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

Uncertainty quantification in Artificial Intelligence (AI)-based predictions of material properties is of immense importance for the success and reliability of AI applications in material science. While confidence intervals are commonly…

Machine Learning · Computer Science 2023-01-16 Francesca Tavazza , Brian De Cost , Kamal Choudhary

The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory,…

Logic in Computer Science · Computer Science 2025-11-26 Adam Bjorndahl

This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025…

Logic in Computer Science · Computer Science 2025-09-17 Giorgio Bacci , Adrian Francalanza