Skip to content

Version for IJCAR 2026

Latest
Latest

Choose a tag to compare

View all tags
@Antonella-Bilotta Antonella-Bilotta released this 23 May 23:05
v2026-05-24
5db2d90
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

IJCAR 2026
International Joint Conference on Automated Reasoning
Lisbon, Portugal - July 26-29 2026
https://www.floc26.org/ijcar

Assets 2
Loading