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...

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...

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...

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...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership.
How to Acce...

AISB event Bulletin Item

PRESENTATION
LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA).
Topics:
Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition.
* logical foundation of syntactic formalisms
o categorial grammars
o minimalist grammars
o dependency grammars
o tree adjoining grammars
o model theoretic syntax
o formal language theory for natural language processing
o data-driven approaches
* logic for semantics of lexical items, sentences, discourse and dialog
o discourse theories
o Montague semantics
o compositionality
o dynamic logics
o game semantics
o situation semantics
o generative lexicon
o categorical semantics
* applications of these models to natural language processing
o software for natural language analysis
o software for acquiring linguistic resources
o software for natural language generation
o software for information extraction
o inference tasks
o evaluation
o scalability
SUBMISSIONS and PROCEEDINGS
Articles should be written in the LaTeX format of LNCS/LNAI by Springer (see authors instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and should not exceed 16 pages (including figures, bibliography, possible apendices). It is expected that each accepted paper be presented at the meeting by one of its authors.
Papers must be submitted electronically in PDF format at
http://www.easychair.org/conferences/?conf=lacl2011
PROCEEDINGS
Accepted papers will be published in advance of the meeting as a volume of the FoLLI LNAI subline of Lecture Notes in Computer Science
(LNCS) by Springer (http://www.springer.com/lncs).
INVITED SPEAKERS
To be announced.
PREVIOUS EDITIONS
A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL'96 ,LACL'97, LACL'98, LACL'2001 and LACL'2005 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492) published by Springer.
IMPORTANT DATES
Paper submission deadline: February 6th 2011
Notification of acceptance: March 25th 2011
Camera-ready papers due: April 10th 2011
LACL conference: June 29th, 30th and July 1st 2011
CONTACTS
sylvain.pogodalla@inria.fr