[Apologies for multiple copies]
SECOND CALL FOR PAPERS FOR
NATURAL LANGUAGE SERVICES FOR REASONERS (NLSR)
http://vsl2014.at/meetings/NLSR-index.html
July 18, 2014
Affiliated with affiliated to RTA-TLCA
Part of the Vienna Summer of Logic
Overview
========
The aim is to bring together groups in natural language processing and
automatic reasoning and 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))
Deadlines and Author Instructions
=================================
Submission deadline (extended): May 9, 2014
Notification: May 25, 2014
Final version: May 30, 2014
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.
To submit, please use the Easychair Proceedings.
You can find LaTeX style files and documentation at:
http://www.easychair.org/publications/easychair.zip
Submissions are through the following URL:
http://easychair.org/conferences/?conf=nlsr2014
Program Committee
-----------------
Walther Neuper (Graz University of Technology);
Pedro Quaresma (Department of Mathematics, School of Science and
Technology, University of Coimbra);
Jordi Saludes (Technical University of Catalonia) - chair
Scientific committee:
---------------------
Yannis Haralambous (Telecom Bretagne);
Bengt Nordström (Chalmers University of Technology).
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/13534_NeoTech
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
