Dear colleagues,
My apologies for multiple emails.
Mauricio.
--//----//----//----//----//----//----//----//----//----//----//----//----//--
Final Call For Papers - EXTENDED DEADLINE
(April 22 abs., April 29 p.)
8th International Workshop on Confluence
http://iwc2019.cic.unb.br
June 28, 2019
Collocated with FSCD, June 24-30, 2019
--//----//----//----//----//----//----//----//----//----//----//----//----//--
The 8th International Workshop on Confluence (IWC 2019) aims at
promoting further research in confluence and related properties.
Confluence provides a general notion of determinism and has always been
conceived as one of the central properties of rewriting. Recently there
is a renewed interest in confluence research, resulting in new
techniques, tool support, certification as well as new applications. The
workshop aims at promoting further research in confluence and related
properties.
Confluence relates to many topics of rewriting (completion, modularity,
termination, commutation, etc.) and has been investigated in many
formalisms of rewriting such as first-order rewriting, lambda-calculi,
higher-order rewriting, constrained rewriting, conditional rewriting,
etc. Recently there is a renewed interest in confluence research,
resulting in new techniques, tool supports, certification as well as new
applications.
TOPICS:
* confluence and related properties (unique normal forms, commutation,
ground confluence)
* completion
* critical pair criteria
* decidability issues
* complexity issues
* system descriptions
* certification
* applications of confluence
The objective of this workshop is to bring together theoreticians and
practitioners to promote new techniques and results, and to facilitate
feedback on the implementation and application of such techniques and
results in practice. IWC 2019 also aims to be a forum for presenting and
discussing work in progress, and therefore to provide feedback to
authors on their preliminary research.
IWC 2019 is a satellite workshop of Formal Structures for Computation
and Deduction (FSCD'19) in Dortmund. Previous editions took place in
Oxford (2018 and 2017), Obergurgl (2016), Berlin (2015), Vienna (2014),
Eindhoven (2013) and Nagoya (2012).
More information about the workshop can be found in the home page of IWC.
SUBMISSIONS
We solicit short papers or extended abstracts of at most five pages.
There will be no formal reviewing. In particular, we welcome short
versions of recently published articles and papers submitted elsewhere.
The program committee checks relevance and may provide additional
feedback. The accepted papers will be made available electronically
before the workshop. The page limit for papers is 5 pages in EasyChair
style. Short papers or extended abstracts must be submitted
electronically through the EasyChair system at:
https://www.easychair.org/conferences/?conf=iwc2019
EasyChair style:
http://easychair.org/publications/for_authors
IMPORTANT DATES
Title and Abstract: April 14, 2019 EXTENDED TO April
22, 2019
Paper Submission: April 21, 2019 EXTENDED TO April 29,
2019
Notification to authors: May 24, 2019
Workshop date: June 28, 2019
INVITED SPEAKERS
Cynthia Kop Radboud Universiteit Nijmegen
Francisco Durán Universidad de Málaga
PROGRAM COMMITTEE
Sandra Alves (Universidade de Porto)
Mauricio Ayala-Rincón (Universidade de Brasília) - co-chair
Cyrille Chenavier (INRIA Lille)
Alejandro Díaz-Caro (Universidad Nacional de Quilmes & ICC/UBA-CONICET)
Jörg Endrullis (Vrije Universiteit Amsterdam)
Jakob Grue Simonsen (DIKU, University of Copenhagen) - co-chair
Raúl Gutiérrez (Universitat Politècnica de València)
Camilo Rocha (Pontificia Universidad Javeriana - Cali)
Masahiko Sakai (Nagoya University)
Sarah Winkler (Universität Innsbruck)
FSCD 2019 ORGANISING COMMITTEE
FSCD Conference Chair: Jakob Rehof (TU Dortmund)
FSCD Workshops Chair: Boris Düdder (TU Dortmund)
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8ee87a71-cabf-0d04-4ba6-ff05273dcf7e%40unb.br.
