CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Read More...

Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Read More...

Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


Read More...

AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...
0123456789

Notice

AISB event Bulletin Item

FINAL CALL FOR PAPERS: Workshop on Quantification, 18 Jul 2014, Vienna, AUSTRIA - EXTENDED DEADLINE

http://vsl2014.at/quantify

FINAL CALL FOR PAPERS (DEADLINE EXTENDED)

             QUANTIFY 2014
                --------
        1st International Workshop
            on Quantification

      Vienna, Austria, July 18, 2014
        http://vsl2014.at/quantify


    Affiliated to and co-located with:

               IJCAR 2014
    Vienna, Austria, July 19-22, 2014
      http://cs.nyu.edu/ijcar2014/

       Vienna Summer of Logic 2014
           http://vsl2014.at/
------------------------------------------------------------------------

Quantifiers play an important role in language extensions of many logics. The
use of quantifiers often allows for a more succinct encoding than would be
possible without quantifiers. However, the introduction of quantifiers affects
the complexity of the extended formalism in general. Moreover, theoretical
results established for the quantifier-free formalism typically cannot be
directly transferred to the quantified case. Further, techniques successfully
implemented in reasoning tools for quantifier-free formulas cannot directly be
lifted to a quantified version.

The goal of the 1st International Workshop on Quantification (QUANTIFY 2014)
is to bring together researchers who investigate the impact of quantification
from a theoretical as well as from a practical point of view. Quantification
is a topic in different research areas such as in SAT in terms of QBF, in CSP
in terms of QCSP, in SMT, etc. This workshop has the aim to provide an
interdisciplinary forum where researchers of various fields may exchange their
experiences.

===============
IMPORTANT DATES
===============

Please follow the workshop website at http://vsl2014.at/quantify for any 
updates.

April 25 2014: paper submission [EXTENDED]
May    7 2014: notification of acceptance
July  18 2014: workshop

==================
TOPICS OF INTEREST
==================

The workshop is concerned with all theoretical and practical aspects of
quantification in logics such as QBF, QCSP, SMT, and theorem proving.  The
topics of interest include (but are not limited to):

- Complexity results

- Encodings with and without quantification and comparisons thereof

- Applications of quantification

- Implementations of reasoning tools

- Case studies and experimental results

- Intersections between the different research communities working working on
  quantification

- Surveys of state-of-the-art approaches to handling quantification

=================
PAPER SUBMISSIONS
=================

Submissions will be managed via Easychair:

https://www.easychair.org/conferences/?conf=quantify2014

Submitted papers should be formatted in either LNCS format or a standard LaTeX
article format (paper size A4, font size 11pt).

We solicit two types of submissions:

1. Talk abstracts (maximum two pages, excluding references) describing already
published results.

2. Full papers (maximum 14 pages, excluding references) on novel, unpublished
work.

The talk abstracts of category 1 should include a relevant bibliography of
related work and an outline of the planned talk. For this category, we
explicitly advocate talks which survey results already published, maybe in
multiple articles or presentations capturing the commonalities and differences
of various quantification approaches (perhaps even interdisciplinary).

Please see the workshop website for further submission guidelines:

http://vsl2014.at/quantify

===================
WORKSHOP ORGANIZERS
===================

Hubie Chen
Universidad del Pas Vasco and Ikerbasque, Donostia-San Sebastin, Spain

Florian Lonsing
Vienna University of Technology, Austria

Martina Seidl
Johannes Kepler University Linz, Austria

=================
PROGRAM COMMITTEE
=================

Albert Atserias (Universitat Politecnica de Catalunya)
Nikolaj Bjorner (Microsoft Research)
Mikolas Janota (INESC-ID Lisboa)
Hans Kleine Bning (University of Paderborn)
Konstantin Korovin (Manchester University)
Laura Kovacs (Chalmers University of Technology)
Francesco Scarcello (DIMES, University of Calabria)
Christoph M. Wintersteiger (Microsoft Research)