Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| SBMF2026 | 29th Brazilian Symposium on Formal Methods | Rio de Janeiro, Brazil | August 7, 2026 | December 1, 2026 | formal methods verification validation semantics | ![]() |
| Phi2 | Philosophica II: Words and Language | Lublin, Poland | May 5, 2026 | September 17, 2026 | language ontology semantics philosophy of language | ![]() |
| SemTech 2026 | SemTech 2026: 4th International Workshop on AI and Semantic Technologies for the Scientific, Technical, and Legal Web | Dubai, UAE | January 5, 2026 | April 13, 2026 | ai llm knowledge graph semantics | ![]() |

.