Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
UNIF 2018 - 32nd International Workshop on Unification
Date2018-07-07
Deadline2018-04-16
VenueOxford, UK - United Kingdom 
KeywordsUnification; Rewriting; Applications
Websitehttps://unif2018.cic.unb.br
Topics/Call fo Papers
Unification algorithms, calculi and implementations, Equational unification and unification modulo theories, Unification in modal, temporal and description logics, Admissibility of Inference Rules, Narrowing, Matching algorithms, Constraint solving, Combination problems,
Disunification Higher-Order Unification, Type checking and reconstruction, Typed unification
Complexity issues Query answering,Implementation techniques, Formalisation of unification, Applications of unification
Disunification Higher-Order Unification, Type checking and reconstruction, Typed unification
Complexity issues Query answering,Implementation techniques, Formalisation of unification, Applications of unification
Other CFPs
- 17th IEEE International Symposium on Mixed and Augmented Reality
- International Symposium on Automated Technology for Verification and Analysis
- First international conference on Artificial Intelligence and Cognitive computing domain
- First IEEE International Conference on Artificial Intelligence for Industries
- 24th International Computing and Combinatorics Conference (COCOON'18)
Last modified: 2018-01-29 03:21:50