NLSR2014: CALL FOR PAPERS

Sponsored by

Also available as PDF.

Important Dates

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