The Coq mailing list

[geoff AT cs.miami.edu (Geoff Sutcliffe)]

GCAI 2015: The First Global Conference on Artificial Intelligence

       Tbilisi, Georgia, October 16-19, 2015
    http://easychair.org/smart-program/GCAI2015/

            First Call for Papers


  GCAI 2015 will be held at Tbilisi State University, 16-19 October 2015. 
  The conference is organized jointly by LRG and Tbilisi State University.

SUBMISSION

  Submissions in all areas of artifical intelligence are welcome. Submitted 
  papers must be original and not submitted simultaneously elsewhere. More 
  information can be found on the conference web pages. The submission page 
  is https://easychair.org/conferences/?conf=gcai2015 .

DATES

  - Abstract registration: July 3, 2015
  - Submission: July 10, 2015
  - Notification: August 10, 2015
  - Final version: August 25, 2015
  - Early registration deadline: September 1, 2015
  - Conference: October 16-19, 2015

PROGRAM COMMITTEE

  The program committee contains 120 researchers from 34 countries. The 
  program chairs are

  - Georg Gottlob (Oxford University)
  - Geoff Sutcliffe (University of Miami)
  - Andrei Voronkov (The University of Manchester)

PUBLICATION

  The GCAI proceedings will be published by EasyChair in the Epic Series 
  in Computing. The volume will be open access and the authors will retain 
  copyrights.