------------------------------------------------------------------------
[EMAIL PROTECTED]: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------
[Apologies if you receive multiple copies]
UNIF deadline is near !!!!!!
*************************************
* *
* UNIF'06 SECOND CALL FOR PAPERS *
* *
* Deadline: May 29, 2006 *
* *
*************************************
UNIF'06
20th Int. Workshop on Unification
A satellite workshop of RTA'6 and FLoC'06
The Seattle Sheraton Hotel and Towers
Seattle, WA, USA
August 11, 2006
http://www.iiia.csic.es/~levy/unif06.html
UNIF is the main international meeting on unification. Unification is
concerned with the problem of identifying given terms, either
syntactically or modulo a given logical theory. Syntactic unification
is the basic operation of most automated reasoning systems, and
unification modulo theories can be used, for instance, to build in
special equational theories into theorem provers.
The aim of UNIF 2006, as that of the previous meetings, is to 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 softwares using unification as a
strong component.
In 2006, UNIF has been organized as part of the 2006 Federated Logic
Conference (FLoC 2006).
This workshop is the twentieth in the series: UNIF'87 (Val D'Ajol,
France), UNIF'88 (Val D'Ajol, France), UNIF'89 (Lambrecht, Germany),
UNIF'90 (Leeds, England), UNIF'91 (Barbizon, France), UNIF'92
(Dagstuhl, Germany), UNIF'93 (Boston, USA), UNIF'94 (Val D'Ajol,
France), UNIF'95 (Sitges, Spain), UNIF'96 (Herrsching, Germany),
UNIF'97 (Orl%/1iso8859-15éans, France), UNIF'98 (Rome, Italy),
UNIF'99 (Frankfurt, Germany), UNIF'00 (Pittsburgh, USA), UNIF'01
(Siena, Italy), UNIF'02 (Copenhagen, Denmark). UNIF'03 (Valencia,
Spain). UNIF'04 (Cork, Ireland). UNIF'05 (Nara, Japan).
-------------------------------------------------------------------------------
Topics of Interest:
The meeting will include invited talks, contributed talks, and social
time to discuss current topics of interest, which include (but are not
limited to):
* Unification
o E-unification
o Unification Algorithms
o Higher-Order Unification
o String Unification
o Context Unification
o Nominal Unification
o Combination problems
o Disunification
o Typed Unification
* Related Topics
o Constraint Solving
o Tree Descriptions
o Matching
o Narrowing
* Applications
o Type Checking and Type Inference
o Automated Deduction
o Rewriting
o Functional and Logic Programming
o Grammars
o Computational Linguistics
* Implementations
-------------------------------------------------------------------------------
Important Dates:
May 29, 2006 Deadline for submission of papers,
abstracts and system descriptions
June 19, 2006 Notification of acceptance
July 17, 2006 Camera-ready papers
August 11 , 2006 Workshop
-------------------------------------------------------------------------------
Program Committee:
Temur Kutsia Research Institute for Symbolic Computation
Johannes Kepler University of Linz, Linz, Austria
Jordi Levy (chair) Institut d'Investigació en Intel.ligència Artificial (IIIA)
Consejo Superior de Investigaciones Científicas (CSIC),
Barcelona, Spain
Christian Urban Mathematisches Institut der LMU
Munchen, Germany
Mateu Villaret Dept. Informàtica i Matemàtica Aplicada (IMA)
Universitat de Girona (UdG), Girona, Spain
-------------------------------------------------------------------------------
Submission:
Authors are invited to submit via email an abstract (1-5 pages), a
paper (no longer than 15 pages), or a system description (no more than
5 pages) in Postscript or PDF format using the UNIF'06 submission
page, handled by the EasyChair conference system:
http://www.easychair.org/UNIF06/
Authors have been encouraged to use LaTeX2e and the Springer llncs
class files. Publication Informal proceedings of accepted
contributions will be available on-line. A hard copy will be
distributed at the workshop to registered participants.
------------------------------------------------------------------------
This e-mail was delivered to you by [EMAIL PROTECTED], what is a
moderated list run by Computational Intelligence Group of Clausthal
University of Technology, Germany. All event announcements sent through
this list are also listed in our conference planner at
http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
contact [EMAIL PROTECTED] ASAP.
If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
with a subject unsubscribe to [EMAIL PROTECTED]
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at [EMAIL PROTECTED]
******************************************************
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
******************************************************
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
