Event Beta

Proceedings of the Workshop on Practical Aspects of Automated Reasoning, PAAR 2026, co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 25, 2026.

Name: Proceedings of the Workshop on Practical Aspects of Automated Reasoning, PAAR 2026, co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 25, 2026.
Location: Lisbon

Date: 2026
Place: Lisbon, Portugal on the map
Series: Workshop on Practical Aspects of Automated Reasoning (PAAR)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11mzfq

Proceedings

Title	DOI	Year	Record
Proceedings of the Workshop on Practical Aspects of Automated Reasoning, PAAR 2026, co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 25, 2026. CEUR Workshop Proceedings 4241		2026	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/paar/paar2026`

Cite

Proceedings of the Workshop on Practical Aspects of Automated Reasoning, PAAR 2026, co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 25, 2026.. confref identifier e11mzfq. https://id.confref.org/event/e11mzfq

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.