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

CFP: ICLA 2011: Indian Conference on Logic and its Applications

http://ali.cmi.ac.in/icla2011

4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
                               January 9--11, 2011
                             Delhi University, India

                          http://ali.cmi.ac.in/icla2011


                             CALL FOR PAPERS

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website in due course. Details of the last ICLA (2009) may be found at http://ali.cmi.ac.in/icla2009.

Submission
-----------

Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome.

Submissions must be in English and should provide sufficient detail to allow the programme committee to assess the merits of the paper. It should clearly present the context of the problem, summary of the main results and should contain the technical development directed to the specialist. Comparison with related work must be included. The submission may not exceed 12 pages using Springer's LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. All submissions will be in electronic form and submitted via easychair submission system. Simultaneous submission to journals or to other conferences with proceedings is not allowed.

Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the FoLLI series of Springer Lecture Notes in Artificial Intelligence; this will be confirmed soon.

Important Dates
----------------
************************************************************************
Deadline for Submission:                               16 July 2010

Notification to Authors:                               5 September 2010

Deadline for camera-ready papers:                      10 October 2010
************************************************************************

For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.


Programme Committee
-------------------
Mohua Banerjee (IIT Kanpur), co-chair
Dietmar Berwanger (ENS Cachan)
Achim Blumensath (TU Darmstadt)
Richard Booth (University of Luxembourg, and Mahasarakham University,
Thailand)
Hans van Ditmarsch (University of Sevilla)
Didier Dubois (IRIT, Paul Sabatier University)
Valentin Goranko (Technical University of Denmark)
Wilfrid Hodges
Peter Jipsen (Chapman University)
Steven Lindell (Haverford College)
Benedikt Loewe (ILLC, Amsterdam)
Shahid Rahman (University of Lille 3)
R Ramanujam (IMSc, Chennai)
K Ramasubramanian (IIT Bombay)
Sundar Sarukkai (Manipal University)
Anil Seth (IIT Kanpur), co-chair
S P Suresh (Chennai Mathematical Institute)
Andrzej Szalas (Linkoeping University)
Katherine Thompson (University of Vienna)
Jouko Vaananen (University of Helsinki)
Scott Weinstein (University of Pennsylvania)

Contact
-------
Any queries related to the conference may be sent to the following
email address: icla@cse.iitk.ac.in.