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: "Methods for Modalities", 9-12 Nov 2011, Spain

http://personal.us.es/hvd/m4m/

7th Workshop on METHODS FOR MODALITIES (M4M-7), Osuna, Spain

The 7th Methods for Modalities workshop will take place at a University of Sevilla college in Osuna, a provincial town in between Malaga and Sevilla. Confirmed invited speakers for the workshop are:

     * Melving Fitting, City University of New York
     * David Gabelaia, Academy of Sciences, Georgia
     * Andreas Herzig, IRIT, Toulouse
     * Thomas Schwentick, Technical University of Dortmund

The M4M workshop will be preceded by a one-day course for doctorate students and interested researchers, on 9 November 2011. The PhD school will be organized at the University of Malaga. The lecturers at the PhD school will be:

     * Alexandru Baltag, Oxford University, and Sonja Smets, University
       of Groningen
     * Yde Venema, University of Amsterdam

Part of M4M will be a half-day workshop LAMAS (Logical Aspects of Multi-Agent Systems), see http://icr.uni.lu/lamas2011/ and the M4M page.

The proceedings of M4M Osuna will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Scope
-----
The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

We strongly encourage young researchers and students to submit papers, also about experimental and prototypical software tools which are related to modal logics.

Paper Submissions
------------------
Authors are invited to submit papers in the following three categories.

- Regular papers up to 15 pages, describing original research.

- System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones.

- Presentation-only papers, describing work recently published or submitted (with a 15 page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants.

Papers should be prepared in ENTCS proceedings style, and should be submitted as .pdf. Submissions should be made via EasyChair at the following address:

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

The submission chair is not yet open. It will open at least one month before the submission deadline and further notifications will be sent.

Important dates
---------------
     Deadline for submissions: July 15, 2011
     Notification: September 1, 2011
     Camera ready versions: September 15, 2011
     PhD school: November 9, 2011
     Workshop dates: November 10-12, 2011

==================================================================