NLSR Call for Papers

NLSR2014 – Natural Language Services for Reasoners
July 18, 2014 · Vienna, Austria

Important Dates

Deadline for contributions:	May 9, 2014
Decision of acceptance:	May 25, 2014
Final revision:	May 30, 2014
Workshop:	July 18, 2014

Aims

To bring together groups in natural language processing and automatic reasoning
To increase awareness of natural language techniques in automatic reasoning

Scope

Multilingual on-line accessible mathematical content
Advanced tools for automated and interactive theorem proving and problem solving.
Rigorous reasoning methods and tools;
Formal methods and tools (making them more accessible to non-experts).
Generating explanations from business rules.

Invited Speakers

Aarne Ranta (Gothenburg University);
Mohan Ganesalingam (Cambridge (to be confirmed))

Paper Submissions

We welcome submission of extended abstracts (2 to 6 pages) and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere.

All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online.

Extended abstracts and demonstration proposals should be submitted via EasyChair using the LaTeX style files and documentation available here.

At least one author of each accepted extended abstract/demonstration proposal is expected to attend NLSR2014 and present his/her work.

Program Committee

Yannis Haralambous (Institut Mines-Télécom, Télécom Bretagne)
Walther Neuper (Graz University of Technology)
Bengt Nordstrom (Chalmers University of Technology)
Pedro Quaresma (Universidade de Coimbra)
Jordi Saludes (Universitat Politècnica de Catalunya) - chair

Scientific committee

Yannis Haralambous (Telecom Bretagne);
Bengt Nordström (Chalmers University of Technology).