UNIF 2019 - 33rd International Workshop on Unification

June 24, 2019

UNIF 2019 will be the 33rd in a series of annual international workshops on unification. Previous editions have taken place mostly in Europe (Austria, Denmark, France, Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage.

Unification is concerned with the problem of making two terms equal, 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. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis.

The objective of this workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice.

Topics of interest to this forum include, but are not limited to:

  • Unification algorithms, calculi and implementations
  • Equational unification and unification modulo theories
  • Admissibility of Inference Rules
  • Unification in modal, temporal and description logics
  • Narrowing
  • Formalisation of unification
  • Matching Problems
  • Applications
  • Unification in Special Theories
  • Higher-Order Unification
  • Combination problems
  • Contraint Solving
  • Disunification
  • Complexity Issues
  • Type Checking and reconstruction

UNIF 2019 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. More information about UNIF can be found by clicking here.

UNIF 2019 is proposed to be a satellite workshop of Formal Structures for Computation and Deduction (FSCD'19) in Dortmund. Previous editions took place in Oxford/UK (2018 and 2017), Porto/ Portugal (2016), Warsaw/Poland (2015), etc.


Proposed to be affiliated to FSCD'19 .
Dortmund - Germany
June 24-29, 2019

NEWS!


Check the Title and Abstract
of our Invited Talks!


Check the Programme!!



Important Dates !!

Title and Abstracts: April 14, 2019
Paper: April 21, 2019
Notification: May 31, 2019

Contact us

dnantes(at)mat.unb.br
serdar.erbatur(at)ifi.lmu.de




Call for Papers

Contributions should be written in English and submitted in the form of abstracts with a maximum of 5 pages including references in EasyChair style . The submission should be in the form of a PDF file uploaded to Easychair:

https://easychair.org/conferences/?conf=unif2019

The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. At least one of the authors should register for the workshop. Presentations should be in English. According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special journal issue.

Important Dates

  • Title and Abstract:   April 14, 2019
  • Paper Submission:   April 21, 2019
  • Notification to authors:   May 31, 2019
  • Workshop date:   June 24, 2019

Invited Speakers

TBA

Programme

TBA

Commitees

Program Commitee

Organising Commitee

  • FSCD Conference Chair: Jakob Rehof (TU Dortmund) - jakob.rehof(at)cs.tu-dortmund.de
  • FSCD Workshops Chair: Boris Düdder (TU Dortmund)- boris.d(at)di.ku.dk

Registration

See the FSCD 2019 Webpage

Contact

For more information please contact the chairs:
Daniele Nantes Sobrinho (dnantes(at)mat.unb.br)   -   PC co-chair
Serdar Erbatur (serdar.erbatur(at)ifi.lmu.de)   -   PC co-chair

Support