[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