AISB event Bulletin Item
CFP: UNIF 2009 International Workshop on Unification
UNIF 2009 23rd International Workshop on Unification http://web2.clarkson.edu/projects/carl/workshops/unif2009.html August 2, 2009, Montreal, Canada Important Dates --------------- Paper submission: May 15, 2009 Notification: June 15, 2008 Workshop: August 2, 2009 Background ---------- UNIF is the main international meeting on unification. The aim of UNIF 2008 is to bring together people interested in unification, present recent (even unfinished) work, and discuss new ideas and trends in unification and related fields. This includes scientific presentations, but also descriptions of applications and software using unification as a strong component. UNIF 2009 is collocated with CADE 2009, the 22nd International Conference on Automated Deduction. For more information, consult the UNIF 2009 website. Topics ------ Topics of interest include, but are not restricted to: * Unification E-unification Unification Algorithms Higher-Order Unification String Unification Context Unification Combination problems Disunification Typed Unification * Related Topics Constraint Solving Tree Descriptions Matching Narrowing * Applications Type Checking and Type Inference Automated Deduction Rewriting Functional and Logic Programming Grammars Computational Linguistics * Implementations Program Committee ----------------- Franz Baader TU Dresden, Dresden, Germany Santiago Escobar Universidad Politecnica de Valencia, Valencia, Spain Christopher Lynch Clarkson University, Potsdam, New York, USA -- co-chair Paliath Narendran University at Albany--SUNY, Albany, New York, USA -- co-chair Christophe Ringeissen LORIA - INRIA, Nancy, France Submission ---------- Authors are invited to submit a paper of no more than 10 pages in Postscript or PDF format using the UNIF'08 submission page, handled by the EasyChair conference system. Authors are encouraged to use LaTeX2e and the Springer llncs class files. The necessary style files and instructions can be found at http://www.springer.de/comp/lncs/authors.html. The submission page for UNIF 2009 is http://www.easychair.org/conferences/?conf=unif2009 Informal proceedings of accepted contributions will be available on-line. A hard copy will be distributed at the workshop to registered participants.