UNIF 2021 - 35th International Workshop on Unification 18th of July 2021, Buenos Aires, Argentina https://www.uoh.cl/unif-2021/
SECOND CALL FOR PAPERS UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event. TOPIC: Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation. UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as its predecessors', the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. Topics of interest of the workshop include syntactic and equational unification algorithms, matching and constraint solving, unification in modal, temporal, and description logics, higher order unification, narrowing, disunification, anti-unification, complexity issues, combination methods, implementation techniques, and applications. IMPORTANT DATES: Paper submission: April 16, 2021 Notification of acceptance: May 21, 2021 Final version of accepted papers: June 18, 2021 Workshop dates: July 18, 2021 SUBMISSION INFORMATION: Following the tradition of UNIF, we call for submissions of extended abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2021 Abstracts will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We also allow submission of work presented/submitted in/to another conference. Accepted abstracts will be presented at the workshop and made available at the Web-page of UNIF 2021. Depending on the number and quality of submitted papers, a special issue of a journal is planned after the workshop, with full versions of the papers going through the reviewing process according to the standards of the chosen journal (e.g., AMAI, JAR, JLC, MSCS). _______________________________________________ Fscd.conference mailing list [email protected] http://lists.dcc.fc.up.pt/mailman/listinfo/fscd.conference -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d0e92cdc-75d3-e2ba-c43c-fd1695c08b71%40unb.br.
<<attachment: ayala.vcf>>
