[SMT-LIB] GCAI 2017 in Miami - Call for Papers

[Geoff Sutcliffe]

       The 3rd Global Conference on Artificial Intelligence (GCAI 2017)
                        Miami, USA, 18-22 October 2017
                 http://easychair.org/smart-program/GCAI2017/

                       (Abstracts: 30 June,  Papers: 7 July)

The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held 
in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October
2017. The conference, which addresses all aspects of artificial intelligence, 
is being organized by LRG (http://www.lrg.global) and the University of Miami.
The program chairs are Christoph Benzmueller, Christine Lisetti and Martin
Theobald. The conference chair is Geoff Sutcliffe.

SUBMISSION

Submissions in all areas of artifical 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
+ Affective computing
+ Robotics

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
+ Security

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


DATES

+ Abstract registration: 30 June, 2017
+ Submission: 7 July, 2017
+ Notification: 11 August, 2017
+ Final version: 25 August, 2017
+ Early registration deadline: tab
+ Workshops: 18 October 2017
+ Conference: 19-22 October, 2016

SUBMISSION and PUBLICATION

Submission is via EasyChair at 
    https://easychair.org/conferences/?conf=gcai2017
The proceedings will be published by EasyChair Publications in the EPiC Series
in Computing. The volume will be open access and authors will retain copyright.

INVITED SPEAKERS

 + Guy van den Broeck, UCLA, USA
 + Marijn Heule, University of Texas at Austin, USA
 + tba

PROGRAMME COMMITTEE

  Jose Julio Alferes (Universidade NOVA de Lisboa)
  Serge Autexier (DFKI)
  Peter Baumgartner (National ICT Australia)
  Christoph Benzmueller (Freie Universitaet Berlin) - chair
  Philippe Besnard (CNRS / IRIT)
  Richard Booth (Cardiff University)
  James Delgrande (Simon Fraser University)
  Wolfgang Faber (University of Huddersfield)
  Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt)
  Thom Fruehwirth (University of Ulm)
  Daniel Garijo (UCLA)
  Ernesto Jimenez-Ruiz (University of Oxford)
  Gabriele Kern-Isberner (Technische Universitaet Dortmund)
  Roman Kontchakov (Birkbeck, University of London)
  Tim Landgraf (Freie Universitaet Berlin)
  Jerome Lang (CNRS, LAMSADE, Universite Paris-Dauphine)
  Sanjiang Li (University of Technology Sydney)
  Christine Lisetti (Florida International University) - chair
  Ana Gabriela Maguitman (Universidad Nacional del Sur)
  George Metcalfe (University of Bern)
  Angelo Montanari (University of Udine)
  Till Mossakowski (University of Magdeburg)
  Xavier Parent (University of Luxembourg)
  Radu-Emil Precup (Politehnica University of Timisoara)
  Dumitru Roman (SINTEF / University of Oslo)
  Marco Roveri (FBK-irst)
  Steven Schockaert (Cardiff University)
  Magy Seif El-Nasr (Northeastern University)
  Thomas Stuetzle (Universite Libre de Bruxelles (ULB))
  Martin Theobald (Universite du Luxembourg) - chair
  Juergen Umbrich (Vienna University of Economy and Business (WU))

  *** further PC members will be added ***