Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » mathedu

Topic: NLSR 2014 - call for papers
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
pedro@mat.uc.pt

Posts: 15
Registered: 5/3/06
NLSR 2014 - call for papers
Posted: Feb 7, 2014 7:40 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply
att1.html (13.9 K)

[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



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.