[Please distribute - apologies for multiple copies.]

 

First Call for Extended Abstracts & Demonstrations

--------------------------------------------------

 

NLSR 2014

International Workshop ON

NATURAL LANGUAGE SERVICES FOR REASONERS

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

July 18, 2014 - Vienna, Austria

affiliated to RTA-TLCA

 

 

Sponsored by FoLLI (http://institucional.us.es/folliweb/) More details

at http://vsl2014.at/pages/NLSR-index.html

 

 

Important Dates

---------------

 

Deadline for contributions: March 16, 2014

Decision of acceptance: April 20, 2014

Final revision: May 25, 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.

 

Paper Submission

-----------------------

 

We welcome submission of extended abstracts 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: https://www.easychair.org/conferences/?conf=nlsr2014

 

At least one author of each accepted extended abstract/demonstration

proposal is expected to attend NLSR and present his/her work.

 

---//---

CICM 2014, 7-11 July 2014, University of Coimbra, Portugal.

ADG 2014, 9-11 July 2014, University of Coimbra, Portugal.

---//---

--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;

 

Professor Auxiliar Pedro Quaresma

Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia

Universidade de Coimbra

P-3001-454 COIMBRA, PORTUGAL

correioE: pedro@mat.uc.pt

p\'agina: http://www.mat.uc.pt/~pedro/

telef: +351 239 791 137; fax: +351 239 832 568