[TYPES] UNIF'05 Deadline Extended

Pawel Urzyczyn urzy at mimuw.edu.pl
Mon Jan 31 12:10:16 EST 2005

[ Apologies for multiple copies ]

The submission deadline for the UNIF 2005 workshop, part of the 
RDP joint conference, has been extended to February 5, 2005.
Please, find enclosed an updated Call for Papers.
Pawel Urzyczyn


The aim of 19th UNIF workshop, as for the eighteen previous meetings,
is to bring together people interested in unification, present recent
(even ongoing) work, and discuss new ideas and trends in unification
and related fields.  This includes scientific presentations, but also
descriptions of applications and softwares using unification as a
strong component.

In 2005, UNIF is organized in Nara, Japan, as part of the Federated
Conference on Rewriting, Deduction, and Programming (RDP), collocated
with RTA (International Conference on Rewriting Techniques and
Applications) and  TLCA (International Conference on Typed Lambda
Calculi and Applications), and several other affiliated workshops.

For this one day workshop, Joachim Niehren will give an invited talk
on "Querying XML documents by tree automata".

If your favorite research topic is related to unification, whether you
are working on unification theory, on applications of unification or
its implementation,
you are invited to submit a paper to this UNIF workshop.
*** Deadline: February 5, 2005 ***

If you plan a late submission, please contact the OC Chair.

For submission information and workshop information, see the UNIF'2005
web page:

Thank you in advance.

Laurent Vigneron
UNIF'2005 OC Chair

More information about the Types-list mailing list