Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...
012345

Notice

AISB event Bulletin Item

CFP: CADE 2007 Workshop on DISPROVING'07 - DEADLINE EXTENDED


CADE 2007 Workshop on

DISPROVING
Non-Theorems, Non-Validity, Non-Provability

Bremen, Germany,
July 16, 2007

[http://www.cs.chalmers.se/~ahrendt/CADE07-ws-disproving/]

**********************************************
* Extended submission deadline: May 25, 2007 *
**********************************************

Last Call for Papers
====================

Background

Automated Reasoning (AR) traditionally has focused on proving
theorems. Because of this, AR methods and tools in the past were
mostly applied to formulae which were already known to be true. If on
the other hand a formula is not a theorem, then most traditional AR
methods and tools cannot handle this properly (i.e. they will fail,
run out of resources, or simply not terminate). The opposite of
proving, which we call disproving, particularly aims at identifying
non-theorems, i.e. showing non-validity resp. non-provability, and
providing some kind of proof of non-validity (non-provability). The
proof for example could be a counter model, or an instantiation making
the formula false.

Scope

In the scope of the workshop is every method that is able to discover
non-theorems and, ideally, provides explanation why the formula is not
a theorem. Possible subjects are decision procedures, model generation
methods, reduction to SAT, formula simplification methods, abstraction
based methods, failed-proof analysis.

Topics of relevance to the workshop therefore include

   * disproving conjectures in general,
   * extending standard proving methods with disproving capabilities,
   * approximate methods for identifying non-theorems,
   * counterexample generation,
   * counter model generation,
   * finite model generation,
   * decision procedures,
   * failure analysis,
   * reparation of non-theorems,
   * heuristics that help in identifying non-theorems,
   * applications and system descriptions.

Workshop Goal

This the 4th DISPROVING workshop, following the workshops at IJCAR 2004,
CADE 2005, and FLoC 2006.

The DISPROVING workshops are intended as a platform for the exchange
of ideas between researchers concerned with disproving in the broad
sense. By discussing approaches across the different communities, the
workshop can identify common problems and solutions. Another goal is to
elaborate known, and discover unknown, connections between other areas
and disproving. Also, the meeting can enable an exchange of interesting
examples for non-theorems. A long term goal is that the workshop series
contributes to forming a disproving community within AR, and gives the
work on disproving a greater visibility.

Audience

Non-theorems are an issue wherever one tries to prove statements which
are not known to be valid in advance. Therefore, we aim at researchers
from all areas of automated reasoning. The issue of the workshop is
particularly relevant for all logics, calculi, and proving paradigms
where non-validity is not covered by the (plain versions of) standard
methods. This includes (but is not restricted to) first-order logic
proving, inductive theorem proving, rewriting based reasoning,
higher-order logic proving, logical frameworks, and special purpose
logics like for instance program logics. We also target at the model
generation community.

Beside mature work, we also solicit preliminary work or work in
progress to be presented.

Programme Committee

   * Wolfgang Ahrendt (Co-Chair)
   * Franz Baader
   * Peter Baumgartner (Co-Chair)
   * Simon Colton
   * Christian Fermller
   * Bernhard Gramlich
   * William McCune
   * Hans de Nivelle (Co-Chair)
   * Michael Norrish
   * Silvio Ranise
   * Renate Schmidt
   * Carsten Schrmann
   * Graham Steel

Invited Speakers

   * Koen Claessen, Chalmers University of Technology, Gteborg
   * Cesare Tinelli, University of Iowa (shared with VERIFY'07)

Submission

Submissions should not exceed 10 pages.

Submission will be electronic only, using EasyChair.
The electronic submission page is www.easychair.org/DISPROVING07

The deadline for submission is 11th of May 2007.

Publication

The final versions of the selected contributions will be collected in
a volume to be distributed at the workshop and made accessible on the
web.

Together with the organisers of the VERIFY workshop at CADE, we are
planing a joint journal special issue on the topics of both
workshops. Authors of papers presented at DISPROVING and VERIFY will
be welcome to submit extended and revised versions of their
papers. However, contributions will not be limited to those based on
papers presented at either workshops; other submission are welcome as
well.

Workshop Venue

The workshop will be held on July 16, as part of
CADE 2007 (Conference on Automated Deduction),
International University Bremen,
Germany,
July 17 - 20, 2007


Workshop Organizers

     Wolfgang Ahrendt
     Chalmers University of Technology, Gteborg, Sweden
     Email: ahrendt AT chalmers.se

     Peter Baumgartner
     National ICT Australia, Logic and Computation Program, Canberra, Australia
     Email: Peter DOT Baumgartner AT nicta.com.au

     Hans de Nivelle
     Institute for Computer Science, University of Wroclaw, Poland
     Email: nivelle AT ii.uni.wroc.pl

Important Dates

     May 25:  paper submissions deadline
     June 12: notification of acceptance
     June 22: final version due
     Monday, July 16: workshop date

Links

    * Workshop web page:
      www.cs.chalmers.se/~ahrendt/CADE07-ws-disproving/
    * CADE 2007 home page:
      www.cadeinc.org/meetings/cade21/
    * Last year's workshop web page:
      www.easychair.org/FLoC-06/DISPROVING.html


For further information on the workshop, please contact any of the organisers.