NLSR 2014 ABSTRACTS: EDITOR'S PREFACE

This volume contains the papers presented at NLSR2014: Natural Language Services for Reasoners, a FLoC Workshop, affliated to RTA-TLCA joint conference, Vienna Summer of Logic, July 18, 2014, Vienna, Austria.

The complexity of ATP and ITP makes them only usable by experts.  One of the cornerstones of addressing a more general audience is the ability to be queried and to generate results in natural language. This necessity is palpable from the fact that many systems in the TP community try hard to make proofs as close as possible to the natural language of mathematicians.

In the area of education, intelligent tools such as automated and interactive theorem provers, the automatic discovery of properties, tools, problems repositories, the formalisation of theories fragments, etc., can bring a whole new dimension to mathematical education.

The current development of these tools is focused on usability for experts, and it is still a major challenge to make such tools ready for widespread use. However, for some tools it seems to be the right time to begin addressing the next challenge, i.e., to link and adapt them for specific educational needs.

On the side of language technology, some dialog managers use theorem provers to drive the underlying logic and controlled natural languages exist based on abstract representations compatible to the ones used in reasoners.

A third aspect comes from formal representation of mathematics with the aim of automatic checking or translation of existing material.

We thank all those who have contributed to this meeting. Our sponsor, 

The Association for Logic, Language and Information (Folli, http://www.folli.info/) and most importantly, we thank the invited speakers, the contributing authors, the referees, the members of the program committee and the local organizers, all of whose time and effort have contributed to the practical and scientific success of the meeting.