MathML Conference 2000: October 20-21

Call for Papers

The MathML Conference 2000 is currently seeking submissions for papers. Scholars, educators, and professionals are invited to share their insights and research on the use of MathML in various applications. The deadline for paper submission is fast approaching, and we encourage prospective authors to send in their original work for consideration.

General Information

This year's MathML Conference will be hosted over two dynamic days, delivering a comprehensive program that includes keynotes, presentations, and tutorials. The conference aims to bring together the finest minds in mathematics and computer science to discuss advancements and applications of MathML.

Registration

Participants are encouraged to register early for the MathML Conference 2000. Early bird registration discounts are available, and attendees can secure their place at the conference by completing the online registration form. A confirmation of registration will be sent upon successful processing.

Accommodations

A list of recommended hotels in close proximity to the conference venue will be provided. These accommodations offer a range of options to suit different budgets and preferences. Conference attendees are advised to book their accommodation early to take advantage of special rates.

Travel

For those traveling to the conference, we have compiled useful information on transportation options including flights, trains, and local transit. Whether it's your first visit or you're familiar with the host city, our travel guide is designed to assist you in planning a smooth journey.

Tutorials

The conference organizes several in-depth tutorials on MathML and related technologies. These sessions, led by experts, provide an opportunity for attendees to enhance their understanding of MathML and apply it practically in their respective fields.

Presentations

Presentation sessions form the core of the MathML Conference 2000, featuring diverse topical areas covering implementation, pedagogy, and integration of MathML in various environments. Peer-reviewed presentations will showcase the latest in MathML research and development.

Schedule

The conference schedule is thoughtfully constructed to incorporate a balance of lectures, discussions, and networking breaks. Detailed schedules, including session times and locations, will be provided to attendees prior to the conference.

Formal Mathematical Proof Explanations in Natural Language

Using MathML: An Application to Proofs in Arabic

Hanane Naciri and Laurence Rideau, INRIA Sophia Antipolis

Abstract: The challenge of disseminating formal mathematical proofs to non-specialists is addressed by exploring natural language explanations autogenerated from proof scripts and lambda-terms. By incorporating MathML, we facilitate readability and international comprehension. This article discusses a system capable of generating proof explanations in Arabic, and the adaptations made to accommodate bi-directional text display, particularly for mathematical formulas, within MathML compliant browsers.