posted by user: mayalarincon || 282 views || tracked by 2 users: [display]

UNIF 2018 : 32nd International Workshop on Unification

FacebookTwitterLinkedInGoogle

Link: http://unif2018.cic.unb.br
 
When Jul 7, 2018 - Jul 7, 2018
Where Oxford
Abstract Registration Due Apr 9, 2018
Submission Deadline Apr 16, 2018
Notification Due May 18, 2018
Final Version Due Jun 1, 2018
Categories    computer science   formal methods   theoretical computer science   programming languages
 

Call For Papers

First Call for Papers: UNIF 2018 -- FSCD workshop

Website: http://unif2018.cic.unb.br

The 32nd International Workshop on Unification is the 32nd event in a
series of international meetings devoted to unification theory and its
applications. Unification is concerned with the problem of making two
terms equal, finding solutions for equations, or making formulas
equivalent. It is a fundamental process used in a number of fields of
computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.

Traditionally, the scope of the UNIF workshops has covered the topic
of unification in a broad sense, encompassing also research in constraint
solving, admissibility of inference rules, and applications such as type
checking, query answering and cryptographic protocol analysis.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and
new colleagues, to present recent (even unfinished) work, and to
discuss new ideas and trends. It is also a good opportunity for young
researchers and scientists working in related areas to get an overview
of the state of the art in unification theory. The workshop will be
hosted by the 3rd International Conference on Formal Structures for
Computation and Deduction (FSCD, Oxford, 9-12 July 2018).

** Invited speakers **

Adria Gascon (Warwick, UK)
Silvio Ghilardi (Milano, Italy).

** Submission instructions **

Following the tradition of UNIF, we call for submissions of abstracts
(5 pages) in EasyChair style, to be submitted electronically as PDF
files through the EasyChair submission site:

http://easychair.org/conferences/?conf=unif2018

Abstracts will be evaluated by the Programme Committee (if necessary
with support from external reviewers) regarding their significance for
the workshop. We will allow 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 printed form at
the workshop and in electronic form from the UNIF homepage:

http://www.pps.jussieu.fr/~treinen/unif/

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

** Important Dates **

Submission of titles and abstracts: Monday, April 9, 2018

Submission of full paper: Monday, April 16, 2018

Author notification: Friday, May 18, 2018

Camera-ready papers: Friday, June 1, 2018

UNIF 2018: Saturday, July 7, 2018

FSCD 2018: July 9-12, 2018

Main conference (FLoCS): July 6-19, 2018

** Program Committee **

Maria Alpuente (UP Valencia)
Franz Baader (TU Dresden)
Eduardo Bonelli (UN Quilmes)
Iliano Cervesato (Carnegie Mellon U)
Wojciech Dzik (U Silesia)
Santiago Escobar (UP Valencia)
Maribel Fernandez (King's College London)
Cigdem Gencer (Istanbul Aydin U)
Rosalie Iemhoff (U Utrecht)
Emil Jerabek (Czech Academy of Sciences)
Temur Kutsia (Johannes Kepler U Linz)
Jordi Levy (IIIA-CSIC)
Christopher Lynch (Clarkson U)
Catherine Meadows (US Naval Research Laboratory)
Paliath Narendran (U at Albany - State U of New York)
Christophe Ringeissen (Inria Nancy)
Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt)

** Organizers **

Mauricio Ayala-Rincon (Universidade de Brasilia)
ayala@unb.br

Philippe Balbiani (CNRS - Toulouse University)
Philippe.Balbiani@irit.fr

Related Resources

IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ICS 2018   the 32nd ACM International Conference on Supercomputing
SIGI 2017   3rd International Conference on Signal and Image Processing
IJESA 2017   International Journal of Embedded Systems and Applications
ICCAI 2018--ACM, Ei, Scopus 2018   ACM--2018 International Conference on Computing and Artificial Intelligence (ICCAI 2018)--Ei Compendex and Scopus
ICMLC - Ei 2018   2018 10th International Conference on Machine Learning and Computing (ICMLC 2018)--ACM, Ei Compendex and Scopus
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
IEEE TETCI 2018   IEEE Transactions on Emerging Topics in Computational Intelligence Special Issue on Computational Intelligence in Data-Driven Optimization
ICISDM--IEEE Xplore, Ei and Scopus 2018   2018 2nd International Conference on Information System and Data Mining (ICISDM 2018)--IEEE Xplore, Ei and Scopus
ICIGP-Ei and Scopus 2018   2018 International Conference on Image and Graphics Processing (ICIGP 2018)--Ei Compendex and Scopus