[TYPES/announce] UNIF 2010: submission deadline extended
Laurent Vigneron
laurent.vigneron at loria.fr
Mon Mar 29 08:25:11 EDT 2010
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
More information about the Types-announce
mailing list