UNIF 2015 - 29th International Workshop on Unification
Date2015-06-29 - 2015-07-03
Deadline2015-02-06
VenueWarsaw, Poland
Keywords
Websitehttps://rdp15.mimuw.edu.pl
Topics/Call fo Papers
UNIF 2015 is the 29th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.
This year's UNIF will be an RDP workshop.
Topics of Interest
A non-exhaustive list of topics of interest include:
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
Applications of unification
Antiunification/Generalization
The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.
This year's UNIF will be an RDP workshop.
Topics of Interest
A non-exhaustive list of topics of interest include:
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
Applications of unification
Antiunification/Generalization
Other CFPs
- International Conference on Rewriting, Deduction, and Programming
- Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Mensch und Computer 2015
- 2015 IEEE International Workshop on Applied Measurements for Power Systems
- 3rd International Congress on Cardiovascular Technologies - CARDIOTECHNIX 2015
Last modified: 2015-01-31 11:09:25