[TYPES/announce] UNIF 2024 - 2nd Call for Papers (Extended Deadline)

[Oliver Fernandez Gil]

===============================================================
			                             UNIF 2024
	                  The 38th International Workshop on Unification
	      	                       Nancy, France, July 2, 2024
                A satellite workshop of CADE/IJCAR, affiliated with IJCAR
		               https://lat.inf.tu-dresden.de/unif2024
===============================================================

UNIF 2024 is the 38th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of making two given terms equal, either
syntactically or modulo an equational theory. It is a fundamental
process used in various areas of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, knowledge representation, types, etc.

The International Workshop on Unification (UNIF) is a forum for
researchers in unification theory and related fields to present recent
(even unfinished) work, and to discuss new ideas and trends. It is also
a good opportunity for students, young researchers and scientists working
in related areas to get an overview of the current state of the art in
unification theory.


Topics
---------
A non-exhaustive list of topics of interest includes:

  * syntactic and equational unification algorithms
  * matching and constraint solving
  * higher-order unification
  * unification in modal, temporal, and description logics
  * admissibility of inference rules
  * narrowing
  * disunification
  * anti-unification
  * complexity issues  
  * combination methods
  * implementation techniques
  * applications


Submission
----------------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be submitted electronically as PDF files through the EasyChair
submission site:

  https://easychair.org/conferences/?conf=unif2024

Abstracts will be evaluated by the Program Committee regarding their
significance for the workshop. We allow submissions of work presented/
submitted in/to another conference.

Accepted abstracts will be presented at the workshop and included in
the informal proceedings of the workshop, available in electronic form
on the Web page of UNIF 2024. At least one of the authors should register
for the workshop.

Based on the number and quality of submissions we will decide whether to
organize a special journal issue.


Important Dates
----------------------
  * Paper submission:               April 25, 2024 (EXTENDED)
  * Author notification:               May 23, 2024
  * Camera-ready version:        June 7, 2024

All dates above are ‘Anywhere on Earth’ (23:59 UTC-12).

  * UNIF 2024:                         July 2, 2024


Invited Speakers
-----------------------
* George Metcalfe (University of Bern)
* Daniele Nantes-Sobrinho (Universidade de Brasília)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4700 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240409/51c1800b/attachment.p7s>