[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.
------------------------------------------------------------------------------
Android apps run on BlackBerry 10
Introducing the new BlackBerry 10.2.1 Runtime for Android apps.
Now with support for Jelly Bean, Bluetooth, Mapview and more.
Get your Android app in front of a whole new audience. Start now.
http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
