Fwd: [computational.science] CFP UNIF 2010 at FLoC (Edinburgh, 14 July) - Cfp

28 Jan 2010


      -------- Original-Nachricht --------
Betreff: 	[computational.science] CFP UNIF 2010 at FLoC (Edinburgh, 14 
July)
Datum: 	Thu, 28 Jan 2010 10:56:16 +0000
Von: 	Maribel Fernandez Maribel.Fernandez@kcl.ac.uk
Organisation: 	"ICCSA"
An: 	Computational Science Mailing List 
computational.science@lists.iccsa.org
Call for Papers
                          UNIF 2010
          24th International Workshop on Unification
                   14 July 2010, Edinburgh, UK
A FLoC workshop associated to RTA and IJCAR
      http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html
==============================================================
This workshop promotes research and collaboration in the area of
unification theory and related fields, including constraint solving
and applications of unification to theorem proving and programming
languages. It encourages the presentation of new directions,
developments and results, as well as tutorials on existing knowledge
in this area.
Topics of interest include, but are not restricted to:
     * 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.
System descriptions and demonstrations are also welcome.
SUBMISSION GUIDELINES
The submission is in two stages.
1)Before the workshop, authors are invited to submit an abstract
(max. 5 pages) in pdf format, using the Easychair submission
site. Accepted abstracts will be presented at the workshop and
included in the preliminary proceedings, available at the workshop.
2) After the workshop, authors will be invited to submit a paper based
on their presentation, which will be refereed for inclusion in the
final workshop proceedings published by EPTCS.
We also invite authors to submit a 5 page abstract describing relevant
work that has been or will be published elsewhere, or work in
progress. Submissions in this class will be only considered for
presentation at the workshop and inclusion in the preliminary
proceedings but not in the final proceedings.
IMPORTANT DATES
# Submission: 28 March 2010
# Notification: 23 April 2010
# Preliminary proceedings version due: 16 May 2010
# Workshop: 14 July 2010
# Submission for final proceedings: 12 September 2010
# Notification: 7 November 2010
# Final version: 5 December 2010
PROGRAMME COMMITTEE
Maribel Fernandez (UK), chair
Temur Kutsia (Austria)
Jordi Levy (Spain)
Christopher Lynch (US)
Cathy Meadows (US)
Gianfranco Rossi (Italy)
Laurent Vigneron (France)
For more information, please contact
Maribel Fernandez
King's College London, UK
Email: Maribel.Fernandez@kcl.ac.uk
---------------------------------------------------------------------
To unsubscribe, e-mail: computational.science-unsubscribe@lists.iccsa.org
For additional commands, e-mail: computational.science-help@lists.iccsa.org