[SMT-LIB] GCAI 2016 - Call for Participation

Geoff Sutcliffe geoff at cs.miami.edu
Thu Sep 8 08:56:47 EDT 2016


            The 2nd Global Conference on Artificial Intelligence
              Berlin Germany, 29th September - 2nd October 2016
                 http://easychair.org/smart-program/GCAI2016/

                           Call for Participation

The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held 
at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The 
conference addresses all aspects of artificial intelligence. There will be 29 
papers presented, tutorials on automated theorem proving in classical and non-
classical logic, and three invited speakers ...
  Simon Colton, Falmouth University, and Goldsmiths, University of London, UK
      Computational Creativity
  Daniel Lee, University of Pennsylvania, USA
      Robotics and Machine Learning
  Toby Walsh, TU Berlin, Germany and UNSW/Data61, Australia
      Will AI end Jobs, Wars or Humanity?
The full program is available at 
    http://easychair.org/smart-program/GCAI2016/program.html

Registration: http://easychair.org/smart-program/GCAI2016/Registration.html

GCAI is organized by LRG (http://www.lrg.global) and the Freie Universitaet 
Berlin.


More information about the SMT-LIB mailing list