[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
As requested by several authors, the submission deadline of the 24th
International Workshop on Unification has been extended to 4 April.
So, you have one more week for submitting a 5 pages abstract related
to one of the following topics:
* General E-unification and calculi
* Narrowing
* Matching algorithms
* Special unification algorithms
* Higher-order and nominal unification
* Constraint solving
* Disunification
* Combination problems
* Complexity analysis
* Implementation techniques
* Applications: type checking and reconstruction, automated
theorem proving, programming language design, etc.
For submission (and workshop information),
http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html
Best regards,
Laurent Vigneron.
UNIF 2010 PC member
