Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Last CfP: UNIF 2012 - 26th International Works...

Email Gateway (Aug 18 2022 at 19:33):

From: Santiago Escobar <sescobar@dsic.upv.es>
Call for Papers

UNIF 2012
The 26th International Workshop on Unification

http://unif2012.cs.man.ac.uk

July 1st, 2012, Manchester, UK
Satellite event of IJCAR 2012

UNIF 2012 is the 26th event in a series of international meetings
devoted to unification theory and its applications.
UNIF 2012 is a satellite event of the the 6th International
Joint Conference on Automated Reasoning (IJCAR 2012) which is
part of the Alan Turing Year 2012, and collocated with
The Alan Turing Centenary Conference. Previous editions of UNIF
have taken place mostly in Europe, but also in USA and Japan.
For more details on previous UNIF workshops, please see the UNIF
homepage at <http://www.pps.jussieu.fr/~treinen/unif/>.

The aim of UNIF 2012, as that of the previous meetings, is to
bring together researchers interested in unification theory and
related topics, to present recent (even unfinished) work, and
discuss new ideas and trends in this and related fields. This
includes scientific presentations, but also descriptions of
applications and software using unification as a strong component.

A non-exhaustive list of topics of interest includes: unification
algorithms, calculi and implementations, equational unification
and unification modulo theories, unification in modal, temporal
and description logics, admissibility of inference rules, narrowing,
matching algorithms, constraint solving, combination problems,
disunification, higher-order unification, type checking and
reconstruction, typed unification, complexity issues, query answering,
implementation techniques and applications of unification.

Submissions and Publication: Before the workshop, authors are
invited to submit an extended abstract (max. 5 pages) to be
formatted in LNCS style through the EasyChair submission site:

https://www.easychair.org/account/signin.cgi?conf=unif2012

Accepted abstracts will be presented at the workshop and included
in the preliminary proceedings, available at the workshop. We
envisage publication of a special issue of a journal dedicated to
UNIF after the event.

Important Dates:

Submission: April 27

Notification: May 18

Final version: June 1

Workshop: July 1

Programme Committee:

Franz Baader, TU Dresden, Germany

Christoph Benzmueller, Free University Berlin, Germany

Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair)

Maribel Fernandez, King's College London, UK

Silvio Ghilardi, Universita degli Studi di Milano, Italy

Rosalie Iemhoff, Utrecht University, The Netherlands

Konstantin Korovin, University of Manchester, UK (co-chair)

Jordi Levy, IIIA - CSIC, Spain

Christopher Lynch, Clarkson University, USA

George Metcalfe, Vanderbilt University, USA

Paliath Narendran, University at Albany, USA

Vladimir Rybakov, Manchester Metropolitan University, UK (co-chair)

For more information, please contact any of the three chairs
Santiago Escobar, Konstantin Korovin, Vladimir Rybakov

Last updated: Apr 25 2024 at 04:18 UTC