|
|
Unless stated explicitely and in conformance to the legal Disclaimer of CEUR-WS.org,
the copyright
for the workshop proceedings as a compilation,
i.e. CEUR-WS.org/Vol-1, CEUR-WS.org/Vol-2 etc., is with the
respective proceedings editors.
The copyright for the individual items (subsuming any type of computer-represented files
containing articles, software demos, videos, etc.) within a proceedings volume is owned by their respective
authors/owners. The open-access license for a volume is specified in the index file of the respective volume.
This license applies by default to all components in the volume.
Re-publication of a CEUR Workshop Proceedings volume or of an individual item inside a proceedings
volume
requires permission by the copyright owners, i.e. either the respective proceedings editors, or
the authors of the respective item in that volume, or both.
Mirroring of the CEUR-WS.org web site, or parts of
it, is prohibited. The label 'CEUR Workshop Proceedings' and
the CEUR-WS logo are owned
by the members of the CEUR-WS Team, represented by its editor-in-chief.
CEUR-WS.org provides its services free of charge to the academic community.
CEUR-WS.org is not run by an organization but by
volunteers from
different universities, who realize the service in their spare time.
Important changes are reported in our timeline.
We are grateful for donations of scripts that ease our tasks, for example scripts
that detect errors in index files.
Proceedings editors: Publishing with CEUR-WS: The Happy Path covers the recommended submission steps for a smooth submission process and should suffice in most cases. For additional details about CEUR-WS submission handling, please refer to the instructions on how to submit page.
| Vol-4229 | Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs 2026. |
| |
Proceedings of the Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026),
Lisbon, Portugal, July 18, 2026. Edited by: Ha Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh, Randy Goebel, Francesco Chiariello, Yves Lesperance, Matteo Magnini, Federico Sabbatini, Elena Umili, Nourhan Ehab, Mervat AbuElkheir Submitted by: Federico Sabbatini Published on CEUR-WS: 23-Jul-2026 ONLINE: https://ceur-ws.org/Vol-4229/ URN: urn:nbn:de:0074-4229-x ARCHIVE: https://ceur-ws.org/ftp-dir/Vol-4229.zip |
| Vol-4228 | Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination. |
| |
Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026),
Lisbon, Portugal, July 24–25, 2026. Edited by: Stefan Hetzl, Jean Christoph Jung, Renate A. Schmidt, Christoph Wernhard Submitted by: Christoph Wernhard Published on CEUR-WS: 23-Jul-2026 ONLINE: https://ceur-ws.org/Vol-4228/ URN: urn:nbn:de:0074-4228-x ARCHIVE: https://ceur-ws.org/ftp-dir/Vol-4228.zip |
| Vol-4227 | Trustable, Reproducible, and Intelligent Information Visualization Systems 2026. |
| |
Proceedings of the Workshop on Trustable, Reproducible, and Intelligent Information Visualization Systems (TRI-IVIS 2026),
Venice, Italy, June 8th, 2026. Edited by: Paolo Buono, Philippe Tamla, Thomas Krause, Haithem Afli, Mattias Hemmje Submitted by: Paolo Buono Published on CEUR-WS: 20-Jul-2026 ONLINE: https://ceur-ws.org/Vol-4227/ URN: urn:nbn:de:0074-4227-x ARCHIVE: https://ceur-ws.org/ftp-dir/Vol-4227.zip |