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: Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007)

http://www.lpar.net/2007/

LPAR 2007
                          Yerevan, Armenia
                      15th-19th October 2007
                      http://www.lpar.net/2007/

			    Call For Papers

The 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007) will be held
15th-19th October 2007, in Yerevan, Armenia, Submission of papers for
presentation at the conference is now invited. Topics of interest
include: 
+ automated reasoning                  + propositional reasoning
+ interactive theorem proving          + description logics
+ software verification		       + hardware verification
+ software testing		       + logic and ontologies
+ proof assistants                     + network and protocol verification
+ proof planning                       + nonmonotonic reasoning
+ proof checking                       + constructive logic and type theory
+ rewriting and unification            + lambda and combinatory calculi
+ logic programming		       + knowledge representation and reasoning
+ modal and temporal logics	       + constraint programming
+ systems specification and synthesis  + logical foundations of programming
+ model checking                       + computational interpretations of logic
+ proof-carrying code                  + logic and computational complexity
+ logic and databases                  + logic in artificial intelligence
+ reasoning for the semantic web       + reasoning about actions

Full and short papers are welcome. Full papers may be either regular
papers containing new results, or experimental papers describing
implementations or evaluations of systems. Short papers may describe work
in progress or provide system descriptions. Submitted papers must be
original, and not submitted concurrently to a journal or another
conference.

The full paper proceedings of LPAR 2007 will be published by
Springer-Verlag in the LNAI series. Authors of accepted full papers will
be required to sign a form transferring copyright of their contribution
to Springer-Verlag. The short paper proceedings of LPAR 2007 will be
published by the conference.

Program Chairs
-----------------     Nachum Dershowitz        Tel Aviv University
   Andrei Voronkov          University of Manchester
   Dates and Deadlines
-----------------------
+ Submission of full paper abstracts           June 4
+ Submission of full papers                    June 11
+ Notification of acceptance of full papers    July 23
+ Camera ready versions of full papers due     August 6
+ Submission of short papers                   TBA
+ Notification of acceptance of short papers   TBA
+ Camera ready versions of short papers due    TBA
+ Conference                                   October 15-19

Questions related to submission may be sent to the programme chairs.