caml-list - the Caml user's mailing list
 help / color / Atom feed
From: geoff@cs.miami.edu
To: <caml-list@inria.fr>
Subject: [Caml-list] GCAI 2020, Hangzhou, China - Call for Papers
Date: Mon, 26 Aug 2019 10:23:34 -0400 (EDT)
Message-ID: <20190826142334.5F2CA1700479@cs.miami.edu> (raw)

[-- Warning: decoded text below may be mangled --]
[-- Attachment #0: Type: text/plain, Size: 5595 bytes --]


----------------------------------------
6th Global Conference on Artificial Intelligence
GCAI 2020, Hangzhou, China, 6-9 April 2020

http://www.gcai-2020.info/
----------------------------------------

The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be 
held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for 
AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI 
and Responsible AI", the summit intends to promote the interplay between 
logical approaches and machine learning based approaches in order to make 
AI more transparent, responsible and accountable.

http://www.gcai-2020.info/ (GCAI 2020)
http://www.xixilogic.org/zjulogai/ (ZjuLogAI 2020)

************************
Submission Guidelines
************************

GCAI 2020 accepts submissions of two types: 
- Full paper submissions, which must be original and cannot be submitted 
simultaneously elsewhere. Full paper submissions must be at most 12 pages 
long, excluding references. Additional support material may be included in 
an appendix, which may be considered or ignored by the program committee. 
- Extended abstract submissions, which report on ongoing or preliminary work, 
or on work that is central to symbolic reasoning and/or machine/deep learning 
applied to both software and robotic systems, but that has already been 
submitted or recently published elsewhere as a full paper (in the case of an 
already published paper, the full version has to be referenced explicitly). 
Extended abstract submissions must be at most 4 pages long, excluding 
references.

Both types of submissions must be prepared in LaTeX or Microsoft Word using 
the EasyChair templates, and uploaded in PDF format. Submissions not complying 
with these guidelines will be rejected at the discretion of the program 
committee. 

Each submission will be reviewed by at least two reviewers. 
Abstracts are due on 23 November 2019, full papers and extended abstracts 
are due on 30 November 2019, and decisions will be made by 20 January 2020. 

Submissions: via EasyChair 
https://easychair.org/conferences/?conf=gcai2020 

Instructions for authors and EasyChair paper templates can be found at 
https://easychair.org/publications/for_authors

************************
List of Topics
************************

Submissions in all areas of artificial intelligence are welcome. Suggested 
topics include, but are not limited to:

Foundations
+ Knowledge representation
+ Cognitive modeling
+ Perception
+ Search
+ Reasoning and programming
+ Machine learning
+ Constraints and uncertainty

Architectures
+ Agents and distributed AI
+ Intelligent user interfaces
+ Natural language systems and linguistics
+ Information retrieval
+ Case-based reasoning
+ Hierarchical and deep representations
+ Affective computing

Applications
+ Aviation and aerospace
+ Education and tutoring systems
+ Games and entertainment
+ Law and machine ethics
+ Mathematics and the sciences
+ Medicine and healthcare
+ Management and manufacturing
+ World Wide Web
+ Robotics
+ Security

Implications
+ Philosophical foundations
+ Social impact and ethics
+ Evaluation of AI systems
+ AI education

************************
General Chair
************************

Geoff Sutcliffe (University of Miami, USA) 

************************
Program Chairs
************************

Grégoire Danoy (University of Luxembourg, Luxembourg) 
Jun Pang (University of Luxembourg, Luxembourg) 

************************
Program Committee
************************

The PC members are currently being invited; we plan to have about 50 PC 
members. 

************************
Steering Committee
************************

Nikolaj Bjorner (Microsoft Research, USA)
Adel Bouhoula (University of Carthage, Tunisia)
Laura Kovács (Chalmers University, Sweden)
Sriram Rajamani (Microsoft Research, India)
Geoff Sutcliffe (University of Miami, USA)
Andrei Voronkov (University of Manchester, UK)

************************
Organizing Committee
************************

Organizing Committee of ZjuLogAI can be found at
http://www.xixilogic.org/zjulogai/

************************
Publication
************************

GCAI 2020 proceedings will be published in the EasyChair EPiC series in 
Computing. Proceedings of the previous GCAI conferences are available 
online:

Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).
GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in 
Computing, Volume 36)
https://easychair.org/publications/volume/GCAI_2015

Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).
GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in 
Computing, Volume 41)
https://easychair.org/publications/volume/GCAI_2016

Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).
GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in 
Computing, Volume 50)
https://easychair.org/publications/volume/GCAI_2017

Daniel Lee, Alexander Steen and Toby Walsh (editors).
GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in 
Computing, Volume 55)
https://easychair.org/publications/volume/GCAI-2018

************************
Key Dates
************************

- Abstract submission deadline: 23 November 2019
- Paper submission deadline: 30 November 2019
- Acceptance notification: 20 January 2020
- Camera ready copy due: 3 February 2020
- Conference: 6-9 April 2020

************************
Contact
************************
All questions about submissions should be emailed to program chairs.

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190826142334.5F2CA1700479@cs.miami.edu \
    --to=geoff@cs.miami.edu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git